Homework 6
MATH 301/601
Test #6 is on Wednesday, May 7
Instructions. Read the Homework Guide to make sure you understand how to successfully complete the assignment. Click here for a pdf version of the homework.
Exercise 1.
Find five non-isomorphic groups of order 8. Justify why no two of them are isomorphic. (You will need to learn about the quaternion group, see Example 3.15 in the book.)
Exercise 2.
Let be a group of order 20. If has subgroups and of orders 4 and 5, respectively, such that for all and , prove that is the internal direct product of and .
*Exercise 3.
-
(a)
Prove or disprove: there is a noncyclic abelian group of order 51. (Do not use the classification of finite abelian groups.)
-
(b)
Prove or disprove: there is a noncyclic abelian group of order 52.
Exercise 4.
Prove that cannot be the internal direct product of two of its proper subgroups.
*Exercise 5.
Recall that we can express each element of as a product of and , where satisfy , , and ; in particular, we have
Let and let .
-
(a)
Prove that is the internal direct product of and .
-
(b)
Show that is isomorphic to .
-
(c)
Deduce that .
*Exercise 6.
The goal of this exercise is to prove the folowing statement:
Every group of order four is isomoprhic to either or .
Let be a group of order 4. If has an element of order 4, then it must be cyclic, and hence isomorphic to . So, assume that does not have an element of order 4; the goal is now to prove that is isomorphic to .
-
(a)
Prove that every non-identity element of has order two.
-
(b)
Let be distinct elements. Let and let . Prove that is the internal direct product of and .
-
(c)
Use the above to prove that .
Exercise 7.
Let be a group, and let and be subgroups of such that is the internal direct product of and . Define the function by . Prove that is an isomorphism.
Exercise 8.
For each of the following groups, find all their subgroups, determine which are normal, and classify the corresponding factor groups up to isomorphism.
-
(a)
the dihedral group .
-
(b)
the quaternion group .
*Exercise 9.
Let be the group of nonsingular upper triangular matrices with entries in , that is, matrices of the form
where and . Let consist of the matrices of the form
where .
-
(a)
Show that is a subgroup of .
-
(b)
Prove that is abelian.
-
(c)
Prove that is normal in .
-
(d)
Show that is abelian.
-
(e)
Is normal in ?
Exercise 10.
Prove that the intersection of two normal subgroups is a normal subgroup.
*Exercise 11.
If a group has exactly one subgroup of order , prove that is normal in .
**Exercise 12.
Let be a group. Given , define , the group element is called the commutator of and . The commutator subgroup of , denoted , is the subgroup generated by the set of commutators, ie, it is the subgroup consisting of products of commutators.
-
(a)
Prove that is a normal subgroup of .
-
(b)
Prove that is abelian.
-
(c)
Let be a normal subgroup of . Prove that is abelian if and only if .
(The group is called the abelianization of .)
Exercise 13.
Let be a homomorphism.
-
(a)
Prove that is a subgroup of .
-
(b)
Prove that if is abelian, then is abelian.
-
(c)
Prove that if is cyclic, then is cyclic.
-
(d)
Prove that if is a subgroup of , then is a subgroup of .
Exercise 14.
Let be a cyclic group and let be a generator of . If are homomorphisms such that , prove that .
Exercise 15.
-
(a)
Find all homomorphisms from to .
-
(b)
Explain why there is no homomorphism from to that sends in to in .
-
(c)
Find all the homomorphisms from to .
Definition. The kernel of a homomorphism , denoted , is defined by .
*Exercise 16.
Let be a homomorphism. Prove that is a normal subgroup of .
*Exercise 17.
Prove that homomorphism is injective if and only if .