4200 F 18 Ps 8 A
4200 F 18 Ps 8 A
1. Calculate the number of elements of order 2 in each of the abelian groups Z16 , Z8 × Z2 ,
Z4 × Z4 , and Z4 × Z2 × Z2 . Do the same for elements of order 4.
I Solution. • Z16 :
A cyclic group has a unique subgroup of order dividing the order of the group.
Thus, Z16 has one subgroup of order 2, namely h8i, which gives the only element
of order 2, namely 8. There is one subgroup of order 4, namely h4i, and this
subgroup has 2 generators, each of order 4. Thus the 2 elements of order 4 in Z16
are 4 and 12.
• Z8 × Z2 :
The order of (r, s) is the least common multiple of the order of r and s. Thus
elements of order 2 in Z8 × Z2 are {(0, 1), (4, 1), (4, 0)}, and there are 3 elements
of order 2. The elements of order 4 are {(2, 0), (2, 1), (6, 0), (6, 1)}, and there
are 4 element of order 4.
• Z4 × Z4 :
The elements have orders 1, 2, or 4. The elements of order 2 are (2, 0), (2, 2),
and (0, 2). Thus, there is 1 element of order 1 (identity), 3 elements of order 2,
and the remainder have order 4, so there are 12 elements of order 4. These are all
elements in Z4 × Z4 which have an element of order 4 (namely 1 or 3) in either
the first coordinate or the second.
• Z4 × Z2 × Z2 :
Again, the element have order 1, 2, or 4. The elements of order 4 are those with
an element of order 4 in the first component (the other components are Z2 which
have only orders of 1 and 2). There are 2 elements of order 2 in Z4 (namely, 1
and 3) and there are 2 × 4 = 8 elements with 1 or 3 in the first component. Since
there is only 1 element of order 1, there are 16 − 8 − 1 = 7 elements of order 2.
J
2. Prove that every abelian group of order 45 has an element of order 15. Does every
abelian group of order 45 have an element of order 9?
Math 4200 1
Homework #8 Solutions Due: November 5, 2018
I Solution. The nonidentity elements are the reflections across the two lines joining
the midpoints of opposite sides, and the rotation by 180◦ . Each of these has order 2,
so the group is isomorphic to Z2 × Z2 . J
4. The set G = {1, 9, 16, 22, 29, 53, 74, 79, 81} is a group under multiplication modulo
91. Determine the isomorphism class of this group.
G∼
= h9i × h16i.
J
5. Let G = {1, 7, 17, 23, 49, 55, 65, 71} under multiplication modulo 96. Express G as
an external and an internal direct product of cyclic groups.
I Solution. First note that h7i = {1, 7, 49, 55} and h17i = {1, 17}. Thus, G has
two distinct subgroups of order 2, namely h49i and i17i, so the group is not cyclic.
Hence it must be Z4 × Z2 or Z2 × Z2 × Z2 . Since there is an element of order 4, it must
be isomorphic to Z4 × Z2 . An internal direct product is
G∼
= h7i × h17i.
J
6. The set G = {1, 4, 11, 14, 16, 19, 26, 29, 31, 34, 41, 44} is a group under multiplica-
tion modulo 45. Write G as an external and an internal direct product of cyclic groups
of prime-power order.
I Solution. h16i = {1, 16, 31}, h19i = {1, 19}, and h26i = {1, 26}. Since
h26i ∩ h16ih19i = {1, 26} ∩ {1, 4, 16, 19, 31, 34} = {1}
h19i ∩ h16ih26i = {1, 19} ∩ {1, 11, 16, 26, 31, 41} = {1}
h16i ∩ h19ih26i = {1, 16, 31} ∩ {1, 19, 26, 44} = {1}
it follows that
Math 4200 2