<< стр. 5(всего 14)СОДЕРЖАНИЕ >>

16
(n + 3n4 + 4n3 + 2n2 + 2n).
12

5.3.3 A Variant
We now consider a slightly diп¬Ђerent question. How many distinct colorings of the vertices
of a regular hexagon are there if we are forced to color exactly three vertices blue and
three vertices yellow? The group G is the same as before, but the set S is diп¬Ђerent. Of
the 64 possible colorings of the vertices, only ( 6 ) = 20 are legal, since 3 vertices out
3
of 6 are chosen to be colored blue; the other vertices must be colored yellow. If ПЂ is a
permutation of G, then within each cycle of ПЂ, all vertices have the same color, but in
contrast to the previous example, we do not have a free choice of color for each cycle. To
see this, consider R2 = (1, 3, 5)(2, 4, 6). The cycle (1, 3, 5) can be colored blue and (2, 4, 6)
yellow, or vice versa, but it is not possible to color all six vertices blue, or to color all
vertices yellow. Thus f (R2 ) = 2. If ПЂ = F = (2, 6)(3, 5)(1)(4), a п¬Ѓxed coloring is obtained
by choosing one of the cycles of length 2 and one of the cycles of length 1 to be colored
blue, thus producing 3 blue vertices. Consequently, f (F ) = 4. To obtain f (I), note that
all legal colorings are п¬Ѓxed by I, so f (I) is the number of colorings of 6 vertices with
exactly 3 blue and 3 yellow vertices, namely, ( 6 ) = 20. From the cycle decompositions
3
of the members of G, there are two permutations with f = 2, three with f = 4, and one
with f = 20; the others have f = 0. Thus the number of distinct colorings is

1
(2(2) + 3(4) + 20) = 3.
12

Problems For Section 5.3
1. Assume that two colorings of the vertices of a square are equivalent if one can be
mapped into the other by a permutation in the dihedral group G = D8 . If n colors
are available, п¬Ѓnd the number of distinct colorings.
2. In Problem 1, suppose that we color the sides of the square rather than the vertices.
Do we get the same answer?
3. In Problem 1, assume that only two colors are available, white and green. There
are 16 unrestricted colorings, but only 6 equivalence classes. List the equivalence
classes explicitly.
4. Consider a rigid rod lying on the x-axis from x = в€’1 to x = 1, with three beads
attached. The beads are located at the endpoints (в€’1, 0) and (1, 0), and at the center
(0, 0). The beads are to be painted using n colors, and two colorings are regarded
as equivalent if one can be mapped into the other by a permutation in the group
G = {I, Пѓ}, where Пѓ is the 180 degree rotation about the vertical axis. Find the
number of distinct colorings.
10 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

5. In Problem 4, п¬Ѓnd the number of distinct colorings if the color of the central bead is
always black.
6. Consider the group of rotations of the regular tetrahedron (see Figure 5.3.2); G con-
sists of the following permutations.
(i) The identity;
(ii) Rotations by 120 degrees, clockwise or counterclockwise, about an axis through
a vertex and the opposite face. There are 8 such rotations (choose 1 of 4 vertices,
then choose a clockwise or counterclockwise direction);
(iii) Rotations by 180 degrees about the line joining the midpoints of two nontouching
edges. There are 3 such rotations.
Argue geometrically to show that there are no other rotations in the group, and show
that G is isomorphic to the alternating group A4 .

3
Гђ bbb
ГђГђ bb
ГђГђ bb
ГђГђ
4b В• В• В• В• В•2
В•
bb Гђ
ГђГђ
bb
bb ГђГђГђ
Гђ
1

Figure 5.3.2

7. Given n colors, п¬Ѓnd the number of distinct colorings of the vertices of a regular
tetrahedron, if colorings that can be rotated into each other are equivalent.
8. In Problem 7, assume that n = 4 and label the colors B,Y,W,G. Find the number of
distinct colorings if exactly two vertices must be colored B.
9. The group G of rotations of a cube consists of the following permutations of the
faces.
(i) The identity.
(ii) Rotations of В±90 or 180 degrees about a line through the center of two opposite
faces; there are 3 Г— 3 = 9 such rotations.
(iii) Rotations of В±120 degrees about a diagonal of the cube, i.e., a line joining two
opposite vertices (vertices that are a maximal distance apart). There are 4
diagonals, so there are 4 Г— 2 = 8 such rotations.
(iv) Rotations of 180 degrees about a line joining the midpoints of two opposite edges.
There are 6 such rotations. (An axis of rotation is determined by selecting one
of the four edges on the bottom of the cube, or one of the two vertical edges on
the front face.)
Argue geometrically to show that there are no other rotations in the group, and show
that G is isomorphic to the symmetric group S4 .
5.4. THE SYLOW THEOREMS 11

10. If six colors are available and each face of a cube is painted a diп¬Ђerent color, п¬Ѓnd the
number of distinct colorings.
11. Let G be the group of rotations of a regular p-gon, where p is an odd prime. If the
vertices of the p-gon are to be painted using at most n colors, п¬Ѓnd the number of
distinct colorings.
12. Use the result of Problem 11 to give an unusual proof of FermatвЂ™s little theorem.

5.4 The Sylow Theorems
Considerable information about the structure of a п¬Ѓnite group G can be obtained by
factoring the order of G. Suppose that |G| = pr m where p is prime, r is a positive integer,
and p does not divide m. Then r is the highest power of p that divides the order of G.
We will prove, among other things, that G must have a subgroup of order pr , and any
two such subgroups must be conjugate. We will need the following result about binomial
coeп¬ѓcients.

5.4.1 Lemma
n
If n = pr m where p is prime, then ( pr ) в‰Ў m mod p. Thus if p does not divide m, then it
pr m
does not divide .
pr

Proof. By the binomial expansion modulo p (see Section 3.4), which works for polynomials
as well as for п¬Ѓeld elements, we have
r r r r
(X + 1)p в‰Ў X p + 1p = X p + 1 mod p.

Raise both sides to the power m to obtain
r
(X + 1)n в‰Ў (X p + 1)m mod p.
r n m
On the left side, the coeп¬ѓcient of X p is ( pr ), and on the right side, it is ( mв€’1 ) = m.
The result follows. в™Ј

Let p be a prime number. The group G is said to be a p-group if the order of each element
of G is a power of p. (The particular power depends on the element.) If G is a п¬Ѓnite
group, then G is a p-group iп¬Ђ the order of G is a power of p. [The вЂњifвЂќ part follows
from LagrangeвЂ™s theorem, and the вЂњonly ifвЂќ part is a corollary to the Sylow theorems;
see (5.4.5).]
If |G| = pr m, where p does not divide m, then a subgroup P of G of order pr is called
a Sylow p-subgroup of G. Thus P is a p-subgroup of G of maximum possible size.
12 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

5.4.3 The Sylow Theorems
Let G be a п¬Ѓnite group of order pr m, where p is prime, r is a positive integer, and p does
not divide m. Then

(1) G has at least one Sylow p-subgroup, and every p-subgroup of G is contained in a
Sylow p-subgroup.
(2) Let np be the number of Sylow p-subgroups of G. Then np в‰Ў 1 mod p and np di-
vides m.
(3) All Sylow p-subgroups are conjugate. Thus if we deп¬Ѓne an equivalence relation on
subgroups by H в€ј K iп¬Ђ H = gKg в€’1 for some g в€€ G, then the Sylow p-subgroups
comprise a single equivalence class. [Note that the conjugate of a Sylow p-subgroup
is also a Sylow p-subgroup, since it has the same number of elements pr .]

(1) Let G act on subsets of G of size pr by left multiplication. The number of
Proof.
r
such subsets is ppr , which is not divisible by p by (5.4.1). Consequently, since orbits
m

partition the set acted on by the group, there is at least one subset S whose orbit size
is not divisible by p. If P is the stabilizer of S, then by (5.2.3), the size of the orbit
is [G : P ] = |G|/|P | = pr m/|P |. For this to fail to be divisible by p, we must have
pr ||P |, and therefore pr в‰¤ |P |. But for any п¬Ѓxed x в€€ S, the map of P into S given by
g в†’ gx is injective. (The map is indeed into S because g belongs to the stabilizer of S,
so that gS = S.) Thus |P | в‰¤ |S| = pr . We conclude that |P | = pr , hence P is a Sylow
p-subgroup.
So far, we have shown that a Sylow p-subgroup P exists, but not that every p-subgroup
is contained in a Sylow p-subgroup. We will return to this in the course of proving (2)
and (3).
(2) and (3) Let X be the set of all Sylow p-subgroups of G. Then |X| = np and P
acts on X by conjugation, i.e., g вЂў Q = gQg в€’1 , g в€€ P . By (5.2.3), the size of any orbit
divides |P | = pr , hence is a power of p. Suppose that there is an orbit of size 1, that
is, a Sylow p-subgroup Q в€€ X such that gQg в€’1 = Q, and therefore gQ = Qg, for every
g в€€ P . (There is at least one such subgroup, namely P .) Then P Q = QP , so by (1.3.6),
P Q = P, Q, , the subgroup generated by P and Q. Since |P | = |Q| = pr it follows from
(5.2.4) that |P Q| is a power of p, say pc . We must have c в‰¤ r because P Q is a subgroup
of G (hence |P Q| divides |G|). Thus

pr = |P | в‰¤ |P Q| в‰¤ pr , so |P | = |P Q| = pr .

But P is a subset of P Q, and since all sets are п¬Ѓnite, we conclude that P = P Q, and
therefore Q вЉ† P . Since both P and Q are of size pr , we have P = Q. Thus there is only
one orbit of size 1, namely {P }. Since by (5.2.3), all other orbit sizes are of the form pc
where c в‰Ґ 1, it follows that np в‰Ў 1 mod p.
Now let R be a p-subgroup of G, and let R act by multiplication on Y , the set of
left cosets of P . Since |Y | = [G : P ] = |G|/|P | = pr m/pr = m, p does not divide |Y |.
Therefore some orbit size is not divisible by p. By (5.2.3), every orbit size divides |R|,
hence is a power of p. (See (5.4.5) below. We are not going around in circles because
(5.4.4) and (5.4.5) only depend on the existence of Sylow subgroups, which we have already
5.4. THE SYLOW THEOREMS 13

established.) Thus there must be an orbit of size 1, say {gP } with g в€€ G. If h в€€ R then
hgP = gP , that is, g в€’1 hg в€€ P , or equally well, h в€€ gP g в€’1 . Consequently, R is contained
in a conjugate of P . If R is a Sylow p-subgroup to begin with, then R is a conjugate of
P , completing the proof of (1) and (3).
To п¬Ѓnish (2), we must show that np divides m. Let G act on subgroups by conjugation.
The orbit of P has size np by (3), so by (5.2.3), np divides |G| = pr m. But p cannot be
a prime factor of np , since np в‰Ў 1 mod p. It follows that np must divide m. в™Ј

5.4.4 Corollary (CauchyвЂ™s Theorem)
If the prime p divides the order of G, then G has an element of order p.

Proof. Let P be a Sylow p-subgroup of G, and pick x в€€ P with x = 1. The order of x is
kв€’1
a power of p, say |x| = pk . Then xp has order p. в™Ј

5.4.5 Corollary
The п¬Ѓnite group G is a p-group if and only if the order of G is a power of p.

Proof. If the order of G is not a power of p, then it is divisible by some other prime q. But
in this case, G has a Sylow q-subgroup, and therefore by (5.4.4), an element of order q.
Thus G cannot be a p-group. The converse was done in (5.4.2). в™Ј

Problems For Section 5.4
1. Under the hypothesis of the Sylow theorems, show that G has a subgroup of index np .
2. Let P be a Sylow p-subgroup of the п¬Ѓnite group G, and let Q be any p-subgroup. If Q
is contained in the normalizer NG (P ), show that P Q is a p-subgroup.
3. Continuing Problem 2, show that Q is contained in P .
4. Let P be a Sylow p-subgroup of the п¬Ѓnite group G, and let H be a subgroup of G that
contains the normalizer NG (P ).
(a) If g в€€ NG (H), show that P and gP g в€’1 are Sylow p-subgroups of H, hence they
are conjugate in H.
(b) Show that NG (H) = H.
5. Let P be a Sylow p-subgroup of the п¬Ѓnite group G, and let N be a normal subgroup
of G. Assume that p divides |N | and |G/N |, so that N and G/N have Sylow p-
subgroups. Show that [P N : P ] and p are relatively prime, and then show that P в€© N
is a Sylow p-subgroup of N .
6. Continuing Problem 5, show that P N/N is a Sylow p-subgroup of G/N .
7. Suppose that P is the unique Sylow p-subgroup of G. [Equivalently, P is a normal
Sylow p-subgroup of G; see (5.5.4).] Show that for each automorphism f of G, we have
f (P ) = P . [Thus P is a characteristic subgroup of G; see (5.7.1).]
14 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

8. The Sylow theorems are about subgroups whose order is a power of a prime p. Here is
a result about subgroups of index p. Let H be a subgroup of the п¬Ѓnite group G, and
assume that [G : H] = p. Let N be a normal subgroup of G such that N в‰¤ H and
[G : N ] divides p! (see Section 5.1, Problem 8). Show that [H : N ] divides (p в€’ 1)!.
9. Continuing Problem 8, let H be a subgroup of the п¬Ѓnite group G, and assume that H
has index p, where p is the smallest prime divisor of |G|. Show that H G.

5.5 Applications Of The Sylow Theorems
The Sylow theorems are of considerable assistance in the problem of classifying, up to
isomorphism, all п¬Ѓnite groups of a given order n. But in this area, proofs tend to involve
intricate combinatorial arguments, best left to specialized texts in group theory. We will
try to illustrate some of the basic ideas while keeping the presentation clean and crisp.

A group G is simple if G = {1} and the only normal subgroups of G are G itself and {1}.
We will see later that simple groups can be regarded as building blocks for arbitrary п¬Ѓnite
groups. Abelian simple groups are already very familiar to us; they are the cyclic groups
of prime order. For if x в€€ G, x = 1, then by simplicity (and the fact that all subgroups of
an abelian group are normal), G = x . If G is not of prime order, then G has a nontrivial
proper subgroup by (1.1.4), so G cannot be simple.
The following results will be useful.

5.5.2 Lemma
If H and K are normal subgroups of G and the intersection of H and K is trivial (i.e., {1}),
then hk = kh for every h в€€ H and k в€€ K.

Proof. We did this in connection with direct products; see the beginning of the proof
of (1.5.2). в™Ј

5.5.3 Proposition
If P is a nontrivial п¬Ѓnite p-group, then P has a nontrivial center.

Proof. Let P act on itself by conjugation; see (5.1.3) and (5.2.2), Example 3. The orbits
are the conjugacy classes of P . The element x belongs to an orbit of size 1 iп¬Ђ x is in
the center Z(P ), since gxg в€’1 = x for all g в€€ P iп¬Ђ gx = xg for all g в€€ P iп¬Ђ x в€€ Z(P ).
By the orbit-stabilizer theorem, an orbit size that is greater than 1 must divide |P |, and
therefore must be a positive power of p. If Z(P ) = {1}, then we have one orbit of size 1,
with all other orbit sizes в‰Ў 0 mod p. Thus |P | в‰Ў 1 mod p, contradicting the assumption
that P is a nontrivial p-group. в™Ј
5.5. APPLICATIONS OF THE SYLOW THEOREMS 15

5.5.4 Lemma
P is a normal Sylow p-subgroup of G if and only if P is the unique Sylow p-subgroup
of G.

Proof. By Sylow (3), the Sylow p-subgroups form a single equivalence class of conjugate
subgroups. This equivalence class consists of a single element {P } iп¬Ђ gP g в€’1 = P for
every g в€€ G , that is, iп¬Ђ P G. в™Ј

5.5.5 Proposition
Let G be a п¬Ѓnite, nonabelian simple group. If the prime p divides the order of G, then
the number np of Sylow p-subgroups of G is greater than 1.

Proof. If p is the only prime divisor of |G|, then G is a nontrivial p-group, hence Z(G)
is nontrivial by (5.5.3). Since Z(G) G (see (5.1.3), Example 3), Z(G) = G, so that G
is abelian, a contradiction. Thus |G| is divisible by at least two distinct primes, so if P
is a Sylow p-subgroup, then {1} < P < G. If np = 1, then there is a unique Sylow
p-subgroup P , which is normal in G by (5.5.4). This contradicts the simplicity of G, so
we must have np > 1. в™Ј

We can now derive some properties of groups whose order is the product of two distinct
primes.

5.5.6 Proposition
Let G be a group of order pq, where p and q are distinct primes.

(i) If q в‰Ў 1 mod p, then G has a normal Sylow p-subgroup.
(ii) G is not simple.
(iii) If p в‰Ў 1 mod q and q в‰Ў 1 mod p, then G is cyclic.

Proof. (i) By Sylow (2), np в‰Ў 1 mod p and np |q, so np = 1. The result follows from
(5.5.4).
(ii) We may assume without loss of generality that p > q. Then p cannot divide q в€’ 1,
so q в‰Ў 1 mod p. By (i), G has a normal Sylow p-subgroup, so G is not simple.
(iii) By (i), G has a normal Sylow p-subgroup P and a normal Sylow q-subgroup Q.
Since P and Q are of prime order (p and q, respectively), they are cyclic. If x generates P
and y generates Q, then xy = yx by (5.5.2). [P and Q have trivial intersection because
any member of the intersection has order dividing both p and q.] But then xy has order
pq = |G| (see Section 1.1, Problem 8). Thus G = xy . в™Ј

We now look at the more complicated case |G| = p2 q. The combinatorial argument in
the next proof is very interesting.
16 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

5.5.7 Proposition
Suppose that the order of the п¬Ѓnite group G is p2 q, where p and q are distinct primes.
Then G has either a normal Sylow p-subgroup or a normal Sylow q-subgroup. Thus G is
not simple.

Proof. If the conclusion is false then np and nq are both greater than 1. By Sylow (2), nq
divides p2 , so nq = p or p2 , and we will show that the second case leads to a contradiction.
A Sylow q-subgroup Q is of order q and is therefore cyclic. Furthermore, every element
of Q except the identity is a generator of Q. Conversely, any element of order q generates
a Sylow q-subgroup. Since the only divisors of q are 1 and q, any two distinct Sylow
q-subgroups have trivial intersection. Thus the number of elements of G of order q is
exactly nq (q в€’ 1). If nq = p2 , then the number of elements that are not of order q is

p2 q в€’ p2 (q в€’ 1) = p2 .

Now let P be any Sylow p-subgroup of G. Then |P | = p2 , so no element of P can
have order q (the orders must be 1, p or p2 ). Since there are only p2 elements of order
unequal to q available, P takes care of all of them. Thus there cannot be another Sylow p-
subgroup, so np = 1, a contradiction. We conclude that nq must be p. Now by Sylow (2),
nq в‰Ў 1 mod q, hence p в‰Ў 1 mod q, so p > q. But np divides q, a prime, so np = q. Since
np в‰Ў 1 mod p, we have q в‰Ў 1 mod p, and consequently q > p. Our original assumption
that both np and nq are greater than one has led inexorably to a contradiction. в™Ј

Problems For Section 5.5
1. Show that every group of order 15 is cyclic.
2. If G/Z(G) is cyclic, show that G = Z(G), and therefore G is abelian.
3. Show that for prime p, every group of order p2 is abelian.
4. Let G be a group with |G| = pqr, where p, q and r are distinct primes and (without
loss of generality) p > q > r. Show that |G| в‰Ґ 1 + np (p в€’ 1) + nq (q в€’ 1) + nr (r в€’ 1).
5. Continuing Problem 4, if G is simple, show that np , nq and nr are all greater than 1.
Then show that np = qr, nq в‰Ґ p and nr в‰Ґ q.
6. Show that a group whose order is the product of three distinct primes is not simple.
7. Let G be a simple group of order pr m, where r в‰Ґ 1, m > 1, and the prime p does
not divide m. Let n = np be the number of Sylow p-subgroups of G. If H = NG (P ),
where P is a Sylow p-subgroup of G, then [G : H] = n (see Problem 1 of Section 5.4).
Show that P cannot be normal in G (hence n > 1), and conclude that |G| must
divide n!.
8. If G is a group of order 250, 000 = 24 56 , show that G is not simple.
5.6. COMPOSITION SERIES 17

5.6 Composition Series
One way to break down a group into simpler components is via a subnormal series

В·В·В·
1 = G0 G1 Gr = G.

вЂњSubnormalвЂќ means that each subgroup Gi is normal in its successor Gi+1 . In a normal
series, the Gi are required to be normal subgroups of the entire group G. For convenience,
the trivial subgroup {1} will be written as 1.
Suppose that Gi is not a maximal normal subgroup of Gi+1 , equivalently (by the
correspondence theorem) Gi+1 /Gi is not simple. Then the original subnormal series can
be reп¬Ѓned by inserting a group H such that Gi H Gi+1 . We can continue reп¬Ѓning in the
hope that the process will terminate (it always will if G is п¬Ѓnite). If all factors Gi+1 /Gi
are simple, we say that the group G has a composition series. [By convention, the trivial
group has a composition series, namely {1} itself.]
The Jordan-HВЁlder theorem asserts that if G has a composition series, the resulting
o
composition length r and the composition factors Gi+1 /Gi are unique (up to isomorphism
and rearrangement). Thus all reп¬Ѓnements lead to essentially the same result. Simple
groups therefore give important information about arbitrary groups; if G1 and G2 have
diп¬Ђerent composition factors, they cannot be isomorphic.
Here is an example of a composition series. Let S4 be the group of all permutations
of {1, 2, 3, 4}, and A4 the subgroup of even permutations (normal in S4 by Section 1.3,
Problem 6). Let V be the four group (Section 1.2, Problem 6; normal in A4 , in fact in S4 ,
by direct veriп¬Ѓcation). Let Z2 be any subgroup of V of order 2. Then

1 Z2 V A 4 S4 .

The proof of the Jordan-HВЁlder theorem requires some technical machinery.
o

5.6.2 Lemma
H в‰¤ G and f is a homomorphism on G, then f (K)
(i) If K f (H).
H в‰¤ G and N
(ii) If K G, then N K N H.
(iii) If A, B, C and D are subgroups of G with A B and C

(i) For h в€€ H, k в€€ K, we have f (h)f (k)f (h)в€’1 = f (hkhв€’1 ) в€€ f (K).
Proof.
(ii) Let f be the canonical map of G onto G/N . By (i) we have N K/N N H/N .
The result follows from the correspondence theorem.
(iii) Apply (ii) with G = B, N = A, K = B в€© C, H = B в€© D.
(iv) The two versions are equivalent because A(B в€© C) в‰¤ B and C(D в€© A) в‰¤ D. If x
belongs to the set on the left, then x = ac for some a в€€ A, c в€€ B в€© C, and x also belongs
18 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

to D. But x = c(cв€’1 ac) = caв€— for some aв€— в€€ A B. Since x в€€ D and c в€€ C в‰¤ D,
в€— в€— в€—
we have a в€€ D, hence a в€€ D в€© A. Thus x = ca в€€ C(D в€© A), and since x = ac, with
a в€€ A в‰¤ B and c в€€ B в€© C в‰¤ B, x в€€ C(D в€© A) в€© B. Therefore the left side is a subset of
the right side, and a symmetrical argument completes the proof. в™Ј

The diagram below is helpful in visualizing the next result.

|D
B
|
|C
A

To keep track of symmetry, take mirror images about the dotted line. Thus the group A

5.6.3 Zassenhaus Lemma
Let A, B, C and D be subgroups of G, with A B and C D. Then

.
=

Proof. By part (iii) of (5.6.2), the quotient groups are well-deп¬Ѓned. An element of the
group on the left is of the form ayA(B в€© C), a в€€ A, y в€€ B в€© D. But ay = y(y в€’1 ay) = yaв€— ,
aв€— в€€ A. Thus ayA(B в€© C) = yaв€— A(B в€© C) = yA(B в€© C). Similarly, an element of the
right side is of the form zC(D в€© A) with z в€€ D в€© B = B в€© D. Thus if y, z в€€ B в€© D, then

and by part (iv) of (5.6.2), this is equivalent to

Thus if h maps yA(B в€© C) to yC(D в€© A), then h is a well-deп¬Ѓned bijection from the left
to the right side of ZassenhausвЂ™ equation. By deп¬Ѓnition of multiplication in a quotient
group, h is an isomorphism. в™Ј

If a subnormal series is reп¬Ѓned by inserting H between Gi and Gi+1 , let us allow H to
coincide with Gi or Gi+1 . If all such insertions are strictly between the вЂњendgroupsвЂќ, we
will speak of a proper reп¬Ѓnement. Two series are equivalent if they have the same length
and their factor groups are the same, up to isomorphism and rearrangement.

5.6.5 Schreier Reп¬Ѓnement Theorem
Let 1 = H0 H1 В· В· В· Hr = G and 1 = K0 K1 В· В· В· Ks = G be two subnormal
series for the group G. Then the series have equivalent reп¬Ѓnements.
5.6. COMPOSITION SERIES 19

Proof. Let Hij = Hi (Hi+1 в€© Kj ), Kij = Kj (Kj+1 в€© Hi ). By Zassenhaus we have
Hi,j+1 в€ј Ki+1,j
.
=
Hij Kij
(In (5.6.3) take A = Hi , B = Hi+1 , C = Kj , D = Kj+1 ). We can now construct equivalent
reп¬Ѓnements; the easiest way to see this is to look at a typical concrete example. The п¬Ѓrst
reп¬Ѓnement will have r blocks of length s, and the second will have s blocks of length r.
Thus the length will be rs in both cases. With r = 2 and s = 3, we have

1 = H00 H01 H02 H03 = H1 = H10 H11 H12 H13 = H2 = G,
1 = K00 K10 K20 = K1 = K01 K11 K21 = K2 = K02 K12 K22 = K3 = G.

The corresponding factor groups are

H01 /H00 в€ј K10 /K00 , H02 /H01 в€ј K11 /K01 , H03 /H02 в€ј K12 /K02
= = =
H11 /H10 в€ј K20 /K10 , H12 /H11 в€ј K21 /K11 , H13 /H12 в€ј K22 /K12 .
= = =

(Notice the pattern; in each isomorphism, the п¬Ѓrst subscript in the numerator is increased
by 1 and the second subscript is decreased by 1 in going from left to right. The subscripts
in the denominator are unchanged.) The factor groups of the second series are a reordering
of the factor groups of the п¬Ѓrst series. в™Ј
The hard work is now accomplished, and we have everything we need to prove the
main result.

5.6.6 Jordan-HВЁlder Theorem
o
If G has a composition series S (in particular if G is п¬Ѓnite), then any subnormal se-
ries R without repetition can be reп¬Ѓned to a composition series. Furthermore, any two
composition series for G are equivalent.
Proof. By (5.6.5), R and S have equivalent reп¬Ѓnements. Remove any repetitions from
the reп¬Ѓnements to produce equivalent reп¬Ѓnements R0 and S0 without repetitions. But a
composition series has no proper reп¬Ѓnements, hence S0 = S, proving the п¬Ѓrst assertion.
If R is also a composition series, then R0 = R as well, and R is equivalent to S. в™Ј

Problems For Section 5.6
1. Show that if G has a composition series, so does every normal subgroup of G.
2. Give an example of a group that has no composition series.
3. Give an example of two nonisomorphic groups with the same composition factors, up
to rearrangement.

Problems 4вЂ“9 will prove that the alternating group An is simple for all n в‰Ґ 5. (A1
and A2 are trivial and hence not simple; A4 is not simple by the example given in (5.6.1);
A3 is cyclic of order 3 and is therefore simple.) In these problems, N stands for a normal
subgroup of An .
20 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

4. Show that if n в‰Ґ 3, then An is generated by 3-cycles.
5. Show that if N contains a 3-cycle, then it contains all 3-cycles, so that N = An .
6. ВїFrom now on, assume that N is a proper normal subgroup of An , and n в‰Ґ 5. Show
that no permutation in N contains a cycle of length 4 or more.
7. Show that no permutation in N contains the product of two disjoint 3-cycles. Thus
in view of Problems 4,5 and 6, every member of N is the product of an even number
of disjoint transpositions.
8. In Problem 7, show that the number of transpositions in a nontrivial member of N
must be at least 4.
9. Finally, show that the assumption that N contains a product of 4 or more disjoint
transpositions leads to a contradiction, proving that N = 1, so that An is simple. It
follows that a composition series for Sn is 1 An Sn .
10. A chief series is a normal series without repetition that cannot be properly reп¬Ѓned
to another normal series. Show that if G has a chief series, then any normal series
without repetition can be reп¬Ѓned to a chief series. Furthermore, any two chief series
of a given group are equivalent.
11. In a composition series, the factor groups Gi+1 /Gi are required to be simple. What
is the analogous condition for a chief series?

5.7 Solvable And Nilpotent Groups
Solvable groups are so named because of their connection with solvability of polynomial
equations, a subject to be explored in the next chapter. To get started, we need a property
of subgroups that is stronger than normality.

A subgroup H of the group G is characteristic (in G) if for each automorphism f of G,
f (H) = H. Thus f restricted to H is an automorphism of H. Consequently, if H is
characteristic in G, then it is normal in G. If follows from the deп¬Ѓnition that if H is
characteristic in K and K is characteristic in G, then H is characteristic in G. Another
useful result is the following.

(1) If H is characteristic in K and K is normal in G, then H is normal in G.

To see this, observe that any inner automorphism of G maps K to itself, so restricts
to an automorphism (not necessarily inner) of K. Further restriction to H results in an
automorphism of H, and the result follows.

The commutator subgroup G of a group G is the subgroup generated by all commu-
tators [x, y] = xyxв€’1 y в€’1 . (Since [x, y]в€’1 = [y, x], G consists of all п¬Ѓnite products of
commutators.) Here are some basic properties.
5.7. SOLVABLE AND NILPOTENT GROUPS 21

(2) G is characteristic in G.
This follows because any automorphism f maps a commutator to a commutator:
f [x, y] = [f (x), f (y)].
(3) G is abelian if and only if G is trivial.
This holds because [x, y] = 1 iп¬Ђ xy = yx.
(4) G/G is abelian. Thus forming the quotient of G by G , sometimes called modding
out by G , in a sense вЂњabelianizesвЂќ the group.
For G xG y = G yG x iп¬Ђ G xy = G yx iп¬Ђ xy(yx)в€’1 в€€ G iп¬Ђ xyxв€’1 y в€’1 в€€ G , and this
holds for all x and y by deп¬Ѓnition of G .
G, then G/N is abelian if and only if G в‰¤ N .
(5) If N
The proof of (4) with G replaced by N shows that G/N is abelian iп¬Ђ all commutators
belong to N , that is, iп¬Ђ G в‰¤ N .
The process of taking commutators can be iterated:

G(0) = G, G(1) = G , G(2) = (G ) ,

and in general,

G(i+1) = (G(i) ) , i = 0, 1, 2, . . . .

Since G(i+1) is characteristic in G(i) , an induction argument shows that each G(i) is
characteristic, hence normal, in G.
The group G is said to be solvable if G(r) = 1 for some r. We then have a normal
series

В·В·В·
1 = G(r) G(rв€’1) G(0) = G

called the derived series of G.
Every abelian group is solvable, by (3). Note that a group that is both simple and
solvable must be cyclic of prime order. For the normal subgroup G must be trivial; if it
were G, then the derived series would never reach 1. By (3), G is abelian, and by (5.5.1),
G must be cyclic of prime order.
A nonabelian simple group G (such as An , n в‰Ґ 5) cannot be solvable. For if G is
nonabelian, then G is not trivial. Thus G = G, and as in the previous paragraph, the
derived series will not reach 1.
There are several equivalent ways to describe solvability.

5.7.3 Proposition
The following conditions are equivalent.
(i) G is solvable.
(ii) G has a normal series with abelian factors.
22 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

(iii) G has a subnormal series with abelian factors.

Proof. Since (i) implies (ii) by (4) and (ii) implies (iii) by deп¬Ѓnition of normal and sub-
normal series, the only problem is (iii) implies (i). Suppose G has a subnormal series

В·В·В·
1 = Gr Grв€’1 G1 G0 = G

with abelian factors. Since G/G1 is abelian, we have G в‰¤ G1 by (5), and an induction
argument then shows that G(i) в‰¤ Gi for all i. [The inductive step is G(i+1) = (G(i) ) в‰¤
Gi в‰¤ Gi+1 since Gi /Gi+1 is abelian.] Thus G(r) в‰¤ Gr = 1. в™Ј

The next result gives some very useful properties of solvable groups.

5.7.4 Proposition
Subgroups and quotients of a solvable group are solvable. Conversely, if N is normal
subgroup of G and both N and G/N are solvable, then G is solvable.

Proof. If H is a subgroup of the solvable group G, then H is solvable because H (i) в‰¤ G(i)
for all i. If N is a normal subgroup of the solvable group G, observe that commutators of
G/N look like xyxв€’1 y в€’1 N , so (G/N ) = G N/N . (Not G /N , since N is not necessarily
a subgroup of G .) Inductively,

(G/N )(i) = G(i) N/N

and since N/N is trivial, G/N is solvable. Conversely, suppose that we have a subnormal
series from N0 = 1 to Nr = N , and a subnormal series from G0 /N = 1 (i.e., G0 = N )
to Gs /N = G/N (i.e., Gs = G) with abelian factors in both cases. Then we splice the
series of Ni вЂ™s to the series of Gi вЂ™s. The latter series is subnormal by the correspondence
theorem, and the factors remain abelian by the third isomorphism theorem. в™Ј

5.7.5 Corollary
If G has a composition series, in particular if G is п¬Ѓnite, then G is solvable if and only if
the composition factors of G are cyclic of prime order.

Proof. Let Gi+1 /Gi be a composition factor of the solvable group G. By (5.7.4), Gi+1 is
solvable, and again by (5.7.4), Gi+1 /Gi is solvable. But a composition factor must be a
simple group, so Gi+1 /Gi is cyclic of prime order, as observed in (5.7.2). Conversely, if
the composition factors of G are cyclic of prime order, then the composition series is a
subnormal series with abelian factors. в™Ј

Nilpotent groups arise from a diп¬Ђerent type of normal series. We will get at this idea
indirectly, and give an abbreviated treatment.
5.7. SOLVABLE AND NILPOTENT GROUPS 23

5.7.6 Proposition
If G is a п¬Ѓnite group, the following conditions are equivalent, and deп¬Ѓne a nilpotent group.
[Nilpotence of an arbitrary group will be deп¬Ѓned in (5.7.8).]

(a) G is the direct product of its Sylow subgroups.
(b) Every Sylow subgroup of G is normal.

Proof. (a) implies (b): By (1.5.3), the factors of a direct product are normal subgroups.
(b) implies (a): By (5.5.4), there is a unique Sylow pi -subgroup Hi for each prime
divisor pi of |G|, i = 1, . . . , k. By successive application of (5.2.4), we have |H1 В· В· В· Hk | =
|H1 | В· В· В· |Hk |, which is |G| by deп¬Ѓnition of Sylow p-subgroup. Since all sets are п¬Ѓnite,
G = H1 В· В· В· Hk . Furthermore, each Hi в€© j=i Hj is trivial, because the orders of the Hi
are powers of distinct primes. By (1.5.4), G is the direct product of the Hi . в™Ј

5.7.7 Corollary
Every п¬Ѓnite abelian group and every п¬Ѓnite p-group is nilpotent.

Proof. A п¬Ѓnite abelian group must satisfy condition (b) of (5.7.6). If P is a п¬Ѓnite p-
group, then P has only one Sylow subgroup, P itself, so the conditions of (5.7.6) are
automatically satisп¬Ѓed. в™Ј

We now connect this discussion with normal series. Suppose that we are trying to
build a normal series for the group G, starting with G0 = 1. We take G1 to be Z(G), the
center of G; we have G1 G by (5.1.3), Example 3. We deп¬Ѓne G2 by the correspondence
theorem:

G2 /G1 = Z(G/G1 )

and since Z(G/G1 ) G/G1 , we have G2 G. In general, we take

Gi /Giв€’1 = Z(G/Giв€’1 ),

and by induction we have Gi G. The diп¬ѓculty is that there is no guarantee that Gi will
ever reach G. However, we will succeed if G is a п¬Ѓnite p-group. The key point is that a
nontrivial п¬Ѓnite p-group has a nontrivial center, by (5.5.3). Thus by induction, Gi /Giв€’1
is nontrivial for every i, so Giв€’1 < Gi . Since G is п¬Ѓnite, it must eventually be reached.

В·В·В·
A central series for G is a normal series 1 = G0 G1 Gr = G such that
Gi /Giв€’1 вЉ† Z(G/Giв€’1 ) for every i = 1, . . . , r. (The series just discussed is a special
case called the upper central series.) An arbitrary group G is said to be nilpotent if it
has a central series. Thus a п¬Ѓnite p-group is nilpotent, and in particular, every Sylow
p-subgroup is nilpotent. Now a direct product of a п¬Ѓnite number of nilpotent groups is
nilpotent. (If Gij is the ith term of a central series of the j th factor Hj , with Gij = G
if the series has already terminated at G, then j Gij will be the ith term of a central
24 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

series for j Hj .) Thus a п¬Ѓnite group that satisп¬Ѓes the conditions of (5.7.6) has a central
series. Conversely, it can be shown that a п¬Ѓnite group that has a central series satisп¬Ѓes
(5.7.6), so the two deп¬Ѓnitions of nilpotence agree for п¬Ѓnite groups.
Note that a nilpotent group is solvable. For if Gi /Giв€’1 вЉ† Z(G/Giв€’1 ), then the
elements of Gi /Giв€’1 commute with each other since they commute with everything in
G/Giв€’1 ; thus Gi /Giв€’1 is abelian. Consequently, a п¬Ѓnite p-group is solvable.

Problems For Section 5.7
1. Give an example of a nonabelian solvable group.
2. Show that a solvable group that has a composition series must be п¬Ѓnite.
3. Prove directly (without making use of nilpotence) that a п¬Ѓnite p-group is solvable.
4. Give an example of a solvable group that is not nilpotent.
5. Show that if n в‰Ґ 5, then Sn is not solvable.
6. If P is a п¬Ѓnite simple p-group, show that P has order p.
7. Let P be a nontrivial п¬Ѓnite p-group. Show that P has a normal subgroup N whose
index [P : N ] is p.
8. Let G be a п¬Ѓnite group of order pr m, where r is a positive integer and p does not
divide m. Show that for any k = 1, 2, . . . , r, G has a subgroup of order pk .
9. Give an example of a group G with a normal subgroup N such that N and G/N are
abelian, but G is not abelian. (If вЂњabelianвЂќ is replaced by вЂњsolvableвЂќ, no such example
is possible, by (5.7.4).)
10. If G is a solvable group, its derived length, dl(G), is the smallest nonnegative integer r
such that G(r) = 1. If N is a normal subgroup of the solvable group G, what can be
said about the relation between dl(G), dl(N ) and dl(G/N )?

5.8 Generators And Relations
In (1.2.4) we gave an informal description of the dihedral group via generators and rela-
tions, and now we try to make the ideas more precise.

The free group G on the set S (or the free group with basis S) consists of all words on S,
that is, all п¬Ѓnite sequences x1 В· В· В· xn , n = 0, 1, . . . , where each xi is either an element
of S or the inverse of an element of S. We regard the case n = 0 as the empty word О».
The group operation is concatenation, subject to the constraint that if s and sв€’1 occur
in succession, they can be cancelled. The empty word is the identity, and inverses are
calculated in the only reasonable way, for example, (stu)в€’1 = uв€’1 tв€’1 sв€’1 . We say that G
is free on S.
Now suppose that G is free on S, and we attempt to construct a homomorphism f
from G to an arbitrary group H. The key point is that f is completely determined by its
5.8. GENERATORS AND RELATIONS 25

values on S. If f (s1 ) = a, f (s2 ) = b, f (s3 ) = c, then

f (s1 sв€’1 s3 ) = f (s1 )f (s2 )в€’1 f (s3 ) = abв€’1 c.
2

Here is the formal statement, followed by an informal proof.

5.8.2 Theorem
If G is free on S and g is an arbitrary function from S to a group H, then there is a
unique homomorphism f : G в†’ H such that f = g on S.

Proof. The above discussion is a nice illustration of a concrete example with all the
features of the general case. The analysis shows both existence and uniqueness of f . A
formal proof must show that all aspects of the general case are covered. For example,
if u = s1 sв€’1 s3 and v = s1 sв€’1 sв€’1 s4 s3 , then f (u) = f (v), so that cancellation of sв€’1 s4
2 2 4 4
causes no diп¬ѓculty. Speciп¬Ѓc calculations of this type are rather convincing, and we will
not pursue the formal details. (See, for example, Rotman, An Introduction to the Theory
of Groups, pp. 343вЂ“345.) в™Ј

5.8.3 Corollary
Any group H is a homomorphic image of a free group.

Proof. Let S be a set of generators for H (if necessary, take S = H), and let G be free
on S. Deп¬Ѓne g(s) = s for all s в€€ S. If f is the unique extension of g to G, then since S
generates H, f is an epimorphism. в™Ј

Returning to (1.2.4), we described a group H using generators R and F , and relations
R = I, F 2 = I, RF = F Rв€’1 . The last relation is equivalent to RF RF = I, since F 2 = I.
n

The words Rn , F 2 and RF RF are called relators, and the speciп¬Ѓcation of generators and
relations is called a presentation. We use the notation

H = R, F | Rn , F 2 , RF RF

or the long form

H = R, F | Rn = I, F 2 = I, RF = F Rв€’1 .

We must say precisely what it means to deп¬Ѓne a group by generators and relations, and
show that the above presentation yields a group isomorphic to the dihedral group D2n .
We start with the free group on {R, F } and set all relators equal to the identity. It is
natural to mod out by the subgroup generated by the relators, but there is a technical
diп¬ѓculty; this subgroup is not necessarily normal.
26 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

5.8.4 Deп¬Ѓnition
Let G be free on the set S, and let K be a subset of G. We deп¬Ѓne the group S | K as
G/K, where K is the smallest normal subgroup of G containing K.
Unfortunately, it is a theorem of mathematical logic that there is no algorithm which
when given a presentation, will п¬Ѓnd the order of the group. In fact, there is no algorithm
to determine whether a given word of S | K coincides with the identity. Logicians say
that the word problem for groups is unsolvable. But although there is no general solution,
there are speciп¬Ѓc cases that can be analyzed, and the following result is very helpful.

5.8.5 Von DyckвЂ™s Theorem
Let H = S | K be a presentation, and let L be a group that is generated by the words
in S. If L satisп¬Ѓes all the relations of K, then there is an epimorphism О± : H в†’ L.
Consequently, |H| в‰Ґ |L|.

Proof. Let G be free on S, and let i be the identity map from S, regarded as a subset of G,
to S, regarded as a subset of L. By (5.8.2), i has a unique extension to a homomorphism
f of G into L, and in fact f is an epimorphism because S generates L. Now f maps
any word of G to the same word in L, and since L satisп¬Ѓes all the relations, we have
K вЉ† ker f . But the kernel of f is a normal subgroup of G, hence K вЉ† ker f . The factor
theorem provides an epimorphism О± : G/K в†’ L. в™Ј

5.8.6 Justifying a presentation
If L is a п¬Ѓnite group generated by the words of S, then in practice, the crucial step in
identifying L with H = S | K is a proof that |H| в‰¤ |L|. If we can accomplish this,
then by (5.8.5), |H| = |L|. In this case, О± is a surjective map of п¬Ѓnite sets of the same
size, so О± is injective as well, hence is an isomorphism. For the dihedral group we have
H = F, R | Rn , F 2 , RF RF and L = D2n . In (1.2.4) we showed that each word of H can
be expressed as Ri F j with 0 в‰¤ i в‰¤ nв€’1 and 0 в‰¤ j в‰¤ 1. Therefore |H| в‰¤ 2n = |D2n | = |L|.
Thus the presentation H is a legitimate description of the dihedral group.

Problems For Section 5.8
1. Show that a presentation of the cyclic group of order n is a | an .
2. Show that the quaternion group (see (2.1.3, Example 4)) has a presentation a, b |
a4 = 1, b2 = a2 , ab = baв€’1 .
3. Show that H = a, b | a3 = 1, b2 = 1, ba = aв€’1 b is a presentation of S3 .
4. Is the presentation of a group unique?

In Problems 5вЂ“11, we examine a diп¬Ђerent way of assembling a group from subgroups,
which generalizes the notion of a direct product. Let N be a normal subgroup of G,
and H an arbitrary subgroup. We say that G is the semidirect product of N by H if
G = N H and N в€© H = 1. (If H G, we have the direct product.) For notational
convenience, the letter n, possibly with subscripts, will always indicate a member of N ,
5.8. GENERATORS AND RELATIONS 27

and similarly h will always belong to H. In Problems 5 and 6, we assume that G is the
semidirect product of N by H.
5. If n1 h1 = n2 h2 , show that n1 = n2 and h1 = h2 .
6. If i : N в†’ G is inclusion and ПЂ : G в†’ H is projection (ПЂ(nh) = h), then the sequence

i ПЂ
в†’ в†’ в†’H в†’
1 N G 1

is exact. Note that ПЂ is well-deп¬Ѓned by Problem 5, and verify that ПЂ is a homomor-
phism. Show that the sequence splits on the right, i.e., there is a homomorphism
П€ : H в†’ G such that ПЂ в—¦ П€ = 1.
7. Conversely, suppose that the above exact sequence splits on the right. Since П€ is
injective, we can regard H (and N as well) as subgroups of G, with П€ and i as
inclusion maps. Show that G is the semidirect product of N by H.
8. Let N and H be arbitrary groups, and let f be a homomorphism of H into Aut N ,
the group of automorphisms of N . Deп¬Ѓne a multiplication on G = N Г— H by

(n1 , h1 )(n2 , h2 ) = (n1 f (h1 )(n2 ), h1 h2 ).

[f (h1 )(n2 ) is the value of the automorphism f (h1 ) at the element n2 .] A lengthy but
straightforward calculation shows that G is a group with identity (1, 1) and inverses
given by (n, h)в€’1 = (f (hв€’1 )(nв€’1 ), hв€’1 ). Show that G is the semidirect product of
N Г— {1} by {1} Г— H.
9. Show that every semidirect product arises from the construction of Problem 8.
10. Show by example that it is possible for a short exact sequence of groups to split on
the right but not on the left.
[If h : G в†’ N is a left-splitting map in the exact sequence of Problem 6, then h and ПЂ
can be used to identify G with the direct product of N and H. Thus a left-splitting
implies a right-splitting, but, unlike the result for modules in (4.7.4), not conversely.]
11. Give an example of a short exact sequence of groups that does not split on the right.
12. (The Frattini argument, frequently useful in a further study of group theory.) Let
N be a normal subgroup of the п¬Ѓnite group G, and let P be a Sylow p-subgroup of
N . If NG (P ) is the normalizer of P in G, show that G = NG (P )N (= N NG (P ) by
(1.4.3)).[If g в€€ G, look at the relation between P and gP g в€’1 .]
13. Let N = {1, a, a2 , . . . , anв€’1 } be a cyclic group of order n, and let H = {1, b} be a
cyclic group of order 2. Deп¬Ѓne f : H в†’ Aut N by taking f (b) to be the automorphism
that sends a to aв€’1 . Show that the dihedral group D2n is the semidirect product of N
by H. (See Problems 8 and 9 for the construction of the semidirect product.)
14. In Problem 13, replace N by an inп¬Ѓnite cyclic group

{. . . , aв€’2 , aв€’1 , 1, a, a2 , . . . }.

Give a presentation of the semidirect product of N by H. This group is called the
inп¬Ѓnite dihedral group Dв€ћ .
28 CHAPTER 5. SOME BASIC TECHNIQUES OF GROUP THEORY

Concluding Remarks
Suppose that the п¬Ѓnite group G has a composition series

1 = G0 G1 В· В· В· Gr = G.

If Hi = Gi /Giв€’1 , then we say that Gi is an extension of Giв€’1 by Hi in the sense that
Gi and Gi /Giв€’1 в€ј Hi . If we were able to solve the extension problem (п¬Ѓnd all
Giв€’1 =
possible extensions of Giв€’1 by Hi ) and we had a catalog of all п¬Ѓnite simple groups, then
we could build a catalog of all п¬Ѓnite groups. This sharpens the statement made in (5.6.1)
about the importance of simple groups.
Chapter 6

Galois Theory

6.1 Fixed Fields and Galois Groups
Galois theory is based on a remarkable correspondence between subgroups of the Galois
group of an extension E/F and intermediate п¬Ѓelds between E and F . In this section
we will set up the machinery for the fundamental theorem. [A remark on notation:
Throughout the chapter, the composition П„ в—¦ Пѓ of two automorphisms will be written as
a product П„ Пѓ.]

Let G = Gal(E/F ) be the Galois group of the extension E/F . If H is a subgroup of G,
the п¬Ѓxed п¬Ѓeld of H is the set of elements п¬Ѓxed by every automorphism in H, that is,

F(H) = {x в€€ E : Пѓ(x) = x for every Пѓ в€€ H}.

If K is an intermediate п¬Ѓeld, that is, F в‰¤ K в‰¤ E, deп¬Ѓne

G(K) = Gal(E/K) = {Пѓ в€€ G : Пѓ(x) = x for every x в€€ K}.

I like the term вЂњп¬Ѓxing group of KвЂќ for G(K), since G(K) is the group of automorphisms
of E that leave K п¬Ѓxed. Galois theory is about the relation between п¬Ѓxed п¬Ѓelds and п¬Ѓxing
groups. In particular, the next result suggests that the smallest subп¬Ѓeld F corresponds
to the largest subgroup G.

6.1.2 Proposition
Let E/F be a п¬Ѓnite Galois extension with Galois group G = Gal(E/F ). Then

(i) The п¬Ѓxed п¬Ѓeld of G is F ;
(ii) If H is a proper subgroup of G, then the п¬Ѓxed п¬Ѓeld of H properly contains F .

1
2 CHAPTER 6. GALOIS THEORY

Proof. (i) Let F0 be the п¬Ѓxed п¬Ѓeld of G. If Пѓ is an F -automorphism of E, then by
deп¬Ѓnition of F0 , Пѓ п¬Ѓxes everything in F0 . Thus the F -automorphisms of G coincide with
the F0 -automorphisms of G. Now by (3.4.7) and (3.5.8), E/F0 is Galois. By (3.5.9), the
size of the Galois group of a п¬Ѓnite Galois extension is the degree of the extension. Thus
[E : F ] = [E : F0 ], so by (3.1.9), F = F0 .
(ii) Suppose that F = F(H). By the theorem of the primitive element (3.5.12), we
have E = F (О±) for some О± в€€ E. Deп¬Ѓne a polynomial f (X) в€€ E[X] by

(X в€’ Пѓ(О±)).
f (X) =
Пѓв€€H

If П„ is any automorphism in H, then we may apply П„ to f (that is, to the coeп¬ѓcients of f ;
we discussed this idea in the proof of (3.5.2)). The result is

(X в€’ (П„ Пѓ)(О±)).
(П„ f )(X) =
Пѓв€€H

But as Пѓ ranges over all of H, so does П„ Пѓ, and consequently П„ f = f . Thus each coeп¬ѓcient
of f is п¬Ѓxed by H, so f в€€ F [X]. Now О± is a root of f , since X в€’ Пѓ(О±) is 0 when X = О±
and Пѓ is the identity. We can say two things about the degree of f :
(1) By deп¬Ѓnition of f , deg f = |H| < |G| = [E : F ], and, since f is a multiple of the
minimal polynomial of О± over F ,
(2) deg f в‰Ґ [F (О±) : F ] = [E : F ], and we have a contradiction. в™Ј
There is a converse to the п¬Ѓrst part of (6.1.2).

6.1.3 Proposition
Let E/F be a п¬Ѓnite extension with Galois group G. If the п¬Ѓxed п¬Ѓeld of G is F , then E/F
is Galois.
Proof. Let G = {Пѓ1 , . . . , Пѓn }, where Пѓ1 is the identity. To show that E/F is normal,
we consider an irreducible polynomial f в€€ F [X] with a root О± в€€ E. Apply each au-
tomorphism in G to О±, and suppose that there are r distinct images О± = О±1 = Пѓ1 (О±),
О±2 = Пѓ2 (О±), . . . , О±r = Пѓr (О±). If Пѓ is any member of G, then Пѓ will map each О±i to some
О±j , and since Пѓ is an injective map of the п¬Ѓnite set {О±1 , . . . , О±r } to itself, it is surjective as
well. To put it simply, Пѓ permutes the О±i . Now we examine what Пѓ does to the elementary
symmetric functions of the О±i , which are given by
r
e1 = О±i , e2 = О±i О±j , e3 = О±i О±j О±k , . . . ,
i=1 i<j i<j<k
r
er = О±i .
i=1

Since Пѓ permutes the О±i , it follows that Пѓ(ei ) = ei for all i. Thus the ei belong to the
п¬Ѓxed п¬Ѓeld of G, which is F by hypothesis. Now we form a monic polynomial whose roots
are the О±i :
g(X) = (X в€’ О±1 ) В· В· В· (X в€’ О±r ) = X r в€’ e1 X rв€’1 + e2 X rв€’2 в€’ В· В· В· + (в€’1)r er .
6.1. FIXED FIELDS AND GALOIS GROUPS 3

Since the ei belong to F , g в€€ F [X], and since the О±i are in E, g splits over E. We claim
that g is the minimal polynomial of О± over F . To see this, let h(X) = b0 +b1 X +В· В· В·+bm X m
be any polynomial in F [X] having О± as a root. Applying Пѓi to the equation

b0 + b 1 О± + В· В· В· b m О± m = 0

we have

b0 + b1 О±i + В· В· В· bm О±i = 0,
m

so that each О±i is a root of h, hence g divides h and therefore g =min(О±, F ). But our
original polynomial f в€€ F [X] is irreducible and has О± as a root, so it must be a constant
multiple of g. Consequently, f splits over E, proving that E/F is normal. Since the О±i ,
i = 1, . . . r, are distinct, g has no repeated roots. Thus О± is separable over F , which shows
that the extension E/F is separable. в™Ј

It is proп¬Ѓtable to examine elementary symmetric functions in more detail.

6.1.4 Theorem
Let f be a symmetric polynomial in the n variables X1 , . . . , Xn . [This means that if Пѓ is
any permutation in Sn and we replace Xi by XПѓ(i) for i = 1, . . . , n, then f is unchanged.]
If e1 , . . . , en are the elementary symmetric functions of the Xi , then f can be expressed
as a polynomial in the ei .

Proof. We give an algorithm. The polynomial f is a linear combination of monomials
of the form X1 1 В· В· В· Xnn , and we order the monomials lexicographically: X1 1 В· В· В· Xnn >
r r
r r

X1 В· В· В· Xnn iп¬Ђ the п¬Ѓrst disagreement between ri and si results in ri > si . Since f is
s1 s

symmetric, all terms generated by applying a permutation Пѓ в€€ Sn to the subscripts of
X1 1 В· В· В· Xnn will also contribute to f . The idea is to cancel the leading terms (those
r r

associated with the monomial that is п¬Ѓrst in the ordering) by subtracting an expression
of the form

et1 et2 В· В· В· etn = (X1 + В· В· В· + Xn )t1 В· В· В· (X1 В· В· В· Xn )tn
n
12

X11 (X1 X2 )t2 (X1 X2 X3 )t3 В· В· В· (X1 В· В· В· Xn )tn = X11 +В·В·В·+tn X22 +В·В·В·+tn В· В· В· Xnn .
t t t t

This will be possible if we choose

t1 = r1 в€’ r2 , t2 = r2 в€’ r3 , . . . , tnв€’1 = rnв€’1 в€’ rn , tn = rn .

After subtraction, the resulting polynomial has a leading term that is below X1 1 В· В· В· Xnn
r r

in the lexicographical ordering. We can then repeat the procedure, which must terminate
in a п¬Ѓnite number of steps. в™Ј
4 CHAPTER 6. GALOIS THEORY

6.1.5 Corollary
If g is a polynomial in F [X] and f (О±1 , . . . , О±n ) is any symmetric polynomial in the roots
О±1 , . . . , О±n of g, then f в€€ F [X].
Proof. We may assume without loss of generality that g is monic. Then in a splitting
п¬Ѓeld of g we have
g(X) = (X в€’ О±1 ) В· В· В· (X в€’ О±n ) = X n в€’ e1 X nв€’1 + В· В· В· + (в€’1)n en .
By (6.1.4), f is a polynomial in the ei , and since the ei are simply В± the coeп¬ѓcients of g,
the coeп¬ѓcients of f are in F . в™Ј

6.1.6 DedekindвЂ™s Lemma
The result that the size of the Galois group of a п¬Ѓnite Galois extension is the degree of
the extension can be proved via DedekindвЂ™s lemma, which is of interest in its own right.
Let G be a group and E a п¬Ѓeld. A character from G to E is a homomorphism from G
to the multiplicative group E в€— of nonzero elements of E. In particular, an automorphism
of E deп¬Ѓnes a character with G = E в€— , as does a monomorphism of E into a п¬Ѓeld L.
DedekindвЂ™s lemma states that if Пѓ1 , . . . , Пѓn are distinct characters from G to E, then the
Пѓi are linearly independent over E. The proof is given in Problems 3 and 4.

Problems For Section 6.1
2 2 2
1. Express X1 X2 X3 + X1 X2 X3 + X1 X2 X3 in terms of elementary symmetric functions.
2 2 2 2 2 2
2. Repeat Problem 1 forX1 X2 + X1 X3 + X1 X2 + X1 X3 + X2 X3 + X2 X3 + 4X1 X2 X3 .
3. To begin the proof of DedekindвЂ™s lemma, suppose that the Пѓi are linearly dependent.
By renumbering the Пѓi if necessary, we have
a1 Пѓ1 + В· В· В· ar Пѓr = 0
where all ai are nonzero and r is as small as possible. Show that for every h and g в€€ G,
we have
r
ai Пѓ1 (h)Пѓi (g) = 0 (1)
i=1

and
r
ai Пѓi (h)Пѓi (g) = 0. (2)
i=1

[Equations (1) and (2) are not the same; in (1) we have Пѓ1 (h), not Пѓi (h).]
4. Continuing Problem 3, subtract (2) from (1) to get
r
ai (Пѓ1 (h) в€’ Пѓi (h))Пѓi (g) = 0. (3)
i=1

With g arbitrary, reach a contradiction by an appropriate choice of h.
6.2. THE FUNDAMENTAL THEOREM 5
в€љ
5. If G is the Galois group of Q( 3 2) over Q, what is the п¬Ѓxed п¬Ѓeld of G?
6. Find the Galois group of C/R.
7. Find the п¬Ѓxed п¬Ѓeld of the Galois group of Problem 6.

6.2 The Fundamental Theorem
With the preliminaries now taken care of, we can proceed directly to the main result.

6.2.1 Fundamental Theorem of Galois Theory
Let E/F be a п¬Ѓnite Galois extension with Galois group G. If H is a subgroup of G,
let F(H) be the п¬Ѓxed п¬Ѓeld of H, and if K is an intermediate п¬Ѓeld, let G(K) be Gal(E/K),
the п¬Ѓxing group of K (see (6.1.1)).

(1) F is a bijective map from subgroups to intermediate п¬Ѓelds, with inverse G. Both maps
are inclusion-reversing, that is, if H1 в‰¤ H2 then F(H1 ) в‰Ґ F(H2 ), and if K1 в‰¤ K2 ,
then G(K1 ) в‰Ґ G(K2 ).
(2) Suppose that the intermediate п¬Ѓeld K corresponds to the subgroup H under the
Galois correspondence. Then
(a) E/K is always normal (hence Galois);
(b) K/F is normal if and only if H is a normal subgroup of G, and in this case,
(c) the Galois group of K/F is isomorphic to the quotient group G/H. Moreover,
whether or not K/F is normal,
(d) [K : F ] = [G : H] and [E : K] = |H|.
(3) If the intermediate п¬Ѓeld K corresponds to the subgroup H and Пѓ is any automorphism
in G, then the п¬Ѓeld ПѓK = {Пѓ(x) : x в€€ K} corresponds to the conjugate subgroup
ПѓHПѓ в€’1 . For this reason, ПѓK is called a conjugate subп¬Ѓeld of K.

The following diagram may aid the understanding.

E G
| |
K H
| |
F 1

As we travel up the left side from smaller to larger п¬Ѓelds, we move down the right side
from larger to smaller groups. A statement about K/F , an extension at the bottom of
the left side, corresponds to a statement about G/H, located at the top of the right side.
Similarly, a statement about E/K corresponds to a statement about H/1 = H.

Proof. (1) First, consider the composite mapping H в†’ F(H) в†’ GF(H). If Пѓ в€€ H then Пѓ
п¬Ѓxes F(H) by deп¬Ѓnition of п¬Ѓxed п¬Ѓeld, and therefore Пѓ в€€ GF(H) = Gal(E/F(H)). Thus
H вЉ† GF(H). If the inclusion is proper, then by (6.1.2) part (ii) with F replaced by F(H),
6 CHAPTER 6. GALOIS THEORY

we have F(H) > F(H), a contradiction. [Note that E/K is a Galois extension for any
intermediate п¬Ѓeld K, by (3.4.7) and (3.5.8).] Thus GF(H) = H.
Now consider the mapping K в†’ G(K) в†’ FG(K) = F Gal(E/K). By (6.1.2) part (i)
with F replaced by K, we have FG(K) = K. Since both F and G are inclusion-reversing
by deп¬Ѓnition, the proof of (1) is complete.
(3) The п¬Ѓxed п¬Ѓeld of ПѓHПѓ в€’1 is the set of all x в€€ E such that ПѓП„ Пѓ в€’1 (x) = x for every
П„ в€€ H. Thus

F(ПѓHПѓ в€’1 ) = {x в€€ E : Пѓ в€’1 (x) в€€ F(H)} = Пѓ(F(H)).

(2a) This was observed in the proof of (1).
(2b) If Пѓ is an F -monomorphism of K into E, then by (3.5.2) and (3.5.6), Пѓ extends
to an F -monomorphism of E into itself, in other words (see (3.5.6)), an F -automorphism
of E. Thus each such Пѓ is the restriction to K of a member of G. Conversely, the
restriction of an automorphism in G to K is an F -monomorphism of K into E. By (3.5.5)
and (3.5.6), K/F is normal iп¬Ђ for every Пѓ в€€ G we have Пѓ(K) = K. But by (3), Пѓ(K)
corresponds to ПѓHПѓ в€’1 and K to H. Thus K/F is normal iп¬Ђ ПѓHПѓ в€’1 = H for every Пѓ в€€ G,
i.e., H G.
(2c) Consider the homomorphism of G = Gal(E/F ) to Gal(K/F ) given by Пѓ в†’ Пѓ|K .
The map is surjective by the argument just given in the proof of (2b). The kernel is the
set of all automorphisms in G that restrict to the identity on K, that is, Gal(E/K) = H.
The result follows from the п¬Ѓrst isomorphism theorem.
(2d) By (3.1.9), [E : F ] = [E : K][K : F ]. The term on the left is |G| by (3.5.9), and
the п¬Ѓrst term on the right is | Gal(E/K)| by (2a), and this in turn is |H| since H = G(K).
Thus |G| = |H|[K : F ], and the result follows from LagrangeвЂ™s theorem. [If K/F is
normal, the proof is slightly faster. The п¬Ѓrst statement follows from (2c). To prove the
second, note that by (3.1.9) and (3.5.9),

|G|
[E : F ]
= |H|.] в™Ј
[E : K] = =
|G/H|
[K : F ]

The next result is reminiscent of the second isomorphism theorem, and is best visu-
alized via the diamond diagram of Figure 6.2.1. In the diagram, EK is the composite of
the two п¬Ѓelds E and K, that is, the smallest п¬Ѓeld containing both E and K.

6.2.2 Theorem
Let E/F be a п¬Ѓnite Galois extension and K/F an arbitrary extension. Assume that E
and K are both contained in a common п¬Ѓeld, so that it is sensible to consider the com-
posite EK. Then

(1) EK/K is a п¬Ѓnite Galois extension;
(2) Gal(EK/K) is embedded in Gal(E/F ), where the embedding is accomplished by
restricting automorphisms in Gal(EK/K) to E;
(3) The embedding is an isomorphism if and only if E в€© K = F .
6.2. THE FUNDAMENTAL THEOREM 7

EK q
qq
xx qq
xx qq
xx qq
xx
x
E qq K
w
qq ww
qq ww
qq ww
q ww

F

Figure 6.2.1

Proof. (1) By the theorem of the primitive element (3.5.12), we have E = F [О±] for some
О± в€€ E, so EK = KF [О±] = K[О±]. The extension K[О±]/K is п¬Ѓnite because О± is algebraic
over F , hence over K. Since О±, regarded as an element of EK, is separable over F and
hence over K, it follows that EK/K is separable. [To avoid breaking the main line of
thought, this result will be developed in the exercises (see Problems 1 and 2).]
Now let f be the minimal polynomial of О± over F , and g the minimal polynomial of О±
over K. Since f в€€ K[X] and f (О±) = 0, we have g | f , and the roots of g must belong to
E вЉ† EK = K[О±] because E/F is normal. Therefore K[О±] is a splitting п¬Ѓeld for g over K,
so by (3.5.7), K[О±]/K is normal.
(2) If Пѓ is an automorphism in Gal(EK/K), restrict Пѓ to E, thus deп¬Ѓning a homomor-
phism from Gal(EK/K) to Gal(E/F ). (Note that Пѓ|E is an automorphism of E because
E/F is normal.) Now Пѓ п¬Ѓxes K, and if Пѓ belongs to the kernel of the homomorphism,
then Пѓ also п¬Ѓxes E, so Пѓ п¬Ѓxes EK = K[О±]. Thus Пѓ is the identity, and the kernel is trivial,
proving that the homomorphism is actually an embedding.
(3) The embedding of (2) maps Gal(EK/K) to a subgroup H of Gal(E/F ), and we
will п¬Ѓnd the п¬Ѓxed п¬Ѓeld of H. By (6.1.2), the п¬Ѓxed п¬Ѓeld of Gal(EK/K) is K, and since
the embedding just restricts automorphisms to E, the п¬Ѓxed п¬Ѓeld of H must be E в€© K.
By the fundamental theorem, H = Gal(E/(E в€© K)). Thus

H = Gal(E/F ) iп¬Ђ Gal(E/(E в€© K)) = Gal(E/F ),

and by applying the п¬Ѓxed п¬Ѓeld operator F, we see that this happens if and only if E в€©
K = F. в™Ј

Problems For Section 6.2
1. Let E = F (О±1 , . . . , О±n ), where each О±i is algebraic and separable over F . We are going
to show that E is separable over F . Without loss of generality, we can assume that the
characteristic of F is a prime p, and since F/F is separable, the result holds for n = 0.
To carry out the inductive step, let Ei = F (О±1 , . . . , О±i ), so that Ei+1 = Ei (О±i+1 ).
p
Show that Ei+1 = Ei (Ei+1 ). (See Section 3.4, Problems 4вЂ“8, for the notation.)
2. Continuing Problem 1, show that E is separable over F .
8 CHAPTER 6. GALOIS THEORY

3. Let E = F (О±1 , . . . , О±n ), where each О±i is algebraic over F . If for each i = 1, . . . , n, all
the conjugates of О±i (the roots of the minimal polynomial of О±i over F ) belong to E,
show that E/F is normal.
4. Suppose that F = K0 в‰¤ K1 в‰¤ В· В· В· в‰¤ Kn = E, where E/F is a п¬Ѓnite Galois extension,
and that the intermediate п¬Ѓeld Ki corresponds to the subgroup Hi under the Galois
correspondence. Show that Ki /Kiв€’1 is normal (hence Galois) if and only if Hi Hiв€’1 ,
and in this case, Gal(Ki /Kiв€’1 ) is isomorphic to Hiв€’1 /Hi .
5. Let E and K be extensions of F , and assume that the composite EK is deп¬Ѓned. If A
is any set of generators for K over F (for example, A = K), show that EK = E(A),
the п¬Ѓeld formed from E by adjoining the elements of A.
6. Let E/F be a п¬Ѓnite Galois extension with Galois group G, and let E /F be a п¬Ѓnite
Galois extension with Galois group G . If П„ is an isomorphism of E and E with
П„ (F ) = F , we expect intuitively that G в€ј G . Prove this formally.
=
7. Let K/F be a п¬Ѓnite separable extension. Although K need not be a normal extension
of F , we can form the normal closure N of K over F , as in (3.5.11). Then N/F
is a Galois extension (see Problem 8 of Section 6.3); let G be its Galois group. Let
H = Gal(N/K), so that the п¬Ѓxed п¬Ѓeld of H is K. If H is a normal subgroup of G
that is contained in H, show that the п¬Ѓxed п¬Ѓeld of H is N .
8. Continuing Problem 7, show that H is trivial, and conclude that

gHg в€’1 = {1}
gв€€G

where 1 is the identity automorphism.

6.3 Computing a Galois Group Directly
Suppose that E is a splitting п¬Ѓeld of the separable polynomial f over F . The Galois
group of f is the Galois group of the extension E/F . (The extension is indeed Galois;
see Problem 8.) Given f , how can we determine its Galois group? It is not so easy, but
later we will develop a systematic approach for polynomials of degree 4 or less. Some
cases can be handled directly, and in this section we look at a typical situation. A useful
observation is that the Galois group G of a п¬Ѓnite Galois extension E/F acts transitively
on the roots of any irreducible polynomial h в€€ F [X] (assuming that one, hence every,
root of h belongs to E). [Each Пѓ в€€ G permutes the roots by (3.5.1). If О± and ОІ are roots
of h, then by (3.2.3) there is an F -isomorphism of F (О±) and F (ОІ) carrying О± to ОІ. This
isomorphism can be extended to an F -automorphism of E by (3.5.2), (3.5.5) and (3.5.6).]

6.3.2 Example
Let d be a positive integer that isв€љ a perfect cube, and let Оё be the positive cube root
not в€љ
= в€’ 2 + i 2 3, so that П‰ 2 = eв€’i2ПЂ/3 = в€’ 1 в€’ i 1 3 = в€’(1 + П‰).
1 1
i2ПЂ/3
of d. Let П‰ = e 2 2
The minimal polynomial of Оё over the rationals Q is f (X) = X 3 в€’ d, because if f were
6.3. COMPUTING A GALOIS GROUP DIRECTLY 9

reducible then it would have a linear factor and d would be a perfect cube. The minimal
polynomial of П‰ over Q is g(X) = X 2 + X + 1. (If g were reducible, it would have a
rational (hence real) root, so the discriminant would be nonnegative, a contradiction.)
We will compute the Galois group G of the polynomial f (X)g(X), which is the Galois
group of E = Q(Оё, П‰) over Q.
If the degree of E/Q is the product of the degrees of f and g, we will be able to
make progress. We have [Q(Оё) : Q] = 3 and, since П‰, a complex number, does not belong
to Q(Оё), we have [Q(Оё, П‰) : Q(Оё)] = 2. Thus [Q(Оё, П‰) : Q] = 6. But the degree of
a п¬Ѓnite Galois extension is the size of the Galois group by (3.5.9), so G has exactly 6
automorphisms. Now any Пѓ в€€ G must take Оё to one of its conjugates, namely Оё, П‰Оё or
П‰ 2 Оё. Moreover, Пѓ must take П‰ to a conjugate, namely П‰ or П‰ 2 . Since Пѓ is determined by
its action on Оё and П‰, we have found all 6 members of G. The results can be displayed as
follows.
1 : Оё в†’ Оё, П‰ в†’ П‰, order = 1
П„ : Оё в†’ Оё, П‰ в†’ П‰ 2 , order = 2
Пѓ : Оё в†’ П‰Оё, П‰ в†’ П‰, order = 3
ПѓП„ : Оё в†’ П‰Оё, П‰ в†’ П‰ 2 , order = 2
Пѓ 2 : Оё в†’ П‰ 2 Оё, П‰ в†’ П‰, order = 3
П„ Пѓ : Оё в†’ П‰ 2 Оё, П‰ в†’ П‰ 2 , order = 2
Note that П„ Пѓ 2 gives nothing new since П„ Пѓ 2 = ПѓП„ . Similarly, Пѓ 2 П„ = П„ Пѓ. Thus

Пѓ 3 = П„ 2 = 1, П„ ПѓП„ в€’1 = Пѓ в€’1 (= Пѓ 2 ). (1)

At this point we have determined the multiplication table of G, but much more insight
is gained by observing that (1) gives a presentation of S3 (Section 5.8, Problem 3). We
conclude that G в€ј S3 . The subgroups of G are
=

{1}, G, Пѓ , П„ , П„ Пѓ , П„ Пѓ 2

and the corresponding п¬Ѓxed п¬Ѓelds are

Q, Q(П‰), Q(Оё), Q(П‰Оё), Q(П‰ 2 Оё).
E,

To show that the п¬Ѓxed п¬Ѓeld of П„ Пѓ = {1, П„ Пѓ} is Q(П‰Оё), note that П„ Пѓ has index 3 in G, so
by the fundamental theorem, the corresponding п¬Ѓxed п¬Ѓeld has degree 3 over Q. Now П„ Пѓ
takes П‰Оё to П‰ 2 П‰ 2 Оё = П‰Оё and [Q(П‰Оё) : Q] = 3 (because the minimal polynomial of П‰Оё over
Q is f ). Thus Q(П‰Оё) is the entire п¬Ѓxed п¬Ѓeld. The other calculations are similar.

Problems For Section 6.3
1. Suppose that E = F (О±) is a п¬Ѓnite Galois extension of F , where О± is a root of the
irreducible polynomial f в€€ F [X]. Assume that the roots of f are О±1 = О±, О±2 , . . . , О±n .
Describe, as best you can from the given information, the Galois group of E/F .
2. Let E/Q be a п¬Ѓnite Galois extension, and let x1 , . . . , xn be a basis for E over Q.
Describe how you would п¬Ѓnd a primitive element, that is, an О± в€€ E such that E =
Q(О±). (Your procedure need not be eп¬ѓcient.)
10 CHAPTER 6. GALOIS THEORY

3. Let G be the Galois group of a separable irreducible polynomial f of degree n. Show
that G is isomorphic to a transitive subgroup H of Sn . [Transitivity means that if i
and j belong to {1, 2, . . . , n}, then for some Пѓ в€€ H we have Пѓ(i) = j. Equivalently,
the natural action of H on {1, . . . , n}, given by h вЂў x = h(x), is transitive.]
4. Use Problem 3 to determine the Galois group of an irreducible quadratic polynomial
aX 2 + bX + c в€€ F [X], a = 0. Assume that the characteristic of F is not 2, so that
the derivative of f is nonzero and f is separable.
5. Determine the Galois group of (X 2 в€’ 2)(X 2 в€’ 3) over Q.
6. In the Galois correspondence, suppose that Ki is the п¬Ѓxed п¬Ѓeld of the subgroup Hi ,
i = 1, 2. Identify the group corresponding to K = K1 в€© K2 .
7. Continuing Problem 6, identify the п¬Ѓxed п¬Ѓeld of H1 в€© H2 .
8. Suppose that E is a splitting п¬Ѓeld of a separable polynomial f over F . Show that
E/F is separable. [Since the extension is п¬Ѓnite by (3.2.2) and normal by (3.5.7), E/F
is Galois.]
9. Let G be the Galois group of f (X) = X 4 в€’ 2 over Q. Thus if Оё is the positive fourth
root of 2, then G is the Galois group of Q(Оё, i)/Q. Describe all 8 automorphisms in G.
10. Show that G is isomorphic to the dihedral group D8 .
11. Deп¬Ѓne Пѓ(Оё) = iОё, Пѓ(i) = i, П„ (Оё) = Оё, П„ (i) = в€’i, as in the solution to Problem 10.
Find the п¬Ѓxed п¬Ѓeld of the normal subgroup N = {1, ПѓП„, Пѓ 2 , Пѓ 3 П„ } of G, and verify that
the п¬Ѓxed п¬Ѓeld is a normal extension of Q.

6.4 Finite Fields
Finite п¬Ѓelds can be classiп¬Ѓed precisely. We will show that a п¬Ѓnite п¬Ѓeld must have pn
elements, where p is a prime and n is a positive integer. In addition, there is (up to
isomorphism) only one п¬Ѓnite п¬Ѓeld with pn elements. We sometimes use the notation
GF (pn ) for this п¬Ѓeld; GF stands for вЂњGalois п¬ЃeldвЂќ. Also, the п¬Ѓeld with p elements will
be denoted by Fp rather than Zp , to emphasize that we are working with п¬Ѓelds.

6.4.1 Proposition
Let E be a п¬Ѓnite п¬Ѓeld of characteristic p. Then |E| = pn for some positive integer n.
n
Moreover, E is a splitting п¬Ѓeld for the separable polynomial f (X) = X p в€’ X over Fp , so
that any п¬Ѓnite п¬Ѓeld with pn elements is isomorphic to E. Not only is E generated by the
roots of f , but in fact E coincides with the set of roots of f .
Proof. Since E contains a copy of Fp (see (2.1.3), Example 2), we may view E as a vector
space over Fp . If the dimension of this vector space is n, then since each coeп¬ѓcient in a
linear combination of basis vectors can be chosen in p ways, we have |E| = pn .
Now let E в€— be the multiplicative group of nonzero elements of E. If О± в€€ E в€— , then
О±p в€’1 = 1 by LagrangeвЂ™s theorem, so О±p = О± for every О± в€€ E, including О± = 0. Thus
n n

each element of E is a root of f , and f is separable by (3.4.5). Now f has at most pn
distinct roots, and as we have already identiп¬Ѓed the pn elements of E as roots of f , in
fact f has pn distinct roots and every root of f must belong to E. в™Ј
6.4. FINITE FIELDS 11

 << стр. 5(всего 14)СОДЕРЖАНИЕ >>