MAS 305 Algebraic Structures II: Notes 5 Autumn 2006
MAS 305 Algebraic Structures II: Notes 5 Autumn 2006
Conjugacy
For x, g in a group G, put
xg = g−1 xg,
which is called the conjugate of x by g.
Temporarily, write xg = xπg . Then xπ1G = 1G x1G = x for all x in G, so π1G is the
identity permutation of G. Also
so conjugation is an action.
The orbit containing x is
xG = {xg : g ∈ G} ,
which is called the conjugacy class of x; so conjugacy is an equivalence relation.
The stabilizer of x is
Gx = g ∈ G : g−1 xg = x = {g ∈ G : xg = gx} ,
This is called the centre of G, and written Z(G). So Z(G) is a normal subgroup of G.
1
Lemma In Sn , g is conjugate to h if and only if g and h have the same cycle structure.
Proof We have already seen that h and x−1 hx have the same cycle structure. Con-
versely, if g and h have the same cycle structure then they can be matched up as
h = (a1 a2 . . . am ) (c1 c2 . . . cr ) . . .
g = (b1 b2 . . . bm ) (d1 d2 . . . dr ) . . .
Note that the order of any permutation is the least common multiple of the lengths
of its cycles. For example, if x = (1 2)(3 4 5) then xn = (3 4 5)n if n is even and
xn = (1 2)n if n is divisible by 3:
x = (1 2)(3 4 5)
x2 = (3 5 4)
3
x = (1 2)
x4 = (3 4 5)
5
x = (1 2)(3 5 4)
x6 = (1).
Example We calculate the conjugacy classes in S5 . For one permutation x in each
conjugacy class, we calculate the order of its centralizer as |C(x)| = 120/ xS5 .
(a) The identity 1S5 is conjugate only to itself, so {1S5 } is a whole conjugacy class.
Evidently, C(1S5 ) is the whole of S5 , which has order 120 = 120/1.
(b) Let x = (1 2). ThenxS5 consists of all the transpositions. The number of trans-
positions is 5 C2 , so xS5 = 10 and |C(x)| = 120/10 = 12.
(c) Let x = (1 2 3). Then xS5 consists of all 3-cycles. There are 5 × 4 × 3 ways of
choosing the elements of the 3-cycle in order, but we can start the cycle
at any
point in it, so the number of 3-cycles is (5 × 4 × 3)/3. Hence xS5 = 20 and
|C(x)| = 120/20 = 6.
(d) Similarly, if x = (1 2 3 4) then xS5 = (5 × 4 × 3 × 2)/4 = 30 and |C(x)| =
120/30 = 4.
(e) Similarly, if x = (1 2 3 4 5) then xS5 = (5 × 4 × 3 × 2 × 1)/5 = 24 and |C(x)| =
120/24 = 5.
(f) Each 3-cycle is disjoint from exactly one transposition, so there are 20 permu-
tations conjugate to (1 2 3)(4 5). The order of the centralizer of this permutation
is 120/20 = 6.
2
(g) Each transposition is disjoint from three other transpositions, so the number of
conjugates of (1 2)(3 4) is (10 × 3)/2 (why do we have to divide by 2?). The
order of the centralizer of this permutation is 120/15 = 8.
because h−1 −1
1 h2 ∈ H and k1 k2 ∈ K. Therefore HK is a subgroup of G. Also
and
(h1 k1 )−1 k2 (h1 k1 ) = k1−1 h−1 −1
1 k2 h1 k1 = k1 k2 k1 ∈ K,
so H E HK and K E HK.
If h1 k1 = h2 k2 then h−1 −1
2 h1 = k2 k1 , which is in H ∩ K, so if H ∩ K = {1G } then
each element of HK has a unique expression as hk for some h in H and k in K.
Example Now we shall find the centralizers of elements in S5 , finding C(x) for one
element x in each conjugacy class. We already know |C(x)|, so as soon as we find a
subgroup H of C(x) with |H| = |C(x)| then we know that H = C(x).
(b) If x = (1 2) then |C(x)| = 12. Of course, C(x) contains hxi, which has order 2.
It also contains the subgroup H of all permutations of {3, 4, 5}, which is iso-
morphic to S3 . Now, hxi ∩ H = {1S5 }, so C(x) contains hxi × H, whose order is
2 × |S3 | = 12. Therefore C((1 2)) is precisely h(1 2)i × (S3 on {3, 4, 5}).
3
(c) Similarly, if x = (1 2 3) then C(x) contains hxi and h(4 5)i and these two sub-
groups have trivial intersection. Therefore hxi × h(4 5)i has order 6 and so is
the whole of C(x). Alternatively, put y = (1 2 3)(4 5) and note that x ∈ hyi so
hyi 6 C(x). Again, hyi and C(x) have the same order, so C(x) = hyi.
(f) If x = (1 2 3)(4 5) then the order of x is the lcm of the orders of (1 2 3) and (4 5),
which is 6. Since |C(x)| = 6, we again have C(x) = hxi.
(g) Let x = (1 2)(3 4). We know that |C(x)| = 8, and shall demonstrate a subgroup
of S5 which has order 8 and centralizes x.
We know that the group of symmetries of a square is the dihedral group D8
of order 8. Label the square as in the following picture, so that one of the
symmetries is (1 2)(3 4).
1 v v
3
v v
4 2
D8 = {1, (1 3 2 4), (1 2)(3 4), (1 4 2 3), (1 3)(2 4), (1 4)(2 3), (1 2), (3 4)}
4
x cycle structure xS5 |C(x)| C(x)
1S5 1, 1, 1, 1, 1 1 120 S5
(1 2) 1, 1, 1, 2 10 12 h(1 2)i × (S3 on {3, 4, 5})
(1 2 3) 1, 1, 3 20 6 h(1 2 3)i × h(4 5)i
(1 2 3 4) 1, 4 30 4 h(1 2 3 4)i
(1 2 3 4 5) 5 24 5 h(1 2 3 4 5)i
(1 2 3)(4 5) 2, 3 20 6 h(1 2 3)(4 5)i
(1 2)(3 4) 2, 2 15 8 D8 on the labelled square above
Now we find all the normal subgroups of S5 . Each normal subgroup consists of
some of the conjugacy classes, always including the class of size 1, and the sum n of
the sizes of the relevant conjugacy classes must divide 120, by Lagrange’s Theorem.
If we include the class of size 24 then (since we always include the class of size 1)
5 divides n, 25 6 n, and n divides 120. The only possibilities are n = 40, n = 60
and n = 120. For n = 40, the subgroup consists of the unique conjugacy classes of
sizes 1, 24 and 15; but this is impossible, because (1 2)(3 4) and (1 2)(3 5) are in the
conjugacy class of size 15 and their product (1 2)(3 4)(1 2)(3 5) = (3 4 5), which is
one of the conjugacy classes of size 20. Similarly, the only possibility for n = 60 is the
union of the unique conjugacy classes of size 1, 24 and 15 together with the conjugacy
class of size 20 consisting of the 3-cycles. These are precisely the even permutations,
giving the normal subgroup A5 . Of course, n = 120 gives the normal subgroup S5 .
If we do not include the class of size 24 then 5 does not divide n, so n divides 24:
the only possibility is n = 1, corresponding to the normal subgroup {1S5 }.
Does S5 have any subgroup of order 40? Suppose that H is such a subgroup. Then
|S5 : H| = 3, so S5 has a normal subgroup K such that K 6 H and S5 /K is isomorphic
to a transitive subgroup of S3 . We have just seen that the only normal subgroup of S5
with order less than or equal to 40 is just {1S5 }, so |S5 /K| = 120, so S5 /K cannot be
isomorphic to S3 , which has order 6. Therefore, S5 has no subgroup of order 40.
A similar argument shows that S5 has no subgroup of order 30.
5
Given a subgroup H of a group G, and an element g in G, define
H g = g−1 hg : h ∈ H ,
(b) H g is isomorphic to H;
Proof Exercise.
g ∈ G : g−1 Hg = H = {g ∈ G : H g = H} ,
which is called the normalizer of H, written N(H). Then H EN(H) 6 G; in fact, N(H)
is the largest subgroup of G in which H is normal. If H E G then N(H) = G. By the
Orbit-Stabilizer Theorem, the number of conjugates of H in G is equal to |G : N(H)|.
Theorem If α and β are in the same orbit of some action π of a group G, then Gβ is
g
conjugate to Gα . More precisely, if απg = β then Gβ = Gα .
x ∈ Gβ ⇒ βπx = β
⇒ απg πx = απg
⇒ απg πx π−1
g =α
⇒ απgxg−1 = α
⇒ gxg−1 ∈ H
⇒ x = g−1 gxg−1 g ∈ H g .
6
Theorem Given a subgroup H of a finite group G, consider the action of H on the
right cosets of H in G, acting by right multiplication. The coset Hg is a fixed point
(that is, in an orbit of size 1) if and only if g ∈ N(H).
Gα = {x ∈ G : Hx = H} = H,
If a chain of inequalities begins and ends with the same thing then all the terms must
be equal, so H = H g , which implies that g ∈ N(H).
There are some infinite groups for which there is a subgroup H and an element g
such that
2 n−1 n
H & Hg & Hg & · · · & Hg & Hg & · · · .
In any such group, the “only if” part of the theorem is not true.