HW2

Download as pdf or txt
Download as pdf or txt
You are on page 1of 1

ALGEBRA HW2

(1) Let p, q be distinct primes. Show that any group G of order pq is a


semidirect product of two cyclic groups.
(2) Let SL2 (Z) be the group of 2 × 2 matrices with integer entries and
determinant 1, under multiplication, i.e.
󰀝󰀕 󰀖 󰀞
a b
SL2 (Z) = , a, b, c, d ∈ Z, ad − bc = 1 .
c d
Show that SL2 (Z) is generated by the matrices
󰀕 󰀖 󰀕 󰀖
1 1 0 −1
and .
0 1 1 0
(This is exercise 6.10 in Aluffi; you can check there if you need a
hint.)
(3) Let H ⊂ G be a subgroup of index 2 (i.e. |G/H| = 2). Show that
H is normal. (Note that G need not be finite!) Give an example to
show that subgroups of index 3 need not be normal.
(4) Construct a left adjoint to the inclusion Ab ↩→ Grp.
(5) Find all normal subgroups of S4 (with proof). Prove that S4 is
solvable.
(6) (a) Let G act on a set X. Suppose x, y ∈ X are in the same G-orbit.
Show that Stabx is conjugate to Staby .
(b) Let X, Y be transitive (left) G-sets. Choose x ∈ X, y ∈ Y .
Show that X, Y are isomorphic as G-sets if and only if Stabx is
conjugate to Staby .
(7) Suppose G = 〈x1 , · · · , xn | r1 , · · · , rm 〉 with m < n. Show that G is
infinite. (Hint: construct a nontrivial map G → Q. You may find
(4) above helpful.)

You might also like