Algebra I Homework Two

Name:
Instruction: In the following questions, you should work out the solutions in a clear and concise manner. You may
share the ideas with peers, but you should write down the solutions independently. Three questions will be randomly
selected and checked for correctness; they count 50% grades of this homework set. The other questions will be checked
for completeness; they count the rest 50% grades of the homework set. Staple this sheet of paper as the cover page of
your homework set. The sample answers will be posted on the course website.
1. (Section 1.6) Prove that S
n
is generated by the following elements:
(a) S
n
is generated by the n 1 transpositions (12), (13), , (1n). [Hint: (1i)(1j)(1i) = (ij)]
Sn is generated by transpositions (ij), and (ij) = (1i)(1j)(1i). So Sn is generated by (12), (13), , (1n).
(b) S
n
is generated by the n 1 transpositions (12), (23), , (n 1 n). [Hint: (1j) = (1 j 1)(j 1 j)(1 j 1)]
Each of the transpositions (12), (13), , (1n) can be generated by (12), (23), , (n 1 n) using (1 j) =
(1 j 1)(j 1 j)(1 j 1) and induction. So Sn can be generated by the n 1 transpositions (12), (23), , (n 1 n)
by preceding claim.
(c) S
n
is generated by (12) and (123 n). [Hint: (i i + 1) = (12 n)(i 1 i)(12 n)
1
]
By (i i +1) = (12 n)(i 1 i)(12 n)
1
and induction, (12) and (123 n) generate (i 1 i) for i = 2, , n.
Then by the preceding claim, (12) and (123 n) generate the whole group Sn.
2. (Section 1.6) A
n
is the only subgroup of S
n
of index 2. [Hint: Show that a subgroup of index 2 must contain all
3-cyc1es of S
n
.]
The case n = 2 is obvious. Now assume that n 3. Let H < Sn and [Sn : H] = 2. If (1 2 3) , H, then
(1 3 2) = (1 2 3)
2
H since [G/H[ = 2. All 3-cycles in Sn are conjugate to (1 3 2). As a normal subgroup of Sn, H
contains all 3-cycles in Sn. Hence H An. So H = An.
3. (Section 1.6) Find all normal subgroups of D
n
.
Dn is generated by two elements a and b with a
n
= b
2
= e and ba = a
1
b. Then ba
k
= a
k
b by induction. All
elements of Dn are of the form a
i
or a
i
b for i = 0, 1, , n 1. Let H be a normal subgroup of Dn.
If all elements of H are of the form a
i
, then H = a
k
) for some k dividing n. Such an H is normal in Dn.
If H contains an element a
k
b, then a
k+2
b = a(a
k
b)a
1
H by normality of H, and a
k+2
ba
k
b = a
2
H. So
a
k2
b = (a
2
)

(a
k
b) H. Therefore at least one of b and ab is in H. Therefore H is one of the following: a
2
, b) (when n
is even), a
2
, ab) (when n is even), Dn.
Overall, all normal subgroups of Dn are:
(a) Dn and |e;
(b) a
k
) for k a factor of n;
(c) a
2
, b) and a
2
, ab), when n is even.
4. (Section 1.7) In the category G of groups, show that the group G
1
G
2
together with the canonical projections

1
: G
1
G
2
G
1
and
2
: G
1
G
2
G
2
is a product for {G
1
, G
2
}.
Given a group H and a family of homomorphisms of groups |i : H Gi [ i = 1, 2, dene : H G1 G2 by
(h) := (1(h), 2(h)). Then i (h) = i((1(h), 2(h))) = i(h) for i = 1, 2. Thus G1 G2 together with i (i = 1, 2)
is a product for |G1, G2.
5. (Section 1.7) Every family {A
i
| i I} in the category of sets has a coproduct. [Hint: consider
.
A
i
= {(a, i)
(A
i
) I | a A
i
} with A
i

.
A
i
given by a (a, i).
.
A
i
is called the disjoint union of the sets A
i
.]
Consider
.
Ai = |(a, i) (Ai) I [ a Ai with i : Ai
.
Ai given by a (a, i). Given a set B and a
family of functions |i : Ai B [ i I, dene the function :
.
Ai B by (a, j) j(a). Then for a Ai,
i(a) = ((a, i)) = i(a). So
.
Ai is the coproduct of |Ai [ i I in the category of sets.
6. (Section 1.8)
(a) S
3
is not the direct product of any family of its proper subgroups.
Suppose on the contrary, S3 =

iI
Gi for some nontrivial subgroups Gi. By [S3[ = 6 = 2 3, we have [I[ = 2
and S3 = G1 G2, where |[G1[, [G2[ = |2, 3. Then both G1 and G2 are abelian, and so is S3 = G1 G2. This
contradicts the fact that S3 is non-abelian.
1
(b) Z
p
n (p prime, n 1) is not the direct product of any family of its proper subgroups.
If Zp
n = H1 H2, then [H1[ = p
r
and [H2[ = p
nr
for some 1 r n1. Let d := max|r, nr n1. On
one hand, Zp
n = x) for some element x with [x[ = p
n
. On the other hand, every y H1 H2 satises that [y[ = p
r
for some r d < n. This is a contradiction.
(c) Z is not the direct product of any family of its proper subgroups.
Suppose on the contrary, Z = H1 H2 where H1 and H2 are proper subgroups. Then H1 = a) and H2 = b) for
a, b Z. Then H1 H2 = c) for c = lcm(a, b). This contradicts the fact that direct product components have trivial
intersection. So the statement is true.
7. (Section 1.8) Give an example to show that the weak direct product is not a coproduct in the category of all
groups. [Hint: it suces to consider the case of two factors GH.]
Consider the weak direct product Z2 Z3 of Z2 = |

0,

1 and Z3 = |

0,

1,

2 with canonical inclusions 1 : Z2 Z2 Z3

and 2 : Z3 Z2 Z3. Dene 1 : Z2 S3 by

1 (12), and dene 2 : Z3 S3 by

1 (123). Then both 1 and
2 are homomorphisms of groups. If there exists a homomorphism of groups : Z2 Z3 S3 such that i = i for
i = 1, 2, then (12), (123) Im(), and thus Im() = S3, and thus is an isomorphism between Z2 Z3 and S3. This is a
contradiction because only one of Z2 Z3 and S3 is abelian.
8. (Section 1.9) The group dened by generators a, b and relations a
n
= e (3 n Z
+
), b
2
= e and abab = e is the
dihedral group D
n
. [See Theorem 1.6.13.]
Let G be the group dened by generators a, b and relations a
n
= e, b
2
= e and abab = e. Let E be the identity element
of Dn. Theorem 1.6.13 says that Dn is generated by two elements A and B with A
n
= B
2
= ABAB = E. By Theorem
1.9.5, there is an epimorphism of groups f : G Dn. In particular [G[ [Dn[ = 2n. Now in G, ba = a
1
b. So every
element of G is of the form a
i
b
j
for 0 i n 1 and 0 j 1. Hence [G[ 2n = [Dn[, and thus [G[ = [Dn[. Then
f : G Dn is an isomorphism. This proves the claim.
9. (Section 1.9) The operation of free product is commutative and associative: for any groups A, B, C, AB BA,
and A (B C) (A B) C.
The denition of free product shows that
A B = B A = |a1 a
k
[ k N, ai A B, ai and ai+1 are not in the same group,
A (B C) (A B) C |a1 a
k
[ k N, ai A B C, ai and ai+1 are not in the same group.
Alternatively, we may show that both A (B C) and (A B) C are coproducts of |A, B, C in the family of groups.
10. (Section 1.9) A free group is a free product of innite cyclic groups.
Let X be a nonempty set, and F(X) the free group generated by X. We prove that F(X) =

xX

x), where x) denotes

the free group generated by x, an innite cyclic group.
Let : X F(X) be the canonical inclusion map. For every x X, induces a homomorphism of groups
x : x) F(X) by x
n
(x)
n
. Given a group G and a family of homomorphisms of groups fx : x) G for x X, dene
f : X G by x fx(x). By the denition of free group on X, there is a unique homomorphism of groups

f : F(X) G
such that

f (x) = f(x) for x X. Then

f x(x
n
) =

f ((x)
n
) = [

f (x)]
n
= f(x)
n
for x
n
x).
This shows that F(X) is the coproduct of |x) [ x X in the category of groups, that is, the free product of |x) [ x X.
2