Topics in Algebra
Topics in Algebra
Topics in Algebra
Contents
1 Introduction 3
1.1 Isomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Order of an element . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3 Subgroups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4 Cyclic groups . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 On the structure of (Z/nZ)× . . . . . . . . . . . . . . . . . . . 18
1.6 Homomorphisms . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.7 Dihedral groups . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.8 Quaternion group Q8 . . . . . . . . . . . . . . . . . . . . . . . 27
1.9 Cosets and products of subsets . . . . . . . . . . . . . . . . . . 28
1.10 Normal subgroups and quotient groups . . . . . . . . . . . . . 33
1.11 Conjugacy classes of elements . . . . . . . . . . . . . . . . . . 41
1.12 Cauchy’s theorem . . . . . . . . . . . . . . . . . . . . . . . . . 44
1.13 Number of conjugacy classes . . . . . . . . . . . . . . . . . . . 46
1.14 Conjugacy classes of subgroups . . . . . . . . . . . . . . . . . 47
1.15 p-groups . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
3 Linear groups 67
3.1 On finite fields . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.2 Basic properties of GLn (q) and SLn (q) . . . . . . . . . . . . . 68
3.3 Polynomial rings . . . . . . . . . . . . . . . . . . . . . . . . . 69
3.4 Characteristic polynomials and eigenvalues . . . . . . . . . . . 71
3.5 Conjugacy classes of GL2 (q) . . . . . . . . . . . . . . . . . . . 72
3.6 Minimal polynomials . . . . . . . . . . . . . . . . . . . . . . . 76
3.7 Orders of elements . . . . . . . . . . . . . . . . . . . . . . . . 78
3.8 Factorizations of polynomials . . . . . . . . . . . . . . . . . . 79
3.9 Generators for GL2 (F) and SL2 (F) . . . . . . . . . . . . . . . 82
3.10 Simplicity of PSL2 (q) . . . . . . . . . . . . . . . . . . . . . . . 84
1
Topics in Algebra: Group Theory Mikko Korhonen
4 Normal series 89
4.1 Characteristic subgroups . . . . . . . . . . . . . . . . . . . . . 89
4.2 Commutator subgroups and solvability . . . . . . . . . . . . . 90
4.3 Jordan–Hölder theorem . . . . . . . . . . . . . . . . . . . . . . 95
4.4 Nilpotent groups . . . . . . . . . . . . . . . . . . . . . . . . . 100
4.5 Upper central series . . . . . . . . . . . . . . . . . . . . . . . . 103
4.6 Higher commutators . . . . . . . . . . . . . . . . . . . . . . . 104
Exercises 170
2
Topics in Algebra: Group Theory Mikko Korhonen
1 Introduction
These lecture notes will cover some of the fundamentals of group theory, with
a particular focus on finite groups and their structure.
There are no formal prerequisites, but some previous exposure to basic
algebra and group theory is expected. However, we will develop the theory
from the beginning, starting with the basic definitions and examples.
Definition 1.1. A group is a pair (G, ∗), where G is a set and ∗ : G×G → G
is a binary operation (a, b) 7→ a ∗ b satisfying the following properties:
The cardinality |G| of the set G is called the order of the group (G, ∗).
(c) Inverse elements are also unique. For if b and b0 are inverses of a, then
b = e ∗ b = (b0 ∗ a) ∗ b = b0 ∗ (a ∗ b) = b0 ∗ e = b0 .
• If ab = ac, then b = c.
• If ac = bc, then a = b.
3
Topics in Algebra: Group Theory Mikko Korhonen
Example 1.5 (Integers modulo n). Let n > 0 be an integer. For an integer
a ∈ Z, we denote by a the set of all integers b ∈ Z such that b ≡ a mod n.
In other words,
a = a + nZ.
Note that a = b if and only if a ≡ b mod n. We define the integers modulo
n as
Z/nZ = {a : a ∈ Z} = {0, 1, . . . , n − 1}.
We define addition and multiplication in Z/nZ by
(Z/nZ)× = {a : gcd(a, n) = 1}
forms a group ((Z/nZ)× , ·), which we call the multiplicative group of integers
modulo n.
The order of (Z/nZ)× is given by the number of integers 1 ≤ a ≤ n such
that gcd(a, n) = 1. In other words |(Z/nZ)× | = φ(n), where φ is the Euler
totient function.
4
Topics in Algebra: Group Theory Mikko Korhonen
Remark 1.6. Recall that for p any prime number, we have φ(p) = p − 1,
and φ(pk ) = pk−1 (p − 1) for all k > 1. More generally, for n > 0 with prime
factorization n = pk11 · · · pkt t , we have
1 1
φ(n) = n 1 − ··· 1 − .
p1 pt
Example 1.7. Recall that a ring is a triple (R, +, ·), where R is a set and
+ and · are binary operations on R such that the following hold:
Sym(Ω) = {f : Ω → Ω | f is a bijection }
5
Topics in Algebra: Group Theory Mikko Korhonen
6
Topics in Algebra: Group Theory Mikko Korhonen
1.1 Isomorphisms
Definition 1.15. Let (G, ∗) and (H, ?) be groups. A map ϕ : G → H is
called an isomorphism, if ϕ is a bijection and ϕ(a ∗ b) = ϕ(a) ? ϕ(b) for all
a, b ∈ G. If there exists an isomorphism G → H, we say that G and H are
isomorphic and denote this by G ∼ = H.
If two distinct groups are isomorphic, they have the exact same multipli-
cation table, just with different names for the elements (the different names
are given by an isomorphism ϕ). Therefore as groups their internal struc-
ture is the same, and they have the same group-theoretical properties. For
example, if G ∼ = H, then G is abelian if and only if H is abelian.
Example 1.16. Let (G, ∗) be a group with G = {1, a, b} and with the
following multiplication table:
∗ 1 a b
1 1 a b
a a b 1
b b 1 a
H = {10 , a0 , b0 }. Since ϕ(x) ? ϕ(y) = ϕ(x ∗ y) for all x, y ∈ G, we see that the
multiplication table of H is as follows:
? 10 a0 b0
10 10 a0 b0
a0 a0 b0 10
b0 b0 10 a0
So the table is exactly the same as for (G, ∗), just the names of the
elements are different. In this particular example, you can also check that
(G, ∗) ∼
= (Z/3Z, +).
7
Topics in Algebra: Group Theory Mikko Korhonen
• If X, Y ∈ G and X 6= Y , then X ∼
6= Y ;
8
Topics in Algebra: Group Theory Mikko Korhonen
but the precise number of groups of order 2048 remains unknown2,3 . The
value of gnu(n) is also known for special values of n, such as prime powers
n = pk with k ≤ 7. For example, for any prime p, we have gnu(p) = 1,
gnu(p2 ) = 2, gnu(p3 ) = 5, and
(
14, if p = 2;
gnu(p4 ) =
15, if p ≥ 3.
51,
if p = 2;
5
gnu(p ) = 67, if p = 3;
61 + 2p + 2 gcd(p − 1, 3) + 2 gcd(p − 1, 4), if p ≥ 5.
The results and the theory that we develop during this course will allow
us to describe Gn and gnu(n) for some specific values of n. See Table 1 for a
list of small values.4
Besides classifying various classes of groups up to isomorphism, another
thing that we want to understand in group theory is the structure of a given
group G. By “structure”, we usually mean the various algebraic properties5
1
A. Cayley. On the theory of groups, as depending on the symbolic equation θn = 1.
Philos. Mag., 4(7):40–47, 1854.
2
J. H. Conway, H. Dietrich, E. A. O’Brien, Counting groups: gnus, moas, and other
exotica. Math. Intelligencer 30 (2008), no. 2, 6–18.
3
B. Eick, M. Horn, A. Hulpke, Constructing groups of ‘small’ order: recent results and
open problems. Algorithmic and experimental methods in algebra, geometry, and number
theory, 199–211, Springer, Cham, 2017.
4
See for example https://oeis.org/A000001 for more values.
5
Here is a formal definition: A property P is an algebraic property (or isomorphism-
invariant) if it is preserved under isomorphisms. In other words, if G and H are isomorphic
groups, then G has property P if and only if H has property P .
9
Topics in Algebra: Group Theory Mikko Korhonen
that are associated with G and its elements. The sections that follow will
introduce some of the basic algebraic properties that are studied in group
theory.
a1 (a2 (a3 a4 )), a1 ((a2 a3 )a4 ), (a1 a2 )(a3 a4 ), (a1 (a2 a3 ))a4 , ((a1 a2 )a3 )a4
10
Topics in Algebra: Group Theory Mikko Korhonen
(iii) Let G = (Z, +). Then every a ∈ Z \ {0} has infinite order in G.
Lemma 1.27. Let G be a group and let g ∈ G be an element of finite order
|g| = n.
(i) Let m ∈ Z. Then g m = 1 if and only if n divides m.
n
(ii) Let k ≥ 0. Then |g k | = gcd(n,k)
.
11
Topics in Algebra: Group Theory Mikko Korhonen
We end this section with some results about the order of the product xy
of two elements x and y in a group G.
Proof. We will show that for n > 0, we have (xy)n = 1 if and only if (yx)n =
1, from which the lemma follows. For this, we can write
Proof. Since xy = yx, it is easy to see that (xy)d = xd y d for all integers d ∈ Z.
In particular, we have (xy)mn = 1 since xm = 1 and y n = 1. Suppose now
that (xy)d = 1. Then xd = y −d , and powering both sides by n shows xdn = 1.
Therefore m | dn, which implies m | d since gcd(m, n) = 1. Similarly we have
y d = x−d , and powering both sides by m shows that y dm = 1, which implies
n | d. Therefore m | d and n | d, which gives mn | d since gcd(m, n) = 1.
Thus |xy| = mn.
Note that both assumptions in Lemma 1.29 are necessary:
12
Topics in Algebra: Group Theory Mikko Korhonen
Theorem 1.30 (Miller, 1900). Let m, n, ` > 1 be integers. Then there exists
a finite group G which contains elements x and y such that |x| = m, |y| = n,
and |xy| = `.
Proof. Omitted.
As a historical note, the first proof of Theorem 1.30 was given in a paper
of G. A. Miller6 from 1900. Let k = max(m, n, `). In his paper, Miller
constructs explicitly permutations x, y ∈ Sk+2 such that |x| = m, |y| = n,
and |xy| = `. The proof by Miller is a somewhat lengthy calculation involving
many different cases. Since 1900, the result has been rediscovered7 several
times and shorter proofs have been found.
1.3 Subgroups
One basic thing that we want to understand about a group G is its subgroup
structure, that is, the groups that are contained inside of G.
Definition 1.31. Let (G, ∗) be a group. A subset H ⊆ G is a subgroup, if
H is closed under the binary operation ∗ and H equipped with ∗ is a group.
We denote this by H ≤ G.
Note that if H is a subgroup G, then H and G must have the same
identity element. Indeed, suppose that x = 1H is the identity element of
H. Then x2 = x, so multiplying both sides by x−1 shows that x = 1G .
Throughout these notes, we will use the following lemma to check whether a
subset H ⊆ G is a subgroup.
Lemma 1.32. Let G be a group. A subset H ⊆ G is a subgroup if and only
if all of the following hold:
(i) 1G ∈ H;
(ii) ab ∈ H for all a, b ∈ H;
(iii) a−1 ∈ H for all a ∈ H.
Proof. If H is a subgroup of G, then 1G ∈ H as seen above, so (i) holds. Pro-
perty (ii) holds by definition, and (iii) holds since H is a group and inverses
are unique in G. Conversely if (i) — (iii) hold then H is a subgroup; we only
need to check associativity and this follows immediately from associativity
in G.
6
G. A. Miller, On the Product of Two Substitutions, American Journal of Mathematics,
Vol. 22, No. 2 (Apr., 1900), pp. 185-190.
7
J. König, A note on the product of two permutations of prescribed orders, European
J. Combin. 57 (2016), 50–56.
13
Topics in Algebra: Group Theory Mikko Korhonen
(iv) Let n > 0 be an integer and let F be a field. We define the special linear
group SLn (F) as
Proof. Any subgroup contains the identity, so the same is true for their in-
tersection. The intersection is also closed under products and inverses since
the subgroups are.
14
Topics in Algebra: Group Theory Mikko Korhonen
(ii) We have
Example 1.41. For all n > 0, the group Z/nZ is cyclic of order n, and Z is
infinite cyclic.
(ii) If g has finite order |g| = n, then hgi is a subgroup of order |g| and
hgi = {1, g, . . . , g n−1 }.
15
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Let G = hgi be cyclic and let H ≤ G be a subgroup. Then there exists
g d ∈ H with d ≥ 0, choose d to be minimal. We will show that H = hg d i. It
is clear that hg d i ≤ H.
To show that H ≤ hg d i, let h ∈ H and write h = g k with k ∈ Z. By
Euclidean division, we can write k = qd + r with q ∈ Z and 0 ≤ r < d. Then
g k = (g d )q g r ,
16
Topics in Algebra: Group Theory Mikko Korhonen
Remark 1.47. Let G = hgi be cyclic of order n. By Lemma 1.46 (ii) – (iii),
the number of subgroups of G is equal to the number of divisors of n, with
d | n corresponding to the subgroup hg n/d i of order d. For example if G = hgi
is cyclic of order 6, then G has a total of 4 subgroups: {1}, hg 2 i, hg 3 i, and
hgi.
Proof. (i) Note first that since g has infinite order, for all k, ` ∈ Z we have
g k = g ` if and only if k = `. If hg d i is finite, we have g dk = 1 = g 0 for
some k > 0, which gives dk = 0 and thus d = 0.
17
Topics in Algebra: Group Theory Mikko Korhonen
We begin with an elementary result which does not involve any group
theory, but can be proven using some basic properties of cyclic groups.
P
Theorem 1.50. Let n > 0 be an integer. Then n = d|n φ(d).
Proof. Let G be a cyclic group of order n. Each element of order d generates
a subgroup of order d, and there is only such subgroup in G by Lemma 1.46
(iii). Therefore od (G) is equal to the number of generators for a cyclic group
of order d, and so od (G) = φ(d) by Lemma 1.46 (v). We conclude then that
X X
n = |G| = od (G) = φ(d).
d|n d|n
Theorem 1.51. Let G be a finite group such that for all d > 0, the number
of solutions to xd = 1 in G is at most d. Then G is cyclic.
Proof. Denote n = |G|. We have od (G) = φ(d)sd (G), where sd (G) is the
number of cyclic subgroups of order d in G. (This is because two different
cyclic subgroups
P of order d cannot have elements of order d in common.)
Since n = d|n od (G), we have
X X
φ(d)sd (G) = φ(d) (1.1)
d|n d|n
18
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Over any field F, a polynomial of degree d > 0 has at most d roots.
In particular, the polynomial xd − 1 ∈ F[x] has at most d roots, so there are
at most d solutions to xd = 1 in F× . By Theorem 1.51, the multiplicative
group F× is cyclic.
In particular, we have shown that (Z/pZ)× is cyclic for any prime p > 0.
In general (Z/nZ)× is not cyclic; for example x2 = 1 for all x ∈ (Z/8Z)× , so
(Z/8Z)× does not have an element of order 4 = φ(8). We now consider the
question of when (Z/pn Z)× is cyclic for a prime number p. We will see that
(Z/pn Z)× is cyclic if p > 2, and usually not if p = 2. First we need some
notation and a lemma.
Lemma 1.54. Let p > 2 be a prime, and let z ≡ 1 mod p. Then the
following hold:
(i) νp (z p − 1) = νp (z − 1) + 1.
k
(ii) νp (z p − 1) = νp (z − 1) + k for all k > 0.
The first term in the sum is certainly divisible by pα+2 , and not by pα+3 .
It is easy to see that all of the other terms in the sum are divisible by
pα+3 , so we conclude that pα+2 is the largest power of p dividing z p − 1.
In other words νp (z p − 1) = νp (z − 1) + 1.
19
Topics in Algebra: Group Theory Mikko Korhonen
(ii) For k = 1 the claim is just (i). Suppose that k > 1. Then
k k−1 k−1
νp (z p − 1) = νp ((z p )p − 1) = νp (z p − 1) + 1
Theorem 1.55. Let p > 2 be a prime. Then (Z/pn Z)× is cyclic for all
n ≥ 1.
Proof. For n = 1, the claim follows from Theorem 1.52. Suppose then that
n > 1. Our aim is to find an element of order φ(pn ) = pn−1 (p − 1) in
(Z/pn Z)× . For this it will suffice to find an element of order pn−1 and (p − 1),
as then by Lemma 1.29 their product will have order pn−1 (p − 1).
Let g ∈ Z be such that the image of g is a generator of (Z/pZ)× , in other
words g has order p−1 in (Z/pZ)× . Then the order of g in (Z/pn Z)× must be
divisible by p − 1, so a suitable power of g will have order p − 1 in (Z/pn Z)× .
For an element of order pn−1 , we claim that the image of z = 1 + p has
k
order pn−1 in (Z/pn Z)× . Indeed, by Lemma 1.54 (ii) we have νp (z p − 1) =
n−1 n−2
k + 1 for all k > 0. Therefore z p ≡ 1 mod pn and z p 6≡ 1 mod pn , so
z has order pn−1 in (Z/pn Z)× .
Lemma 1.56. Let z be an odd integer and k > 0. Then the following
statements hold:
k
(i) If z ≡ 1 mod 4, then ν2 (z 2 − 1) = ν2 (z − 1) + k.
k
(ii) If z ≡ 3 mod 4, then ν2 (z 2 − 1) = ν2 (z + 1) + k.
Proof. Exercise.
Theorem 1.57. If n ≥ 3, then (Z/2n Z)× is not cyclic.
Proof. Exercise. (Apply Lemma 1.56.)
1.6 Homomorphisms
Definition 1.58. Let G and H be groups. A map ϕ : G → H is called a
homomorphism, if ϕ(xy) = ϕ(x)ϕ(y) for all x, y ∈ G.
Rather than only looking at structure-preserving maps which are bijective
(isomorphisms), it is natural to consider structure-preserving maps which are
not necessarily bijections (homomorphisms).
For example, note that if ϕ : G → H is an injective homomorphism, then
it is easily shown that ϕ(G) is a group and moreover that ϕ provides an
20
Topics in Algebra: Group Theory Mikko Korhonen
isomorphism G ∼ = ϕ(G) (see Lemma 1.63 (vi) below). In this case we say
that G embeds into H. The question whether a given group G embeds into
another group H comes up all the time in group theory.
If ϕ is not injective, a homomorphic image ϕ(G) is still a group: the
multiplication table of ϕ(G) is like that of G, except some elements of G are
identified. For example, consider the map
(ii) ϕ(1G ) = 1H ;
(ii) We have ϕ(1G )ϕ(1G ) = ϕ(1G 1G ) = ϕ(1G ); then multiplying both sides
of ϕ(1G )ϕ(1G ) = ϕ(1G ) with ϕ(1G )−1 gives ϕ(1G ) = 1H .
(iv) Follows from (i) – (ii) for n ≥ 0. Then for n < 0 the claim follows from
(iii), since xn = (x−n )−1 .
Example 1.61. Let G be any group and let g ∈ G. Since g m g n = g m+n for
all m, n ∈ Z, we have a homomorphism ϕ : Z → G defined by ϕ(k) = g k
for all k ∈ Z. If g has infinite order, then Ker ϕ = {0}. If g has finite order
|g| = n, then Ker ϕ = nZ.
21
Topics in Algebra: Group Theory Mikko Korhonen
(iii) If ϕ is injective, then Ker ϕ = {1} as otherwise ϕ(x) = ϕ(1) for some
g 6= 1. Conversely suppose that Ker ϕ = {1}. Then ϕ(x) = ϕ(y)
implies x = y by (ii), so ϕ is injective.
22
Topics in Algebra: Group Theory Mikko Korhonen
(vii) We have ϕ(g)n = ϕ(g n ) for all g ∈ G by Lemma 1.59 (iv). Thus if ϕ is
injective, then ϕ(g)n = 1 if and only if g n = 1, so |ϕ(g)| = |g|.
23
Topics in Algebra: Group Theory Mikko Korhonen
The maps Lg in Theorem 1.66 are called left translation maps, and the
homomorphism ϕ is called the left regular representation. Similarly the Rg
are called right translations and the homomorphism ψ is called the right
regular representation.
Lemma 1.69. Suppose that G is a group such that G = hx, yi with |x| = 2,
xyx−1 = y −1 , and x 6∈ hyi. Then:
24
Topics in Algebra: Group Theory Mikko Korhonen
Proof. The proof of (i) and (ii) is based on the following observation. We
have xyx−1 = y −1 , so by Lemma 1.65 (i) we have xy k x−1 = y −k and thus
(i) By Lemma 1.39, every g ∈ G can be written in the form g = sε11 · · · sεnn ,
where si ∈ {x, y} and εi ∈ {1, −1} for all 1 ≤ i ≤ n. We will show that
g can be written in the form xi y j for some i, j ∈ Z. If n = 0 or n = 1
this is clear, so we suppose that n > 1 and proceed by induction on n.
Then
εn−1 εn
g = sε11 · · · sn−1 sn = xi y j sεnn
by induction. If sn = x, then g = xi (y j x) = xi+1 y −j by (1.2). If sn = y,
then g = xi y j y εn = xi y j+εn . This completes the proof of (i).
by (1.2).
25
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 1.70. Let G = hx, yi and H = hz, wi be groups such that the follo-
wing hold:
Then G ∼
= H if and only if |y| = |w|.
Proof. Suppose first that G ∼ = H. Then in particular |G| = |H|. If G and H
have infinite order, then by Lemma 1.69 (iv) we must have |y| = |w| = ∞.
Similarly if |G| = |H| is finite, then |G| = 2|y| and |H| = 2|w| by Lemma
1.69 (iv), so |y| = |w|.
For the other direction, suppose that |y| = |w|. Apply Lemma 1.69
(i) – (iv) to conclude that we can define an isomorphism ϕ : G → H by
ϕ(xi y j ) = z i wj for all i, j ∈ Z. (The details are left as an exercise.)
At this point we have essentially classified the dihedral groups, but we
have not yet shown that they exist. One way to do this would be to use the
multiplication rule in Lemma 1.69 (ii), in which case the main thing to check
is that this defines an associative binary operation. We will later see this as
part of a more general construction (semidirect products), so we will instead
proceed with the following construction using symmetric groups.
We construct groups G = hx, yi such that |x| = 2, xyx−1 = y −1 , x 6∈ hyi;
for all possible values of |y|. In view of Lemma 1.70, this provides us with
all dihedral groups up to isomorphism.
26
Topics in Algebra: Group Theory Mikko Korhonen
Theorem 1.71. Let G be a dihedral group, say G = ha, bi with |a| = |b| = 2.
The following statements hold:
with
1 0 i 0
1= , i= ,
0 1 0 −i
0 1 0 i
j= , k= ,
−1 0 i 0
i2 = j 2 = k 2 = −1
27
Topics in Algebra: Group Theory Mikko Korhonen
ij = k = −ji
jk = i = −kj
ki = j = −ik
Remark 1.73. We have previously seen that the dihedral group D8 is anot-
her example of a non-abelian group of order 8. However, we have Q8 ∼6= D8 .
One way to see this is to note that D8 and Q8 do not have the same number
of elements of order 2. (Exercise: For G = D8 and G = Q8 , determine the
order of each element.)
gS = {gs : s ∈ S},
Sg = {sg : s ∈ S},
respectively. Recall from Cayley’s theorem (Theorem 1.66) that the left
translation maps x 7→ gx and right translation maps x 7→ xg are bijections
for all g ∈ G. Thus |gS| = |Sg| = |S| for all S ⊆ G and g ∈ G; moreover
S = T if and only if gS = gT if and only if T g = Sg for all S, T ⊆ G and
g ∈ G.
8
Quaternions were discovered by Hamilton in 1843. Here is a quote from the paper
where he first defined quaternions: “... though it must, at first sight, seem strange and
almost unallowable, to define that the product of two imaginary factors in one order differs
(in sign) from the product of the same factors in the opposite order (ji = −ij)..”
28
Topics in Algebra: Group Theory Mikko Korhonen
Moreover, it follows from the next two lemmas that the left cosets of H are
pairwise disjoint: for all a, b ∈ G we have either aH = bH or aH ∩ bH = ∅.
(i) aH = bH,
(ii) b−1 a ∈ H,
(iii) a ∈ bH,
(iv) b ∈ aH,
29
Topics in Algebra: Group Theory Mikko Korhonen
H = {(1), (1 2)}
(1 3)H = {(1 3), (1 2 3)}
(2 3)H = {(2 3), (1 3 2)}
H = {(1), (1 2)}
H(1 3) = {(1 3), (1 3 2)}
H(2 3) = {(2 3), (1 2 3)}
Note that H is both a left and right coset, but neither H(1 3) nor H(2 3) is
a equal to a left coset.
9
The use of axiom of choice in this remark is unavoidable. It was shown in Theorem 1
of “K. Keremedis, Some equivalents of AC in algebra. II., Algebra Universalis 39 (1998),
no. 3–4, 163–169.” that the axiom of choice holds if and only if every subgroup of every
abelian group has a left transversal.
30
Topics in Algebra: Group Theory Mikko Korhonen
We could also define the index of a subgroup using right cosets, since the
set of left cosets and the set of right cosets have the same cardinality10 . In
any case, since |aH| = |H| for all a ∈ G, in the case of finite groups we get
Lagrange’s theorem:
Corollary 1.81. Let G be a finite group and g ∈ G. Then |g| divides |G|.
Proof. The claim follows from Lagrange’s theorem with H = hgi, since |H| =
|g| by Lemma 1.42 (ii).
Proof. Let x ∈ G be a nontrivial element. Since |x| > 1 divides |G|, we have
|x| = |G| since |G| is a prime number. Since hxi is a subgroup of order |x|
(Lemma 1.42 (ii)), we conclude that G = hxi.
From Corollary 1.83 and Lemma 1.43, it follows that gnu(p) = 1 for all
primes p.
• Order 2: three cyclic subgroups h(1 2)i, h(1 3)i, and h(2 3)i;
31
Topics in Algebra: Group Theory Mikko Korhonen
32
Topics in Algebra: Group Theory Mikko Korhonen
and each left coset of K has size |K|, so |HK| = s|K|, where s is the number
of left cosets of the form hK with h ∈ H.
We show next that s = [H : H ∩ K]. To this end, we can apply Lemma
1.76. For x, y ∈ H we have xK = yK if and only if y −1 x ∈ H ∩ K. Therefore
xK = yK if and only if x(H ∩ K) = y(H ∩ K), from which it follows that
the sets {hK : h ∈ H} and {h(H ∩ K) : h ∈ H} have the same size. In other
words s = [H : H ∩ K], so by Lagrange’s theorem
|H||K|
|HK| = [H : H ∩ K]|K| = .
|H ∩ K|
as claimed.
Lemma 1.89. Let H and K be subgroups of a group G. Then HK is a
subgroup if and only if HK = KH.
Proof. Exercise.
33
Topics in Algebra: Group Theory Mikko Korhonen
(ii) ⇒ (iii): By associativity and (ii), we have (xN )(yN ) = x(N y)N =
x(yN )N = xyN N = xyN for all x, y ∈ G.
(ii) We have ϕ(N ) ≤ ϕ(G) by Lemma 1.63 (iv). For all g ∈ G we have
ϕ(g)−1 ϕ(N )ϕ(g) = ϕ(g −1 N g) = ϕ(N ), since N is normal, so ϕ(N ) E
ϕ(G).
34
Topics in Algebra: Group Theory Mikko Korhonen
(iii) We have ϕ−1 (K) ≤ G by Lemma 1.63 (v). For all g ∈ G and x ∈
ϕ−1 (K), we have ϕ(g −1 xg) = ϕ(g)−1 ϕ(x)ϕ(g) ∈ K since ϕ(x) and
K E G. This shows that g −1 xg ∈ ϕ−1 (K) for all g ∈ G and x ∈ ϕ−1 (K),
so by Lemma 1.92 we have ϕ−1 (K) E G.
35
Topics in Algebra: Group Theory Mikko Korhonen
(c) For N = {1}, the left cosets N in G are singletons {g}, g ∈ G. Multi-
plication in G/N is defined as {g} · {h} = {gh} for all g, h ∈ G, so it is
obvious that G/N ∼= G.
(d) Let G = S3 and consider the normal subgroup N = h(1 2 3)i. Then
G/N = {N, (1 2)N }, and G/N ∼
= C2 .
36
Topics in Algebra: Group Theory Mikko Korhonen
H/H ∩ K ∼
= HK/K
G/N ∼
= G/M.
M/N
G/N
ϕ:G→ , ϕ(g) = π(g)(M/N ) for all g ∈ G.
M/N
G/N
G/M ∼
= ,
M/N
as claimed.
(iv) Every subgroup of G/N is of the form M/N for a unique subgroup
N ≤ M ≤ G.
37
Topics in Algebra: Group Theory Mikko Korhonen
(v) If M E G, then M/N = π(M ) E G/N by (i) and Lemma 1.93 (ii).
Conversely, if M/N E G/N , then M = π −1 (M/N ) E G by (ii) and
Lemma 1.93 (iii).
(a) If G is cyclic of prime order, then G has only two subgroups; {1} and G
itself. Therefore G is simple.
G = N0 . N1 . N2 . · · · . Nt . Nt+1 = {1}
38
Topics in Algebra: Group Theory Mikko Korhonen
such that Ni /Ni+1 is simple for all 0 ≤ i ≤ t. Such a series is called a com-
position series. (In a later section we will prove the Jordan-Hölder theorem,
which states that the isomorphism types of the simple factors occurring in a
composition series are unique.)
(2) (Extension problem) Given two finite groups A and B, determine all
finite groups G with a normal subgroup N such that N ∼ = A and
G/N ∼ = B.
39
Topics in Algebra: Group Theory Mikko Korhonen
M11 24 · 32 · 5 · 11 1895
M12 26 · 33 · 5 · 11 1899
M22 27 · 32 · 5 · 7 · 11 1900
M23 27 · 32 · 5 · 7 · 11 · 23 1900
M24 210 · 33 · 5 · 7 · 11 · 23 1900
J1 23 · 3 · 5 · 7 · 11 · 19 1966
J2 27 · 33 · 52 · 7 1967
J3 27 · 35 · 5 · 17 · 19 1969
J4 221 · 33 · 5 · 7 · 113 · 23 · 29 · 31 · 37 · 43 1975
Co1 221 · 39 · 54 · 72 · 11 · 13 · 23 1969
Co2 218 · 36 · 53 · 7 · 11 · 23 1969
Co3 210 · 37 · 53 · 7 · 11 · 23 1969
Fi22 217 · 39 · 52 · 7 · 11 · 13 1969
Fi23 218 · 313 · 52 · 7 · 11 · 13 · 17 · 23 1969
Fi024 221 · 316 · 52 · 73 · 11 · 13 · 17 · 23 · 29 1969
HS 29 · 32 · 53 · 7 · 11 1968
McL 27 · 36 · 53 · 7 · 11 1969
He 210 · 33 · 52 · 73 · 17 1969
Ru 214 · 33 · 53 · 7 · 13 · 29 1972
Suz 213 · 37 · 52 · 7 · 11 · 13 1969
O’N 29 · 34 · 5 · 73 · 11 · 19 · 31 1973
HN 214 · 36 · 56 · 7 · 11 · 19 1974
Ly 28 · 37 · 56 · 7 · 11 · 31 · 37 · 67 1971
Th 215 · 310 · 53 · 72 · 13 · 19 · 31 1974
B 241 · 313 · 56 · 72 · 11 · 13 · 17 · 19 · 23 · 31 · 47 1974
M 246 · 320 · 59 · 76 · 112 · 133 · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71 1974
Table 2: The sporadic simple groups, their orders, and the year when they
were first discovered.
40
Topics in Algebra: Group Theory Mikko Korhonen
41
Topics in Algebra: Group Theory Mikko Korhonen
(ii) For a, b ∈ G we have axa−1 = bxb−1 if and only if (b−1 a)x = x(b−1 a)−1 ,
i.e. b−1 a ∈ CG (x). Therefore axa−1 = bxb−1 if and only if aCG (x) =
bCG (x), so the map axa−1 7→ aCG (x) is a well-defined bijection between
the sets xG and {aCG (x) : a ∈ G}. Thus |xG | = [G : CG (x)].
42
Topics in Algebra: Group Theory Mikko Korhonen
(iv) Let G = S3 . Then CG (x) = hxi for all x ∈ G \ {1}. For G = S4 and
x = (1 2), we have CG (x) = {(1), (1 2), (3 4), (1 2)(3 4)}.
Similarly to the center, we see that CG (S) is a subgroup since it is the inter-
section of the centralizers of elements of S. In particular, we have CG (H) ≤ G
for any H ≤ G.
Proof. Since a conjugacy class xG has size 1 if and only if x ∈ Z(G), we have
a disjoint union
[t
G = Z(G) ∪ xGi .
i=1
Pt Pt
Thus |G| = |Z(G)| + i=1 |xG
i | = |Z(G)| + i=1 [G : CG (xi )] by Lemma
1.114.
43
Topics in Algebra: Group Theory Mikko Korhonen
44
Topics in Algebra: Group Theory Mikko Korhonen
Corollary 1.123 (Cayley, 1854). Let G be a group such that |G| = 6. Then
G∼
= C6 or G ∼= S3 .
Cauchy’s theorem tells us that if p is a prime dividing the order of a finite
group G, then G contains an element of order p. What can we say about the
number of elements of order p?
Theorem 1.124. Let G be a finite group and let p be a prime such that
p | |G|. Then the number of x ∈ G such that xp = 1 is a multiple of p.
“... if n = 6, there are three groups, a group 1, α, α2 , α3 , α4 , α5 (α6 = 1); and two
groups 1, β, β 2 , α, αβ, αβ 2 (α2 = 1, β 3 = 1), viz: in the first of these αβ = βα; while in
the other of them we have αβ = β 2 α ...”
45
Topics in Algebra: Group Theory Mikko Korhonen
46
Topics in Algebra: Group Theory Mikko Korhonen
log log n
Theorem 1.129. Let G be a finite group of order n. Then k(G) > log 2
.
Proof. Omitted.
The bound in Theorem 1.129 is very weak, and later much better bounds
have been found. But it does follow from Theorem 1.129 that k(G) → ∞ as
|G| → ∞. Therefore for all c > 0, up to isomorphism there exist only finitely
many finite groups G with k(G) = c.
(e) Denote by f (c) the number of finite groups (up to isomorphism) with
k(G) = c. Then we have the following values of f (c):
c 1 2 3 4 5 6 7 8 9 10 11 12
f (c) 1 1 2 4 8 8 12 21 26 38 35 32
Remark 1.131. For all c > 1, it is possible to construct an infinite group G
with k(G) = c.
47
Topics in Algebra: Group Theory Mikko Korhonen
Proof. The proofs of (i) is similar to the proofs of Lemma 1.114 (i). For (ii),
show that xNG (H) = yNG (H) if and only if xHx−1 = yHy −1 and argue as
in Lemma 1.114 (ii). The details are left as an exercise.
Proof. Exercise.
48
Topics in Algebra: Group Theory Mikko Korhonen
1.15 p-groups
Definition 1.140. Let p be a prime. A group G is said to be a p-group, if
|g| is a power of p for all g ∈ G.
N = {1} ∪ C1 ∪ · · · ∪ Ct .
The order of a conjugacy class divides the order of the group (Lemma 1.114
(ii)), so |Ci | is a power of p for all 1 ≤ i ≤ t.PThus we cannot have |Ci | > 1
for all 1 ≤ i ≤ t, as otherwise |N | = 1 + ti=1 |Ci | is not divisible by p.
Therefore Ci = {x} for some 1 ≤ i ≤ t, in which case x ∈ N ∩ Z(G) and the
lemma follows.
The following is the special case N = G of Lemma 1.142.
49
Topics in Algebra: Group Theory Mikko Korhonen
Example 1.145. For any prime p, there exist non-abelian p-groups of order
p3 . For this we can consider the Heisenberg group
1 a b
Hp = 0 1 c : a, b, c ∈ Z/pZ .
0 0 1
Proof. We proceed by induction on |G|, the case |G| = 1 being clear. Suppose
then that |G| > 1. If β = 0, we can take N = {1}, so suppose that β > 0.
By Corollary 1.143 there exists a non-identity element x ∈ Z(G). Replacing
x with a suitable power of x, we can assume that |x| = p. Then K = hxi is
subgroup of order p, and K E G since x ∈ Z(G). By induction there exists
N/K E G/K with |N/K| = pβ−1 . Then N E G with |N | = pβ . (Remember
Theorem 1.102.)
Proof. By induction on |G|, the case |G| = 1 and |G| = p are clear. Suppose
then that |G| > p. By Corollary 1.143 we have Z(G) 6= {1}. Thus if
Z(G) ≤ H, then by induction
and thus H NG (H). If Z(G) 6≤ H, then the claim follows since Z(G) ≤
NG (H).
50
Topics in Algebra: Group Theory Mikko Korhonen
for some i1 , . . . , it ∈ Ω.
Proof. Let orbσ (i) and orbσ (j) be two orbits of σ. If they are not disjoint,
there exist some k, ` ∈ Z such that σ k (i) = σ ` (j). Then i = σ `−k (j) which
implies orbσ (i) ⊆ orbσ (j), similarly j = σ k−` (i) which implies orbσ (j) ⊆
orbσ (i). Therefore orbσ (i) = orbσ (j).
Example 2.5. For example, consider σ ∈ S3 . Then:
• σ = (1) has three orbits: {1}, {2}, {3}.
51
Topics in Algebra: Group Theory Mikko Korhonen
52
Topics in Algebra: Group Theory Mikko Korhonen
Not all 2-cycles are needed to generate Sn , as for example S3 = h(1 2), (2 3)i.
53
Topics in Algebra: Group Theory Mikko Korhonen
(i) |σ| = k.
Proof. Exercise.
Example 2.15. The 4-cycle (1 2 3 4) has order 4 and (1 2 3 4)2 = (1 3)(2 4).
Proof. Since the cycles are pairwise disjoint, they commute pairwise, and
therefore σ d = π1d · · · πtd for all d ∈ Z. By Lemma 2.14 and the uniqueness
of the cycle decomposition, we have σ d = 1 if and only if πid = 1 for all
1 ≤ i ≤ t. Since |πi | = ki (Lemma 2.14), it follows that σ d = 1 if and only if
ki | d for all 1 ≤ i ≤ t. Since lcm(k1 , . . . , kt ) is precisely the smallest positive
integer such that ki | lcm(k1 , . . . , kt ) for all 1 ≤ i ≤ t, the lemma follows.
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14
g(n) 1 2 3 4 6 6 12 15 20 30 30 60 60 84
Exercise: Using the values of g(n) given above, find an element of largest
order in Sn for 1 ≤ n ≤ 14.
54
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Suppose that σ = π1 · · · πt such that πi a ki -cycle and that the cycles
πi are pairwise disjoint. For conjugation of k-cycles in Sn , we have
By (2.1), we get
55
Topics in Algebra: Group Theory Mikko Korhonen
(i j k) = (j k i) = (k i j)
Proof. The set I(στ ) consists of {i, j} with 1 ≤ i < j ≤ n such that either
• X = I(τ )
56
Topics in Algebra: Group Theory Mikko Korhonen
sgn(σ) = (−1)|I(σ)|
57
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
58
Topics in Algebra: Group Theory Mikko Korhonen
Proof. (i) Suppose that CG (g) 6≤ N . It will suffice to prove that for x ∈
G \ N , we have xgx−1 ∈ g N . Let h ∈ CG (g) \ N . Since x ∈ / N and
∼ −1
h 6∈ N , we have hx ∈ N because G/N = C2 . Since hxh = x we get
xgx−1 = (xh)g(xh)−1 ∈ g N .
(ii) Suppose that CG (g) ≤ N , so CG (g) = CN (g). Then
|g G | = [G : CN (g)] = [G : N ][N : CN (g)] = 2|g N |
by Lemma 1.114, so |g N | = |g G |/2. Let g 0 ∈ g G \ g N , say g 0 = xgx−1 .
Then CG (g 0 ) = xCG (g)x−1 ≤ N , so by the same argument |(g 0 )N | =
|g G |/2. Since distinct conjugacy classes of N are disjoint, we conclude
that g G = g N ∪ (g 0 )N .
59
Topics in Algebra: Group Theory Mikko Korhonen
= (σπ1 σ −1 )π2 · · · πt
= (2 3 1 4 · · · s)π2 · · · πt .
Here we have used the fact that σ is disjoint from π2 , . . ., πt and thus
commutes with them. Since σgσ −1 ∈ N by normality of N , it follows that
σgσ −1 g −1 = (2 3 1 4 · · · s)(1 2 3 · · · s)−1 = (1 2 4) ∈ N .
Case 2: Each cycle has length ≤ 3, and there are at least two 3-cycles. By
replacing g with a conjugate and rearranging the πi , we can assume that
π1 = (1 2 3) and π2 = (4 5 6). Set σ = (1 5)(2 6 3 4). Then
Thus σgσ −1 g −1 = (1 2 3) ∈ N .
Case 3: There is exactly one 3-cycle, and rest of the cycles have length ≤ 2.
By replacing g with a conjugate and rearranging the πi , we can assume that
g = (1 2 3)π2 · · · πt , where πi are 2-cycles. Then g 2 = (1 3 2)π22 · · · πt2 =
(1 3 2) ∈ N .
Case 4: All cycles have length ≤ 2. There must be at least 2 cycles since
g ∈ An , so by replacing G with a conjugate, we may assume that g =
(1 2)(3 4)π3 · · · πt . Let σ = (1 2 3). Calculating as in the previous cases
shows that σgσ −1 g −1 = (1 3)(2 4) ∈ N . Then for τ = (1 5 3), we have
τ (1 3)(2 4)τ −1 (1 3)(2 4) = (1 3 5) ∈ N .
60
Topics in Algebra: Group Theory Mikko Korhonen
61
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 2.37. Let G be a group acting on a set X. For any two orbits Gx
and Gy, either Gx = Gy or Gx ∩ Gy = ∅.
where S is a set of representatives for the orbits. If there is only one orbit,
we say that the action of G on X is transitive. Note that G acts transitively
on any orbit Gx.
If X is a finite set, say
X = Gx1 ∪ · · · ∪ Gxt
62
Topics in Algebra: Group Theory Mikko Korhonen
For a group G acting on a set X, the kernel of the action is the kernel of
the corresponding homomorphism G → Sym(X). It is clear that the kernel
is equal to \
Gx ,
x∈X
T
so the action of G on X is faithful if and only if x∈X Gx = {1}.
Lemma 2.39. Let G be a group acting on a set X. Then the following hold:
Proof. The fact that ψ is well-defined and injective follows from Lemma 2.39
(iii). Since ψ is clearly surjective, it is a bijection. Thus |Ω| = |Gx|, so
[G : Gx ] = |Gx|.
Remark 2.41. Let G be a group acting on two sets X and Y . We say that
X and Y are equivalent (isomorphic) as G-sets, if there exists a bijection
ψ : X → Y such that ψ(gx) = gψ(x) for all x ∈ X. For equivalent G-sets X
and Y , the action of G is essentially the same, just the names of the elements
that G acts on are different (and the different names or labels are provided
63
Topics in Algebra: Group Theory Mikko Korhonen
The orbit–stabilizer theorem tells us that the size of an orbit is the index
of the stabilizer of a point. We will now see how many of the results and
concepts are special cases of the orbit–stabilizer theorem. These include,
for example, the fact that the size of a conjugacy class is the index of the
centralizer.
64
Topics in Algebra: Group Theory Mikko Korhonen
(f) G acts on the set of its subgroup by conjugation; that is, we have an
action of G on X = {H : H ≤ G} via g · H = gHg −1 for all g ∈ G and
H ≤ G.
65
Topics in Algebra: Group Theory Mikko Korhonen
We finish this section with one more example. Consider G = GL2 (2) and
let V = F22 with basis e1 , e2 . In this case, the action of G on V \ {0} provides
a homomorphism
ϕ : GL2 (2) → S3 ,
since there are only 3 non-zero vectors V ; indeed V \ {0} = {e1 , e2 , e1 + e2 }.
It is clear that the action of G is faithful, so ϕ must be injective. Since
| GL2 (2)| = |S3 |, the map ϕ is an isomorphism, and so GL2 (2) ∼ = S3 . Label-
ling the non-zero vectors e1 , e2 , e1 + e2 as 1, 2, 3 we have
1 0 0 1
ϕ = (1) ϕ = (1 2)
0 1 1 0
0 1 1 0
ϕ = (1 2 3) ϕ = (1 3)
1 1 1 1
1 1 1 1
ϕ = (1 3 2) ϕ = (2 3)
1 0 0 1
66
Topics in Algebra: Group Theory Mikko Korhonen
3 Linear groups
In this section, we will prove some basic results about the groups GLn (F) and
SLn (F), where F is a field. Our focus is on the case where F is a finite field,
but many of the methods described in this section will work over arbitrary
fields as well.
67
Topics in Algebra: Group Theory Mikko Korhonen
· 0 1 α α2
0 0 0 0 0
1 0 1 α α2
α 0 α α2 1
α2 0 α2 1 α
+ 0 1 α α2
0 0 1 α α2
1 1 0 α2 α
α α α2 0 1
α2 α2 α2 1 0
68
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
The group PGLn (q) := GLn (q)/Z(GLn (q)) is called the projective general
linear group (over Fq ), while PSLn (q) := SLn (q)/Z(SLn (q)) is called the
projective special linear group (over Fq ). It can be proven that if n ≥ 2,
then PSLn (q) is a non-abelian simple group, except for PSL2 (2) ∼ = S3 and
PSL2 (3) ∼
= 4A .
p(t) = q(t)f (t) + r(t), where r(t) = 0 or deg r(t) < deg f (t).
If r(t) = 0, we say that f (t) divides p(t) and denote f (t) | p(t).
For every p(t) ∈ F[t] and c ∈ F, the division algorithm gives
p(t) = q(t)(t − c) + d
for some d ∈ F. Thus it follows that p(c) = 0 if and only if t − c divides p(t).
A non-constant polynomial p(t) is irreducible (over F), if p(t) cannot be
written as the product of two non-constant polynomials in F[t]. In other
69
Topics in Algebra: Group Theory Mikko Korhonen
t2 + 1 = (t − i)(t + i)
in C[t].
We call a non-zero polynomial p(t) ∈ F[t] monic if it has leading coefficient
1, in other words
• If p(t) is such that p(t) | f (t) and p(t) | g(t), then p(t) | d(t).
t3 − 1 = (t − 1)(t2 + t + 1) in F2 [t],
t3 − 1 = (t − 1)3 in F3 [t],
t3 − 1 = (t − 1)(t2 + t + 1) in F5 [t],
t3 − 1 = (t − 1)(t − 2)(t − 3) in F7 [t].
70
Topics in Algebra: Group Theory Mikko Korhonen
71
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 3.8. Let V = (Fq )2 . Suppose that A ∈ GL2 (q) has an eigenvector
in V with eigenvalue α ∈ Fq . Then the following hold:
is a scalar matrix.
(iv) Let α, α0 , β, β 0 ∈ Fq . Then sα,β and sα0 ,β 0 are conjugate in GL2 (q) if and
only if {α, β} = {α0 , β 0 }.
(v) Let α, α0 ∈ Fq . Then uα , uα0 are conjugate in GL2 (q) if and only if
α = α0 .
(ii) We are assuming that α and β are eigenvalues of A, so there exist non-
zero vectors vα ∈ Vα and vβ ∈ Vβ . Now vβ 6∈ Vα , so {vα , vβ } is linearly
independent and thus a basis of V . Then the matrix of A with respect
to this basis is
α 0
sα,β = ,
0 β
so A is conjugate to sα,β in GL2 (q).
72
Topics in Algebra: Group Theory Mikko Korhonen
(iv) Suppose that sα,β and uα0 ,β 0 are conjugate. Then they must have the
same characteristic polynomial. Since their characteristic polynomials
are (t − α)(t − β) and (t − α0 )(t − β 0 ), we conclude {α, β} = {α0 , β 0 }.
Conversely, suppose that {α, β} = {α0 , β 0 }. If α = α0 and β = β 0 , then
sα,β = sα0 ,β 0 . Otherwise α = β 0 and β = α0 , and we should show that
sα,β is conjugate to sα0 ,β 0 = sβ,α . Let e1 , e2 be the standard basis of
column vectors. Then with respect to the basis {e2 , e1 } the matrix of
sβ,α is the same as that of sα,β , so they are conjugate
in GL2 (q). (For
0 1
example via the change of basis matrix .)
1 0
(v) If uα and uα0 are conjugate, they must have the same characteristic
polynomial. The characteristic polynomials of uα and uα0 are (t − α)2
and (t − α0 )2 , respectively, so α = α0 . Conversely if α = α0 then
uα = uα0 .
Lemma 3.9. Suppose that A ∈ GL2 (q) has no eigenvectors in (Fq )2 , and let
p(t) = t2 + βt + α be the characteristic polynomial of A. Then:
73
Topics in Algebra: Group Theory Mikko Korhonen
(ii) For any polynomial p(t) ∈ Fq [t], the matrix Cp(t) in (i) has characteristic
polynomial equal to p(t).
(iii) Let p(t), q(t) ∈ Fq [t] be irreducible monic polynomials of degree 2. Then
Cp(t) and Cq(t) are conjugate if and only if p(t) = q(t).
0 −α0
C= ,
1 −β 0
(iii) If Cp(t) and Cq(t) are conjugate, they must have the same characteristic
polynomial, so p(t) = q(t) by (ii). Conversely if p(t) = q(t), then
Cp(t) = Cq(t) .
Proof. Exercise.
With Lemma 3.8 and Lemma 3.9, we have found representatives for all
conjugacy classes of GL2 (q).
74
Topics in Algebra: Group Theory Mikko Korhonen
Thus there are a total of 3 conjugacy classes. (One could also deduce this
from the fact that G ∼
= S3 .)
75
Topics in Algebra: Group Theory Mikko Korhonen
A2 − tr(A)A + det(A)I2 = 0.
Lemma 3.15. Let m(t) be a minimal polynomial of A ∈ GLn (F). Let f (t) ∈
F[t]. Then f (A) = 0 if and only if m(t) divides f (t).
76
Topics in Algebra: Group Theory Mikko Korhonen
Proof. If m(t) divides q(t) the lemma is clear. For the other direction, use the
division algorithm to write f (t) = q(t)m(t) + r(t) where deg r(t) < deg m(t);
by minimality of m(t) we must have r(t) = 0.
It follows from Lemma 3.15 that a minimal polynomial of A is unique.
We will denote it by mA (t). By the Cayley–Hamilton theorem, mA (t) divides
the characteristic polynomial pA (t).
Lemma 3.16. Let A ∈ GLn (F). Then any conjugate of A has the same
minimal polynomial as A.
Proof. Let g ∈ GLn (F). For any polynomial p(t), we have p(gAg −1 ) =
gp(A)g −1 , so p(A) = 0 if and only if p(gAg −1 ) = 0. The lemma follows.
Proof. By Cayley–Hamilton mA (t) divides pA (t), from which the result fol-
lows.
In degree n = 2, by the Cayley–Hamilton theorem the minimal polyno-
mial of A ∈ GL2 (F) has either degree 2 or degree 1. Moreover, it is clear
that the degree is 1 if and only if A is equal to a scalar matrix
α 0
0 α
Lemma 3.18. Let A ∈ GL2 (F) be a non-scalar matrix. Then the minimal
polynomial of A is the characteristic polynomial pA (t) = t2 −tr(A)t+det(A)I2
of A.
since pi ≡ 0 mod p for all 0 < i < p. Therefore the minimal polynomial
77
Topics in Algebra: Group Theory Mikko Korhonen
78
Topics in Algebra: Group Theory Mikko Korhonen
a(t)p(t) + b(t)q(t) = 1
79
Topics in Algebra: Group Theory Mikko Korhonen
We illustrate Lemma 3.23 for GL3 (2). Now | GL3 (2)| = 168 = 23 · 3 · 7.
By Cauchy’s theorem there exist elements of order 3 and 7 in GL3 (2). How
to find such elements, and how to classify them up to conjugacy?
We consider elements of order 3 first. Suppose that A ∈ GL3 (2) is such
that |A| = 3. Then the minimal polynomial of A divides t3 − 1, which
factorizes as
t3 − 1 = (t − 1)(t2 + t + 1).
Since A 6= 1, the minimal polynomial must be divisible by t2 + t + 1, and
thus the characteristic polynomial is divisible by t2 +t+1. The characteristic
polynomial has degree 3, so it must be the product of t2 + t + 1 and a factor
of degree 1. This factor cannot be t since A does not have zero as eigenvalue,
so it is t − 1 and so pA (t) = (t − 1)(t2 + t + 1) = t3 − 1.
The polynomials t − 1 and t2 + t + 1 are coprime, so by Lemma 3.23 we
have
F32 = Ker(A − 1) ⊕ Ker(A2 + A + 1).
Since 1 is a root of pA (t), we have dim Ker(A − 1) ≥ 1. A straightforward
check shows that dim Ker(A − 1) = 1, so dim Ker(A2 + A + 1) = 2. Let
v ∈ Ker(A − 1) be non-zero, so A(v) = v. The linear map induced by A on
Ker(A2 +A+1) must have minimal polynomial and characteristic polynomial
A2 + A + 1, so by Lemma 3.9 it has a basis {w, w0 } such that A(w) = w0 and
A(w0 ) = w + w0 .
We conclude then that with respect to the basis {v, w, w0 }, the matrix of
A is
1 0 0
0 0 1 ,
0 1 1
and so A is conjugate to this matrix. In particular we have shown that
there is a unique conjugacy class of elements of order 3 in GL3 (2), with a
representative given by the matrix above.
It turns out there are two conjugacy classes of elements of order 7 in
GL3 (2). Let A ∈ GL3 (2) be such that |A| = 7. Then A7 = 1, so the
minimal polynomial of A divides t7 − 1 ∈ F2 [t], which has a factorization into
irreducible polynomials as
t7 − 1 = (t − 1)(t3 + t + 1)(t3 + t2 + 1)
in F2 [t].
Since the minimal polynomial of A has degree at most 3 (Lemma 3.17),
it follows that the minimal polynomial of A is either t − 1, t3 + t + 1, or
t3 + t2 + 1. It cannot be t − 1 since A 6= 1, so mA (t) = t3 + t + 1 or t3 + t2 + 1.
80
Topics in Algebra: Group Theory Mikko Korhonen
Both possibilities can be realized, and these correspond to the two conjugacy
classes of elements of order 7. This is seen from the next lemma.
Lemma 3.24. Let A ∈ GL3 (q) with minimal polynomial p(t) = t3 + γt2 +
βt + α irreducible in Fq [t]. Then:
(i) We have pA (t) = p(t), and A is conjugate to the matrix
0 0 −α
Cp(t) = 1 0 −β
0 1 −γ
(ii) For any irreducible polynomial p(t) ∈ Fq [t], the matrix Cp(t) as in (i)
has its characteristic and minimal polynomial equal to p(t).
(iii) Let p(t), q(t) ∈ Fq [t] be irreducible monic polynomials of degree 3. Then
Cp(t) and Cq(t) are conjugate in GL3 (q) if and only if p(t) = q(t).
Proof. (i) Since the minimal polynomial divides pA (t) and deg pA (t) = 3,
it follows that pA (t) = p(t).
Let V = F3q and pick a non-zero vector v ∈ V . Now A has no eigenvalues
since pA (t) = p(t) is irreducible, so Av 6∈ hvi. Thus {v, Av} is linearly
independent. We claim that A2 v 6∈ hv, Avi. For if we had A2 v ∈
hv, Avi, then the action of A on W = hv, Avi would induce a linear
map A0 : W → W . Now dim W = 2, so A0 has minimal polynomial
mA0 (t) of degree ≤ 2. On the other hand p(A0 ) = 0, so mA0 (t) | p(t), a
contradiction since p(t) is irreducible.
Thus A2 6∈ hv, Avi. Then {v, Av, A2 v} is a basis of V , and we can write
A3 v = −α0 v − β 0 Av − γ 0 A2 v for some α0 , β 0 , γ 0 ∈ Fq . Then with respect
to the basis {v, Av, A2 v}, the matrix of A is
0 0 −α0
C = 1 0 −β 0 ,
0 1 −γ 0
so A is conjugate to C in GL3 (q). A straightforward calculation shows
that C has characteristic polynomial equal to q(t) = t3 + γ 0 t2 + β 0 t + α0 .
Since A and C have the same characteristic polynomial we get q(t) =
p(t), and so C = Cp(t) .
(ii) A calculation shows that the characteristic polynomial is equal to p(t).
Since the minimal polynomial divides the characteristic polynomial and
since p(t) is irreducible, we conclude that p(t) is also the minimal po-
lynomial.
81
Topics in Algebra: Group Theory Mikko Korhonen
(iii) If Cp(t) and Cq(t) are conjugate, they have the same characteristic po-
lynomial, so p(t) = q(t) by (ii). Conversely if p(t) = q(t), then Cp(t) =
Cq(t) .
where x, y ∈ F× .
We have the following result.
Lemma 3.27. The special linear group SL2 (F) is generated by transvections.
82
Topics in Algebra: Group Theory Mikko Korhonen
a b
Proof. Let A ∈ SL2 (F), say A = . We note first that multiplying
c d
A on the left with a transvection corresponds to row operations; and simi-
larly multiplying A on the right with a transvection corresponds to column
operations. That is, for all λ ∈ F:
1 λ a b a + λc b + λd
=
0 1 c d c d
1 0 a b a b
=
λ 1 c d c + λa d + λb
a b 1 λ a b + λa
=
c d 0 1 c d + λc
a b 1 0 a + λb b
=
c d λ 1 c + λd d
Suppose that c 6= 0. Then with row and column operations, we can reduce
A into the identity matrix:
1 b0 1 b0
a b 1 0
→ → →
c d c d 0 d0 0 d0
where d0 = 1 since row and column operations do not change the determinant.
Thus there exist transvections x1 , . . ., xt , y1 , . . ., ys such that
x1 · · · xt Ay1 · · · ys = I2
83
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
Let q be a prime power. The set of generators for SL2 (q) provided by
Lemma 3.27 has size 2q, while the set of generators for GL2 (q) in Lemma
3.29 has size 3q. It turns out we can find a much smaller set of generators, and
indeed both groups can always be generated by two elements. For example,
× ∼
suppose that q 6= 2 and let ζ ∈ F× q be a generator for Fq = Cq−1 . Then for
ζ 0 0 ζ 0 −1 1
x= x = y=
0 1 0 ζ −1 −1 0
we have GL2 (q) = hx, yi and SL2 (q) = hx0 , yi. This follows from a 1962 result
of Steinberg.
84
Topics in Algebra: Group Theory Mikko Korhonen
Define
µ 0
B= .
0 µ−1
Then B ∈ SL2 (q), and ABA−1 B −1 is equal to
−1
µ−2
0 −1 µ 0 β 1 µ 0 0
= .
1 β 0 µ−1 −1 0 0 µ β − βµ−2 µ2
Proof. Let N E SL2 (q) be such that N 6= {1} and N 6= Z(SL2 (q)). We will
show that N contains every transvection, which by Lemma 3.27 implies that
N = SL2 (q).
Since N is not contained in Z(SL2 (q)), there exists a non-scalar matrix
A ∈ N . Then by Lemma 3.31, we can find B ∈ SL2 (q) such that ABA−1 B −1
is conjugate in SL2 (q) to a diagonal matrix
λ 0
D=
0 λ−1
85
Topics in Algebra: Group Theory Mikko Korhonen
86
Topics in Algebra: Group Theory Mikko Korhonen
|Ω0 | = 24/4 = 6.
H1 H2 H3 H4 H5 H6
h(1 2 3 4 5)i h(1 2 3 5 4)i h(1 5 2 3 4)i h(1 3 4 5 2)i h(1 3 2 4 5)i h(1 2 4 3 5)i
We have chosen this labeling so that for σ = (1 2 3 4 5) ∈ H1 we have
1 1
ψ(σ) = (2 3 4 5 6) = ϕ .
0 1
Note that this implies that Ker ψ = {(1)} since the only normal subgroups
of S5 are {(1)}, A5 , and S5 (Exercise 2.12). Thus S5 ∼
= ψ(S5 ).
For τ = (1 2) and σ = (1 2 3 4 5) we have S5 = hτ, σi (Exercise 2.2), so
∼
S5 = ψ(S5 ) = hψ(τ ), ψ(σ)i. A calculation shows that ψ(τ ) = (1 4)(2 3)(5 6)
and we know that ψ(σ) = (2 3 4 5 6), so
Next we will show that ψ(S5 ) ≤ ϕ(GL2 (5)) and thus ψ(S5 ) = ϕ(GL2 (5))
since |S5 | = 120 and |ϕ(GL2 (5))| = | PGL2 (5)| = 120. To this end, it will
thatψ(τ ), ψ(σ) ∈ ϕ(GL2 (5)). We already saw that ψ(σ) is
suffice to prove
1 1
the image of . For ψ(τ ) we would need a matrix A ∈ GL2 (5) that
0 1
maps the first basis vector e1 to a scalar multiple of 2e1 + e2 (and vice versa),
and the second basis vector e2 to a scalar multiple of e1 + e2 (and vice versa).
This determines A up to a scalar, and indeed a straightforward calculation
shows that
2 3
ϕ = (1 4)(2 3)(5 6) = ψ(τ ).
1 3
This completes the proof of the theorem.
87
Topics in Algebra: Group Theory Mikko Korhonen
PSL2 (2) ∼
= S3
PGL2 (3) ∼
= S4
∼
PSL2 (3) = A4
PSL2 (4) ∼
= A5
∼
PGL2 (5) = S5
PSL2 (5) ∼
= A5
PSL2 (7) ∼
= PSL3 (2)
∼
PSL2 (9) = A6
PSL4 (2) ∼
= A8
88
Topics in Algebra: Group Theory Mikko Korhonen
4 Normal series
4.1 Characteristic subgroups
Definition 4.1. Let G be a group. A subgroup H ≤ G is a characteristic
subgroup, if ϕ(H) = H for every automorphism ϕ : G → G. We denote this
by H char G.
Example 4.2. Some basic examples:
(a) In any group G, the trivial subgroup {1} and the group G itself are
characteristic subgroups.
(b) For any group G, we have Z(G) char G.
(c) If G is a finite group such that G has exactly one subgroup N with |N | =
d, then N char G. This is because for any automorphism ϕ : G → G, the
image ϕ(N ) is also a subgroup of order d. Thus if G is finite cyclic, then
every subgroup of G is characteristic.
Lemma 4.3. Let G be a group. Then the following statements hold:
(i) Suppose that H char G. Then H E G.
(ii) Suppose that H char K char G. Then H char G.
(iii) Suppose that H char K E G. Then H E G.
Proof. (i) Let g ∈ G and consider the inner automorphism γg : G → G
defined by γg (x) = gxg −1 . Since H is characteristic in G, we have
H = γg (H) = gHg −1 . Therefore H E G.
(ii) Let ϕ : G → G be an automorphism of G. Since K is characteristic in G,
we have ϕ(K) = K and so the restriction of ϕ to K is an automorphism
ϕ0 : K → K of K. Since H is characteristic in K, we have ϕ0 (H) = H,
and thus ϕ(H) = H.
(iii) Let g ∈ G. Since K is a normal subgroup, the inner automorphism
γg : G → G restricts to an automorphism γg0 : K → K of K. Because H
is characteristic in K, we have γg0 (H) = H, in other words gHg −1 = H.
Thus H E G.
Example 4.4. Not all normal subgroups are characteristic. For example,
consider the subgroup G = h(1 2), (3 4)i of S4 . One checks that conjugation
by g = (1 3 2 4) gives an automorphism ϕ : G → G, where ϕ(x) = gxg −1
for all x ∈ G. Then ϕ((1 2)) = (3 4) and ϕ((3 4)) = (1 2), so the normal
subgroups h(1 2)i and h(3 4)i are not characteristic in G.
89
Topics in Algebra: Group Theory Mikko Korhonen
Remark 4.6. In general it is not true that the set of commutators is a sub-
group. In other words, it may happen that [G, G] is not the set of commuta-
tors in G. Later in this section we will provide an example for G = SL2 (R).
(For finite groups, the smallest example has order |G| = 96.)
At this point we provide the following example which shows that for
H, K ≤ G the subgroup [H, K] is not necessarily equal to the set of commuta-
tors [h, k] with h ∈ H and k ∈ K. Let G = A4 and consider H = h(1 2)(3 4)i
and K = h(1 2 3)i. Then
There are also many examples where [G, G] is equal to the set of all
commutators, this holds for example for G = Sn or G = An . The Ore
conjecture states that every element of a finite non-abelian simple group is
a commutator. The Ore conjecture is now a theorem, and its proof was
completed by Liebeck, O’Brien, Shalev, and Tiep (J. Eur. Math. Soc., 2010)
using the classification of finite simple groups.
90
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
Note that by Lemma 4.7, we have [H, K] = [K, H] for any subgroups H
and K of a group G.
Proof. Exercise.
(iii) We have [x[G, G], y[G, G]] = [x, y][G, G] = [G, G] in G/[G, G], so G/[G, G]
is abelian. If N E G, then by (i) the quotient G/N is abelian if and
only if [xN, yN ] = N for all x, y ∈ G, which is equivalent to [x, y] ∈ N
for all x, y ∈ G.
91
Topics in Algebra: Group Theory Mikko Korhonen
Example 4.11. (i) For any abelian group G, we have [G, G] = {1}.
(iv) Let q be a power of a prime and n ≥ 2. For G = GLn (q), the deter-
minant provides a homomorphism det : G → F× ×
q . Since Fq is abelian,
so is G/ Ker(det) = G/ SLn (q), so it follows from Lemma 4.10 (ii) that
[G, G] ≤ SLn (q). (It is also easy to check directly that det([x, y]) = 1
for all x, y ∈ GLn (q).)
Lemma 4.12. Let F be a field and |F| > 3. Then SL2 (F) = [SL2 (F), SL2 (F)].
Proof. (This lemma would follow from the fact that PSL2 (F) is simple when
|F| > 3, but we will give the following computational proof.) We know that
SL
2 (F)is generated
by transvections (Lemma 3.27), i.e., matrices of the form
1 x 1 0
and for x, y ∈ F. Thus it will suffice to prove that every
0 1 y 1
transvection is contained in the commutator subgroup. To this end, we have
−1 −1
1 x a 0 1 −x a 0 1 x a 0
, = −1
0 1 0 a 0 1 0 a 0 1 0 a
2
1 (a − 1)x
=
0 1
for all a ∈ F× and x ∈ F. Since |F| > 3, we can choose a ∈ F× such that
0
a 6= ±1, so (a2 − 1) 6= 0. Then choosing x = a2x−1 gives
−1
1 x0
1 x a 0
, = ∈ [SL2 (F), SL2 (F)]
0 1 0 a 0 1
0 1 0
for any x ∈ F. Taking transposes shows that ∈ [SL2 (F), SL2 (F)],
x0 1
which completes the proof of the lemma.
Lemma 4.13. Let F be a field and |F| ≥ 3. Then [GL2 (F), GL2 (F)] =
SL2 (F).
92
Topics in Algebra: Group Theory Mikko Korhonen
93
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 4.16. Let G be a group and suppose that G = hSi for some S ⊆ G.
Then
[G, G] = h[x, y]g : x, y ∈ S and g ∈ Gi.
Proof. Exercise.
and G(i) /G(i+1) is an abelian group for all i ≥ 0. If there exists an integer
k ≥ 0 such that G(k) = {1}, then we say that G is solvable.
Example 4.18. The following groups are solvable: any abelian group, fi-
nite dihedral groups D2n , infinite dihedral group D∞ , quaternion group Q8 ,
symmetric groups S3 and S4 , any finite p-group.
Proof. Exercise.
Proof. Claim (i) is an exercise, while (ii) follows from Lemma 4.20 and (i).
Claim (iii) follows from (ii), by induction on k.
Lemma 4.22. Let G be a group. Then G(k) char G for all k ≥ 0, and in
particular G(k) E G.
94
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Follows from Lemma 4.21 (iii) and Lemma 4.3 (i).
(ii) Let N E G. Then G is solvable if and only if both N and G/N are
solvable.
Proof. (i) For any H ≤ G we have H (k) ≤ G(k) for all k ≥ 0. Thus if G is
solvable and G(k) = {1}, then H (k) = {1} and so H is solvable as well.
Proof. Exercise.
G = G1 D G2 D · · · D Gs D Gs+1 = {1}
95
Topics in Algebra: Group Theory Mikko Korhonen
For example, if G is a solvable group with G(k) = {1}, then the derived
series is a series
where the quotients G(i) /G(i+1) are abelian groups. In fact, the existence of
a series with abelian quotients is equivalent to solvability, as we will prove
next.
Lemma 4.27. Let G be a group. Then G is solvable if and only if there
exists a series
G = G1 D G2 D · · · D Gs D Gs+1 = {1}
G(k) ≤ Gk+1
This completes the proof of the claim. With k = s we get G(s) ≤ Gs+1 = {1},
so G(s) = {1} and G is solvable.
Definition 4.28. Let G be a nontrivial group. A series
G = G1 D G2 D · · · D Gs D Gs+1 = {1}
96
Topics in Algebra: Group Theory Mikko Korhonen
(b) Exercise: Let G = Cpq , where p and q are distinct primes. How many
composition series does G have?
(c) Let G = D8 = hx, yi with |x| = 2, |y| = 4 and xyx−1 = y −1 . Then G has
several composition series:
G . hyi . hy 2 i . {1}
G . hx, y 2 i . hxi . {1}
G . hx, y 2 i . hxy 2 i . {1}
G . hx, y 2 i . hy 2 i . {1}
G . hxy, y 2 i . hxyi . {1}
G . hxy, y 2 i . hxy 3 i . {1}
G . hxy, y 2 i . hy 2 i . {1}
(ii) BC E AC and AC ∼
= A
.
BC B(A∩C)
97
Topics in Algebra: Group Theory Mikko Korhonen
N = G1 ∩ N D G2 ∩ N D · · · D Gs ∩ N D Gs+1 ∩ N = {1}.
Now
Gi ∩ N ∼ (Gi ∩ N )Gi+1 Gi
= E
Gi+1 ∩ N Gi+1 Gi+1
by Lemma 4.31 (i), so for all 1 ≤ i ≤ s, the quotient (Gi ∩ N )/(Gi+1 ∩ N ) is
isomorphic to a normal subgroup of Gi /Gi+1 . Since each Gi /Gi+1 is simple,
we conclude that each quotient (Gi ∩N )/(Gi+1 ∩N ) is either trivial or simple,
and thus N admits a composition series.
For G/N , taking the images of Gi in G/N we get the following series:
by Lemma 4.31 (ii) and Theorem 1.101. Thus each quotient GGi+1 i N/N
N/N
is
isomorphic to a quotient of Gi /Gi+1 . Since Gi /Gi+1 is simple, each quotient
Gi N/N
Gi+1 N/N
must be trivial or simple. Therefore G/N admits a composition
series.
98
Topics in Algebra: Group Theory Mikko Korhonen
G = G1 . G2 . · · · . Gs . Gs+1 = {1}
and
G = H1 . H2 . · · · . Ht . Ht+1 = {1}
be two composition series of G. It suffices to prove the claim in the case
where s = `(G).
If G2 = H2 , then the result follows by applying induction on G2 , since
`(G2 ) ≤ `(G1 ) − 1. Thus we can assume that G2 6= H2 . Then
G D G2 H2 . G2 ,
K2 . K3 . · · · . Ku . Ku+1 = {1}.
Applying induction on G2 , it follows that the series (4.1) and (4.2) are equiva-
lent. Since G1 /G2 ∼= H2 /K2 and G1 /H2 ∼ = G2 /K2 , the series (4.2) and (4.3)
are equivalent. Applying induction on H2 , it follows that the series (4.3)
and (4.4) are equivalent. We conclude then that series (4.1) and (4.4) are
equivalent, as claimed.
99
Topics in Algebra: Group Theory Mikko Korhonen
Proof. (i) By induction on k. For k = 1 the claim is clear, and for k > 1
the claim follows by applying Lemma 4.21 (ii) and induction.
Lemma 4.36. Let G be a nilpotent group. Then every subgroup and quotient
group of G is nilpotent.
Proof. Suppose that G is nilpotent and let k ≥ 1 be such that γk (G) = {1}.
For any subgroup H ≤ G we have γk (H) ≤ γk (G), so γk (H) = {1} and H
is nilpotent. For quotients, let N E G be a normal subgroup. Applying
Lemma 4.35 (i) to the canonical homomorphism π : G → G/N , we see that
γk (G/N ) = γk (G)N/N = {1}. Thus G/N is also nilpotent.
Lemma 4.37. Let G be a group. Then G(k) ≤ γk+1 (G) for all k ≥ 0. In
particular if G is nilpotent, then G is solvable.
G(k) = [G(k−1) , G(k−1) ] ≤ [γk (G), γk (G)] ≤ [γk (G), G] = γk+1 (G),
100
Topics in Algebra: Group Theory Mikko Korhonen
By Lemma 4.37, we know that nilpotent groups are solvable. The converse
is not true: for example G = S3 is solvable since G(2) = {(1)}, but γk (G) =
[G, G] for all k ≥ 2, so G is not nilpotent. Another example is provided by
the following subgroup of GL2 (F), where F is a field:
λ ζ ×
B= : λ, µ ∈ F , ζ ∈ F .
0 µ
Assuming that |F| > 2, a calculation shows that B is solvable but not nilpo-
tent.
Another characterization of nilpotent groups can be given in terms of
series. We know by Lemma 4.35 that for any group, in the lower central
series
G = γ1 (G) D γ2 (G) D γ3 (G) D · · ·
the terms γi (G) are characteristic subgroups in G. Thus each quotient
γi (G)/γi+1 (G) is a normal subgroup of G/γi+1 (G) by the correspondence
theorem. Moreover, we have [γi (G), G] = γi+1 (G), so in fact γi (G)/γi+1 (G)
is contained in the center Z(G/γi+1 (G)) of G/γi+1 (G). The existence of a
series with this property characterizes nilpotent groups.
Lemma 4.38. Let G be a group. Then G is nilpotent if and only if there
exists a series
G = G1 D G2 D · · · D Gs D Gs+1 = {1}
G = G1 D G2 D · · · D Gs D Gs+1 = {1}
101
Topics in Algebra: Group Theory Mikko Korhonen
102
Topics in Algebra: Group Theory Mikko Korhonen
Continuing in this manner, we can define the upper central series, which
gives another way of defining nilpotent groups. The upper central series is
the series
1 = Z 0 (G) ≤ Z 1 (G) ≤ Z 2 (G) ≤ Z 3 (G) ≤ · · ·
of normal subgroups of G, such that Z 0 (G) = {1}, Z 1 (G) = Z(G), and for
k > 1 we have Z k (G) ≤ Z k−1 (G) E G and Z k (G)/Z k−1 (G) = Z(G/Z k−1 (G)).
Then for all k ≥ 1, we have
Proof. Exercise.
Proof. Exercise.
Lemma 4.46. Let G be a group and suppose that Z c (G) = G for some c ≥ 1.
Then γc−i+1 (G) ≤ Z i (G) for all 1 ≤ i ≤ c. In particular γc+1 (G) = {1}.
Proof. Exercise.
By Lemma 4.45 and Lemma 4.46, a group G is nilpotent if and only if
Z (G) = G for some c ≥ 1. Moreover, we have Z c (G) = G if and only if
c
γc+1 (G) = {1}. We will call the smallest integer c ≥ 1 such that γc+1 (G) =
{1} the class of a nilpotent group G.
103
Topics in Algebra: Group Theory Mikko Korhonen
γk (G) = [G, G, . . . , G] .
| {z }
k times
γk (G) = h[x1 , x2 , . . . , xk ] : x1 , x2 , . . . , xk ∈ Gi
Proof. Exercise.
By Lemma 4.47, we have yet another definition of nilpotence: a group G
is nilpotent if and only if there exists k ≥ 1 such that
[x1 , x2 , . . . , xk ] = 1
104
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 4.48. Let H, K, L E G. Then [HK, L] = [H, L][K, L] and [H, KL] =
[H, K][H, L].
Proof. Exercise.
for all 1 ≤ r ≤ k.
as claimed.
by Lemma 4.48.
105
Topics in Algebra: Group Theory Mikko Korhonen
[H1 , H2 , . . . , Hk ] ≤ γd (A).
γk (AB)
= [AB, AB, . . . , AB]
| {z }
(k times )
106
Topics in Algebra: Group Theory Mikko Korhonen
= ···
Y
= [X1 , X2 , . . . , Xk ]
Xi ∈{A,B}
Suppose that k > a+b. Then d > a or e > b, so γd (A) = {1} or γe (B) = {1},
and therefore [X1 , . . . , Xk ] = {1}. Thus we conclude that γa+b+1 (AB) = {1},
in other words, AB is nilpotent.
As a consequence of Proposition 4.51, a subgroup generated by finitely
many nilpotent normal subgroups is nilpotent. In particular for a finite group
G, this implies the existence of a unique maximal nilpotent normal subgroup.
Indeed, suppose that G is finite and let M be a nilpotent normal subgroup
of G such that |M | is maximal. Then if N E G is nilpotent, then M N is
nilpotent by Proposition 4.51. Thus M N = M by maximality of M , so in
fact N ≤ M and M contains every nilpotent normal subgroup of G. This
of course implies that M is unique17 . We call M the Fitting subgroup of G
and denote it by F (G). In summary, the Fitting subgroup is characterized
by the following properties:
Proof. Exercise.
17
For if M 0 is another nilpotent normal subgroup of maximal order, then M 0 ≤ M , and
thus M 0 = M by maximality of M 0 .
107
Topics in Algebra: Group Theory Mikko Korhonen
5 Constructing groups
In this section, we will consider various ways of constructing new groups from
old ones.
(ii) (A × B) × C ∼
= A × (B × C) for any groups A, B, and C.
(iii) Let (π(1), . . . , π(n)) be a permutation of {1, . . . , n}. Then
Gπ(1) × · · · × Gπ(n) ∼
= G1 × · · · × Gn .
Proof. Exercise.
Definition 5.3. Let G be a group and let H1 , . . ., Hn be subgroups of G.
We say that G is the direct product of H1 , . . ., Hn if the map
is an isomorphism.
Lemma 5.4. Let G be a group and let H, K E G. Suppose that H ∩K = {1}.
Then hk = kh for all h ∈ H and k ∈ K.
Proof. Exercise.
108
Topics in Algebra: Group Theory Mikko Korhonen
(i) G = H1 · · · Hn ;
(h1 h2 · · · hn )(h01 h02 · · · h0n ) = (h1 h01 )(h2 h02 ) · · · (hn h0n )
109
Topics in Algebra: Group Theory Mikko Korhonen
The special case of Lemma 5.5 with two factors (n = 2) is the one that
comes up most often, so we state it in the following lemma.
(Z/2n Z)× ∼
= C2n−2 × C2 .
Previously (Theorem 1.55) we proved that for any odd prime p, the group
(Z/pn Z)× is cyclic for all n > 0. Moreover, it can be shown using the Chinese
remainder theorem that if a, b > 0 are integers with gcd(a, b) = 1, then
(Z/abZ)× ∼
= (Z/aZ)× × (Z/bZ)× .
110
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 5.9. Let G = H ×K. Then for any A ≤ H and B ≤ K, the product
A × B is a subgroup of G.
Proof. Exercise.
Remark 5.10. The converse of Lemma 5.9 fails; in general it is not true
that every subgroup of H × K is of the form A × B for some A ≤ H and
B ≤ K. Example: Let G be nontrivial and consider the direct product G×G
and the diagonal subgroup ∆ = {(g, g) : g ∈ G}.
Lemma 5.11. Let H and K be finite groups such that gcd(|H|, |K|) = 1. If
N ≤ H × K, then N = A × B for some A ≤ H and B ≤ K.
Proof. Exercise.
Lemma 5.12. Let G and H be groups. Then the following hold:
(i) (G × H)(k) = G(k) × H (k) for all k ≥ 0.
(ii) γk (G × H) = γk (G) × γk (H) for all k ≥ 1.
(iii) Z k (G × H) = Z k (G) × Z k (H) for all k ≥ 0.
(iv) The direct product G×H is solvable if and only if G and H are solvable.
(v) The direct product G × H is nilpotent if and only if G and H are nil-
potent.
Proof. Exercise.
Lemma 5.13. Let G and H be finite groups. Then the Fitting subgroup
F (G × H) = F (G) × F (H).
Proof. Exercise.
111
Topics in Algebra: Group Theory Mikko Korhonen
The key result is that any finitely generated abelian groups is a direct pro-
duct of cyclic groups. For this we first need a lemma. (Note that throughout
this section we will use additive notation for abelian groups.)
Lemma 5.14. Let G = hx1 , . . . , xk i be an abelian group. Let c1 , . . ., ck ≥ 0
be integers such that gcd(c1 , . . . , ck ) = 1. Then there exists y1 , . . . , yk ∈ G
such that both of the following hold:
(i) G = hy1 , . . . , yk i;
(ii) y1 = c1 x1 + · · · + ck xk .
Proof. Let s = c1 + · · · + ck . If s = 1, then ci = 1 for some 1 ≤ i ≤ k and
cj = 0 for all j 6= i; in this case we can choose y1 = xi and {y2 , . . . , yk } =
{x1 , . . . , xi−1 , xi+1 , . . . , xk }.
Suppose then s > 1 and proceed by induction on s. At least two of the
ci are non-zero, and without loss of generality we can assume c1 ≥ c2 > 0.
Clearly G = hx1 , x1 + x2 , x3 , . . . , xk i and gcd(c1 − c2 , c2 , c3 , . . . , ck ) = 1. Now
by induction there exist y1 , . . . , yk ∈ G such that G = hy1 , . . . , yk i and
y1 = (c1 − c2 )x1 + c2 (x1 + x2 ) + c3 x3 + · · · + ck xk
= c1 x 1 + c2 x 2 + · · · + ck x k ,
which proves the lemma.
Theorem 5.15. Let G be a finitely generated abelian group, and suppose
that G is generated by k elements. Then G is isomorphic to a direct product
of ≤ k cyclic groups.
Proof. Let k ≥ 1 be the smallest possible size of a generating set for G. If
k = 1, then G is cyclic and there is nothing to prove; assume k > 1 in what
follows.
Choose generators G = hx1 , x2 , . . . , xk i such that |x1 | is as small as pos-
sible. We will show that G is the direct product of hx1 i and hx2 , . . . , xk i. If
this is not the case, then by Lemma 5.6 their intersection is not trivial; thus
there exist a1 , . . ., ak ∈ Z such that a1 x1 6= 0 and
a1 x1 + a2 x2 + · · · + ak xk = 0.
We can assume that 0 < a1 < |x1 |. Moreover, by replacing some of the xi
with −xi if necessary, we can assume a2 , . . . , ak ≥ 0 without loss of generality.
Let d = gcd(a1 , a2 , . . . , ak ). Since gcd(a1 /d, a2 /d, . . . , ak /d) = 1, by
Lemma 5.14 we can find y1 , . . . , yk ∈ G such that G = hy1 , . . . , yk i and
a1 a2 ak
y1 = x1 + x2 + · · · + xk .
d d d
112
Topics in Algebra: Group Theory Mikko Korhonen
(i) G ∼
= Cn1 × · · · × Cnk × Zr for some k ≥ 0, prime powers n1 , . . ., nk > 1,
and r ≥ 0.
113
Topics in Algebra: Group Theory Mikko Korhonen
Proof. For an integer n > 1 with prime factorization n = pα1 1 · · · pαt t , we have
Cn ∼
= Cpα1 1 × · · · × Cpαt t
by Lemma 5.18. This together with Theorem 5.15 proves (i).
Thus we can assume G ∼
= Cn1 ×· · ·×Cnk ×Zr where k ≥ 0, n1 , . . . , nk > 1
are prime powers, and r ≥ 0. An exercise shows that the set
tor(G) = {g ∈ G : |g| < ∞}
of elements of finite order is a subgroup of G, and moreover
tor(G) ∼
= Cn1 × · · · × Cnk ,
∼
G/ tor(G) = Zr .
Therefore if G ∼ = Cm1 × · · · × Cm` × Zs for some other prime powers
m1 , . . . , m` > 1 and s ≥ 0, we must have
Cm1 × · · · × Cm` ∼
= Cn1 × · · · × Cnk ,
Zs ∼
= Zr .
By an exercise Zr ∼= Zs if and only if r = s, so r is uniquely determined
t
by G. Next let p be a prime. Consider G(pt ) := {g ∈ G : g p = 1}, for t ≥ 1.
Then G(pt ) is a subgroup of G, and for all t ≥ 1 we have
G(pt )/G(pt−1 ) ∼ c
= (Cp ) t ,
where ct is the number of nj such that nj = pα for some α ≥ t (Exercise).
Then for t ≥ 1, we have that ct − ct+1 is the number of nj such that nj = pt .
On the other hand, by the same argument ct − ct+1 is the number of mj such
that mj = pt . We conclude then that k = ` and (m1 , . . . , mk ) is a permutation
of (n1 , . . . , nk ), so the integers n1 , . . ., nk are uniquely determined by G.
Example 5.20. By Theorem 5.19, we have a complete classification of all
finite abelian groups. As an illustration, in Table 4 we provide a list of all
finite abelian groups of order at most 12, up to isomorphism.
114
Topics in Algebra: Group Theory Mikko Korhonen
Prk
for some integers m(i, j) > 0, where j=1 m(k, j) = αk for all 1 ≤ k ≤
t. Define
Pk = Cpm(k,1) × · · · × Cpm(k,rk )
k k
In other words, Pk is the set of elements with order dividing pαk , and
thus it is the only subgroup of order pαk k in G.
115
Topics in Algebra: Group Theory Mikko Korhonen
(c) Exercise: Prove that results analogous to (a) and (b) hold for the quotient
G/H.
(e) Exercise: Show that Q8 does not have a subgroup isomorphic to Q8 /Z(Q8 ).
5.3 Automorphisms
Let G be a group. Recall (Example 1.17) that an automorphism of G is an
isomorphism ϕ : G → G. We will denote the set of all automorphisms of G
by Aut(G). It is easily seen that if ϕ, ψ ∈ Aut(G); then so is ϕψ ∈ Aut(G)
and ϕ−1 ∈ Aut(G). Moreover, the identity map I : G → G defined by
I(g) = g for all g ∈ G is always an automorphism of G.
Thus we conclude that Aut(G) is a subgroup of Sym(G). We call the
group Aut(G) the automorphism group of G.
(ii) Inn(G) ∼
= G/Z(G).
Proof. (i) Let ϕ ∈ Aut(G). A calculation shows that ϕγg ϕ−1 = γϕ(g) for
all g ∈ G, thus Inn(G) E Aut(G).
116
Topics in Algebra: Group Theory Mikko Korhonen
Remark 5.26. The following observation is easy but often useful. Suppose
that G is generated by some set S. Then any automorphism ϕ is determined
by its values on S. That is, if ϕ, ϕ0 ∈ Aut(G) are such that ϕ(x) = ϕ0 (x) for
all x ∈ S, then ϕ = ϕ0 . This is easily seen for example with Lemma 1.39.
(ii) Aut(G) ∼
= (Z/nZ)× .
Proof. (i) It is clear that ψk is a homomorphism for all k ∈ Z. If gcd(k, n) =
1, then by Lemma 1.46 (iv) we have hgi = hg k i, so ψk is surjective and
thus a bijection since G is finite. Therefore ψk ∈ Aut(G) for all k ∈ Z
with gcd(k, n) = 1.
Conversely, let ϕ ∈ Aut(G). Then G = hϕ(g)i, so by Lemma 1.46 (iv)
we have ϕ(g) = g k for some k ∈ Z such that gcd(k, n) = 1. Then it
is clear that ϕ(x) = xk for all x ∈ G, so ϕ = ψk . This completes the
proof of (i).
0
(ii) We have ψk = ψk0 if and only if g k = g k , which is equivalent to k ≡ k 0
mod n. Thus we have an injective map defined by
117
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 5.30. Let G and H be finite groups such that gcd(|G|, |H|) = 1.
Then Aut(G × H) ∼
= Aut(G) × Aut(H).
Proof. Exercise.
Example 5.31. (a) The automorphism group of a cyclic group is not ne-
= (Z/8Z)× ∼
cessarily cyclic; for example Aut(C8 ) ∼ = C2 × C2 .
(b) The automorphism group of an abelian group is not necessarily abelian.
Exercise: Aut(C2 × C2 ) ∼
= S3 .
(c) Exercise: Aut(S4 ) ∼
= S4 .
Theorem 5.32. Let G be a group and let H ≤ G. For g ∈ NG (H), define
fg : H → H by fg (x) = gxg −1 for all x ∈ H.
118
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
Suppose now that (G, +) is an elementary abelian p-group, with additive
notation. The (G, +) becomes a vector space over the field Fp = Z/pZ as
follows. Let λ ∈ Fp , where λ ∈ Z. We define scalar multiplication by λ on G
by
λ · g = λg
for all g ∈ G. Since pg = 0 for all g ∈ G, this operation is well defined.
An exercise shows this makes (G, +) into a vector space over Fp . Since G
is finite, we have |G| = pn , where n is the dimension of G as an Fp -vector
space.
Let g1 , . . ., gn be a basis for G has an Fp -vector space. Then each g ∈ G
can be expressed uniquely in the form
g = α1 g1 + · · · + αn gn
We illustrate the identification of Aut(G) with GLn (p) in the case where
n = 2. Let G be an elementary abelian p-group of order p2 . Let g1 , g2 be a
basis of G. Consider ϕ ∈ Aut(G). Then
119
Topics in Algebra: Group Theory Mikko Korhonen
in GL2 (p).
For example, we have Aut(C2 ×C2 ) ∼
= GL2 (2) and Aut(C3 ×C3 ) ∼
= GL2 (3)
by Lemma 5.34.
Example 5.35. (a) The direct product of any two groups is also a semidi-
rect product.
(b) For G = S3 , consider H = h(1 2 3)i and K = h(1 2)i. Then G = HK,
H ∩ K = {(1)}, and H is a normal subgroup. Thus G is the semidirect
product of H and K, and in this case K is not a normal subgroup.
and S3 .
120
Topics in Algebra: Group Theory Mikko Korhonen
121
Topics in Algebra: Group Theory Mikko Korhonen
(iii) H oψ K = H
bK b ∩K
b and H b = {1}.
b = {(h, 1) : h ∈ H}
In particular H oψ K is the semidirect product of H
and Kb = {(1, k) : k ∈ K}.
where (5.2) holds since ψ(k) is a homomorphism, and (5.3) holds since ψ is
a homomorphism. Similarly
Therefore (h, k)·((h0 , k 0 )·(h00 , k 00 )) = ((h, k)·(h0 , k 0 ))·(h00 , k 00 ) for all h, h0 , h00 ∈
H and k, k 0 , k 00 ∈ K.
For all h ∈ H and k ∈ K we have (h, k) · (1, 1) = (h · ψ(k)(1), k) = (h, k)
and (1, 1) · (h, k) = (1 · ψ(1)(h), k) = (h, k); therefore (1, 1) is the identity
element.
For inverse elements, the correct element is suggested by the formula (5.1).
Indeed, we have (hk)−1 = k −1 h−1 = h00 k 00 with h00 = k −1 h−1 k and k 00 = k −1 .
122
Topics in Algebra: Group Theory Mikko Korhonen
This suggests that (ψ(k −1 )(h−1 ), k −1 ) should be the inverse of (h, k). We
check that this is indeed the case. Now
and similarly
(iii) K
b is a normal subgroup of G.
Proof. Exercise.
Let H oψ K be an external semidirect product of H and K. Then it is
clear that
123
Topics in Algebra: Group Theory Mikko Korhonen
124
Topics in Algebra: Group Theory Mikko Korhonen
Remark 5.44. Besides direct products and semidirect products, there are
various other generalizations that have been studied in group theory. Suppose
that G is a group and G = HK for some subgroups H and K. Here are some
notions that appear in the literature.
125
Topics in Algebra: Group Theory Mikko Korhonen
H ◦ψ K = (H × K)/N,
• H∼
=Hb
20
A non-abelian simple group G has trivial center, so G ∼ = Inn(G) and we can identify
G as a normal subgroup of Aut(G). A finite group X is almost simple if G ≤ X ≤ Aut(G)
for some non-abelian finite simple group G.
21
See for example “T. C. Burness, C. H. Li, On solvable factors of almost simple groups.,
Adv. Math. 377 (2021)”
22
J. Douglas, On finite groups with two independent generators. I–IV., Proc. Nat.
Acad. Sci. U.S.A. 37 (1951).
126
Topics in Algebra: Group Theory Mikko Korhonen
• K∼
=Kb
• H ◦ψ K is the central product of H
b and K,
b with H b∼
b ∩K = H0 .
Lemma 5.45. Let G be a group such that |G| = pq, where p > q are primes.
Then G ∼
= Cp oψ Cq for some ψ : Cq → Aut(Cp ).
Proof. By Cauchy’s theorem, there exist subgroups H ≤ G and K ≤ G
with |H| = p and |K| = q. We will show that H E G. If this is not the
case, then H 6= g −1 Hg for some g ∈ G. But then H ∩ g −1 Hg = {1}, so
|Hg −1 Hg| = p2 > |G| by Lemma 1.88, a contradiction. Now the lemma
follows from Theorem 5.40.
Proposition 5.46. Let G be a group such that |G| = pq, where p > q are
primes. If q - p − 1, then G is cyclic.
127
Topics in Algebra: Group Theory Mikko Korhonen
With Proposition 5.46 and Proposition 5.47, we have completed the clas-
sification of groups of order pq, where p and q are distinct primes. We
summarize them in the following.
Theorem 5.48. Let p and q be primes and assume that p > q. Then the
following hold:
(a) If q - p − 1, there is a unique group of order pq up to isomorphism, the
cyclic group Cpq .
(b) If q | p − 1, there are two groups of order pq up to isomorphism, the
cyclic group Cpq and a non-trivial semidirect product Cp oψ Cq .
Remark 5.49. As seen in the proof of Proposition 5.47, if q | p − 1 and we
access to an automorphism of order q in Aut(Cp ), a non-trivial semidirect
product Cp oψ Cq can be described explicitly.
First note that due to the isomorphism Aut(Cp ) ∼ = (Z/pZ)× , finding an
automorphism of order q in Aut(Cp ) is equivalent to finding an integer t such
that t 6≡ 1 mod p and tq ≡ 1 mod p. Indeed, then the powering map g 7→ g t
on Cp defines an automorphism of order q.
Now writing Cp = hxi and Cq = hyi, we have xp = y q = 1, and yxy −1 =
xt . Moreover, these relations determine the group operation on Cp oψ Cq
completely.
Example 5.50. Some special cases:
(i) Every group of order 33 is cyclic.
(ii) There are two groups of order 21 up to isomorphism. The cyclic group
of order 21, and a non-trivial semidirect product G = C7 oψ C3 . We
have 2 6≡ 1 mod 7 and 23 ≡ 1 mod 7, so as in Remark 5.49, the map
x 7→ x2 defines an automorphism of order 3 for C7 . It follows that
there exist x, y ∈ G such that G = hx, yi, where |x| = 7, |y| = 3, and
yxy −1 = x2 .
128
Topics in Algebra: Group Theory Mikko Korhonen
Theorem 5.51. Let p be a prime. There are only two groups of order p2 up
to isomorphism, the cyclic group Cp2 and the direct product Cp × Cp .
129
Topics in Algebra: Group Theory Mikko Korhonen
One can check that the elements of G satisfy the following relations:
x2 = y 2 = z 2 = η
xy = z = η(yx)
yz = x = η(zy)
zx = y = η(xz)
ηg = gη for all g ∈ G
Which may remind you of the relations established for the quaternion
group Q8 = {±1, ±i, ±j, ±k}, with −1, i, j, k corresponding to η, x, y, z
respectively. At this point the theory of generators and relations would easily
allow us to prove that the bijection Q8 → G defined by
1 7→ 1 −1 7→ η
i 7→ x −i 7→ ηx
j 7→ y −j 7→ ηy
k 7→ z −k 7→ ηz
G∼
= ϕ(G) = hϕ(x), ϕ(y)i ∼
= h(1 3 2 4)(5 7 6 8), (1 5 2 6)(3 8 4 7)i.
These arguments also apply for Q8 since it is a non-abelian group and all
elements of Q8 \ hii have order 4, so we conclude
Q8 ∼
= h(1 3 2 4)(5 7 6 8), (1 5 2 6)(3 8 4 7)i
and thus G ∼
= Q8 .
130
Topics in Algebra: Group Theory Mikko Korhonen
p(p−1)
for all x, y ∈ G. Since [G, G] has order p and since 2
is a multiple of p,
p(p−1)
p p p
we have [y, x] 2 = 1. Thus (xy) = x y for all x, y ∈ G.
Lemma 5.55. Let p > 2 be a prime, and let G be a non-abelian group of
order p3 . Then one of the following holds:
(i) G contains an element of order p2 , and G ∼
= Cp2 oψ Cp for some ψ :
Cp → Aut(Cp2 ).
(ii) xp = 1 for all x ∈ G, and G ∼
= (Cp × Cp ) oψ Cp for some ψ : Cp →
Aut(Cp × Cp ).
Proof. By Lemma 5.54, the map ϕ : G → G defined by ϕ(x) = xp for all
x ∈ G is a homomorphism. Since G/Z(G) ∼ = Cp × Cp by Lemma 5.53, we
have ϕ(G) ≤ Z(G). Now |Z(G)| = p, so by the first isomorphism theorem
either | Ker ϕ| = p2 or | Ker ϕ| = p3 . We consider the two possibilities.
Case 1: | Ker ϕ| = p2 .
In this case, there exists y ∈ G such that y p 6= 1. Then we must have
|y| = p2 , and H = hyi is a normal subgroup of G by Proposition 1.148. Now
H ∩ Ker ϕ = hy p i has order p, so there exists x ∈ Ker ϕ such that x 6∈ H.
Then for K = hxi we have H ∩ K = {1} and G = HK, so G is the semidirect
product of H and K. By Theorem 5.40, (i) holds.
Case 2: | Ker ϕ| = p3 .
In this case, we have xp = 1 for all x ∈ G. By Proposition 1.146 there exists a
131
Topics in Algebra: Group Theory Mikko Korhonen
132
Topics in Algebra: Group Theory Mikko Korhonen
• If p = 2, we have G ∼
= D8 or G ∼
= Q8 .
• For p > 2, we have G ∼
= Cp2 oψ Cp or G ∼
= (Cp × Cp ) oψ0 Cp , where the
semidirect products are non-trivial.
For p > 2, we will realize the nontrivial semidirect products in the fol-
lowing examples. This amounts to finding automorphisms of order p in
Aut(Cp2 ) and Aut(Cp × Cp ).
Example 5.58. First note that Aut(Cp2 ) ∼ = (Z/p2 Z)× , with k ∈ (Z/p2 Z)×
corresponding to the automorphism ψk : g 7→ g k of Cp2 . We saw in the proof
of Theorem 1.55 that 1 + p has order p in (Z/p2 Z)× , so the map ψp+1 is an
automorphism of order p for Cp2 . Consider then Cp2 = hxi and Cp = hyi. We
have a homomorphism ψ : Cp → Aut(Cp2 ) defined by ψ(y) = ψ1+p . Then
Cp2 oψ Cp = hx, yi with |x| = p2 , |y| = p, and yxy −1 = xp+1 .
Moreover, the group operation in Cp2 oψ Cp is completely determined by
these relations.
Example 5.59. Let x, y be a basis of Cp × Cp , and let Cp = hzi be another
∼
cyclic group of order p.
As we have seen Section 5.4, we have Aut(Cp ×Cp ) =
a b
GL2 (p), with matrix corresponding to the automorphism of Cp × Cp
c d
a c b d 1 1
defined by x 7→ x y and y 7→ x y . The matrix ∈ GL2 (p) has order
0 1
p, so the map x 7→ x, y 7→ xy defines an automorphism ϕ : Cp ×Cp → Cp ×Cp
of order p.
Thus we have a homomorphism ψ 0 : Cp → Aut(Cp × Cp ) defined by
ψ(z) = ϕ. Then (Cp × Cp ) oψ0 Cp = hx, y, zi such that:
|x| = |y| = |z| = p
xy = yx
hx, yi ∼
= Cp × Cp
zxz = x and zyz −1 = xy
−1
133
Topics in Algebra: Group Theory Mikko Korhonen
N = {x ∈ G : xn = 1}.
Proof. Exercise.
Theorem 5.61. Let G be a finite group of order 2n, where n is odd. Then G
contains a unique subgroup N of order n. Moreover N E G and G ∼ = N oψ C2
for some homomorphism ψ : C2 → Aut(N ).
Theorem 5.62. Let N be a finite group of odd order n, and let C2 = hxi.
Then N oψ C2 ∼
= N oψ0 C2 if and only if ψ(x) and ψ 0 (x) are conjugate in
Aut(N ).
π : N oψ C2 → N oψ0 C2 .
134
Topics in Algebra: Group Theory Mikko Korhonen
135
Topics in Algebra: Group Theory Mikko Korhonen
6 Sylow theory
In this section, we will prove the fundamental theorems of Sylow on finite
groups. Throughout this section, a group G will always be a finite group and
p will be a prime.
and Hxi K 6= Hxj K for i 6= j. Combining this with Lemma 6.1, we get the
following result.
Lemma 6.3. Let G be a finite group and H, K ≤ G. Let x1 , . . ., xt ∈ G be
representatives for the (H, K)-double cosets. Then
t
X |H||K|
|G| = .
i=1
|x−1
i Hxi ∩ K|
136
Topics in Algebra: Group Theory Mikko Korhonen
137
Topics in Algebra: Group Theory Mikko Korhonen
Theorem 6.7 (Sylow II). Let p be a prime. Any two Sylow p-subgroups of
G are conjugate.
Proof. Let P and Q be Sylow p-subgroups of G. By Theorem 6.6, there
exists g ∈ G such that Q ≤ g −1 P g. Since |Q| = |P | = |g −1 P g|, it follows
that Q = g −1 P g.
138
Topics in Algebra: Group Theory Mikko Korhonen
Theorem 6.8 (Sylow III). Let p be a prime, and let pα be the largest power
of p dividing |G|. Write |G| = pα m. Then the following hold:
(i) np (G) divides m,
(ii) np (G) = [G : NG (P )] for any Sylow p-subgroup P ≤ G,
(iii) np (G) ≡ 1 mod p.
Proof. Let P ≤ G be a Sylow p-subgroup of G. By Sylow II and Lemma
1.137 we have np (G) = [G : NG (P )], which divides
m = [G : P ] = [G : NG (P )][NG (P ) : P ].
Thus (i) and (ii) hold. For (iii), we consider the (P, NG (P ))-double coset
decomposition of G. Let x1 , . . ., xt ∈ G be representatives for the (P, NG (P ))-
double cosets in G with x1 = 1. Then
t
[
G= P xi NG (P )
i=1
Xt
= |NG (P )| + |NG (P )|[P : P ∩ x−1
i P xi ] (6.2)
i=2
where (6.1) holds by Lemma 6.1 and (6.2) holds by Lemma 6.5 (ii). Therefore
t
X
[G : NG (P )] = 1 + [P : P ∩ x−1
i P xi ].
i=2
139
Topics in Algebra: Group Theory Mikko Korhonen
(b) Suppose that |G| = pq, where p > q are primes. By Sylow III np (G)
divides q, so np (G) = 1 or q. Since p > q we have q 6≡ 1 mod p, so by
Sylow III np (G) = 1. Therefore G has a normal subgroup of order p.
Similarly we know that nq (G) divides p, so nq (G) = 1 or nq (G) = p.
Since nq (G) ≡ 1 mod q, if q - p − 1, then nq (G) = 1. If q | p − 1, we
have nq (G) = p when G = Cp oψ Cq is a nontrivial semidirect product.
• C5 oψ C8 (3 groups up to isomorphism)
• C5 oψ (C4 × C2 ) (4 groups up to isomorphism)
• C5 oψ (C2 × C2 × C2 ) (2 groups up to isomorphism)
• C5 oψ D8 (3 groups up to isomorphism)
• C5 oψ Q8 (2 groups up to isomorphism)
For now we omit the details of how these semidirect products are classi-
fied up to isomorphism. However, the conclusion in the end is that there
are 3 + 4 + 2 + 3 + 2 = 14 groups of order 40.
140
Topics in Algebra: Group Theory Mikko Korhonen
141
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Exercise.
(ii) By Lemma 6.12, every Sylow p-subgroup of N has the form P ∩ N for
some P ∈ Sylp (G). Now
(P ∩ N )g = P g ∩ N g = P g ∩ N
Thus np (N ) | np (G).
(iii) For P ∈ Sylp (G), we have P N/N ∈ Sylp (G/N ). Then NG/N (P N/N ) =
NG (P N )/N by Lemma 1.139. Thus
np (G) = [G : NG (P N )][NG (P N ) : NG (P )]
= np (G/N )[NG (P N ) : NG (P )].
We note that tere are examples where H ≤ G and np (H) - np (G). The
smallest example occurs for G = A5 . There exists a subgroup H < G such
that H ∼= S3 . An exercise shows that n2 (H) = 3 and n2 (G) = 5, so n2 (H)
does not divide n2 (G).
More generally for N E G, we have the following formula:
142
Topics in Algebra: Group Theory Mikko Korhonen
143
Topics in Algebra: Group Theory Mikko Korhonen
because both sides of the equation count the number of pairs (Pi , Qj ) with
Pi ≤ Qj . We have λi ≡ 1 mod p and µj ≡ 1 mod p for all 1 ≤ i ≤ rk and
1 ≤ j ≤ rk+1 , so it follows that
rk ≡ rk+1 mod p.
(i) G is nilpotent.
(ii) ⇒ (iii): Write the prime factorization of |G| as |G| = pα1 1 · · · pαt t . For
1 ≤ i ≤ t, let Pi ≤ G be a Sylow pi -subgroup of G. By assumption Pi E G.
Then any product Pi1 · · · Pit of some Pi ’s is a subgroup.
Moreover we claim that |Pi1 · · · Pit | = |Pi1 | · · · |Pit |, and this is easily
proven by induction. Indeed, first for t = 1 the claim is trivial. For t > 1
we have Pi1 ∩ (Pi2 · · · Pit ) = {1}, since by induction Pi2 · · · Pit is a subgroup
with order |Pi2 | · · · |Pit |, which is coprime to |Pi1 |. Thus |Pi1 (Pi2 · · · Pit )| =
|Pi1 | · |Pi2 · · · Pit | = |Pi1 | · |Pi2 | · · · |Pit | by Lemma 1.88.
It follows then that P1 P2 · · · Pt is a subgroup of order pα1 1 · · · pαt t = |G|, so
G = P1 P2 · · · Pt . For 1 ≤ i ≤ t we have Pi ∩ (P1 · · · Pi−1 Pi+1 · · · Pt ) = {1},
since P1 · · · Pi−1 Pi+1 · · · Pt is a subgroup of order |P1 | · · · |Pi−1 | · |Pi+1 | · · · |Pt |
which is coprime to |Pi |. It follows then from Lemma 5.5 that G is the direct
product of the subgroups P1 , . . ., Pt .
144
Topics in Algebra: Group Theory Mikko Korhonen
Lemma 6.17. Let G be a finite group and let p1 , . . ., pt be the prime divisors
of |G|. Then F (G) is the direct product of Op1 (G), . . ., Opt (G).
145
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Let G be a finite group of order pn q, where p and q are distinct primes
and n > 0 is an integer. We will first prove that G cannot be simple.
We have np (G) | q, so np (G) = 1 or np (G) = q. If np (G) = 1, then G
has a normal Sylow p-subgroup. Suppose then that np (G) = q, in which case
q ≡ 1 mod p. Among the q Sylow p-subgroups, choose two P1 , P2 such that
the order of D = P1 ∩ P2 is as large as possible.
We claim that q divides |NG (D)|. If this is not the case, then NG (D) is a
p-group, so there exists a Sylow p-subgroup R such that NG (D) ≤ R. On the
other hand D P1 and normalizers grow in p-groups (Proposition 1.147), so
D NG (D) ∩ P1 . But now NG (D) ≤ R, so D R ∩ P1 , which contradicts
the assumption that |D| is as large as possible. Thus q divides |NG (D)|.
In particular, there exists a q-Sylow subgroup Q ≤ NG (D). Now Q
acts on the Sylow p-subgroups by conjugation, and this action is faithful
and transitive since by np (G) = q we have [G : NG (P1 )] = q and thus
NG (P1 ) = P1 . In other words, each Sylow p-subgroup is equal to P1y for some
y ∈ Q. On the other hand D ≤ P1 , so D = Dy ≤ P1y since Q ≤ NG (D).
Therefore D is contained in every Sylow p-subgroup of G. This implies that
\
D= P
P ∈Sylp (G)
and in particular D E G.
If D 6= {1}, then D is a nontrivial proper normal subgroup of G, so G is
not simple. Suppose then that D = {1}. Since we have assume that D is
the largest possible intersection of two Sylow p-subgroups of G, in this case
P ∩ P 0 = {1} for any distinct Sylow p-subgroups of G. Thus there are a total
of (pn − 1)q = |G| − q non-identity elements in the Sylow p-subgroups of G,
and all of these elements have order divisible by p. This leaves space for at
most q elements among the Sylow q-subgroups of G, so there can be at most
146
Topics in Algebra: Group Theory Mikko Korhonen
147
Topics in Algebra: Group Theory Mikko Korhonen
elements of prime order (since rq > r+q), contradicting |G| = pqr. Therefore
there must be a normal Sylow subgroup.
148
Topics in Algebra: Group Theory Mikko Korhonen
We will mostly apply this in the case where F (G) is abelian: in this
case, by Lemma 6.21 the quotient G/F (G) is isomorphic to a subgroup of
Aut(F (G)).
Lemma 6.22. Let G be a finite group of order |G| = p2 q, where p and q are
distinct primes. Then G has a normal Sylow subgroup.
Lemma 6.24. Let G be a finite group of order |G| = p3 q, where p and q are
distinct primes. Then G has a normal Sylow subgroup, except when p = 2,
q = 3, and G ∼= S4 .
Proof. We know that G is solvable (Proposition 6.18), so F (G) 6= {1}.
If q | |F (G)|, then as a nilpotent group F (G) has a normal Sylow q-
subgroup Q of order q. Since Q char F (G) E G, we have Q E G. Similarly
149
Topics in Algebra: Group Theory Mikko Korhonen
|G/F (G)| = pq
| GL2 (p)| = (p − 1)2 p(p + 1)
150
Topics in Algebra: Group Theory Mikko Korhonen
Cp 2 × Cq
Cp × Cp × Cq .
Cp2 oψ Cq ,
(Cp × Cp ) oψ Cq ,
Cq oψ Cp2 ,
Cq oψ (Cp × Cp ).
151
Topics in Algebra: Group Theory Mikko Korhonen
(ii) ⇒ (i): Suppose that there exists ϕ ∈ Aut(K) such that ψ(ϕ(x)) and
ψ 0 (x) are conjugate in Aut(H). Then there exists π ∈ Aut(H) such that
πψ(ϕ(x))π −1 = ψ 0 (x). For all k ∈ Z, we have
ψ 0 (xk ) = ψ 0 (x)k
= (πψ(ϕ(x))π −1 )k
= π(ψ(ϕ(x))k π −1
= π(ψ(ϕ(xk ))π −1
152
Topics in Algebra: Group Theory Mikko Korhonen
153
Topics in Algebra: Group Theory Mikko Korhonen
Remark 6.27. Alternatively, one can prove Lemma 6.26 by showing that
any semidirect product Cq oψ (Cp × Cp ) is isomorphic to (Cq oψ0 Cp ) × Cp
for some homomorphism ψ 0 : Cp → Aut(Cq ). Then the result follows from
Theorem 5.48.
(i) N = 0, if p - q − 1.
(ii) N = 1, if p | q − 1 and p2 - q − 1.
(iii) N = 2, if p2 | q − 1.
154
Topics in Algebra: Group Theory Mikko Korhonen
Then |ψ(x)| = p2 and |ψ 0 (x)| = p. Thus there are exactly two non-trivial
semidirect products.
(i) N = 0, if q - p − 1.
(ii) N = 1, if q | p − 1.
Proof. Let Cq = hxi. Note that Aut(Cp2 ) ∼ = (Z/p2 Z)× ∼ = Cp(p−1) for all
primes p. Thus by applying Proposition 6.25 and arguing exactly as in the
proof of Lemma 6.28, we see that Cp2 oψ Cq ∼ = Cp2 oψ0 Cq if and only |ψ(x)| =
|ψ 0 (x)|.
Now the order of |ψ(x)| is 1 or q, so any two non-trivial semidirect pro-
ducts Cp2 oψ Cq must be isomorphic.
If q - p − 1, there is no element of order q in Aut(Cp2 ) ∼
= Cp(p−1) . Thus if
q - p − 1, any homomorphism ψ : Cq → Aut(Cp2 ) is trivial, and so (i) holds.
If q | p − 1, then there exists an element σ ∈ Aut(Cp2 ) of order q. Then
we can define a non-trivial homomorphism ψ : Cq → Aut(Cp2 ) by ψ(x) = σ.
Thus (ii) holds in this case.
With Lemma 6.26, Lemma 6.28, and Lemma 6.29, what remains is to
consider semidirect products of the form (Cp ×Cp )oψ Cq . Here Aut(Cp ×Cp ) ∼
=
GL2 (p), and for the classification we will need a few more facts about the
structure of GL2 (p).
155
Topics in Algebra: Group Theory Mikko Korhonen
Proof. Note that | GL2 (p)| = (p − 1)2 p(p + 1). Let q k be the largest power
of q dividing | GL2 (p)|. We have gcd(p − 1, p + 1) = 2, so since q is odd and
q | p + 1, the largest power of q dividing | GL2 (p)| is the largest power of q
dividing p + 1. In other words, q k divides p + 1.
By Lemma 6.30, there exists x ∈ GL2 (p) with |x| = p + 1. Then y =
(p+1)/q k
x has order |y| = q k , so hyi is a Sylow q-subgroup of GL2 (p). Since
Sylow q-subgroups are conjugate, we conclude that every Sylow q-subgroup
of GL2 (p) is cyclic.
(i) N = 2, if q = 2.
Proof. First we note that if q = 2, the result follows from Example 5.65,
which shows that there are exactly 2 nontrivial semidirect products of the
form (Cp × Cp ) oψ C2 , up to isomorphism. We will assume then for the result
of the proof that q > 2.
Now Aut(Cp ×Cp ) ∼ = GL2 (p), and | GL2 (p)| = (p−1)2 p(p+1). Therefore if
q - p±1, there is no element of order q in GL2 (p), and so every homomorphism
ψ : Cq → Aut(Cp × Cp ) is trivial; as claimed by (iv). Thus we can assume
that q | p ± 1.
Let Cq = hxi. We consider the two possibilities in turn.
Case 1: q | p + 1.
By Cauchy’s theorem there exists an element of order q in Aut(Cp × Cp ), so
there is a nontrivial homomorphism Cq → Aut(Cp × Cp ). We will show next
that any two nontrivial semidirect products of the form (Cp × Cp ) oψ Cq are
isomorphic, as claimed by (ii).
To this end, let ψ, ψ 0 : Cq → Aut(Cp ×Cp ) be non-trivial homomorphisms,
so ψ(x) and ψ 0 (x) are automorphisms of order q. By Lemma 6.31, the Sylow
q-subgroups of Aut(Cp × Cp ) ∼ = GL2 (p) are cyclic. In particular each Sylow
q-subgroup of GL2 (p) has a unique subgroup of order q, so by conjugacy of
Sylow q-subgroups we conclude that any two subgroups of order q in GL2 (p)
156
Topics in Algebra: Group Theory Mikko Korhonen
Case 2: q | p − 1.
First note that in this case we have p > 2. We consider Cp × Cp as a vector
space over Fp , and fix a basis {v, w} of Cp × Cp . Then we can identify
Aut(Cp × Cp ) = GL2 (p), with a matrix
a b
c d
v 7→ v a wb
w 7→ v c wd
of Cp × Cp .
Since q | p−1, there exists an element µ ∈ F×
p of order q. (In other words,
we can find an integer µ such that µ 6≡ 1 mod p and µq ≡ 1 mod p.) Then
hµi is a subgroup of order q in F× p and each of its elements is a root of the
q q
polynomial t − 1 ∈ Fp [t]. Thus t − 1 splits into linear factors
tq − 1 = (t − 1)(t − µ) · · · (t − µq−1 ).
Thus if g ∈ GL2 (p) has order q, then g q −1 = 0 and so the minimal polynomial
of g divides tq − 1. In this case either g is a scalar matrix of the form µk I2 , or
it has a minimal polynomial (t − µi )(t − µj ) with µi 6= µj (note that tq − 1 has
no repeated roots). In any case, it follows that g is conjugate to a diagonal
matrix of the form
α 0
0 β
with αq = β q = 1. By conjugating g with the matrix
0 1
1 0
(which correponds to change of basis from {v, w} into {w, v}), we may assume
that α 6= 1.
157
Topics in Algebra: Group Theory Mikko Korhonen
158
Topics in Algebra: Group Theory Mikko Korhonen
G0 , G1 , . . . , Gq−1
are isomorphic to each other. Indeed, the groups G0 , G1 , Gq−1 are not
isomorphic any other Gi , while for 1 < i < q − 1 we have Gi ∼
= Gi0 , where i0
is the inverse of i modulo q. (Note that 1 and −1 are the only elements in
F×q which are equal to their own inverse.) Thus there are a total of
q−3 q+3
3+ =
2 2
groups among G0 , G1 , . . . , Gq−1 , up to isomorphism.
Let p and q be distinct primes. With Lemma 6.26, Lemma 6.29, Lemma
6.28, and Theorem 6.32, we have completed the classification of groups of
order p2 q. As a summary, the number of groups of order p2 q, up to isomor-
phism, is given in Table 5.
6.9 Transfer
Let G be a finite group. In this section we will discuss the transfer homo-
morphism, which is a certain homomorphism G → H/[H, H] defined for any
subgroup H ≤ G. For our purposes we will only consider the case where H
is abelian, in which case the transfer is a homomorphism G → H. (This will
suffice for our purposes, and the more general definition is not much more
difficult.)
Let G be a finite group, and let H ≤ G be an abelian subgroup. Let T
be a left transversal for H in G, in other words, a set of representatives for
the left cosets of H in G. Then |T | = [G : H], and
{gH : g ∈ G} = {tH : t ∈ T }.
159
Topics in Algebra: Group Theory Mikko Korhonen
p - q − 1, N =2
q - p ± 1. Abelian: C p2 q
Cp × Cpq
Non-abelian: None
p > 2, q = 2. N =5
Abelian: C2p2
Cp × C2p
Non-abelian: Cp2 o C2 ∼= D2p2 (1 group)
(Cp × Cp ) o C2 (2 groups)
p = 2, q = 3. N = 5.
Abelian: C12
C2 × C6
Non-abelian: (C2 × C2 ) o C3 ∼
= A4
C3 o (C2 × C2 ) ∼
= S3 × C2 ∼
= D12
C3 o C4 (1 group)
p2 | q − 1. N =5
Abelian: C p2 q
Cp × Cpq
Non-abelian: (Cq o Cp ) × Cp (1 group)
Cq o Cp2 (2 groups)
q > 3, N =4
p | q − 1, Abelian: C p2 q
p2 - q − 1 Cp × Cpq
Non-abelian: (Cq o Cp ) × Cp (1 group)
Cq o Cp2 (1 group)
p > 2, q > 2, N =3
q | p + 1. Abelian: C p2 q
Cp × Cpq
Non-abelian: (Cp × Cp ) o Cq (1 group)
q > 2, N = q+9
2
q | p − 1. Abelian: C p2 q
Cp × Cpq
Non-abelian: (Cp2 ) o Cq (1 group)
(Cp × Cp ) o Cq ( q+3
2 groups)
160
Topics in Algebra: Group Theory Mikko Korhonen
– 1 • t = t for all t ∈ T ;
for all g ∈ G. We call vT the transfer map from G to H. Note that since H
is abelian, the product over T is defined uniquely and does not depend on
the ordering of T .
We will first check that the transfer map does not depend on the choice
of T , and after that we verify that it is a homomorphism.
Lemma 6.33. Let H ≤ G be an abelian subgroup of a finite group G. Then
vT = vS for any left transversals T, S of H in G.
Proof. Let T and S be left transversals of H in G. We denote the dot action
of G on T by • and on S by •0 . Then gtH = (g • t)H and gsH = (g •0 s)H
for all g ∈ G, t ∈ T , and s ∈ S.
For each t ∈ T , there exists a unique s ∈ S such that sH = tH. In this
case s = tht for a unique ht ∈ H, so
S = {tht : t ∈ T }.
Therefore
(g •0 (tht )) = (g • t)hg•t . (6.3)
Now we can calculate that
Y
vS (g) = (g •0 s)−1 gs
s∈S
Y
= (g •0 (tht ))−1 gtht
t∈T
Y
= ((g • t)hg•t )−1 gtht (by (6.3))
t∈T
161
Topics in Algebra: Group Theory Mikko Korhonen
Y
= h−1 −1
g•t (g • t) gtht
t∈T
Y Y Y
= h−1
g•t · (g • t)−1 gt · ht (since H is abelian)
t∈T t∈T t∈T
Y Y
= h−1
t · vT (g) · ht (since t 7→ g • t is a bijection)
t∈T t∈T
= vT (g)
so v : G → H is a homomorphism.
Before applying the transfer homomorphism, we will need one more lemma
for calculating the value of v(g) for g ∈ G.
Lemma 6.35. Let H be an abelian subgroup of a finite group G, and let T
be a left transversal for H in G. Let g ∈ G. Let T0 ⊆ T be representatives
for the orbits of hgi on T under the dot action, and for t ∈ T0 denote by nt
the size of the hgi-orbit
hgi • t = {g k • t : k ∈ Z}.
162
Topics in Algebra: Group Theory Mikko Korhonen
P
(i) t∈T0 nt = [G : H];
Proof. Since T is the disjoint union of the hgi-orbits, (i) follows. Claim (ii)
follows since the size of an orbit divides the order of the group, so nt divides
|hgi| = |g|.
For (iii), let t ∈ T0 . Then the hgi-orbit of t is
{g k • t : k ∈ Z} = {g k • t : 0 ≤ k < nt }.
Thus
Y Y
(g • t0 )−1 gt0 = (g k+1 • t)−1 g(g k • t)
t0 =g k •t 0≤k<nt
0≤k<nt
Y
= (g nt −k • t)−1 g(g nt −k−1 • t)
0≤k<nt
= (g • t)−1 g nt (g 0 • t)
nt
= t−1 g nt t,
which proves (iii). Claim (iv) also follows from this calculation, since
[
T = hgi • t.
t∈T0
Theorem 6.36. Let G be a finite group and [G : Z(G)] = n. Then the map
g 7→ g n is a homomorphism G → G.
Proof. We will prove that the map g 7→ g n is exactly the transfer map v :
G → Z(G), and thus a homomorphism. To this end, let T be a left transversal
for Z(G) in G.
163
Topics in Algebra: Group Theory Mikko Korhonen
for all g ∈ P .
164
Topics in Algebra: Group Theory Mikko Korhonen
where:
• φ is the Euler totient function,
(ii) G is abelian.
(iii) G is cyclic.
Proof. (i) ⇒ (ii): If G is nilpotent, it is isomorphic to the direct product of
its Sylow subgroups. In this case the Sylow subgroups of G are cyclic, so G
is abelian.
(ii) ⇒ (iii): Follows from the fact that Cm × Cn ∼ = Cmn if gcd(m, n) = 1.
(Lemma 5.18.)
(iii) ⇒ (i): This is clear.
Theorem 6.39. Let G be group of order |G| = p1 p2 · · · pt , where p1 < p2 <
· · · < pt are primes. Then for all 1 ≤ i ≤ t, there exists a normal subgroup
N E G such that |N | = pi pi+1 · · · pt . (In particular, G has a normal Sylow
pt -subgroup.)
165
Topics in Algebra: Group Theory Mikko Korhonen
Proof. For t = 1 the claim is trivial, so assume that t > 1 and proceed by
induction on t. By Theorem 6.39, there exists a normal subgroup N E G
with |N | = p2 · · · pt . By induction N is solvable, and G/N is solvable since
it is cyclic; thus G is solvable (Lemma 4.23).
|F (G)| · |K|
|F (G)K| = = |F (G)| · |K| = |G|.
|F (G) ∩ K|
166
Topics in Algebra: Group Theory Mikko Korhonen
167
Topics in Algebra: Group Theory Mikko Korhonen
168
Topics in Algebra: Group Theory Mikko Korhonen
Aut(Cm ) ∼
= Aut(Cq1 ) × Aut(Cq2 ) × · · · × Aut(Cqs )
∼
= Cq1 −1 × Cq2 −1 × · · · × Cqs −1 .
169
Topics in Algebra: Group Theory Mikko Korhonen
Exercises
In each exercise, G is a group. We recall notation from the lecture notes:
• |S| = cardinality of a set S.
• |x| = order of an element x ∈ G.
• od (G) = the number of elements of order d in G.
• For S ⊆ G and g ∈ G, we denote S g := g −1 Sg.
• For S, T ⊆ G, we denote ST = {st : s ∈ S, t ∈ T }.
• R>0 = {x ∈ R : x > 0}.
• Similarly Z≥0 = {0, 1, 2, 3, . . .}, etc.
• gnu(n) = number of finite groups of order n, up to isomorphism.
• νp (n) = the largest integer α ≥ 0 such that pα | n (for p prime and
n 6= 0).
• Fp is the field (Z/pZ, +, ·) of integers modulo p (for p prime).
• k(G) = number of conjugacy classes in G.
Section 1
1.1 Let n > 0 be an integer. Prove that 1 ≤ gnu(n) < ∞. Why gnu(0) = 0?
1.2 Examples of non-abelian groups:
(a) Let Ω be a set with |Ω| ≥ 3. Show that Sym(Ω) is not abelian.
(b) Let F be a field and let n ≥ 2 be an integer. Show that GLn (F) is
not abelian.
−1 1 −1 0
1.3 Let G = GL2 (Q). Define x, y ∈ G by x = and y = .
0 1 0 1
Show that |x| = 2, |y| = 2, and |xy| = ∞.
1.4 Let G be a group.
170
Topics in Algebra: Group Theory Mikko Korhonen
1.5 Suppose that Ω and Ω0 are sets such that |Ω| = |Ω0 |. (In other words, sup-
pose that there exists a bijection Ω → Ω0 .) Prove that Sym(Ω) ∼ = Sym(Ω0 ).
1.6 Let G and H be groups, and let ϕ : G → H be an isomorphism.
(a) (Q, +) ∼
6= (R, +).
(b) (Q, +) ∼
6= (Z, +).
(c) (R, +) ∼
= (R>0 , ·). (Hint: Use the fact that ex+y = ex ey .)
(d) (Q, +) ∼
6= (Q>0 , ·).
(a) Prove that G = h2, 3i. Find a generator for the subgroup h4, 6, 12i
of G.
(b) For a, b ∈ Z, what are the generators of ha, bi?
(c) Find a generator for h2i ∩ h3i and h14i ∩ h12i.
(d) For a, b ∈ Z, what are the generators of hai ∩ hbi?
1.10 Let p be a prime number and G a finite group. Let x ∈ G and k ∈ Z≥0 .
k k
Suppose that xp has order divisible by p. Prove that |x| = pk |xp |.
1.11 Let x ∈ G have order mn, where gcd(m, n) = 1. Prove that there exist
unique elements y, z ∈ G such that x = yz = zy and |y| = m, |z| = n. (Hint:
Use Bézout’s lemma.)
171
Topics in Algebra: Group Theory Mikko Korhonen
172
Topics in Algebra: Group Theory Mikko Korhonen
173
Topics in Algebra: Group Theory Mikko Korhonen
1.18 (See Lemma 1.70.) Let G = hx, yi and H = hz, wi be groups such that
the following hold:
Suppose that |y| = |w|. Prove that the map ϕ : G → H defined by ϕ(xi y j ) =
z i wj for all i, j ∈ Z is a well-defined isomorphism.
1.19 (See Section 1.7.) Construction of dihedral groups:
174
Topics in Algebra: Group Theory Mikko Korhonen
175
Topics in Algebra: Group Theory Mikko Korhonen
(a) Show that for all x, y ∈ G, either [x] = [y] or [x] ∩ [y] = ∅.
(b) Show that [x] contains exactly p elements for all x ∈ G.
(c) Suppose that x ∈ G is such that xp = 1. Show that y p = 1 for all
y ∈ [x].
(d) Prove that if G has only finitely many elements of order p, then
op (G) ≡ −1 mod p.
176
Topics in Algebra: Group Theory Mikko Korhonen
(a) Show that Hp is a non-abelian subgroup of GL3 (p) such that |Hp | =
p3 .
(b) Determine Z(Hp ).
(c) If p > 2, prove that xp = 1 for all x ∈ Hp .
(d) By part (a), the group H2 is a non-abelian group of order 8. Is
H2 ∼
= Q8 or H2 ∼= D8 ?
Section 2
2.1 Let σ = (i1 · · · ik ) and τ = (j1 · · · j` ) be cycles in Sn . If σ and τ are
disjoint, then στ = τ σ.
2.2 (Generators for Sn .)
177
Topics in Algebra: Group Theory Mikko Korhonen
n 1 2 3 4 5 6 7 8 9 10 11 12 13 14
g(n) 1 2 3 4 6 6 12 15 20 30 30 60 60 84
Using the values of g(n) given above, find an element of largest order in Sn
for 1 ≤ n ≤ 14.
2.5 Let σ, τ ∈ Sn . Consider the set Y of pairs {i, j} such that {τ (i), τ (j)} ∈
I(σ). Prove that |Y | = |I(σ)|.
2.6 Let σ = (i j) ∈ Sn with 1 ≤ i < j ≤ n. Calculate |I(σ)|, the number of
inversions of σ.
2.7 Let n ≥ 3. Prove that An has no subgroup of index 2.
2.8 Let n ≥ 4. Prove that CSn (An ) = {1}. Conclude that Z(An ) = {1}.
2.9 Let n ≥ 2 and G ≤ Sn . Then either G ≤ An , or G ∩ An is a normal
subgroup of index 2 in G.
2.10 Find representatives for the conjugacy classes of S5 , and the size of each
conjugacy class.
2.11 Let G = S4 .
(a) Prove that N = {(1), (1 2)(3 4), (1 3)(2 4), (1 4)(2 3)} is a normal
subgroup of G.
(b) Find all the normal subgroups of G. (Hint: A normal subgroup is
the union of conjugacy classes.)
178
Topics in Algebra: Group Theory Mikko Korhonen
2.16 Let n ≥ 3.
X = {gH : g ∈ G}
(a) Prove that for all x ∈ G, there exists 0 < k ≤ r such that xk ∈ H.
(b) Prove that if G is simple, then |G| divides r!.
179
Topics in Algebra: Group Theory Mikko Korhonen
Section 3
3.1 Let n ≥ 1. Prove the following:
180
Topics in Algebra: Group Theory Mikko Korhonen
3.5 Let q be a prime power. Prove that the number of irreducible polyno-
mials in Fq [t] of the form t2 + βt + 1 is equal to (q − 1)/2 if q is odd, and q/2
if q is even.
α 0
3.6 Let G = GL2 (q) and g = ∈ G, where α, β ∈ F× q and α 6= β.
0 β
Describe CG (g) and calculate |CG (g)|.
α 1
3.7 Let G = GL2 (q) and g = ∈ G, where α ∈ F× q . Describe CG (g)
0 α
and calculate |CG (g)|.
3.8 Suppose that t2 + βt+ α ∈ Fq [t] be an irreducible polynomial over Fq .
0 −α
Let G = GL2 (q) and g = ∈ G.
1 −β
3.9 Let p(t) ∈ F[t] and write p(t) = tn + cn−1 tn−1 + · · · + c1 t + c0 , where
ci ∈ F. Define
0 0 · · · 0 −c0
1 0
· · · 0 −c1
A = 0 1
· · · 0 −c2 .
.. .. . . ..
. . . .
0 0 · · · 1 −cn−1
3.10 Describe representatives for the conjugacy classes in GL2 (3), and de-
termine the size of each conjugacy class. (There are a total of 8 conjugacy
classes.)
181
Topics in Algebra: Group Theory Mikko Korhonen
(a) Find elements x, y ∈ PSL2 (C) = SL2 (C)/{±I2 } such that |x| = m,
|y| = n, and |xy| = ∞. (Hint: Imitate the proof of Theorem 3.22,
using primitive roots of unity in C.)
(b) Find x, y ∈ PSL2 (C) such that |x| = m, |y| = ∞, |xy| = n.
(a) Find matrices x, y ∈ GL2 (C) such that |x| = m, |y| = ∞, and
|xy| = ∞.
(b) Find matrices x, y ∈ GL2 (C) such that |x| = ∞, |y| = ∞, and
|xy| = m.
3.18 Let A ∈ GLn (F), and let V = Fn . Suppose that every v ∈ V \ {0} is an
eigenvector of A. Prove that A must be a scalar matrix.
3.19 Prove that PGL2 (3) ∼ = S4 and PSL2 (3) ∼
= A4 . (Hint: Consider the action
of GL2 (3) on the set of 1-dimensional subspaces of F23 .)
182
Topics in Algebra: Group Theory Mikko Korhonen
Section 4
4.1 Let G be a group and x, y, z ∈ G. Prove the following identities:
4.2 Let x, y ∈ G.
(a) Suppose that x commutes with [x, y]. Prove that [xn , y] = [x, y]n
for all n ∈ Z≥0 .
(b) Suppose that both x and y commute with [x, y]. Prove that
n(n−1)
(xy)n = xn y n [y, x] 2 for all n ∈ Z≥0 .
183
Topics in Algebra: Group Theory Mikko Korhonen
4.9 Let G be a group and H, K ≤ G. Prove that [H, K] E hH, Ki. (Hint:
Use Exercise 4.1 (c).)
4.10 Let G be a group and H, K E G. Prove that [H, K] ≤ H ∩ K.
4.11 (Examples of solvable groups.)
(a) Prove that all dihedral groups are solvable (including the infinite
dihedral group D∞ ).
(b) Let p be a prime. Prove that any finite p-group is solvable.
(c) Prove that Q8 is solvable.
(d) Prove that S3 is solvable.
4.20 Let G be a finite group. Prove that |xG | ≤ |[G, G]| for all x ∈ G.
184
Topics in Algebra: Group Theory Mikko Korhonen
4.21 Let F be a field, and let B be the set of upper triangular matrices in
GL2 (F):
λ ζ ×
B= : λ, µ ∈ F , ζ ∈ F .
0 µ
4.22 Let G be a nilpotent group and let N E G such that N 6= {1}. Prove
that [N, G] N .
4.23 Let G be a nilpotent group and H be a proper subgroup of G. Then
H NG (H). (Hint: Show that there exists k ≥ 1 such that γk (G) 6≤ H and
γk+1 (G) ≤ H.)
4.24 Let G be a group.
185
Topics in Algebra: Group Theory Mikko Korhonen
4.27 Let G = S3 .
(a) Find elements x, y, z ∈ G such that [[x, y], z] 6= [x, [y, z]].
(b) Find subgroups H, K, L ≤ G such that [[H, K], L] 6= [H, [K, L]].
186
Topics in Algebra: Group Theory Mikko Korhonen
Section 5
ci := {1}×· · ·×{1}×Gi ×{1}×· · ·×{1}.
5.1 Let G1 , . . ., Gn be groups. Let G
Then Gi E G1 × · · · × Gn and
ci ∼
(G1 × · · · × Gn )/G = G1 × · · · × Gi−1 × Gi+1 × · · · × Gn .
187
Topics in Algebra: Group Theory Mikko Korhonen
tor(G) ∼
= Cn1 × · · · × Cnk ,
∼
G/ tor(G) = Zr .
188
Topics in Algebra: Group Theory Mikko Korhonen
(a) Prove that for all n > 0, the set nG = {ng : g ∈ G} is a subgroup
of G.
(b) If G and H are abelian groups such that G ∼= H, prove that nG ∼ =
∼
nH and G/nG = H/nH.
(c) Let r, s ≥ 0. Prove that Zr ∼= Zs if and only if r = s. (Hint: use
part (b).)
5.12 Let (G, +) be an abelian group. Recall from Exercise 1.16 that for all
m ∈ Z, the set G(m) = {g ∈ G : mg = 0} is a subgroup of G.
189
Topics in Algebra: Group Theory Mikko Korhonen
5.18 Prove that there does not exist a group G with G/Z(G) ∼ = Q8 . (Hint:
Q8 has a subgroup of order 2, which is contained in every nontrivial subgroup
of Q8 .)
5.19 Let G and H be groups. Prove that if G ∼
= H, then Aut(G) ∼
= Aut(H).
Find an example where Aut(G) ∼
= Aut(H), but G 6∼
= H.
5.20 Prove that Aut(C2 × C2 ) ∼
= S3 .
5.21 Let G and H be finite groups.
190
Topics in Algebra: Group Theory Mikko Korhonen
5.24 Let (G, +) be an abelian group. Suppose that there exists a prime p
such that pg = 0 for all g ∈ G.
(i) G = H × K.
(ii) ψ : K → Aut(H) is trivial.
(iii) K
b is a normal subgroup of G.
5.28 Let G be a finite group of order mn, where gcd(m, n) = 1. Suppose that
G contains a normal subgroup N of order n. Then N is the unique subgroup
of order n in G, and
N = {x ∈ G : xn = 1}.
5.29 Let G = D2n (dihedral group), where n > 0 is odd. Prove that all
elements of order 2 are conjugate in G.
5.30 Classify groups of order 30 up to isomorphism.
191
Topics in Algebra: Group Theory Mikko Korhonen
Section 6
6.1 Let G be a finite group and let p be a prime. We denote the set of Sylow
p-subgroups of G by Sylp (G).
192
Topics in Algebra: Group Theory Mikko Korhonen
6.8 Let G be a finite abelian group and H ≤ G. Prove that for the transfer
map v : G → H, we have v(g) = g [G:H] for all g ∈ G.
6.9 Let G be a group of squarefree order |G|. Prove that for all d | n, there
exists a subgroup of order d in G.
193