Homework 9 Solution
Homework 9 Solution
Homework 9 Solution
Chapter 8 - Direct product.
due: Nov. 14.
1. (a) In Z9 ⊕ Z6 , find all possible orders of elements. Give an element for each
order.
1
MATH 3005 Homework Han-Bom Moon
If φ(a, b) = φ(a0 , b0 ), then (φ1 (a), φ2 (b)) = (φ1 (a0 ), φ2 (b0 )). So we have φ1 (a) =
φ1 (a0 ) and φ2 (b) = φ2 (b0 ). Because both φ1 and φ2 are injective, a = a0 and
b = b0 . Therefore (a, b) = (a0 , b0 ) and φ is injective.
For (a, b) ∈ H1 ⊕ H2 , there are c ∈ G1 and d ∈ G2 such that φ1 (c) = a and
φ2 (d) = b. Then φ(c, d) = (φ1 (c), φ2 (d)) = (a, b). Thus φ is surjective.
Finally, φ(a, b)φ(a0 , b0 ) = (φ1 (a), φ2 (b))(φ1 (a0 ), φ2 (b0 )) = (φ1 (a)φ1 (a0 ), φ2 (b)φ2 (b0 )) =
(φ1 (aa0 ), φ2 (bb0 )) = φ(aa0 , bb0 ) = φ((a, b)(a0 , b0 )). Therefore φ is an isomor-
phism and G1 ⊕ G2 ≈ H1 ⊕ H2 .
Suppose that (g1 , g2 ) ∈ Z(G1 ⊕G2 ), then for every (x1 , x2 ) ∈ G1 ⊕G2 , (g1 x1 , g2 x2 ) =
(g1 , g2 ) · (x1 , x2 ) = (x1 , x2 ) · (g1 , g2 ) = (x1 g1 , x2 g2 ). Therefore g1 x1 = x1 g1 and
g2 x2 = x2 g2 for all x1 ∈ G1 and x2 ∈ G2 . Therefore g1 ∈ Z(G1 ) and g2 ∈ Z(G2 ),
and thus (g1 , g2 ) ∈ Z(G1 ) ⊕ Z(G2 ). So Z(G1 ⊕ G2 ) ⊂ Z(G1 ) ⊕ Z(G2 ).
Conversely, suppose that (g1 , g2 ) ∈ Z(G1 ) ⊕ Z(G2 ). Then for every (x1 , x2 ) ∈
G1 ⊕G2 , g1 x1 = x1 g1 and g2 x2 = x2 g2 . Therefore (g1 , g2 )·(x1 , x2 ) = (g1 x1 , g2 x2 ) =
(x1 g1 , x2 g2 ) = (x1 , x2 ) · (g1 , g2 ). Thus (g1 , g2 ) ∈ Z(G1 ⊕ G2 ) and Z(G1 ) ⊕ Z(G2 ) ⊂
Z(G1 ⊕ G2 ).
Therefore we have Z(G1 ⊕ G2 ) = Z(G1 ) ⊕ Z(G2 ).
Z12 , Z6 ⊕ Z2 , S3 ⊕ Z2 , A4 .
First two groups are not isomorphic to the latter two groups because they are
Abelian. In Z6 ⊕ Z2 , the maximum order of an element is lcm(6, 2) = 6. So it
is not cyclic and Z6 ⊕ Z2 is not isomorphic to Z12 . In A4 , the maximum order
of an element is 3, because any element is of the form e, (ab)(cd), or (abc). In
S3 ⊕ Z2 , |((123), 1)| = lcm(|(123)|, |1|) = lcm(3, 2) = 6. Therefore none of those
four groups are isomorphic.
5. Find as many non-isomorphic Abelian groups of order 24 as you can. (Hint: Use
direct sum of cyclic groups.) Explain why they are not isomorphic.
Z24 , Z12 ⊕ Z2 , Z6 ⊕ Z2 ⊕ Z2
On each group, the maximum order of an element is 24, 12, and 6 respectively. So
they are not isomorphic.
Indeed, there are only three non-isomorphic Abelian groups of order 12.
2
MATH 3005 Homework Han-Bom Moon