Professional Documents
Culture Documents
Modern - HW7 (1) - Modern
Modern - HW7 (1) - Modern
Modern - HW7 (1) - Modern
Spring 2016
1
7.3 Prove that Z36 × Z30 ∼
= Z60 × Z18 .
Z36 ∼
= Z22 × Z23 × and Z30 ∼
= Z2 × Z3 × Z5 =⇒ Z36 × Z30 ∼ = Z32 × Z33 × Z5 .
∼ ∼ ∼
Z60 = Z2 × Z3 × Z5 and Z18 = Z2 × Z3 =⇒ Z60 × Z18 = Z32 × Z33 × Z5
2 2
So we can see that when n=m=1, there are three elements of order 2 - ie,
every element except for the identity element.
It should follow similarly for D1 × D2 and D2 × D1 - both elements in D1
and all four in D2 are their own inverse, so in the Direct product (which has
2x4 elements) each element should still be its own inverse, so there will be 7
involutions (each element except for the identity, which is order 1).
D2 ×D2 follows the same pattern, having 4x4=16 total elements, 15 of which
are involutions.
2
D3 makes things a tad more complicated. We know that every reflection is
its own inverse, so f, rf, r2 f are their own inverses. So too is e. However, r’s
inverse is r2 , and r2 ’s inverse is r. Or to summarize, 4 of its 6 elements are their
own inverses.
So for D1 × D3 and D3 × D1 there should be a total of 2x6=12 elements,
with 4/6, or 8 of these being their own inverses (but one being the identity) so
a total of 7 involutions.
For D2 × D3 and D3 × D2 there should be a total of 4x6=24 elements, with
4/6, or 16 of these being their own inverses (with again one being the identity)
so a total of 15 involutions.
Finally, for D3 ×D3 there are 6x6=36 elements. Those elements that contain
an r or an r2 will not be involutions, but the rest (except for the identity) will be
involutions. 6 will have an r for the left element, and 6 for the right, but one of
these elements is (r,r) for a total of 11 elements containing an 4. Similarly, there
are 11 elements containing an r2 . However, (r, r2 ) and (r2 , r) contain both, and
thus we counted these elements twice, so subtract two from the total of 22 to
conclude that 20 elements contain an r or an r2 , leaving 16 elements without
either. Thus I would conclude that there are 15 involutions.
n,m: 1,1 1,2 2,1 2,2 1,3 3,1 2,3 3,2 3,3
To summarize:
# inv: 3 7 7 15 7 7 15 15 15
3
7.7
(a) Prove that cyclic group cannot contain a subgroup isomorphic to Zn ×Zn
for any integer n > 1.
The subgroups of cyclic groups are all themselves cyclic. And any group
isomorphic to a cyclic group must itself be cyclic. Therefore, for a cyclic group
to contain a subgroup isomorphic to Zn × Zn , it would imply that Zn × Zn is
cyclic. However, we know that Zn × Zn is not cyclic because direct products
are only cyclic when all of its constituent groups are cyclic and have orders that
are relatively prime to all other constituent groups in the direct product. |Zn |
for n > 1 is clearly not relatively prime to itself so therefore the direct product
cannot be cyclic, and thus and isomorphism of it cannot be a subgroup of a
cyclic group.
.
(b) The dihedral group Dn , n ≥ 3, has a subgroup of n rotations, and a
subgroup of order 2. Explain why Dn cannot be isomorphic to the external
direct product of two such groups.
7.8
(a) Find two different subgroups of Z20 × Z4 × Z9 isomorphic to Z30 .
Well, Z30 ∼= Z5 × Z2 × Z3 .
h4i × h2i × h3i ≤Z20 × Z4 × Z9 would work.
So would h2i × h0i × h3i ≤Z20 × Z4 × Z9 , where h0i means the identity of Z4 .
.
(b) Find a subgroup of Z12 × Z4 × Z15 that has order 9.
h4i × h0i × h5i. |h4i| in Z12 equals 3, |h0i| in any Zn equals 1 since 0 is the
identity, and |h5i| in Z15 equals 3. 3 × 1 × 3 = 9.
7.9
(a) Describe, up to isomorphism, all Abelian groups of order 1,350.
.
(b) Show, by direct construction, that no matter what, every Abelian group
of order 1,350 has a subgroup of order 45.