Scribd
Upload
75 views2 pages

Solns2 1

This document contains solutions to algebra problems involving group theory concepts such as isomorphisms, subgroups, and properties of permutations. Some key points: - It proves three properties of group isomorphisms: reflexivity, symmetry, and transitivity. - It identifies isomorphisms between certain groups like infinite cyclic groups and the group of units of rational numbers. - It analyzes subgroups of groups like the dihedral group and symmetric group to determine whether they are isomorphic. - It proves properties like abelian groups having commutative operation tables and finite groups of even order containing subgroups of order 4. - It counts elements of certain types, like permutations of cycle shape (2,2), in

Uploaded by

sticker592
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
75 views2 pages

Solns2 1

This document contains solutions to algebra problems involving group theory concepts such as isomorphisms, subgroups, and properties of permutations. Some key points: - It proves three properties of group isomorphisms: reflexivity, symmetry, and transitivity. - It identifies isomorphisms between certain groups like infinite cyclic groups and the group of units of rational numbers. - It analyzes subgroups of groups like the dihedral group and symmetric group to determine whether they are isomorphic. - It proves properties like abelian groups having commutative operation tables and finite groups of even order containing subgroups of order 4. - It counts elements of certain types, like permutations of cycle shape (2,2), in

Uploaded by

sticker592
Copyright
© Attribution Non-Commercial (BY-NC)
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 2

KMB, 22/10/12

M2PM2 Algebra II

Solutions to Sheet 2

1. We must show three things: (i) G = G, (ii) G =HH = G, and (iii) G = H, H = K G = K. For (i), observe that the identity function f (x) = x (x G) is an isomorphism from G to G. For (ii), let : G H be an isomorphism. We claim 1 is an isomorphism H G. It is a bijection (by M1F). And for a, b H , we have a = (c), b = (d) for some c, d G, hence 1 (ab) = 1 ((c)(d)) = 1 ((cd)) = cd = 1 (a)1 (b). Hence 1 : H G is an isomorphism, so H = G. For (iii), let : G H and : H K be isomorphisms. Then : G K is a bijection (M1F again), and is an isomorphism since for all x, y G, ( )(xy ) = ((xy )) = ((x)(y )) = ((x)) ((y )) = ( )(x) ( )(y ). Hence G = K. 2. (e) = e as shown in lectures, so e = (gg 1 ) = (g )(g 1 ) hence (g 1 ) = (g )1 . = G5 3. Call these groups G1 , . . . , G6 in the order they are listed. Then G2 = (Z, +) = as they are both innite cyclic. Also G3 = (Q , ) = G6 , an isomorphism being a a 1 (one has to check that (a 1) (b 1) = ab 1 to check that this map is an isomorphism, but this is easy). There are no further isomorphisms between these groups: G2 is not isomorphic to any of G1 , G3 , G4 as it is cyclic and the others arent (what could a generator be?); G3 is not isom to G1 , G4 as it has an element of order 2 (namely 1) and the others dont; and nally G1 = G4 this is tricky, heres the argument. Spose : Q Q>0 is an isomorphism, sending 1 to f say. Then f = 1 (as (0) = 1), and for any n N, must send 1/n to the nth root of f ; this cannot lie in Q for all n. 4. (a) D120 has elements of order 60, whereas S5 does not, so S5 = D120 by Prop 2.1 of lectures. And C120 is not isomorphic to either of these groups as it is abelian and the others are not. (b) Isomorphism : D6 S3 is given by sending each element of D6 to the corresponding permutation of the corners of the triangle. (c) Isomorphism x ex shows (R, +) = (R>0 , ). But (Q, +) = (Q>0 , ) by Q3. (d) One subgroup of size 4 is , the subgroup consisting of all rotations. Another is the subgroup consisting of the symmetries e, 2 , , 2 . These subgroups are not isomorphic as one is cyclic and the other is not. 5. (a) Let x, y G. Then x2 = y 2 = (xy )2 = e. So e = xxyy = xyxy . Multiply on left by x1 and on right by y 1 , to get xy = yx. Hence G is abelian. (b) Suppose |G| > 2. Pick non-identity x, y G, x = y . Then check {e, x, y, xy } is a subgroup (closure - write down mult table; inverses - each element is its own inverse). Hence 4 divides |G| by Lagrange. 6. (i) Let me briey explain why there are innitely many groups of size 1. Let r be any real number. Let G be the set {r}, and let me dene multiplication on the set G by r r = r. Then G is a group of order 1. But there are innitely many real numbers! So there are innitely many groups of order 1. The same trick works for groups of order n. (ii) As we are considering groups up to isomorphism, we can assume that our group elements are a xed set, say {a1 , . . . , an }. Clearly there are only nitely many possible mult tables for this set, hence only nitely many possible groups with these elements. 7. (a) Both +1.

5 2

(b) e, (3), (5), (7), (2, 2), (2, 4), (3, 3), (2, 2, 3). (c) Elements of order 2 are those of cycle-shape (2, 2). The number of these is 1 2 = 105.

7 2

8. As g has odd order, it is a product of disjoint cycles, all of odd length. These are all even perms., therefore g is even. Alternative argument: if g has order m, odd, then g m = e, so sgn(g )m = sgn(e) = +1, and this gives a contradiction if sgn(g ) = 1, as (1)m = 1.

You might also like