There are 24 homomorphisms onto Z6 as in Exercise 3b.
c. There are no homomorphisms onto S3, because the homomorphic image of an
abelian group must be abelian, and S3 is not abelian. 7. The definition is correct. 8. The definition is incorrect. The group must be free on the set of generators. The rank of a free group G is the number of elements in a generating set A such that G is free on A. 9. Our reaction to these instances was given in the text. You have to give your reaction. 10. T F F T F F F T F T 11. a. We have 3(2) + 2(3) = 0 but 3(2) 6= 0 and 2(3) 6= 0. A basis for Z4 is {1}. b. We see that {1} is a basis for Z6 because the group is cyclic with generator 1, and because m1 = 0 if and only if m1 = 0. If m12+m23 = 0 in Z6, then in Z, we know that 6 divides m12+m23. Thus 3 divides m12+m23, and hence 3 divides m12. Because 3 is prime and does not divide 2, it must be that 3 divides m1. Thus 6 divides m12 in Z, so m12 = 0 in Z6. A similar argument starting with the fact that 2 divides m12 + m23 shows that m23 = 0 in Z6. Thus {2, 3} is a basis for Z6. 132 39. Free Groups c. Yes it is, for if xi is an element of a basis of a free abelian group, then nixi = 0 if and only if ni = 0, so we stated the “independence condition” in that form there. d. By Theorem 38.12, a finite abelian group G is isomorphic to a direct product Zm1×Zm2×· · ·×Zmr where mi divides mi+1 for i = 1, 2, · · · , r − 1. Let bi be the element of this direct product having 1 in the ith component and 0 in the other components. The computation by components in a direct product shows at once that {b1, b2, · · · , br} is a basis, and because the order of each bi is mi, we see that the orders have the desired divisibility property. 12. a. We proceed as suggested by the hint, and use the notation given there. Let x 2 G_ 1 . Because _1 is onto, we have x = _1(y) for some y 2 G. Then _2(x) = _2_1(y) = _2(y) and _1_2(x) = _1_2(y) = _1(y) = x. In a similar fashion, starting with z 2 G_ 2 , we can show that _2_1(z) = z. Thus both _1_2 and _2_1 are identity maps. Because _2_1 is the identity, _2 must be an onto map and _1 must be one to one. Because _1_2 is the identity, _1 is an onto map and _2 is one to one. Thus both _1 and _2 are one to one and onto, and hence are isomorphisms. Thus G _ 1 and G _ 2 are isomorphic groups. b. Let C be the commutator subgroup of G and let _ : G ! G/C be the canonical homomorphism (which we have usually called ). Let : G ! G0 be a homomorphism of G into an abelian group G0. Then the kernel K of contains C by Theorem 15.20. Let _ : G/C ! G0 be defined by _(aC) = (a) for aC 2 G/C. Now _ is well defined, for if bC = aC, then b = ac for some c 2C and _(bC) = (b) = (ac) = (a) (c) = (a)e0 = (a) because C is contained in the kernel K of . Now _((aC)(bC)) = _((ab)C) = (ab) = (a) (b) = _(aC)_(bC), so _ is a homomorphism. Finally, for a 2 G, we have _(_(a)) = _(aC) = (a), so __ = , which is the desired factorization. Thus G_ = G/C is a blip group of G. c. A blip group of G is isomorphic to the abelianized version of G, that is, to G modulo its commutator subgroup. 13. a. Consider the blop group G1 on S and let G0 be the free group F[S], with f : S ! F[S] given by f(s) = s for s 2 S. Because f is one to one and f = _f g1, we see that g1 must be one to one. By a similar argument, g2 must be one to one. To see that g1[S] generates G1, we take G0 = G1 and let f(s) = g1(s) for all s 2 S. Clearly the identity map _ : G1 ! G1 is a homomorphism and f(s) = g1(s) = _(g1(s)) = (_g1)(s), so f = _g1, and the unique homomorphism _f mapping G1 into G1 is _. Let H1 be the subgroup of G1 generated by g1[S]. Thinking of H1 as G0 for a moment, we see that by hypothesis, there exists a homomorphism, _H1 : G1 ! H1 and satisfying f = _H1g1. Now _H1 also maps G1 into G1, and can also serve as the required homomorphism _f for the case where G0 = G1. By the uniqueness of _f , we see that _H1 = _. Because _H1 [G1] = H1 and _[G1] = G1, this can only be the case if H1 = G1. Therefore g1[S] generates G1, and of course changing subscripts from 1 to 2 shows that g2[S] generates G2. Taking G0 = G2 and f = g2, we obtain a homomorphism _g2 : G1 ! G2 such that _g2g1 = g2. Taking G0 = G1 and f = g1, we obtain a homomorphism _g1 : G2 ! G1 such that _g1g2 = g1. Then for s 2 S, we have _g1_g2g1(s) = _g1g2(s) = g1(s). Thus _g1_g2 is a homomorphism mapping G1 into itself and acts as the identity on a generating set g1[S] of G1, so it is the identity map of G1 onto G1. By a symmetric argument, _g2_g1 is the identity map of G2 onto G2. As in Exercise 12, we conclude that _g1 and _g2 are isomorphisms, so that G1 ' G2. b. Let G = F[S], the free group on S, and let g : S ! G be defined by g(s) = s for all s 2 S. Let a group G0 and a function f : S ! G0 be given. Let _f : G ! G0 be the unique homomorphism given by Theorem 39.12 such that _f (s) = f(s). Then _f g(s) = _f (s) = f(s) for all s 2 S, so _f g = f. c. A blop group on S is isomorphic to the free group F[S] on S. 40. Group Presentations 133 14. The characterization is just like that in Exercise 13 with the requirement that both G and G0 be abelian groups. 40. Group Presentations 1. Three presentations of Z4 are (a : a4 = 1), (a, b : a4 = 1, b = a2), and (a, b, c : a = 1, b4 = 1, c = a). 2. Thinking of a = _1, b = μ1, and c = _2, we obtain the presentation (a, b, c : a3 = 1, b2 = 1, c = a2, ba = cb). Starting with this presentation,the relations can be used to express every word in one of the forms 1, a, b, a2, ab, or a2b, so a group with this presentation has at most 6 elements. Because the relations are satisfied by S3, we know it must be a presentation of a group isomorphic to S3. (Many other answers are possible.) 3. (See the answer in the text.) 4. Let G be a nonabelian group of order 14. By Sylow theory, there exists a normal subgroup H of order 7. Let b be an element of G that is not in H. Because G/H ' Z2, we see that b2 2 H. If b2 6= 1, then b has order 14 and G is cyclic and abelian. Thus b2 = 1. Let a be a generator for the cyclic group H. Now bHb−1 = H so bab−1 2 H, so ba = arb for some value of r where