Fields and Galois Theory: J.S. Milne
Fields and Galois Theory: J.S. Milne
J.S. Milne
Version 4.53
May 27, 2017
These notes give a concise exposition of the theory of fields, including the Galois theory
of finite and infinite extensions and the theory of transcendental extensions. The first six
chapters form a standard course, and the final three chapters are more advanced.
BibTeX information
@misc{milneFT,
author={Milne, James S.},
title={Fields and Galois Theory (v4.53)},
year={2017},
note={Available at www.jmilne.org/math/},
pages={138}
}
Copyright
19962017
c J.S. Milne.
Single paper copies for noncommercial personal use may be made without explicit permission
from the copyright holder.
Contents
Contents 3
Notations. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
References. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
3
When is Gf transitive? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48
Polynomials of degree at most three . . . . . . . . . . . . . . . . . . . . . . . . 49
Quartic polynomials . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
Examples of polynomials with Sp as Galois group over Q . . . . . . . . . . . . . 51
Finite fields . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
Computing Galois groups over Q . . . . . . . . . . . . . . . . . . . . . . . . . . 54
Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 56
6 Algebraic Closures 85
Zorns lemma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
First proof of the existence of algebraic closures . . . . . . . . . . . . . . . . . . 86
Second proof of the existence of algebraic closures . . . . . . . . . . . . . . . . 86
Third proof of the existence of algebraic closures . . . . . . . . . . . . . . . . . 87
(Non)uniqueness of algebraic closures . . . . . . . . . . . . . . . . . . . . . . . 88
Separable closures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 88
4
Exercises . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 117
Index 137
5
Notations.
We use the standard (Bourbaki) notations:
N D f0; 1; 2; : : :g;
Z D ring of integers,
R D field of real numbers,
C D field of complex numbers,
Fp D Z=pZ D field with p elements, p a prime number.
Given an equivalence relation, denotes the equivalence class containing . The cardinality
of a set S is denoted by jSj (so jSj is the number of elements in S when S is finite). Let I
and A be sets. A family of elements of A indexed by I , denoted by .ai /i2I , is a function
i 7! ai W I ! A. Throughout the notes, p is a prime number: p D 2; 3; 5; 7; 11; : : :.
X Y X is a subset of Y (not necessarily proper).
def
X DY X is defined to be Y , or equals Y by definition.
X Y X is isomorphic to Y .
X 'Y X and Y are canonically isomorphic (or there is a given or unique isomorphism).
P REREQUISITES
Group theory (for example, GT), basic linear algebra, and some elementary theory of rings.
References.
Jacobson, N., 1964, Lectures in Abstract Algebra, Volume III Theory of Fields and Galois
Theory, van Nostrand.
Also, the following of my notes (available at www.jmilne.org/math/).
GT Group Theory, v3.14, 2017.
ANT Algebraic Number Theory, v3.06, 2014.
CA A Primer of Commutative Algebra, v4.02, 2017.
A reference monnnn is to http://mathoverflow.net/questions/nnnn/
PARI is an open source computer algebra system freely available here.
ACKNOWLEDGEMENTS
I thank the following for providing corrections and comments for earlier versions of the
notes: Mike Albert, Lior Bary-Soroker, Maren Baumann, Leendert Bleijenga, Tommaso
Centeleghe, Sergio Chouhy, Demetres Christofides, Antoine Chambert-Loir, Dustin Clausen,
Keith Conrad, Daniel Duparc, Hardy Falk, Le Minh Ha, Jens Hansen, Albrecht Hess, Philip
Horowitz, Trevor Jarvis, Henry Kim, Martin Klazar, Jasper Loy Jiabao, Weiyi Liu, Dmitry
Lyubshin, Geir Arne Magnussen, John McKay, Georges E. Melki, Courtney Mewton, Shuichi
Otsuka, Dmitri Panov, Artem Pelenitsyn, Alain Pichereau, David G. Radcliffe, Roberto La
Scala, Chad Schoen, Prem L Sharma, Dror Speiser, Sam Spiro, Bhupendra Nath Tiwari,
Mathieu Vienney, Martin Ward (and class), Xiande Yang, Wei Xu, and others.
6
C HAPTER 1
Basic Definitions and Results
Rings
A ring is a set R with two binary operations C and such that
(a) .R; C/ is a commutative group;
(b) is associative, and there exists1 an element 1R such that a 1R D a D 1R a for all
a 2 RI
(c) the distributive law holds: for all a; b; c 2 R,
.a C b/ c D a c C b c
a .b C c/ D a b C a c.
We usually omit and write 1 for 1R when this causes no confusion. If 1R D 0, then
R D f0g.
A subring S of a ring R is a subset that contains 1R and is closed under addition, passage
to the negative, and multiplication. It inherits the structure of a ring from that on R.
A homomorphism of rings W R ! R0 is a map such that
.a C b/ D .a/ C .b/; .ab/ D .a/.b/; .1R / D 1R0
for all a; b 2 R. A ring R is said to be commutative if multiplication is commutative:
ab D ba for all a; b 2 R:
A commutative ring is said to be an integral domain if 1R 0 and the cancellation law
holds for multiplication:
ab D ac, a 0, implies b D c:
An ideal I in a commutative ring R is a subgroup of .R; C/ that is closed under multiplication
by elements of R:
r 2 R, a 2 I , implies ra 2 I:
The ideal generated by elements a1 ; : : : ; an is denoted by .a1 ; : : : ; an /. For example, .a/ is
the principal ideal aR.
We assume that the reader has some familiarity with the elementary theory of rings.
For example, in Z (more generally, any Euclidean domain) an ideal I is generated by any
smallest nonzero element of I .
1 We follow Bourbaki in requiring that rings have a 1, which entails that we require homomorphisms to
preserve it.
7
8 1. BASIC D EFINITIONS AND R ESULTS
Fields
D EFINITION 1.1 A field is a set F with two composition laws C and such that
(a) .F; C/ is a commutative group;
(b) .F ; /, where F D F X f0g, is a commutative group;
(c) the distributive law holds.
Thus, a field is a nonzero commutative ring such that every nonzero element has an inverse.
In particular, it is an integral domain. A field contains at least two distinct elements, 0 and 1.
The smallest, and one of the most important, fields is F2 D Z=2Z D f0; 1g.
A subfield S of a field F is a subring that is closed under passage to the inverse. It
inherits the structure of a field from that on F .
L EMMA 1.2 A nonzero commutative ring R is a field if and only if it has no ideals other
than .0/ and R.
Z ! F; n 7! 1F C 1F C C 1F .n copies/;
.1F C C 1F / C .1F C C 1F / D 1F C C 1F
m n mCn
n 1F D 0 H) n D 0 (in Z).
product is zero), and p generates the kernel. Thus, the map n 7! n 1F W Z ! F defines an
isomorphism from Z=pZ onto the subring
fm 1F j m 2 Zg
pn
holds in every commutative ring. If p is prime, then p divides r for all r with 1 r
p n 1. Therefore, when F has characteristic p,
n n n
.a C b/p D ap C b p all n 1;
For any ring R containing F as a subring and element r of R, there is a unique homomor-
phism W F X ! R such that .X / D r and .a/ D a for all a 2 F .
1.6 Division algorithm: given f .X / and g.X / 2 F X with g 0, there exist q.X /,
r.X/ 2 F X with r D 0 or deg.r/ < deg.g/ such that
f D gq C rI
moreover, q.X / and r.X / are uniquely determined. Thus F X is a Euclidean domain with
deg as norm, and so it is a unique factorization domain.
f D .X a/q C c
1.8 Euclids algorithm: Let f and g 2 F X have gcd d.X /. Euclids algorithm constructs
polynomials a.X / and b.X / such that
a.X / f .X / C b.X / g.X / D d.X /; deg.a/ < deg.g/; deg.b/ < deg.f /:
Recall how it goes. We may assume that deg.f / deg.g/ since the argument is the same in
the opposite case. Using the division algorithm, we construct a sequence of quotients and
remainders
f D q0 g C r0
g D q1 r0 C r1
r0 D q2 r1 C r2
rn 2 D qn rn 1 C rn
rn 1 D qnC1 rn
with rn the last nonzero remainder. Then, rn divides rn 1, hence rn 2 ,. . . , hence g, and
hence f . Moreover,
rn D rn 2 qn rn 1 D rn 2 qn .rn 3 qn 1 rn 2 / D D af C bg
and so every common divisor of f and g divides rn : we have shown rn D gcd.f; g/.
Let af C bg D d . If deg.a/ deg.g/, write a D gq C r with deg.r/ < deg.g/; then
rf C .b C qf /g D d;
1.9 Let I be a nonzero ideal in F X , and let f be a nonzero polynomial of least degree in
I ; then I D .f / (because F X is a Euclidean domain). When we choose f to be monic, i.e.,
to have leading coefficient one, it is uniquely determined by I . Thus, there is a one-to-one
correspondence between the nonzero ideals of F X and the monic polynomials in F X .
The prime ideals correspond to the irreducible monic polynomials.
1.10 Since F X is an integral domain, we can form its field of fractions F .X /. Its
elements are quotients f =g, f and g polynomials, g 0:
Factoring polynomials
The following results help in deciding whether a polynomial is reducible, and in finding its
factors.
am X m C am 1X
m 1
C C a0 ; ai 2 Z;
am c m C am 1c
m 1
d C C a0 d m D 0
mnf D g1 h1 in ZX .
0 D g1 h1 in Fp X .
Since Fp X is an integral domain, this implies that p divides all the coefficients of at least
one of the polynomials g1 ; h1 , say g1 , so that g1 D pg2 for some g2 2 ZX . Thus, we have
a factorization
.mn=p/f D g2 h1 in ZX .
Continuing in this fashion, we eventually remove all the prime factors of mn, and so obtain
a nontrivial factorization of f in ZX . 2
A SIDE 1.15 We sketch an alternative proof of Proposition 1.14. A complex number is said to be
an algebraic integer if it is a root of a monic polynomial in ZX . Proposition 1.11 shows that every
algebraic integer in Q lies in Z. The algebraic integers form a subring of C see Theorem 6.5 of
my notes on Commutative Algebra. Now let 1 ; : : : ; m be the roots of f in C. By definition, they
are algebraic integers, and the coefficients of any monic factor of f are polynomials in (certain of)
the i , and therefore are algebraic integers. If they lie in Q, then they lie in Z.
f D am X m C am 1X
m 1
C C a0 ; ai 2 ZI
Then f is irreducible in QX .
am X m C am 1X
m 1
C C a0 D .br X r C C b0 /.cs X s C C c0 /
with bi ; ci 2 Z and r; s < m. Since p, but not p 2 , divides a0 D b0 c0 , p must divide exactly
one of b0 , c0 , say, b0 . Now from the equation
a1 D b0 c1 C b1 c0 ;
a2 D b0 c2 C b1 c1 C b2 c0 ;
that pjb2 . By continuing in this way, we find that p divides b0 ; b1 ; : : : ; br , which contradicts
the condition that p does not divide am . 2
The last three propositions hold with Z replaced by any unique factorization domain.
X 2 C 3X C 3 D .X C 4/.X C 6/
in F7 X .
R EMARK 1.18 One other observation is useful. Let f 2 ZX . If the leading coefficient of
f is not divisible by a prime p, then a nontrivial factorization f D gh in ZX will give a
nontrivial factorization fx D gxhx in Fp X . Thus, if f .X / is irreducible in Fp X for some
prime p not dividing its leading coefficient, then it is irreducible in ZX . This test is very
useful, but it is not always effective: for example, X 4 10X 2 C 1 is irreducible in ZX but
it is reducible3 modulo every prime p.
Extension fields
A field E containing a field F is called an extension field of F (or simply an extension of
F , and we speak of an extension E=F ). Such an E can be regarded as an F -vector space.
The dimension of E as an F -vector space is called the degree of E over F , and is denote by
EW F . We say that E is finite over F when it has finite degree over F:
When E and E 0 are extension fields of F , an F -homomorphism E ! E 0 is a homo-
morphism 'W E ! E 0 such that '.c/ D c for all c 2 F .
E XAMPLE 1.19 (a) The field of complex numbers C has degree 2 over R (basis f1; i g/:
(b) The field of real numbers R has infinite degree over Q: the field Q is countable,
and so every finite-dimensional Q-vector space is also countable, but a famous argument of
Cantor shows that R is not countable.
(c) The field of Gaussian numbers
def
Q.i / D fa C bi 2 C j a; b 2 Qg
LW F D LW EEW F :
3 Here is a proof using only that the product of two nonsquares in F is a square, which follows from the
p
fact that Fp is cyclic (see Exercise 1-3). If 2 is a square in Fp , then
p p
X 4 10X 2 C 1 D .X 2 2 2X 1/.X 2 C 2 2X 1/:
If 3 is a square in Fp , then
p p
X4 10X 2 C 1 D .X 2 2 3X C 1/.X 2 C 2 3X C 1/:
The general study of such polynomials requires nonelementary methods. See, for example, the paper
Brandl, R., Amer. Math. Monthly, 93 (1986), pp286288, which proves that every nonprime integer n 1
occurs as the degree of a polynomial in ZX that is irreducible over Z but reducible modulo all primes:
14 1. BASIC D EFINITIONS AND R ESULTS
P ROOF. If L is of finite degree over F , then it is certainly of finite degree over E. Moreover,
E, being a subspace of a finite dimensional F -vector space, is also finite dimensional.
Thus, assume that L=E and E=F are of finite degree, and let .ei /1i m be a basis for E
as an F -vector space and let .lj /1j n be a basis for L as an E-vector space. To complete
the proof, it suffices to show that .ei lj /1i m;1j n is a basis for L over F , because then
L will be finite over F of the predicted degree.
First, .ei lj /i;j spans L. Let
2 L. Then, because .lj /j spans L as an E-vector space,
P
D j j lj ; some j 2 E;
and because .ei /i spans E as an F -vector space,
P
j D i aij ei ; some aij 2 F :
On putting these together, we find that
P
D i;j aij ei lj :
P
Second, .ei ljP/i;j P
is linearly independent. A linear relation aij ei lj D 0, aij 2 F ,
P be rewritten j . i aij ei /lj D 0. The linear independence of the lj s now shows that
can
i aij ei D 0 for each j , and the linear independence of the ei s shows that each aij D 0.2
E XAMPLE 1.22 The ring Q, D 3:14159:::, consists of the real numbers that can be
expressed as a finite sum
a0 C a1 C a2 2 C C an n ; ai 2 Q:
The ring Qi consists of the complex numbers of the form a C bi, a; b 2 Q.
Note that the expression of an element in the form (*) will not be unique in general. This
is so already in Ri .
L EMMA 1.23 Let R be an integral domain containing a subfield F (as a subring). If R is
finite dimensional when regarded as an F -vector space, then it is a field.
P ROOF. Let be a nonzero element of R we have to show that has an inverse in R.
The map x 7! xW R ! R is an injective linear map of finite dimensional F -vector spaces,
and is therefore surjective. In particular, there is an element 2 R such that D 1. 2
F .F 0 / D F F 0 D F 0 .F /.
(c) To add two elements, expressed in the form (*), simply add the corresponding
coefficients.
(d) To multiply two elements expressed in the form (*), multiply in the usual way, and
use the relation f .x/ D 0 to express the monomials of degree m in x in terms of lower
degree monomials.
(e) Now assume f .X / is irreducible. Then every nonzero 2 F x has an inverse,
which can be found as follows. Use (b) to write D g.x/ with g.X / a polynomial of degree
16 1. BASIC D EFINITIONS AND R ESULTS
m 1, and use Euclids algorithm in F X to obtain polynomials a.X / and b.X / such
that
a.X /f .X / C b.X /g.X / D d.X /
with d.X / the gcd of f and g. In our case, d.X / is 1 because f .X / is irreducible and
deg g.X / < deg f .X /. When we replace X with x, the equality becomes
b.x/g.x/ D 1:
D x 4 C 2x 3 C 3 2 Qx:
Hence
7 26 28
.3x 2 C 7x C 5/ 2
111 x 111 x C 111 D 1;
and we have found the inverse of :
We can also do this in PARI: beta=Mod(X^4+2*X^3+3,X^3-3*X-1) reveals that D
7 26 28
3x C 7x C 5 in Qx, and beta^(-1) reveals that 1 D 111
2 x 2 111 x C 111 .
Stem fields
Let f be a monic irreducible polynomial in F X . A pair .E; / consisting of an extension
E of F and an 2 E is called a stem field4 for f if E D F and f ./ D 0. For example,
the pair .E; / with E D F X =.f / D F x and D x is a stem field for f . Let .E; / be
a stem field, and consider the surjective homomorphism of F -algebras
g.X / 7! g./W F X ! E.
4 Following A. Albert, Modern Higher Algebra, 1937, who calls the splitting field of a polynomial its root
field.
Algebraic and transcendental elements 17
Its kernel is generated by a nonzero monic polynomial, which divides f , and so must equal
it. Therefore the homomorphism defines an F -isomorphism
def
x 7! W F x ! E; F x D F X =.f /.
In other words, the stem field .E; / of f is F -isomorphic to the standard stem field
.F X=.f /; x/. In particular, each element of a stem field .E; / for f has a unique
expression
a0 C a1 C C am 1 m 1 ; ai 2 F; m D deg.f /,
i.e., 1; ; : : : ; m 1 is an F -basis for F , and arithmetic in F can be performed using
the same rules as in F x. If .E; 0 / is a second stem field for f , then there is a unique
F -isomorphism E ! E 0 sending to 0 . We sometimes write stem field F instead of
stem field .F ; /.
f .X / 7! f ./W F X ! E:
f ./ D 0 H) f D 0 (in F X ).
R EMARK 1.29 PARI knows how to compute in Q. For example, factor(X^4+4) re-
turns the factorization
X 4 C 4 D .X 2 2X C 2/.X 2 C 2X C 2/
in Qa.
P ROPOSITION 1.30 A field extension E=F is finite if and only if E is algebraic and finitely
generated (as a field) over F .
P ROOF. H): To say that is transcendental over F amounts to saying that its powers
1; ; 2 ; : : : are linearly independent over F . Therefore, if E is finite over F , then it is
algebraic over F . It remains to show that E is finitely generated over F . If E D F , then it
is generated by the empty set. Otherwise, there exists an 1 2 E X F . If E F 1 , there
exists an 2 2 E X F 1 , and so on. Since
P ROOF. (a) We observed above (p. 17), that if is algebraic over F , then F is a field. If
2 R, then F R, and so has an inverse in R.
(b) Every 2 L is a root of a monic polynomial f D X m C am 1 X m 1 C C a0 2
EX. Now each of the extensions F a0 ; : : : ; am 1 ; F a0 ; : : : ; am 1 F is finite
(1.20), and so F a0 ; : : : ; am 1 ; is finite (hence algebraic) over F . 2
Transcendental numbers
A complex number is said to be algebraic or transcendental according as it is algebraic or
transcendental over Q. First some history:
1844: Liouville showed that certain numbers, now called Liouville numbers, are tran-
scendental.
1873: Hermite showed that e is transcendental.
Transcendental numbers 19
1874: Cantor showed that the set of algebraic numbers is countable, but that R is not
countable. Thus most numbers are transcendental (but it is usually very difficult to prove
that any particular number is transcendental).5
1882: Lindemann showed that is transcendental.
1934: Gelfond and Schneider independently showed that is transcendental if and
are algebraic, 0; 1, and Q. (This was the seventh of Hilberts famous problems.)
2013: Eulers constant
n
!
X
D lim 1=k log n
n!1
kD1
has not yet been proven to be transcendental or even irrational (see Lagarias, Jeffrey C.,
Eulers constant: Eulers work and modern developments. Bull. Amer. Math. Soc. 50
(2013), no. 4, 527628; arXiv:1303:1856).
2013: The numbers e C and e are surely transcendental, but again they have not
even been proved to be irrational!
P ROPOSITION 1.32 The set of algebraic numbers is countable.
P ROOF. Define the height h.r/ of a rational number to be max.jmj; jnj/, where r D m=n
is the expression of r in its lowest terms. There are only finitely many rational numbers
with height less than a fixed number N . Let A.N / denote the set of algebraic numbers
whose minimum equation over Q has degree N and has coefficients of height < N . Then
A.N / is finite for each N . Choose a bijection from some segment 0; n.1/ of N onto A.10/;
extend it to a bijection from a segment 0; n.2/ onto A.100/, and so on. 2
P1
A typical Liouville number is nD0 101n in its decimal expansion there are increas-
ingly long strings of zeros. Since its decimal expansion is not periodic, the number is not
rational. We prove that the analogue of this number in base 2 is transcendental.
T HEOREM 1.33 The number D 21n is transcendental.
P
f .X / D X d C a1 X d 1
C C ad ; ai 2 Q;
From the fundamental theorem of algebra (see 5.6 below), we know that f splits in
CX, say,
Yd
f .X / D .X i /; i 2 C; 1 D ;
i D1
5 In1873 Cantor proved the rational numbers countable. . . . He also showed that the algebraic numbers. . .
were countable. However his attempts to decide whether the real numbers were countable proved harder. He
had proved that the real numbers were not countable by December 1873 and published this in a paper in 1874
(MacTutor).
6 This proof, which I learnt from David Masser, also works for
P 1
an
for every integer a 2.
20 1. BASIC D EFINITIONS AND R ESULTS
and so
d
Y
jxN j D jN i j jN 1 j.N C M /d 1
; where M D maxf1; ji jg.
i 1
i D1
But
1 1
!
X 1 1 X 1 2
jN 1 j D .N C1/ D :
2 n 2 2n 2.N C1/
nDN C1 nD0
Hence
2
jxN j .N C M /d 1
2.N C1/
and
2d N D
j.2N /d DxN j 2
.N C1/
.N C M /d 1
2
d N
d N
which tends to 0 as N ! 1 because 22.N C1/ D 2N2 C1 ! 0. This contradicts (*). 2
ax C by C c D 0; a; b; c 2 F:
.x a/2 C .y b/2 D c 2 ; a; b; c 2 F:
c
L EMMA 1.35 (a) If c and d are constructible, then so also are c C d , c, cd , and d
.d 0/.
p
(b) If c > 0 is constructible, then so also is c.
S KETCH OF PROOF. First show that it is possible to construct a line perpendicular to a given
line through a given point, and then a line parallel to a given line through a given point.
Hence it is possible to construct a triangle similar to a given one on a side with given length.
By an astute choice of the triangles, one constructs cd and c 1 . For (b), draw a circle of
radius cC1 cC1
2 and centre . 2 ; 0/, and p draw a vertical line through the point A D .1; 0/ to meet
the circle at P . The length AP is c. (For more details, see Artin, M., 1991, Algebra,
Prentice Hall, Chapter 13, Section 4.) 2
P ROOF. The problem is to construct a cube with volume 2. This requires constructing the
real root of the polynomial X 3 2. But p this polynomial is irreducible (by Eisensteins
criterion 1.16 for example), and so Q 3 2W Q D 3. 2
P ROOF. Knowing an angle is equivalent to knowing the cosine of the angle. Therefore, to
trisect 3, we have to construct a solution to
C OROLLARY 1.40 It is impossible to square the circle by straight-edge and compass con-
structions.
22 1. BASIC D EFINITIONS AND R ESULTS
p
P ROOF. A square with the same area as a circle of radius r has side r. Since is
p
transcendental7 , so also is . 2
We next consider another problem that goes back to the ancient Greeks: list the n such
that the regular n-sided polygon can be constructed. Here we consider the question for a
prime p (see 5.12 for the general case). Note that X p 1 is not irreducible; in fact
Xp 1 D .X 1/.X p 1
C Xp 2
C C 1/:
L EMMA 1.41 If p is prime, then X p 1 CC1 is irreducible; hence Qe 2 i=p has degree
p 1 over Q:
But 2 i
Qe p Qcos 2
p Q;
2 i
and the degree of Qe p over Qcos 2
p is 2 the equation
2 i
2 2 cos 2
p C 1 D 0; De p ;
2 i
shows that it is 2, and it is not 1 because Qe p is not contained in R. Hence
p 1
Qcos 2
p W Q D :
2
Thus, if the regular p-gon is constructible, then .p 1/=2 D 2k for some k (later (5.12),
we shall see a converse), which implies that p D 2kC1 C 1. But 2r C 1 can be a prime only
if r is a power of 2, because otherwise r has an odd factor t and for t odd,
Y t C 1 D .Y C 1/.Y t 1
Yt 2
C C 1/I
whence
2st C 1 D .2s C 1/..2s /t 1
.2s /t 2
C C 1/.
Thus primes for which the regular p-gon is constructible are exactly those of the form
k
p D 22 C 1 for some k. Such p are called Fermat primes (because he conjectured
k k
that all numbers of the form 22 C 1 are prime). For k D 0; 1; 2; 3; 4, we have 22 C
1 D 3; 5; 17; 257; 65537, which are indeed all prime, but Euler showed that 232 C 1 D
.641/.6700417/, and we dont know whether there are any more Fermat primes. Thus,
we do not know the list of primes p for which the regular p-gon is constructible.
7 Proofs
of this can be found in many books on number theory, for example, in 11.14 of
Hardy, G. H., and Wright, E. M., An Introduction to the Theory of Numbers, Fourth Edition, Oxford, 1960.
Algebraically closed fields 23
D EFINITION 1.43 (a) A field is said to be algebraically closed if it satisfies the equivalent
statements of Proposition 1.42.
(b) A field is said to be an algebraic closure of a subfield F when it is algebraically
closed and algebraic over F .
For example, the fundamental theorem of algebra (see 5.6 below) says that C is alge-
braically closed. It is an algebraic closure of R.
f D an X n C C a0 ; ai 2 ;
F F a0 ; : : : ; an F a0 ; : : : ; an ; :
Each extension is algebraic and finitely generated, and hence finite (by 1.30). Therefore
lies in a finite extension of F , and so is algebraic over F it is a root of a polynomial g
with coefficients in F . By assumption, g splits in X , and so the roots of g in 0 all lie in
. In particular, 2 : 2
8 Or perhaps that
p p p p p
p q p p
2 1 1 1
cos 17D 16 C 16 17 C 16 34 2 17 C 18 17 C 3 17 2 34 2 17 170 26 17
both expressions are correct.
24 1. BASIC D EFINITIONS AND R ESULTS
f 2 j algebraic over F g
is a field.
P ROOF. If and are algebraic over F , then F ; is a field (by 1.31) of finite degree
over F (by 1.30). Thus, every element of F ; is algebraic over F , including , =,
. 2
C OROLLARY 1.46 Let be an algebraically closed field. For any subfield F of , the
algebraic closure of F in is an algebraic closure of F:
P ROOF. From its definition, we see that it is algebraic over F and every polynomial in F X
splits in it. Now Proposition 1.44 shows that it is an algebraic closure of F . 2
Thus, when we admit the fundamental theorem of algebra (5.6), every subfield of C has
an algebraic closure (in fact, a canonical algebraic closure). Later (Chapter 6) we shall prove
(using the axiom of choice) that every field has an algebraic closure.
A SIDE 1.47 Although various classes of field, for example, number fields and function fields, had
been studied earlier, the first systematic account of the theory of abstract fields was given by Steinitz
in 1910 (Algebraische Theorie der Korper, J. Reine Angew. Math., 137:167309). Here he introduced
the notion of a prime field, distinguished between separable and inseparable extensions, and showed
that every field can be obtained as an algebraic extension of a purely transcendental extension. He
also proved that every field has an algebraic closure, unique up to isomorphism. His work influenced
later algebraists (Noether, van der Waerden, Artin, . . . ) and his article has been described by Bourbaki
as . . . a fundamental work which may be considered as the origin of todays concept of algebra.
See: Roquette, Peter, In memoriam Ernst Steinitz (18711928). J. Reine Angew. Math. 648 (2010),
111.
Exercises
1-1 Let E D Q, where 3 2 C C2 D 0. Express . 2 C C1/. 2 / and . 1/ 1
1-4 Show that with straight-edge, compass, and angle-trisector, it is possible to construct a
regular 7-gon.
Exercises 25
1-6 Show that there does not exist a polynomial f .X / 2 ZX of degree > 1 that is
irreducible modulo p for all primes p.
C HAPTER 2
Splitting Fields; Multiple Roots
'W E ! E 0
such that '.a/ D a for all a 2 F . Thus an F -homorphism ' maps a polynomial
to X
ai1 im '.1 /i1 '.m /im :
An F -isomorphism is a bijective F -homomorphism.
An F -homomorphism E ! E 0 of fields is, in particular, an injective F -linear map
of F -vector spaces, and so, if E and E 0 have the same finite degree over F , then every
F -homomorphism is an F -isomorphism.
P ROPOSITION 2.1 Let F ./ be a simple field extension of a field F , and let be a second
field containing F .
(a) Let be transcendental over F . For every F -homomorphism 'W F ./ ! , './ is
transcendental over F , and the map ' 7! './ defines a one-to-one correspondence
(b) Let be algebraic over F with minimum polynomial f .X /. For every F -homomorphism
'W F ! , './ is a root of f .X / in , and the map ' 7! './ defines a one-to-
one correspondence
P ROOF. (a) To say that is transcendental over F means that F is isomorphic to the
polynomial ring in the symbol with coefficients in F . For every
2 , there is a unique
F -homomorphism 'W F ! sending to
(see 1.5). This extends to the field of
fractions F ./ of F if and only if all nonzero elements of F are sent to nonzero
elements of , which is so if and only if
is transcendental.
27
28 2. S PLITTING F IELDS ; M ULTIPLE ROOTS
(b) If is algebraic over F , with minimum polynomial f .X /, then the map ' 7! './
defines a one-to-one correspondence
In particular, the number of such maps is the number of distinct roots of '0 f in .
By 'P0 f we mean the polynomial obtained by applying '0 to the coefficients of f :
if f D ai X then '0 f D '.ai /X i . By an extension of '0 to F ./ we mean a
i
P
homomorphism 'W F ./ ! such that 'jF D '0 .
The proof of the proposition is essentially the same as that of the preceding proposition.
Splitting fields
Let f be a polynomial with Q coefficients in F . A field E containing F is said to split f if f
splits in EX : f .X / D m i D1 .X i / with i 2 E. If, in addition, E is generated by the
roots of f ,
E D F 1 ; : : : ; m ;
then it is called a splitting or root field for f . Note that fi .X /mi (mi 1) and fi .X /
Q Q
have the same splitting fields. Also, that if f has deg.f / 1 roots in E, then it splits in
EX (because the sum of the roots can be expressed in terms of the coefficients of f and so
lies in F ).
p
E XAMPLE 2.3 (a) Let f .X / D aX 2 C bX C c 2 QX , and let D b 2 4ac. The sub-
field Q of C is a splitting field for f .
(b) Let f .X / D X 3 C aX 2 C bX C c 2 QX be irreducible, and let 1 ; 2 ; 3 be its
roots in C. Since the nonreal roots of f occur in conjugate pairs, either 1 or 3 of the i are
real. Then Q1 ; 2 ; 3 D Q1 ; 2 is a splitting field for f .X /. Note that Q1 W Q D 3
and that Q1 ; 2 W Q1 D 1 or 2, and so Q1 ; 2 W Q D 3 or 6. Well see later (4.2) that
the degree is 3 if and only if the discriminant of f .X / is a square in Q. For example, the
discriminant of X 3 C bX C c is 4b 3 27c 2 , and so the splitting field of X 3 C 10X C 1
has degree 6 over Q.
P ROPOSITION 2.4 Every polynomial f 2 F X has a splitting field Ef , and
R EMARK 2.5 Let F be a field. For a given integer n, there may or may not exist polynomials
of degree n in F X whose splitting field has degree n this depends on F . For example,
there do not for n > 1 if F D C (see 5.6), nor for n > 2 if F D Fp (see 4.22) or F D R.
However, later (4.33) we shall see how to write down infinitely many polynomials of degree
n in QX whose splitting fields have degree n.
P ROPOSITION 2.7 Let f 2 F X . Let E be a field generated over F by roots of f , and let
be a field containing F in which f splits.
(a) There exists an F -homomorphism 'W E ! ; the number of such homomorphisms is
at most EW F , and equals EW F if f has distinct roots in .
(b) If E and are both splitting fields for f , then each F -homomorphism E ! is an
isomorphism. In particular, any two splitting fields for f are F -isomorphic.
Qdeg.f /
To say that f splits in means that f .X / D a i D1 .X i / with 1 ; 2 ; : : : 2 ; to say
that f has distinct roots in means that i j if i j .
'W F 1 ; 2 ! ;
30 2. S PLITTING F IELDS ; M ULTIPLE ROOTS
and that the number of such homomorphisms is at most F 1 ; 2 W F , with equality holding
if f has distinct roots in :
After repeating the argument m times, we obtain (a).
(b) Every F -homomorphism E ! is injective, and so, if there exists such a ho-
momorphism, then EW F W F . If E and are both splitting fields for f , then (a)
shows that there exist homomorphism F E, and so EW F D W F . Therefore, every
F -homomorphism E ! is an isomorphism. 2
Multiple roots
Let f; g 2 F X . Even when f and g have no common factor in F X , one might expect
that they could acquire a common factor in X for some F . In fact, this doesnt
happen greatest common divisors dont change when the field is extended.
and so r .X / divides rF .X / in X .
For the second statement, note that the hypotheses imply that gcd.f; g/ D 1 (in F X ),
and so f and g cant acquire a common factor in any extension field. 2
Multiple roots 31
The proposition allows us to speak of the greatest common divisor of f and g without
reference to a field.
Let f 2 F X . Then f splits into linear factors
r
Y r
X
mi
f .X / D a .X i / ; i distinct, mi 1, mi D deg.f /; (*)
i D1 i D1
P ROOF. (a) ) (b). Let be a multiple root of f , and write f D .X /m g.X /, m > 1, in
some field splitting f . Then
f 0 .X / D m.X /m 1
g.X / C .X /m g 0 .X /: (1)
gcd.f; f 0 / 1 H) f 0 D 0:
But, because f is nonconstant, f 0 can be zero only if F has nonzero characteristic p and f
is a polynomial in X p .
32 2. S PLITTING F IELDS ; M ULTIPLE ROOTS
(c) ) (d). Suppose f .X / D g.X p /, and let g.X / D i .X ai /mi in some field
Q
splitting f . Then
Y Y
f .X / D g.X p / D .X p ai /mi D .X i /pmi
i i
p
where i D ai . Hence every root of f .X / has multiplicity at least p.
(d) ) (a). Obvious. 2
D EFINITION 2.14 A polynomial is separable if it has only simple roots (in any field splitting
the polynomial).1
P ROOF. A field of characteristic zero is obviously perfect, and so we may suppose F has
characteristic p 0. If F contains an element a that is not a pth power, then X p a is
irreducible in F X but not separable (see 2.11). Conversely, if every element of F is a pth
power, then every polynomial in X p with coefficients in F is a pth power in F X ,
p p
ai X ip D bi X i
P P
if ai D bi ,
E XAMPLE 2.17 (a) A finite field F is perfect, because the Frobenius endomorphism
a 7! ap W F ! F is injective and therefore surjective (by counting).
1 This
is Bourbakis definition. Often (e.g., in the books of Jacobson and in earlier versions of these notes) a
polynomial f is said to be separable if none of its irreducible factors has a multiple root.
Exercises 33
(b) A field that can be written as a union of perfect fields is perfect. Therefore, every field
algebraic over Fp is perfect.
(c) Every algebraically closed field is perfect.
(d) If F0 has characteristic p 0, then F D F0 .X / is not perfect, because X is not a pth
power.
Exercises
2-1 Let F be a field of characteristic 2.
(a) Let E be quadratic extension of F (i.e., EW F D 2); show that
S.E/ D fa 2 F j a is a square in Eg
is a subgroup of F containing F 2 .
(b) Let E and E 0 be quadratic extensions of F ; show that there is an F -isomorphism
'W E ! E 0 if and only if S.E/ D S.E 0 /.
(c) Show that there is an infinite sequence of fields E1 ; E2 ; : : : with Ei a quadratic
extension of Q such that Ei is not isomorphic to Ej for i j .
(d) Let p be an odd prime. Show that, up to isomorphism, there is exactly one field with
p 2 elements.
2-3 Construct a splitting field for X 5 2 over Q. What is its degree over Q?
m
2-4 Find a splitting field of X p 1 2 Fp X . What is its degree over Fp ?
In this chapter, we prove the fundamental theorem of Galois theory, which gives a one-to-one
correspondence between the subfields of the splitting field of a separable polynomial f and
the subgroups of the Galois group of f .
E XAMPLE 3.1 (a) There are two obvious automorphisms of C, namely, the identity map
and complex conjugation. Well see later (9.18) that by using the Axiom of Choice one can
construct uncountably many more.
(b) Let E D C.X /. An automorphism of E sends X to another generator of E over
aX Cb
C. It follows from (9.24) below that these are exactly the elements cX Cd
, ad bc 0.
aX Cb
Therefore Aut.E=C/ consists of the maps f .X / 7! f cX Cd
, ad bc 0, and so
the group of invertible 2 2 matrices with complex coefficients modulo its centre. Analysts
will note that this is the same as the automorphism group of the Riemann sphere. This is not a
coincidence: the field of meromorphic functions on the Riemann sphere P1C is C.z/ ' C.X /,
and so there is certainly a map Aut.P1C / ! Aut.C.z/=C/, which one can show to be an
isomorphism.
(c) The group Aut.C.X1 ; X2 /=C/ is quite complicated there is a map
but this is very far from being surjective. When there are more X s, the group is not known.
The group Aut.C.X1 ; : : : ; Xn /=C/ is the group of birational automorphisms of PnC , and is
called the Cremona group. Its study is part of algebraic geometry. See the Wikipedia.
In this section, we shall be concerned with the groups Aut.E=F / when E is a finite
extension of F .
35
36 3. T HE F UNDAMENTAL T HEOREM OF G ALOIS T HEORY
E XAMPLE 3.3 (a) Consider a simple extension E D F , and let f be a polynomial with
coefficients in F phaving as a root. If f has no root in E other than
p , then Aut.E=F / D 1:
3 3
For example, if 2 denotes the real cube root of 2, then Aut.Q 2=Q/ D 1. Thus, in the
proposition, it is essential that E be a splitting field.
(b) Let F be a field of characteristic p 0, and let a be an element of F that is not a pth
power. Then f D X p a has only one root in a splitting field E, and so Aut.E=F / D 1.
Thus, in the proposition, it is essential that E be a splitting field of a separable polynomial.
When G is a group of automorphisms of a field E, we set
E G D Inv.G/ D f 2 E j D , all 2 Gg:
It is a subfield of E, called the subfield of G-invariants of E or the fixed field of G.
In this section, we shall show that, when E is the splitting field of a separable polynomial
in F X and G D Aut.E=F /, then the maps
M 7! Aut.E=M /; H 7! Inv.H /
give a one-to-one correspondence between the set of intermediate fields M , F M E,
and the set of subgroups H of G.
T HEOREM 3.4 (E. A RTIN ) Let G be a finite group of automorphisms of a field E, and let
F D E G ; then EW F .GW 1/:
P ROOF. Let G D f1 D 1; : : : ; m g. It suffices to show that every set f1 ; : : : ; n g of elements
of E with n > m is linearly dependent over F . For such a set, consider the system of linear
equations
1 .1 /X1 C C 1 .n /Xn D 0
::
: (*)
m .1 /X1 C C m .n /Xn D 0
with coefficients in E. There are m equations and n > m unknowns, and hence there are
nontrivial solutions in E. We choose one .c1 ; : : : ; cn / having the fewest possible nonzero
elements. After renumbering the i s, we may suppose that c1 0, and then (after multiply-
ing by a scalar) that c1 2 F . With these normalizations, well show that all ci 2 F . Then the
first equation
1 c1 C C n cn D 0
(recall that 1 D 1) will be a linear relation on the i .
If not all ci are in F , then k .ci / ci for some k 1 and i 1. On applying k to the
equations
1 .1 /c1 C C 1 .n /cn D 0
::
:
m .1 /c1 C C m .n /cn D 0
Separable, normal, and Galois extensions 37
is also a solution to the system of equations (*). On subtracting it from the first, we obtain a
solution .0; : : : ; ci k .ci /; : : :/, which is nonzero (look at the ith coordinate), but has more
zeros than the first solution (look at the first coordinate) contradiction. 2
G D Aut.E=E G /:
Therefore, E=F is normal and separable if and only if, for each 2 E, the minimum
polynomial of has F W F distinct roots in E.
p
E XAMPLE 3.8 p (a) The polynomial X 3 2 has one real root 3 2 and two nonreal roots.
Therefore Q 3 2 is separable but not normal over Q.
(b) The field Fp .T / is normal but not separable over Fp .T p / the minimum polynomial
of T is the inseparable polynomial X p T p .
T HEOREM 3.10 For an extension E=F , the following statements are equivalent:
(a) E is the splitting field of a separable polynomial f 2 F X ;
(b) E is Galois over F ;
(c) F D E G for some finite group G of automorphisms of E;
(d) E is normal, separable, and of finite degree over F ;
P ROOF. (a) ) (b). Let G D Aut.E=F /, and let F 0 D E G F . We have to show that
F 0 D F . Note that E is also the splitting field of f regarded as a polynomial with coefficients
in F 0 , and f is still separable when it is regarded in this way. Hence
R EMARK 3.11 (a) Let E be Galois over F with Galois group G, and let 2 E. The
elements 1 , 2 ; :::; m of the orbit of under G are called the conjugates of . In the
course of proving Q (c) implies (d) in the above theorem we showed that the minimum
polynomial of is .X i /:
(b) Let G be a finite group of automorphisms of a field E. Then E=E G satisfies the
equivalent conditions of Theorem 3.10. Corollary 3.5 shows that G D Gal.E=E G / and
Proposition 3.2 shows that EW E G D j Gal.E=E G /j.
P ROOF. Let E D F 1 ; :::; m , and let fi be the minimum polynomial of i over F . The
product of the distinct fi is a separable polynomial iin F X whose splitting field is a Galois
extension of F containing E. 2
P ROOF. We know E is the splitting field of some separable f 2 F X ; it is also the splitting
field of f regarded as an element of M X : 2
R EMARK 3.14 When we drop the assumption that E is separable over F , we can still say
something. An element of an algebraic extension of F is said to be separable over F if
its minimum polynomial over F is separable. The proof of Corollary 3.12 shows that every
finite extension generated by separable elements is separable. Therefore, the elements of a
finite extension E of F that are separable over F form a subfield Esep of E that is separable
over F ; write EW F sep D Esep W F (separable degree of E over F /. If is an algebraically
closed field containing F , then every F -homomorphism Esep ! extends uniquely to E,
and so the number of F -homomorphisms E ! is EW F sep . When E M F (finite
extensions),
EW F sep D EW M sep M W F sep :
In particular,
D EFINITION 3.15 A finite extension E F is called a cyclic, abelian, ..., solvable exten-
sion if it is Galois and its Galois group is cyclic, abelian, ..., solvable Galois group.
P ROOF. For the first statement, we have to show that H 7! E H and M 7! Gal.E=M / are
inverse maps.
Let H be a subgroup of G. Then, as we observed in (3.11b), Gal.E=E H / D H:
Let M be an intermediate field. Then E is Galois over M by (3.13), which means that
E Gal.E=M /DM.
H1 H2 H) E H1 E H2 H) Gal.E=E H1 / Gal.E=E H2 /:
But Gal.E=E Hi / D Hi .
40 3. T HE F UNDAMENTAL T HEOREM OF G ALOIS T HEORY
R EMARK 3.17 The theorem shows that there is an order reversing bijection between the
intermediate fields of E=F and the subgroups of G. Using this we can read off more results.
(a) Let M1 ; M2 ; : : : ; Mr be intermediate fields, and let Hi be the subgroup corresponding
to Mi (i.e., Hi D Gal.E=Mi /). Then (by definition) M1 M2 Mr is the smallest field
T all Mi ; hence it must correspond to the largest subgroup contained in all Hi ,
containing
which is Hi . Therefore
Gal.E=M1 Mr / D H1 \ ::: \ Hr :
(b) Let HTbe a subgroup of G and let M D E H . The largest normal subgroup contained
in H is N D 2G H 1 (see GT 4.10), and so E N , which is the composite of the fields
M , is the smallest normal extension of F containing M . It is called the normal, or Galois,
closure of M in E.
P ROPOSITION 3.18 Let E and L be field extensions of F contained in some common field.
If E=F is Galois, then EL=L and E=E \ L are Galois, and the map
is an isomorphism.
E \L
If 2 Gal.EL=L/ fixes the elements of E, then it fixes the elements of
EL, and hence is 1. Thus, 7! jE is injective. If 2 E is fixed by all
2 Gal.EL=L/, then 2 L \ E. By the fundamental theorem, F
this implies that the image of 7! jE is Gal.E=E \ L/. 2
Examples 41
EW F LW F
ELW F D .
E \ LW F
P ROOF. According to Proposition 1.20,
but
3:18 1:20 EW F
ELW L D EW E \ L D .
E \ LW F 2
of Gal.E1 =F / Gal.E2 =F /.
P ROOF : Let a 2 E1 \ E2 , and let f be its minimum polynomial over F . Then f has
deg f distinct roots in E1 and deg f distinct roots in E2 . Since f
can have at most deg f roots in E1 E2 , it follows that it has deg f E1 E2
distinct roots in E1 \ E2 . This shows that E1 \ E2 is normal and
separable over F , and hence Galois (3.10). As E1 and E2 are
E1 E2
Galois over F , they are splitting fields of separable polynomials
f1 ; f2 2 F X . Now E1 E2 is a splitting field for f1 f2 , and hence
it also is Galois over F . The map 7! . jE1 ; jE2 / is clearly E1 \ E2
an injective homomorphism, and its image is contained in H . We
prove that the image is the whole of H by counting. F
From the fundamental theorem,
E1 W F E2 W F
.H W 1/ D E1 W F E2 W E1 \ E2 D ;
E1 \ E2 W F
Examples
E XAMPLE 3.21 We analyse the extension Q=Q, where is a primitive 7th root of 1, say
D e 2 i=7 .
42 3. T HE F UNDAMENTAL T HEOREM OF G ALOIS T HEORY
X6 C X5 C X4 C X3 C X2 C X C 1
Q
(see 1.41). Therefore, Q is Galois of degree
h 3 i h 2 i
6 over Q. For any 2 Gal.Q=Q/, D i ,
p
some i, 1 i 6, and the map 7! i defines an Q C x Q 7
isomorphism Gal.Q=Q/ ! .Z=7Z/ . Let be
the element of Gal.Q=Q/ such that D 3 . h i=h 3 i h i=h 2 i
Then generates Gal.Q=Q/ because the class
of 3 in .Z=7Z/ generates it (the powers of 3 mod Q
7 are 3; 2; 6; 4; 5; 1). We investigate the subfields
of Q corresponding to the subgroups h 3 i and
h 2 i.
Note that 3 D 6 D x (complex conjugate of /, and so C x D 2 cos 2 7 is fixed by
3i 3i
3
. Now Q Q h x Q, and so Q
Q C h D Q C x (look at degrees). As
x
h i is a normal subgroup of hi, Q C is Galois over Q, with Galois group h i=h 3 i:
3
def
The conjugates of 1 D C x are 3 D 3 C 3 , 2 D 2 C 2 . Direct calculation shows
that
X6
1 C 2 C 3 D i D 1;
i D1
1 2 C 1 3 C 2 3 D 2;
1 2 3 D . C 6 /. 2 C 5 /. 3 C 4 /
D . C 3 C 4 C 6 /. 3 C 4 /
D . 4 C 6 C 1 C 2 C 5 C 1 C C 3 /
D 1:
g.X / D X 3 C X 2 2X 1:
1
The minimum polynomial of cos 2
7 D 2 is therefore
g.2X /
D X 3 C X 2 =2 X=2 1=8:
8
The subfield of Q corresponding to h 2 i is generatedp
by D C 2 C 4 . Let 0 D .
0 2
Then . / D 7. Hence the field fixed by h i is Q2 7:
.X 3 3X/ C .X 2 2/ C X C 1
one obtains 1 C C 2 C C 6 D 0.
Constructible numbers revisited 43
Q W Q D 4; Q W Q D 5: Q Q
Q; W Q D 20: Q
Hence G D Gal.Q; =Q/ has order 20, and the subgroups N and H fixing Q and Q
have orders 5 and 4 respectively. Because Q is normal over Q (it is the splitting field
of X 5 1), N is normal in G. Because Q Q D Q; , we have H \ N D 1, and so
G D N H . Moreover, H ' G=N ' .Z=5Z/ , which is cyclic, being generated by the
class of 2. Let be the generator of H corresponding to 2 under this isomorphism, and let
be a generator of N . Thus ./ is another root of X 5 2, which we can take to be (after
possibly replacing by a power). Hence:
D 2
D
D D :
Note that 1 ./ D D ./ D 2 and it fixes ; therefore 1 D 2 . Thus G
has generators and and defining relations
5 D 1; 4 D 1; 1
D 2:
The subgroup H has five conjugates, which correspond to the five fields Q i ,
i H i
$ i Q D Q i ; 1 i 5:
P ROOF. Let
p
2 E, F , and let X 2 C bX C c be the minimum polynomial of . Then
b b 2 4c
p
D 2 , and so E D F b 2 4c. 2
P ROOF. The field Qe 2 i=p is Galois over Q with Galois group G ' .Z=pZ/ , which has
order p 1 D 2k . The field Qcos 2 p is contained in Qe
2 i=p , and therefore is Galois of
P .1 ; : : : ; n / D 0 H) P . 1 ; : : : ; n / D 0: (3)
This gives a description of Gf without mentioning fields or abstract groups (neither of which
were available to Galois).3
Note that this shows again that .Gf W 1/, hence Ff W F , divides deg.f /:
2 As Shuichi Otsuka has pointed out to me, it is possible to prove this without appealing to the Sylow
theorems. If a root of f .X/ were constructible, then there would exist a tower of quadratic extensions
Q M Q. By Galois theory, the groups Gal.E=M / Gal.E=Q/ have orders 12 and 6 respectively.
As Gal.E=Q/ D S4 , Gal.E=M / would be A4 . But A4 has no subgroup of order 6, a contradiction. Thus no
root of f .X/ is constructible. (Actually Gal.E=Q/ D S3 , but that does not matter here.)
3 The kernel of the map
F X1 ; : : : ; Xn ! Ff ; Xi 7! i ;
consists of the polynomials P .X1 ; : : : ; Xn / such that P .1 ; : : : ; n / D 0. Let be a permutation of the i
satisfying the condition (3). Then the map
F X1 ; : : : ; Xn ! Ff ; Xi 7! i ;
Solvability of equations 45
Solvability of equations
For a polynomial f 2 F X , we say that f .X / D 0 is solvable in radicals if its solutions
can be obtained by the algebraic operations of addition, subtraction, multiplication, division,
and the extraction of mth roots, or, more precisely, if there exists a tower of fields
F D F0 F1 F2 Fm
such that
(a) Fi D Fi 1 i , imi 2 Fi 1;
T HEOREM 3.27 (G ALOIS , 1832) Let F be a field of characteristic zero. The equation
f D 0 is solvable in radicals if and only if the Galois group of f is solvable.
We shall prove this later (5.33). Also we shall exhibit polynomials f .X / 2 QX with
Galois group Sn , which are therefore not solvable when n 5 by GT 4.37.
R EMARK 3.28 If F has characteristic p, then the theorem fails for two reasons:
(a) f need not be separable, and so not have a Galois group;
(b) X p X a D 0 need not be solvable by radicals even though it is separable with
abelian Galois group (cf. Exercise 2-2).
If the definition of solvable is changed to allow extensions of the type in (b) in the chain, and
f is required to be separable, then the theorem becomes true in characteristic p.
N OTES Much of what has been written about Galois is unreliable see Tony Rothman, Genius
and Biographers: The Fictionalization of Evariste Galois, Amer. Math. Mon. 89, 84 (1982). Revised
version available online at various locations.
For a careful explanation of Galoiss Premier Memoire, see Edwards, Harold M., Galois for
21st-century readers. Notices AMS 59 (2012), no. 7, 912923.
Exercises
3-1 Let F be a field of characteristic 0. Show that F .X 2 / \ F .X 2 X / D F (intersection
inside F .X /). [Hint: Find automorphisms and of F .X /, each of order 2, fixing F .X 2 /
and F .X 2 X / respectively, and show that has infinite order.]
3-2 4 Let p be an odd prime, and let be a primitive pth root of 1 in C. Let E D Q,
P G D Gal.E=Q/;
and let thus G D .Z=.p// . Let H be the subgroup of index 2 in G. Put
D i 2H and D i 2GnH i . Show:
i
P
Kronecker-Weber theorem says that every abelian extension of Q is contained in a cyclotomic extension.
46 3. T HE F UNDAMENTAL T HEOREM OF G ALOIS T HEORY
p p qp p
3-3 Let M D Q 2; 3 and E D M . 2 C 2/. 3 C 3/ (subfields of R).
(a) Show that M is Galois over Q with Galois group the 4-group C2 C2 .
(b) Show that E is Galois over Q with Galois group the quaternion group.
3-4 Let E be a Galois extension of F with Galois group G, and let L be the fixed field of a
subgroup H of G. Show that the automomorphism group of L=F is N=H where N is the
normalizer of H in G.
3-5 Let E be a finite extension of F . Show that the order of Aut.E=F / divides the degree
EW F :
C HAPTER 4
Computing Galois Groups
When is Gf An ?
Let be a permutation of the set f1; 2; : : : ; ng. The pairs .i; j / with i < j but .i / > .j /
are called the inversions of , and is said to be even or odd according as the number of
inversions is even or odd. The signature of , sign. /, is C1 or 1 according as is even or
odd. We can define the signature of a permutation of any set S of n elements by choosing
a numbering of the set and identifying with a permutation of f1; : : : ; ng. Then sign is the
unique homomorphism Sym.S / ! f1g such that sign. / D 1 for every transposition. In
particular, it is independent of the choice of the numbering. See GT, 4.25.
Now consider a monic polynomial
f .X / D X n C a1 X n 1
C C an
Qn
and let f .X / D i D1 .X i / in some splitting field. Set
Y Y
.f / D .i j /; D.f / D .f /2 D .i j /2 :
1i <j n 1i <j n
The discriminant of f is defined to be D.f /. Note that D.f / is nonzero if and only if f
has only simple roots, i.e., if f is separable with no multiple factors. Let Gf be the Galois
group of f , and identify it with a subgroup of Sym.f1 ; : : : ; n g/ (as on p. 44).
P ROOF. Each inversion of introduces a negative sign into .f /, and so (a) follows from
the definition of sign. /. The equation in (b) is obtained by squaring that in (a). 2
While .f / depends on the choice of the numbering of the roots of f , D.f / does not.
C OROLLARY 4.2 Let f .X / 2 F X be of degree n and have only simple roots. Let Ff be
a splitting field for f , so that Gf D Gal.Ff =F /.
(a) The discriminant D.f / 2 F .
47
48 4. C OMPUTING G ALOIS G ROUPS
def
P ROOF. (a) The discriminant of f is an element of Ff fixed by Gf D Gal.Ff =F /, and
hence lies in F (by the fundamental theorem of Galois theory).
(b) Because f has simple roots, .f / 0, and so the formula .f / D sign. /.f /
shows that an element of Gf fixes .f / if and only if it lies in An . Thus, under the Galois
correspondence,
Gf \ An $ F .f /.
Hence,
Gf \ An D Gf F .f / D F: 2
p
b b 2 4c
The roots of X 2 C bX C c are 2 and so
p p
.X 2 C bX C c/ D b2 4c (or b2 4c),
2 2
D.X C bX C c/ D b 4c:
Although there is a not a universal formula for the roots of f in terms its coefficients when
the degree of f is >4 , there is for its discriminant. For example,
D.X 3 C bX C c/ D 4b 3 27c 2 :
By completing the cube, one can put any cubic polynomial in this form (in characteristic
3).
The formulas for the discriminant rapidly become very complicated, for example, that
for X 5 C aX 4 C bX 3 C cX 2 C dX C e has 59 terms. Fortunately, PARI knows them. For
example, typing poldisc(X^3+a*X^2+b*X+c,X) returns the discriminant of X 3 C aX 2 C
bX C c, namely,
4ca3 C b 2 a2 C 18cba C . 4b 3 27c 2 /:
R EMARK 4.3 Suppose F R. Then D.f / will not be a square if it is negative. It is known
that the sign of D.f / is . 1/s where 2s is the number of nonreal roots of f in C (see ANT
2.40). Thus if s is odd, then Gf is not contained in An . This can be proved more directly by
noting that complex conjugation acts on the roots as the product of s disjoint transpositions.
Of course the converse is not true: when s is even, Gf is not necessarily contained in
An .
When is Gf transitive?
P ROPOSITION 4.4 Let f .X / 2 F X have only simple roots. Then f .X / is irreducible if
and only if Gf permutes the roots of f transitively.
P ROOF. H) W If and are two roots of f .X / in a splitting field Ff for f , then they both
have f .X / as their minimum polynomial, and so F and F are both stem fields for f .
Hence, there is an F -isomorphism
F ' F ; $ :
Polynomials of degree at most three 49
Quartic polynomials
Let f .X / be a quartic polynomial without multiple roots. In order to determine Gf we shall
exploit the fact that S4 has
D 1 2 C 3 4
D 1 3 C 2 4
D 1 4 C 2 3 :
D 1 .2 3 / C 4 .3 2 / D .1 4 /.2 3 /:
50 4. C OMPUTING G ALOIS G ROUPS
G .G \ V W 1/ .GW V \ G/
S4 4 6
A4 4 3 .G \ V W 1/ D EW M
V 4 1 .GW V \ G/ D M W F
D4 4 2
C4 2 2
The groups of type D4 are the Sylow 2-subgroups discussed above, and the groups of type
C4 are those generated by cycles of length 4.
We can compute .GW V \G/ from the resolvent cubic g, because G=V \G D Gal.M=F /
and M is the splitting field of g. Once we know .GW V \ G/, we can deduce G except in the
case that it is 2. If M W F D 2, then G \ V D V or C2 . Only the first group acts transitively
on the roots of f , and so (from 4.4) we see that in this case G D D4 or C4 according as f
is irreducible or not in M X .
Examples of polynomials with Sp as Galois group over Q 51
E XAMPLE 4.17 Let p 5 be a prime number. Choose a positive even integer m and even
integers
n1 < n2 < < np 2 ;
and let
g.X / D .X 2 C m/.X n1 /:::.X np 2 /:
The graph of g crosses the x-axis exactly at the points n1 ; : : : ; np 2 , and it doesnt have a
local maximum or minimum at any of those points (because the ni are simple roots). Thus
e D ming 0 .x/D0 jg.x/j > 0, and we can choose an odd positive integer n such that n2 < e.
Consider
2
f .X / D g.X / .
n
As n2 < e, the graph of f also crosses the x-axis at exactly p 2 points, and so f has exactly
two nonreal roots. On the other hand, when we write
nf .X / D nX p C a1 X p 1
C C ap ;
the ai are all even and ap is not divisible by 22 , and so Eisensteins criterion implies that f
is irreducible. Over R, f has p 2 linear factors and one quadratic factor, and so it certainly
splits over C (high school algebra). Therefore, the proposition applies to f .1
E XAMPLE 4.18 The reader shouldnt think that, in order to have Galois group Sp , a polyno-
mial must have exactly two nonreal roots. For example, the polynomial X 5 5X 3 C 4X 1
has Galois group S5 but all of its roots are real.
Finite fields
Let Fp D Z=pZ, the field of p elements. As we noted in 1, every field E of characteristic
p contains a copy of Fp , namely, fm1E j m 2 Zg. No harm results if we identify Fp with
this subfield of E.
Let E be a field of degree n over Fp . Then E has q D p n elements, and so E is a group
of order q 1. Hence the nonzero elements of E are roots of X q 1 1, and all elements of
E (including 0) are roots of X q X . Hence E is a splitting field for X q X, and so any
two fields with q elements are isomorphic.
1 Ifm is taken sufficiently large, then g.X/ 2 will have exactly two nonreal roots, i.e., we can take n D 1,
but the proof is longer (see Jacobson 1964, p107, who credits the example to Brauer). The shorter argument in
the text was suggested to me by Martin Ward.
Finite fields 53
.a b/q D aq bq D a b:
P ROOF. Only the final statement remains to be proved. The field Fq is Galois over Fp
because it is the splitting field of a separable polynomial. We noted in (1.4) that x 7! x p
is an automorphism of Fq . An element a of Fq is fixed by if and only if ap D a, but Fp
consists exactly of such elements, and so the fixed field of hi is Fp . This proves that Fq is
Galois over Fp and that hi D Gal.Fq =Fp / (see 3.11b). 2
P ROOF. We know that E is Galois over Fp and that Gal.E=Fp / is the cyclic group of order
n generated by . The group hi has one subgroup of order n=m for each m dividing n,
namely, h m i, and so E has exactly one subfield of degree m over Fp for each m dividing n,
m m
namely, E h i . Because it has degree m over Fp , E h i has p m elements. 2
P ROPOSITION 4.23 Let F be an algebraic closure of Fp . Then F contains exactly one field
n
Fpn for each integer n 1, and Fpn consists of the roots of X p X. Moreover,
The partially ordered set of finite subfields of F is isomorphic to the set of integers n 1
partially ordered by divisibility.
R EMARK 4.25 Since the Fpn s are not subsets of a fixed set, forming the union requires
explanation. Define S to be the disjoint union of the Fpn . For a; b 2 S , set a b if a D b in
one of the Fpn . Then is an equivalence relation, and we let F D S= .
PARI factors polynomials modulo p very quickly. Recall that the syntax is
factormod(f(X),p). For example, to obtain a list of all monic polynomials of degree 1; 2;
or 4 over F5 , ask PARI to factor X 625 X modulo 5 (note that 625 D 54 ).
A SIDE 4.26 In one of the few papers published during his lifetime, Galois defined finite fields of
arbitrary prime power order and established their basic properties, for example, the existence of a
primitive element (Notices AMS, Feb. 2003, p. 198). For this reason finite fields are often called
Galois fields and the field with q elements is often denoted by GF.q/.
and fS is fixed under the action of Gf (and hence has coefficients in F ) if and only if S
is stable under Gf . Therefore the irreducible factors of f in F X are the polynomials fS
corresponding to minimal subsets S of f1 ; : : : ; m g stable under Gf , but these subsets S
are precisely the orbits of Gf in f1 ; : : : ; m g. 2
S
R EMARK 4.28 Note that the proof shows the following: let f1 ; : : : ; m g D Oi be the
decomposition of f1 ; : : : ; m g into a disjoint union of orbits for the group Gf ; then
Y Y
f D fi ; f i D .X i /
i 2Oi
Now suppose F is finite, with p n elements say. Then Gf is a cyclic group generated by
the Frobenius automorphism W x 7! x p . When we regard as a permutation of the roots of
f , then distinct orbits of correspond to the factors in its cycle decomposition (GT 4.26).
Hence, if the degrees of the distinct irreducible factors of f are m1 ; m2 ; : : : ; mr , then has
a cycle decomposition of type
m1 C C mr D deg f:
L EMMA 4.29 Let R be a unique factorization domain with field of fractions F , and let
f be a monic polynomial in RX . Let P be a prime ideal in R, and let fx be the image
of f in .R=P /X . Assume that neither f nor fx has a multiple root. Then the roots
1 ; : : : ; m of f lie in some finite extension R0 of R, and their reductions
xi modulo
0 x
PR are the roots of f . Moreover Gfx Gf when both are identified with subgroups of
Symf1 ; : : : ; m g D Symfx xm g.
1 ; : : : ;
P ROOF. See van der Waerden, Modern Algebra, I, 61. For a proof requiring some commu-
tative algebra, see math.stackexchange.com, question 111850. 2
m D m1 C C mr :
.X 2 C X C 1/.X 3 C X 2 C 1/;
and modulo 3 it is irreducible. The theorem shows that Gf contains permutations .i k/.lmn/
and .12345/, and so also ..i k/.lmn//3 D .i k/. Therefore Gf D S5 by (4.15).
P ROOF. After possibly renumbering, we may suppose the .n 1/-cycle is .123 : : : n 1/.
Because of the transitivity, the transposition can be transformed into .i n/, some 1 i n 1.
Conjugating .i n/ by .123 : : : n 1/ and its powers will transform it into .1n/; .2n/; : : : ; .n
1 n/, and these elements obviously generate Sn : 2
The above results give the following strategy for computing the Galois group of an
irreducible polynomial f 2 QX . Factor f modulo a sequence of primes p not dividing
D.f / to determine the cycle types of the elements in Gf a difficult theorem in number
theory, the effective Chebotarev density theorem, says that if a cycle type occurs in Gf , then
this will be seen by looking modulo a set of prime numbers of positive density, and will
occur for a prime less than some bound. Now look up a table of transitive subgroups of Sn
with order divisible by n and their cycle types. If this doesnt suffice to determine the group,
then look at its action on the set of subsets of r roots for some r.
See, Butler and McKay, The transitive groups of degree up to eleven, Comm. Algebra 11
(1983), 863911. This lists all transitive subgroups of Sn , n 11, and gives the cycle types
of their elements and the orbit lengths of the subgroup acting on the r-sets of roots. With
few exceptions, these invariants are sufficient to determine the subgroup up to isomorphism.
PARI can compute Galois groups for polynomials of degree 11 over Q. The syntax is
polgalois(f) where f is an irreducible polynomial of degree 11 (or 7 depending on
your setup), and the output is .n; s; k;name/ where n is the order of the group, s is C1 or
1 according as the group is a subgroup of the alternating group or not, and name is the
name of the group. For example, polgalois(X^5-5*X^3+4*X-1) (see 4.18) returns the
symmetric group S5 , which has order 120, polgalois(X^11-5*X^3+4*X-1) returns the
symmetric group S11 , which has order 39916800, and
polgalois(X^12-5*X^3+4*X-1) returns an apology. The reader should use PARI to
check the examples 4.94.12.
See also, Soicher and McKay, Computing Galois groups over the rationals, J. Number
Theory, 20 (1985) 273281.
Exercises
4-1 Find the splitting field of X m 1 2 Fp X .
4-4 Give an example of a field extension E=F of degree 4 such that there does not exist a
field M with F M E, M W F D 2.
4-5 List all irreducible polynomials of degree 3 over F7 in 10 seconds or less (there are
112).
4-6 It is a thought-provoking question that few graduate students would know how to
approach the question of determining the Galois group of, say,
X 6 C 2X 5 C 3X 4 C 4X 3 C 5X 2 C 6X C 7:
[over Q].
Exercises 57
4-8 Show that a polynomial f of degree n D kiD1 piri (the pi are distinct primes) is
Q
n=p
irreducible over Fp if and only if (a) gcd.f .X /; X p i X / D 1 for all 1 i k and (b)
n
f divides X p X (Rabin irreducibility test2 ).
4-9 Let f .X / be an irreducible polynomial in QX with both real and nonreal roots. Show
that its Galois group is nonabelian. Can the condition that f is irreducible be dropped?
4-10 Let F be a Galois extension of Q, and let be an element of F such that F 2 is not
fixed by the action of Gal.F=Q/ on F =F 2 . Let D 1 ; : : : ; n be the orbit of under
Gal.F=Q/. Show:
p p
(a) F 1 ; : : : ; n =F is Galois with commutative Galois group contained in .Z=2Z/n .
p p
(b) F 1 ; : : : ; n =Q is Galois with noncommutative Galois group contained in .Z=2Z/n
Gal.F=Q/. (Cf. mo113794.)
2 Rabin, Michael O. Probabilistic algorithms in finite fields. SIAM J. Comput. 9 (1980), no. 2, 273280.
C HAPTER 5
Applications of Galois Theory
In this chapter, we apply the fundamental theorem of Galois theory to obtain other results
about polynomials and extensions of fields.
Note that p p p p
.p2 C p3/ D p 2 C p 3;
.p2 C p3/ D p2 3;
p
. /. 2 C 3/ D 2 3:
p p p p
These all differ from p 2 C p3, and so only the identity element of Gal.Q 2; 3=Q/
fixes
p the p elements of Q 2 C 3. According to the fundamental theorem, this implies that
2 C 3 is a primitive element:
p p p p
Q 2; 3 D Q 2 C 3:
T HEOREM 5.1 Let E D F 1 ; :::; r be a finite extension of F , and assume that 2 ; :::; r
are separable over F (but not necessarily 1 ). Then there is an element
2 E such that
E D F
.
P ROOF. For finite fields, we proved this in (4.19). Hence we may assume F to be infinite.
It suffices to prove the statement for r D 2, for then
F 1 ; 2 ; : : : ; r D F 10 ; 3 ; : : : ; r D F 100 ; 4 ; : : : ; r D :
59
60 5. A PPLICATIONS OF G ALOIS T HEORY
Thus let E D F ; with separable over F . Let f and g be the minimum polynomials
of and over F , and let L be a splitting field for fg containing E. Let 1 D ; : : : ; s be
the roots of f in L, and let 1 D , 2 ; : : : ; t be the roots of g. For j 1, j , and so
the the equation
i C Xj D C X;
has exactly one solution, namely, X D i . If we choose a c 2 F different from any of
j
these solutions (using that F is infinite), then
i C cj C c unless i D 1 D j:
g./ D 0; f . c/ D f ./ D 0:
R EMARK 5.2 When F is infinite, the proof shows that can be chosen to be of the form
D 1 C c2 2 C C cr r ; ci 2 F:
Our hypotheses are minimal: if two of the s are not separable, then the extension need
not be simple. Before giving an example to illustrate this, we need another result.
P ROPOSITION 5.3 Let E D F
be a simple algebraic extension of F . Then there are only
finitely many intermediate fields M ,
F M E:
P ROOF. Let M be such a field, and let g.X / be the minimum polynomial of
over M . Let
M 0 be the subfield of E generated over F by the coefficients of g.X /. Clearly M 0 M ,
but (equally clearly) g.X / is the minimum polynomial of
over M 0 . Hence
EW M 0 D deg.g/ D EW M ;
R EMARK 5.4 (a) Note that the proof in fact gives a description of all the intermediate
fields: each is generated over F by the coefficients of a factor g.X / of f .X / in EX . The
coefficients of such a g.X / are partially symmetric polynomials in the roots of f .X / (that
is, fixed by some, but not necessarily all, of the permutations of the roots).
(b) The proposition has a converse: if E is a finite extension of F and there are only
finitely many intermediate fields M , F M E, then E is a simple extension of F . This
gives another proof of Theorem 5.1 in the case that E is separable over F , because Galois
theory shows that there are only finitely many intermediate fields in this case (even the Galois
closure of E over F has only finitely many intermediate fields).
E XAMPLE 5.5 The simplest nonsimple algebraic extension is k.X; Y / k.X p ; Y p /, where
k is an algebraically closed field of characteristic p. Let F D k.X p ; Y p /. For all c 2 k, we
have
k.X; Y / D F X; Y F X C cY F
with the degree of each extension equal to p. If
F X C cY D F X C c 0 Y ; c c0;
P ROOF. We define C to be the splitting field of X 2 C 1 over R, and we let i denote a root
of X 2 C 1 in C. Thus C D Ri . We have to show (see 1.44) that every f .X / 2 RX has a
root in C.
The two facts we need to assume about R are:
Positive real numbers have square roots.
Every polynomial of odd degree with real coefficients has a real root.
Both are immediate consequences of the Intermediate Value Theorem, which says that
a continuous function on a closed interval takes every value between its maximum and
minimum values (inclusive). (Intuitively, this says that, unlike the rationals, the real line has
no holes.)
1 Zariski showed that there is even an intermediate field M that is not isomorphic to F .X; Y /, and Piotr
Blass showed in his thesis (University of Michigan 1977), using the methods of algebraic geometry, that there is
an infinite sequence of intermediate fields, no two of which are isomorphic.
2 Because it is not strictly a theorem in algebra: it is a statement about R whose construction is part of
analysis (or maybe topology). In fact, I prefer the proof based on Liouvilles theorem in complex analysis to
the more algebraic proof given in the text: if f .z/ is a polynomial without a root in C, then f .z/ 1 will be
bounded and holomorphic on the whole complex plane, and hence (by Liouville) constant. The Fundamental
Theorem was quite a difficult theorem to prove. Gauss gave a proof in his doctoral dissertation in 1798 in which
he used some geometric arguments which he didnt justify. He gave the first rigorous proof in 1816. The elegant
argument given here is a simplification by Emil Artin of earlier proofs (see Artin, E., Algebraische Konstruction
reeller Korper, Hamb. Abh., Bd. 5 (1926), 85-90; translation available in Artin, Emil. Exposition by Emil Artin:
a selection. AMS; LMS 2007).
62 5. A PPLICATIONS OF G ALOIS T HEORY
We first show that every element of C has a square root. Write D a C bi, with a; b 2 R,
and choose c; d to be real numbers such that
p p
2 .a C a2 C b 2 / 2 . a C a2 C b 2 /
c D ; d D :
2 2
Then c 2 d 2 D a and .2cd /2 D b 2 . If we choose the signs of c and d so that cd has the
same sign as b, then .c C d i /2 D and so c C d i is a square root of .
Let f .X / 2 RX , and let E be a splitting field for f .X /.X 2 C 1/ we have to show
that E D C. Since R has characteristic zero, the polynomial is separable, and so E is Galois
over R. Let G be its Galois group, and let H be a Sylow 2-subgroup of G.
Let M D E H . Then M has of degree .GW H / over R, which is odd. Therefore, the
minimum polynomial over R of any 2 M has odd degree (by the multiplicativity of
degrees, 1.20), and so has a real root. Therefore the minimum polynomial has degree 1, and
2 R. It follows that M D R and G D H .
We now know that Gal.E=C/ is a 2-group. If it is 1, then it has a subgroup N of
index 2 (GT 4.17). The field E N has degree 2 over C, and so it is generated by the square
root of an element of C (see 3.24), but we have seen that such square roots lie in C. Hence
E N D C, which is a contradiction. Thus Gal.E=C/ D 1 and E D C. 2
P ROOF. Part (a) is obvious from the definition of algebraic closure (1.43), and (b) follows
from Corollary 1.46. 2
Cyclotomic extensions
A primitive nth root of 1 in F is an element of order n in F . Such an element can exist
only if F has characteristic 0 or characteristic p not dividing n.
Gal.E=F / ! .Z=nZ/ .
P ROOF. (a) The roots of X n 1 are distinct, because its derivative nX n 1 has only zero
as a root (here we use the condition on the characteristic), and so E contains n distinct nth
roots of 1. The nth roots of 1 form a finite subgroup of E , and so (see Exercise 3) they
form a cyclic group. Every generator has order n, and hence will be a primitive nth root of 1.
(b) The roots of X n 1 are the powers of , and F contains them all.
(c) The extension E=F is Galois because E is the splitting field of a separable polynomial.
If 0 is one primitive nth root of 1, then the remaining primitive nth roots of 1 are the elements
0i with i relatively prime to n. Since, for any automorphism of E, 0 is again a primitive
nth root of 1, it equals 0i for some i relatively prime to n, and the map 7! i mod n is
Cyclotomic extensions 63
D . 0 /m D 0i m D i : 2
The map 7! i W Gal.F =F / ! .Z=nZ/ need not be surjective. For example, if
F D C, then its image is f1g, and if F D R, it is either f1g or f 1; 1g. On the other hand,
when n D p is prime, we saw in (1.41) that QW Q D p 1, and so the map is surjective.
We now prove that the map is surjective for all n when F D Q.
The polynomial X n 1 has some obvious factors in QX , namely, the polynomials
X d 1 for any d jn. The quotient of X n 1 by all these factors for d < n is called the nth
cyclotomic polynomial n . Thus
Y
n D .X / (product over the primitive nth roots of 1/:
It has degree '.n/, the order of .Z=nZ/ . Since every nth root of 1 is a primitive d th root
of 1 for exactly one d dividing n, we see that
Y
Xn 1 D d .X /:
d jn
X6 1
6 .X / D D X2 X C 1:
.X 1/.X C 1/.X 2 C X C 1/
This gives an easy inductive method of computing the cyclotomic polynomials. Alternatively
type polcyclo(n,X) in PARI.
Because X n 1 has coefficients in Z and is monic, every monic factor of it in QX has
coefficients in Z (see 1.14). In particular, the cyclotomic polynomials lie in ZX .
L EMMA 5.9 Let F be a field of characteristic 0 or p not dividing n, and let be a primitive
nth root of 1 in some extension field. The following are equivalent:
(a) the nth cyclotomic polynomial n is irreducible;
(b) the degree F W F D '.n/;
(c) the homomorphism
Gal.F =F / ! .Z=nZ/
is an isomorphism.
Write
n .X / D f .X /g.X /.
Proposition 1.14 shows that f .X / and g.X / lie in ZX . Suppose is a root of f but
that, for some prime p not dividing n, p is not a root of f . Then p is a root of g.X /,
g. p / D 0, and so is a root of g.X p /. As f .X / and g.X p / have a common root, they
have a nontrivial common factor in QX (2.10), which automatically lies in ZX (1.14).
x / for the quotient map ZX ! Fp X , and note that, because f .X /
Write h.X / 7! h.X
and g.X / have a common factor of degree 1 in ZX , so also do fx.X / and gx.X p / in
p
gx.X /p D gx.X p /
(recall that ap D a for all a 2 Fp ), and so fx.X / and gx.X / have a common factor of degree
1 in Fp X . Hence X n 1, when regarded as an element of Fp X , has multiple roots, but
we saw in the proof of Proposition 5.8 that it doesnt. Contradiction. 2
R EMARK 5.11 This proof is very old in essence it goes back to Dedekind in 1857
but its general scheme has recently become popular: take a statement in characteristic zero,
reduce modulo p (where the statement may no longer be true), and exploit the existence
of the Frobenius automorphism a 7! ap to obtain a proof of the original statement. For
example, commutative algebraists use this method to prove results about commutative rings,
and there are theorems about complex manifolds that were first proved by reducing things to
characteristic p:
There are some beautiful and mysterious relations between what happens in characteristic
0 and in characteristic p. For example, let f .X1 ; :::; Xn / 2 ZX1 ; :::; Xn . We can
(a) look at the solutions of f D 0 in C, and so get a topological space;
(b) reduce mod p, and look at the solutions of fx D 0 in Fpn .
The Weil conjectures (Weil 1949; proved in part by Grothendieck in the 1960s and com-
pletely by Deligne in 1973) assert that the Betti numbers of the space in (a) control the
cardinalities of the sets in (b).
T HEOREM 5.12 The regular n-gon is constructible if and only if n D 2k p1 ps where the
pi are distinct Fermat primes.
structible. We know that Q is Galois over Q, and so (according to 1.37 and 3.23) is
constructible if and only if QW Q is a power of 2. But (see GT 3.5)
Y Y
'.n/ D .p 1/p n.p/ 1 ; n D p n.p/ ;
pjn
(b) The final section of Gausss, Disquisitiones Arithmeticae (1801) is titled Equations
defining sections of a Circle. In it Gauss proves that the nth roots of 1 form a cyclic group,
that X n 1 is solvable (this was before the theory of abelian groups had been developed,
and before Galois), and that the regular n-gon is constructible when n is as in the Theorem.
He also claimed to have proved the converse statement. This leads some people to credit
him with the above proof of the irreducibility of n , but in the absence of further evidence,
Im sticking with Dedekind.
We have to show that the ai are zero. As 1 and 2 are distinct, they will take distinct values
on some g 2 G. On replacing x with gx in the equation, we find that
On multiplying the first equation by 1 .g/ and subtracting it from the second, we obtain the
equation
a20 2 C C am
0
m D 0; ai0 D ai .i .g/ 1 .g//:
The induction hypothesis shows that ai0 D 0 for i D 2; 3; : : :. As 2 .g/ 1 .g/ 0, this
implies that a2 D 0, and so
a1 1 C a3 3 C C am m D 0:
The induction hypothesis now shows that the remaining ai s are also zero. 2
C OROLLARY 5.15 Let F and E be fields, and let 1 ; :::; m be distinct homomorphisms
F ! E. Then 1 ; :::; m are linearly independent over E:
f j 2 Gg
for some 2 E.
T HEOREM 5.18 (N ORMAL BASIS THEOREM ) Every Galois extension has a normal basis.
The group algebra F G of a group G is the F -vector space with basis the elements of
G
P endowed with the multiplication extending that of G. Thus an element of F G is a sum
2G a , a 2 F , and
P P P P
a b D 1 2 D a1 b2 :
P ROOF. We prove this by induction on m. For m D 1, the lemma becomes the statement
that a nonzero polynomial in one symbol has only finitely many roots (see 1.7). For m > 1,
write f as a polynomial in Xm with coefficients in F X1 ; : : : ; Xm 1 , say,
X
i
f D ci .X1 ; : : : ; Xm 1 /Xm :
f .a1 ; : : : ; am 1 ; Xm /
We now prove 5.18 in the case that F is infinite. Number the elements of G as 1 ; : : : ; m
(with 1 D 1).
Let f 2 F X1 ; : : : ; Xm have the property that
f .1 ; : : : ; m / D 0
g.Y1 ; : : : ; Ym / D f . m
P Pm
i D1 Yi 1 i ; i D1 Yi 2 i ; : : :/ 2 EY1 ; : : : ; Ym .
in the m unknowns aj . Because this system of equations is nonsingular, the aj s are zero.
This completes the proof of the theorem in the case that F is infinite.
U NIFORM PROOF
The Krull-Schmidt theorem says that every module M of finite length over a ring can be
written as a direct sum of indecomposable modules and that the indecomposableLmodules
occurring in a decomposition are unique up to order and isomorphism. Thus M D i mi Mi
where Mi is indecomposable and mi Mi denotes the direct sum of mi copies of Mi ; the set
of isomorphism classes of the Mi is uniquely determined and, when we choose the Mi to
68 5. A PPLICATIONS OF G ALOIS T HEORY
be pairwise nonisomorphic, each mi is uniquely determined. From this it follows that two
modules M and M 0 of finite length over a ring are isomorphic if mM mM 0 for some
m 1.
Consider the F -vector space E F E. We let E act on the first factor, and G act on the
second factor (so a.x y/ D ax y, a 2 E, and .x y/ D x y, 2 G). We shall
prove Theorem 5.18 by showing that
F G F G E F E E E
n n
as F G-modules (n D EW F ).
For 2 G, let W E F E ! E denote the map x y 7! x y. Then is obviously
E-linear, and . z/ D .z/ for all 2 G and z 2 E F E. I claim that f j 2 Gg is
an E-basis for HomE -linear .E F E; E/. As P this space has dimension n, it suffices to show
that the set is linearly independent. But if c D 0, c 2 E, then
X X
0D c . .1 y// D c y
E K E ' EG F G F G
as an F G-module.
On the other hand, for any basis fe1 ; : : : ; en g for E as an F -vector space,
Hilberts Theorem 90
Let G be a group. A G-module is an abelian group M together with an action of G, i.e., a
map G M ! M such that
(a) .m C m0 / D m C m0 for all 2 G, m; m0 2 M ;
(b) . /.m/ D . m/ for all ; 2 G, m 2 M ;
(c) 1m D m for all m 2 M .
Thus, to give an action of G on M is the same as to give a homomorphism G ! Aut.M /
(automorphisms of M as an abelian group).
E XAMPLE 5.20 Let E be a Galois extension of F with Galois group G. Then .E; C/ and
.E ; / are G-modules.
f . / D f . / C f . / for all ; 2 G.
Note that the condition implies that f .1/ D f .1 1/ D f .1/ C f .1/, and so f .1/ D 0:
f . 2 / D f . / C f . /;
f . 3 / D f . 2 / D f . / C f . / C 2 f . /
f . / D f . / C f . / C C n
n 1
f . /:
x C x C C n 1
x D 0; (*)
f . / D x x; all 2 G:
The sum and difference of two crossed homomorphisms is again a crossed homo-
morphism, and the sum and difference of two principal crossed homomorphisms is again
principal. Thus we can define
fcrossed homomorphismsg
H 1 .G; M / D
fprincipal crossed homomorphismsg
70 5. A PPLICATIONS OF G ALOIS T HEORY
(quotient abelian group). The cohomology groups H n .G; M / have been defined for all
n 2 N, but since this was not done until the twentieth century, it will not be discussed in this
course. An exact sequence of G-modules
0 ! M 0 ! M ! M 00 ! 0
gives rise to an exact sequence
d
0 ! M 0G ! M G ! M 00G ! H 1 .G; M 0 / ! H 1 .G; M / ! H 1 .G; M 00 /:
Let m00 2 M 00G , and let m 2 M map to m00 . For all 2 G, m m lies in the submodule
M 0 of M , and the crossed homomorphism 7! m mW G ! M 0 represents d.m00 /. It is
an exercise for the reader to check the exactness.
E XAMPLE 5.22 Let W Xz ! X be the universal covering space of a topological space X ,
and let be the group of covering transformations. Under some fairly general hypotheses,
a -module M will define a sheaf M on X, and H 1 .X; M/ ' H 1 . ; M /. For example,
when M D Z with the trivial action of , this becomes the isomorphism H 1 .X; Z/ '
H 1 . ; Z/ D Hom. ; Z/.
T HEOREM 5.23 Let E be a Galois extension of F with group G; then H 1 .G; E / D 0, i.e.,
every crossed homomorphism G ! E is principal.
P ROOF. Let f be a crossed homomorphism G ! E . In multiplicative notation, this
means,
f . / D f . / .f . //; ; 2 G;
and we have to find a
2 E such that f . / D
for all 2 G. Because the f . / are
nonzero, Corollary 5.15 implies that
X
f . /W E ! E
2G
is not the zero map, i.e., there exists an 2 E such that
def
X
D f . / 0:
2G
But then, for 2 G,
X
D .f . // ./
X 2G
1
D f . / f . / ./
2G
X
1
D f . / f . / ./;
2G
which equals f . / 1 because, as runs over G, so also does . Therefore, f . / D . /
and we can take D
1 . 2
p
E XAMPLE 5.24 The norm map C ! R is 7! jj2 and the norm map Q d ! Q
p
is a C b d 7! a2 db 2 .
We are interested in determining the kernel of the norm map. Clearly an element of the
form has norm 1, and our next result show that, for cyclic extensions, all elements with
norm 1 are of this form.
Cyclic extensions
Let F be a field containing a primitive nth root of 1, some n 2, and write n for the group
of nth roots of 1 in F . Then n is a cyclic subgroup of F of order n with generator . In
this section, we classify the cyclic extensions of degree n of F .
Consider a field E D F generated by an element whose nth power (but no smaller
power) is in F . Then is a root of X n a, and the remaining roots are the elements i ,
1 i n 1. Since these are all in E, E is a Galois extension of F , with Galois group
G say. For every 2 G, is also a root of X n a, and so D i for some i . Hence
= 2 n . The map
7! =W G ! n
doesnt change when is replaced by a conjugate, and it follows that the map is a homo-
morphism: D . /
. Because generates E over F , the map is injective. If it
is not surjective, then G maps into a subgroup d of n , some d jn, d < n. In this case,
.=/d D 1, i.e., d D d , for all 2 G, and so d 2 F . Thus the map is surjective.
We have proved the first part of the following statement.
P ROOF. It remains to prove the last statement. Let generate G and let generate n . It
suffices to find an element 2 E such that D 1 , for then n 2 F , and n is the
1; ; : : : ; n 1 are distinct homomorphisms F ! F ,
smallest power of that lies in F . As P
Dedekinds Theorem 5.14 shows that ni D01 i i is not the zero function, and so there exists
def P
a
such that D i i
0. Now D 1 . 2
A SIDE 5.27 (a) It is not difficult to show that the polynomial X n a is irreducible in F X if a is
not a pth power for any prime p dividing n. When we drop the condition that F contains a primitive
nth root of 1, this is still true except that, if 4jn, we need to add the condition that a 4F 4 . See
Lang, Algebra, Springer, 2002, VI, 9, Theorem 9.1, p.297.
3 This is Satz 90 in Hilberts book, Theorie der Algebraischen Zahlkorper, 1897. The theorem was discovered
by Kummer in the special case of Qp =Q, and generalized to Theorem 5.23 by E. Noether. Theorem 5.23, as
well as various vast generalizations of it, are also referred to as Hilberts Theorem 90.
For an illuminating discussion of Hilberts book, see the introduction to the English translation (Springer
1998) written by F. Lemmermeyer and N. Schappacher.
72 5. A PPLICATIONS OF G ALOIS T HEORY
(b) If F has characteristic p (hence has no pth roots of 1 other than 1), then X p X a is
irreducible in F X unless a D b p b for some b 2 F , and when it is irreducible, its Galois group is
cyclic of order p (generated by 7! C 1 where is a root). Moreover, every extension of F which
is cyclic of degree p is the splitting field of such a polynomial.
P ROPOSITION 5.28 Let F be a field containing a primitive nth root of 1. Two cyclic
1 1
extensions F a n and F b n of F of degree n are equal if and only if a D b r c n for some
r 2 Z relatively prime to n and some c 2 F , i.e., if and only if a and b generate the same
subgroup of F =F n .
P ROOF. Only the only if part requires proof. We are given that F D F with n D a
and n D b. Let be the generator of the Galois group with D , and let D i ,
.i; n/ D 1. We can write
n
X1
D cj j ; cj 2 F;
j D0
and then
n
X1
D cj j j :
j D0
Kummer theory
Throughout this section, F is a field containing a primitive nth root of 1, . In particular, F
either has characteristic 0 or characteristic p not dividing n.
The last two proposition give us a complete classification of the cyclic extensions of F
of degree n. We now extend this to a classification of all abelian extensions of exponent
n. (Recall that a group G has exponent n if n D 1 for all 2 G and n is the smallest
positive integer for which this is true. A finite abelian group of exponent n is isomorphic to
a subgroup of .Z=nZ/r for some r.)
Let E=F be a finite Galois extension with Galois group G. From the exact sequence
x7!x n
1 ! n ! E ! E n ! 1
The 1 at the right is because of Hilberts Theorem 90. Thus we obtain an isomorphism
F \ E n =F n ! Hom.G; n /:
This map can be described as follows: let a be an element of F that becomes an nth power
in E, say a D n ; then a maps to the homomorphism 7! . If G is abelian of exponent
n, then
jHom.G; n /j D .GW 1/:
Kummer theory 73
is an isomorphism. This map sends B=F n isomorphically onto the subgroup Hom.G=H; n /
1 1
of Hom.G; n / where H consists of the 2 G such that a n =a n D 1 for all a 2 B. But
1 1
such a fixes all a n for a 2 B, and therefore is the identity automorphism on E D F B n .
1
This shows that B.E/ D B, and hence E 7! B.E/ and B 7! F B n are inverse bijections.2
E XAMPLE 5.30 (a) The quadratic extensions of R are (certainly) in one-to-one correspon-
dence with the subgroups of R =R2 D f1g.
(b) The finite abelian extensions of Q of exponent 2 are in one-to-one correspondence
with the finite subgroups of Q =Q2 , which is a direct sum of cyclic groups of order 2
indexed by the prime numbers plus 1 (modulo squares, every nonzero rational number has
a unique representative of the form p1 pr with the pi prime numbers).
G D G0 G1 Gm 1 Gm D f1g
such that each Gi is normal in Gi 1 and Gi 1 =Gi is cyclic. Let E be a splitting field of
f .X/ over F 0 , and let Fi D E Gi . We have a sequence of fields
F F D F 0 D F0 F1 F2 Fm D E
F WF
with Fi cyclic over Fi 1 . Theorem 5.26 shows that Fi D Fi 1 i with i i i 1 2 Fi 1 ,
each i , and this shows that f is solvable.
H): It suffices to show that Gf is a quotient of a solvable group (GT 6.6a). Hence it
suffices to find a solvable extension Ez of F such that f .X / splits in EX
z .
We are given that there exists a tower of fields
F D F0 F1 F2 Fm
such that
(a) Fi D Fi 1 i , iri 2 Fi 1;
(b) Fm contains a splitting field for f:
Let n D r1 rm , and let be a field Galois over F and containing (a copy of) Fm and a
primitive nth root of 1: For example, choose a primitive element
for Fm over F (see 5.1),
and take to be a splitting field of g.X /.X n 1/ where g.X / is the minimum polynomial
of
over F .
Let G be the Galois group of =F , and let Ez be the Galois closure of Fm in .
According to (3.17a), Ez is the composite of the fields Fm , 2 G, and so it is generated
over F by the elements
; 1 ; 2 ; : : : ; m ; 1 ; : : : ; m ; 0 1 ; : : : :
F F F ; 1 F 0 F 00 Ez
in which each field F 00 is obtained from its predecessor F 0 by adjoining an rth root of an
element of F 0 (r D r1 ; : : : ; rm ; or n). According to (5.8) and (5.26), each of these extensions
is abelian (and even cyclic after for the first), and so E=F z is a solvable extension. 2
Symmetric polynomials 75
A SIDE 5.34 One of Galoiss major achievements was to show that an irreducible polynomial of
prime degree in QX is solvable by radicals if and only if its splitting field is generated by any two
roots of the polynomial.4 This theorem of Galois answered a question on mathoverflow in 2010
(mo24081). For a partial generalization of Galoiss theorem, see mo110727.
Symmetric polynomials
Let R be a commutative ring (with 1). A polynomial P .X1 ; :::; Xn / 2 RX1 ; : : : ; Xn is said
to be symmetric if it is unchanged when its variables are permuted, i.e., if
For example
P
p1 D Pi Xi D X1 C X2 C C Xn ;
p2 D XX D X1 X2 C X1 X3 C C X1 Xn C X2 X3 C C Xn 1 Xn ;
Pi <j i j
p3 D i <j <k Xi Xj Xk ; D X1 X2 X3 C
P
pr D i1 <<ir Xi1 :::Xir
pn D X1 X2 Xn
are each symmetric because pr is the sum of all monomials of degree r made up out of dis-
tinct Xi s. These particular polynomials are called the elementary symmetric polynomials.
if either
i1 C i2 C C in > j1 C j2 C C jn
or equality holds and, for some s,
For example,
X1 X2 X33 > X1 X22 X3 > X1 X2 X32 :
Let P .X1 ; : : : ; Xn / be a symmetric polynomial, and let X1i1 Xnin be the highest mono-
mial occurring in P with a nonzero coefficient, so
Because P is symmetric, it contains all monomials obtained from X1i1 Xnin by permuting
the Xs. Hence i1 i2 in .
4 Pour quune equation de degre premier soit resoluble par radicaux, il faut et il suffit que deux quelconques
de ces racines etant connues, les autres sen deduisent rationnellement (Evariste Galois, Bulletin de M. Ferussac,
XIII (avril 1830), p. 271).
76 5. A PPLICATIONS OF G ALOIS T HEORY
P .X1 ; : : : ; Xn / cp1i1 i2
p2i2 i3
pnin (5)
is strictly less than the highest monomial in P .X1 ; : : : ; Xn /. We can repeat this argument
with the polynomial (5), and after a finite number of steps, we will arrive at a representation
of P as a polynomial in p1 ; : : : ; pn . 2
Continuing, we get
and finally,
P 49p22 14p1 p2 p12 D 0.
(b) The expression of P as a polynomial in the pi in (5.35) is unique. Otherwise, by
subtracting, we would get a nontrivial polynomial Q.p1 ; : : : ; pn / in the pi which is zero
when expressed as a polynomial in the Xi . But the highest monomials (4) in the polynomials
p1d1 pndn are distinct (the map .d1 ; : : : ; dn / 7! .d1 C C dn ; : : : ; dn / is injective), and so
they cant cancel.
Let
f .X / D X n C a1 X n 1
C C an 2 RX ;
and suppose that f splits over some ring S containing R:
f .X / D niD1 .X i /; i 2 S .
Q
Then
a1 D p1 .1 ; : : : ; n /; a2 D p2 .1 ; : : : ; n /; :::; an D . 1/n pn .1 ; : : : ; n /:
Thus the elementary symmetric polynomials in the roots of f .X / lie in R, and so the theorem
implies that every symmetric polynomial in the roots of f .X / lies in R. For example, the
discriminant Y
D.f / D .i j /2
i <j
of f lies in R.
5 From the Wikipedia.
The general polynomial of degree n 77
C OROLLARY 5.38 The field F .X1 ; :::; Xn / is Galois over F .p1 ; :::; pn / with Galois group
Sn (acting by permuting the Xi ).
P ROOF. We have shown that F .p1 ; : : : ; pn / D F .X1 ; : : : ; Xn /Sn , and so this follows from
(3.10). 2
g.T / D .T X1 / .T Xn / D X n p1 X n 1
C C . 1/n pn :
f .X / D X n t1 X n 1
C C . 1/n tn 2 F t1 ; :::; tn X
where the ti are symbols. We shall show that, when we regard f as a polynomial in X with
coefficients in the field F .t1 ; : : : ; tn /, its Galois group is Sn . Then Theorem 5.33 proves the
above remark (at least in characteristic zero).
R EMARK 5.41 Since Sn occurs as a Galois group over Q, and every finite group occurs
as a subgroup of some Sn , it follows that every finite group occurs as a Galois group over
some finite extension of Q, but does every finite Galois group occur as a Galois group over
Q itself? This is known as the inverse Galois problem.
The Hilbert-Noether program for proving this was the following. Hilbert proved that
if G occurs as the Galois group of an extension E Q.t1 ; :::; tn / (the ti are symbols), then
it occurs infinitely often as a Galois group over Q. For the proof, realize E as the splitting
field of a polynomial f .X / 2 kt1 ; : : : ; tn X and prove that for infinitely many values of
the ti , the polynomial you obtain in QX has Galois group G. (This is quite a difficult
theorem see Serre, J.-P., Lectures on the Mordell-Weil Theorem, 1989, Chapter 9.) Noether
conjectured the following: Let G Sn act on F .X1 ; :::; Xn / by permuting the Xi ; then
F .X1 ; : : : ; Xn /G F .t1 ; :::; tn / (for symbols ti ). However, Swan proved in 1969 that the
conjecture is false for G the cyclic group of order 47. Hence this approach can not lead to
a proof that all finite groups occur as Galois groups over Q, but it doesnt exclude other
approaches. For more information on the problem, see Serre, ibid., Chapter 10; Serre, J.-P.,
Topics in Galois Theory, 1992; and the Wikipedia (Inverse Galois problem).
R EMARK 5.42 Take F D C, and consider the subset of CnC1 defined by the equation
Xn T1 X n 1
C C . 1/n Tn D 0:
It is a beautiful complex manifold S of dimension n. Consider the projection
W S ! Cn ; .x; t1 ; : : : ; tn / 7! .t1 ; : : : ; tn /:
Its fibre over a point .a1 ; : : : ; an / is the set of roots of the polynomial
Xn a1 X n 1
C C . 1/n an :
The discriminant D.f / of f .X / D X n T1 X n 1 C C . 1/n Tn is a polynomial in
CT1 ; : : : ; Tn . Let be the zero set of D.f / in Cn . Then over each point of Cn X ,
there are exactly n points of S , and S X 1 ./ is a covering space over Cn X .
6 This
can also be proved by noting that, because F .X1 ; : : : ; Xn / is algebraic over F .p1 ; : : : ; pn /, the latter
must have transcendence degree n (see 8).
Norms and traces 79
A BRIEF HISTORY
As far back as 1500 BC, the Babylonians (at least) knew a general formula for the roots
of a quadratic polynomial. Cardan (about 1515 AD) found a general formula for the roots
of a cubic polynomial. Ferrari (about 1545 AD) found a general formula for the roots of
a quartic polynomial (he introduced the resolvent cubic, and used Cardans result). Over
the next 275 years there were many fruitless attempts to obtain similar formulas for higher
degree polynomials, until, in about 1820, Ruffini and Abel proved that there are none.
Moreover,
cA .X / D X n Tr.A/X n 1
C C . 1/n det.A/.
None of these is changed when A is replaced by its conjugate UAU 1 by an invertible
matrix U . Therefore, for any endomorphism of a finite dimensional vector space V , we
can define7
Tr./ D Tr.A/, det./ D det.A/, c .X / D cA .X /
where A is the matrix of with respect to any basis of V . If is a second endomorphism of
V,
c .X/ D X n C c1 X n 1
C C cn ;
E XAMPLE 5.43 (a) Consider the fieldextension C R. For D a C bi, the matrix of L
with respect to the basis f1; i g is ab ab , and so
where n D EW F :
P ROPOSITION 5.44 Let E=F be a finite extension of fields, and let f .X / be the minimum
polynomial of 2 E. Then
c;E=F .X / D f .X /E WF :
C OROLLARY 5.45 Suppose that the roots of the minimum polynomial of are 1 ; : : : ; n
(in some splitting field containing E), and that EW F D m. Then
m
Tr./ D m niD1 i ;
P Qn
NmE=F D i D1 i :
f .X / D X n C a1 X n 1 Q
C C an D .X i /;
so that
P
a1 D i , and
an D . 1/n i .
Q
Then
c .X / D .f .X //m D X mn C ma1 X mn 1
C C anm ;
so that
P
TrE=F ./ D ma1 D m i , and
NmE=F ./ D . 1/mn anm D . i /m .
Q
2
Norms and traces 81
c .X / D f .X / D X 2 2<./X C jj2 :
If 2 R, then c .X / D .X a/2 .
(b) Let
p E be the splitting
p field of X 8 2. Then E has degree 16 over Q and is generated
8
by D 2 and i D 1 (see Exercise 16). The minimum polynomial of is X 8 2, and
so
c;Q=Q .X / D X 8 2; c;E=Q .X / D .X 8 2/2
TrQ=Q D 0; TrE=Q D 0
NmQ=Q D 2; NmE=Q D 4
R EMARK 5.47 Let E be a separable extension of F , and let be the set of F -homomorphisms
of E into an algebraic closure of F . Then
P
TrE=F D 2
Q
NmE=F D 2 :
When E D F , this follows from 5.45 and the observation (cf. 2.1b) that the are
the roots of the minimum polynomial f .X / of over F . In the general case, the are
still roots of f .X / in , but now each root of f .X / occurs EW F times (because each
F -homomorphism F ! has EW F extensions to E). For example, if E is Galois
over F with Galois group G, then
P
TrE=F D 2G
Q
NmE=F D 2G :
P ROOF. If E is separable over F , then this can be proved fairly easily using the descriptions
in the above remark. We omit the proof in the general case. 2
f .X / D X n C aX C b; a; b 2 F;
n n 1
D na nb 1
:
Hence
D n n 1
C a D .n 1/a nb 1
:
Solving for gives
nb
D :
C .n 1/a
From the last two equations, it is clear that F D F
, and so the minimum polynomial
of
over F has degree n also. If we write
nb P .X /
f D
X C .n 1/a Q.X /
P .X / D .X C .n 1/a/n na.X C .n 1/a/n 1
C . 1/n nn b n 1
then
P .
/ D f ./ Q.
/ D 0:
As
.
C .n 1/a/n . nb/n
Q.
/ D D 0
b nb
and P .X / is monic of degree n, it must be the minimum polynomial of
. Therefore Nm
is . 1/n times the constant term of P .X /, namely,
Nm
D nn b n 1
C . 1/n 1
.n 1/n 1 n
a :
Therefore,
which is something PARI doesnt know (because it doesnt understand symbols as exponents).
For example,
disc.X 5 C aX C b/ D 55 b 4 C 44 a5 :
Exercises 83
Exercises
5-1 For a 2 Q, let Ga be the Galois group of X 4 C X 3 C X 2 C X C a. Find integers
a1 ; a2 ; a3 ; a4 such that i j H) Gai is not isomorphic to Gaj .
d.m2 n2 ; 2mn; m2 C n2 /
for some integers d , m, and n (Hint: Apply Hilberts Theorem 90 to the extension Qi =Q.)
5-3 Prove that a finite extension of Q can contain only finitely many roots of 1.
C HAPTER 6
Algebraic Closures
In this chapter, we use Zorns lemma to show that every field F has an algebraic closure .
Recall that if F is a subfield C, then the algebraic closure of F in C is an algebraic closure
of F (1.46). If F is countable, then the existence of can be proved as in the finite field
case (4.24), namely, the set of monic irreducible polynomials in F X is countable, and so
we can list them f1 ; fS2 ; : : :; define Ei inductively by, E0 D F , Ei D a splitting field of fi
over Ei 1 ; then D Ei is an algebraic closure of F .
The difficulty in showing the existence of an algebraic closure of an arbitrary field F is
in the set theory. Roughly speaking, we would like to take a union of a family of splitting
fields indexed by the monic irreducible polynomials in F X , but we need to find a way
of doing this that is allowed by the axioms of set theory. After reviewing the statement of
Zorns lemma, we sketch three solutions1 to the problem.
Zorns lemma
D EFINITION 6.1 (a) A relation on a set S is a partial ordering if it reflexive, transitive,
and anti-symmetric (a b and b a H) a D b).
(b) A partial ordering is a total ordering if, for all s; t 2 T , either s t or t s.
(c) An upper bound for a subset T of a partially ordered set .S; / is an element s 2 S
such that t s for all t 2 T .
(d) A maximal element of a partially ordered set S is an element s such that s s 0 H)
s D s0.
A partially ordered set need not have any maximal elements, for example, the set of finite
subsets of an infinite set is partially ordered by inclusion, but it has no maximal elements.
L EMMA 6.2 (Z ORN ) Let .S; / be a nonempty partially ordered set for which every totally
ordered subset has an upper bound in S . Then S has a maximal element.
Zorns lemma2 is equivalent to the Axiom of Choice, and hence independent of the
axioms of set theory.
1 There do exist naturally occurring uncountable fields not contained in C. For example, the field of formal
Laurent series F ..T // over a field F is uncountable even if F is finite.
2 The following is quoted from A.J. Berrick and M.E. Keating, An Introduction to Rings and Modules,
2000: The name of the statement, although widely used (allegedly first by Lefschetz), has attracted the attention
of historians (Campbell 1978). As a maximum principle, it was first brought to prominence, and used for
algebraic purposes in Zorn 1935, apparently in ignorance of its previous usage in topology, most notably in
Kuratowski 1922. Zorn attributed to Artin the realization that the lemma is in fact equivalent to the Axiom of
85
86 6. A LGEBRAIC C LOSURES
R EMARK 6.3 The set S of finite subsets of an infinite set doesnt contradict Zorns lemma,
because it contains totally ordered subsets with no upper bound in S .
P ROPOSITION 6.4 (*) Every nonzero commutative ring A has a maximal ideal (meaning,
maximal among proper ideals).
and so is a root of f .
The above proof is a typical application of Zorns lemma: once we know how to do
something in a finite (or countable) situation, Zorns lemma allows us to do it in general.
R EMARK 6.9 Even for a finite field F , there will exist uncountably many isomorphisms
from one algebraic closure to a second, none of which is to be preferred over any other. Thus
it is (uncountably) sloppy to say that the algebraic closure of F is unique. All one can say is
that, given two algebraic closures , 0 of F , then, thanks to Zorns lemma, there exists an
F -isomorphism ! 0 .
Separable closures
Let be a field containing F , and let E be a set of intermediate fields F E with the
following property:
(*) for all E1 ; E2 2 E, there exists an E 2 E such that E1 ; E2 E.
S S
Then E.E/ D E 2E E is a subfield of (and we call E 2E E a directed union), because
(*) implies that every finite set of elements of E.E/ is contained in a common E 2 E, and
therefore their product, sum, etc., also lie in E.E/.
We apply this remark to the set of subfields E of that are finite and separable over F .
As the composite of any two such subfields is again finite and separable over F (cf. 3.14),
we see that the union L of all such E is a subfield of . We call L the separable closure of
F in clearly, it is separable over F and every element of separable over F lies in L.
Moreover, because a separable extension of a separable extension is separable, is purely
inseparable over L.
Separable closures 89
D EFINITION 6.10 (a) A field is said to be separably closed if every nonconstant separa-
ble polynomial in X splits in .
(b) A field is said to be a separable closure of a subfield F if it is separable and
algebraic over F and it is separably closed.
P ROOF. Replace polynomial with separable polynomial in the proofs of the correspond-
ing theorems for algebraic closures. Alternatively, define to be the separable closure of F
in an algebraic closure, and apply the preceding theorems. 2
A SIDE 6.12 It is not necessary to assume the full axiom of choice to prove the existence of algebraic
closures and their uniqueness up to isomorphism, but only a weaker axiom. See Banaschewski,
Bernhard. Algebraic closure without choice. Z. Math. Logik Grundlag. Math. 38 (1992), no. 4,
383385.
C HAPTER 7
Infinite Galois Extensions
Topological groups
D EFINITION 7.1 A set G together with a group structure and a topology is a topological
group if the maps
.g; h/ 7! ghW G G ! G;
1
g 7! g WG ! G
P ROPOSITION 7.2 Let G be a topological group, and let N be a neighbourhood base for
the identity element e of G. Then2
(a) for all N1 ; N2 2 N , there exists an N 0 2 N such that e 2 N 0 N1 \ N2 ;
(b) for all N 2 N , there exists an N 0 2 N such that N 0 N 0 N ;
(c) for all N 2 N , there exists an N 0 2 N such that N 0 N 1;
(d) for all N 2 N and all g 2 G, there exists an N 0 2 N such that N 0 gNg 1I
1 It is necessary to assume the axiom of choice in order to have a sensible Galois theory of infinite extensions.
For example, it is consistent with Zermelo-Fraenkel set theory that there exist an algebraic closure L of the
Q with no nontrivial automorphisms. See: Hodges, Wilfrid, Lauchlis algebraic closure of Q. Math. Proc.
Cambridge Philos. Soc. 79 (1976), no. 2, 289297.
2 For subsets S and S 0 of G, we let SS 0 D fss 0 j s 2 S, s 0 2 S 0 g and S 1 D fs 1 j s 2 S g.
91
92 7. I NFINITE G ALOIS E XTENSIONS
P ROPOSITION 7.3 If is Galois over F , then it is Galois over every intermediate field M .
P ROOF. The same Zorns lemma argument as in the proof of Theorem 6.8 shows that every
F -homomorphism E ! extends to an F -homomorphism W ! . Let a 2 , and let
f be its minimum polynomial over F . Then contains exactly deg.f / roots of f , and so
therefore does ./. Hence a 2 ./, which shows that is surjective. 2
The Krull topology on the Galois group 93
Let be a Galois extension of F , and let G D Aut.=F /. For any finite subset S of
, let
G.S / D f 2 G j s D s for all s 2 S g:
P ROPOSITION 7.6 There is a unique structure of a topological group on G for which the
sets G.S / form an open neighbourhood base of 1. For this topology, the sets G.S / with S
G-stable form a neighbourhood base of 1 consisting of open normal subgroups.
P ROOF. We show that the collection of sets G.S / satisfies (a,b,c,d) of (7.2). It satisfies (a)
because G.S1 / \ G.S2 / D G.S1 [ S2 /. It satisfies (b) and (c) because each set G.S / is a
group. Let S be a finite subset of . Then F .S / is a finite extension of F , and so there are
only finitely many FS-homomorphisms F .S / ! . Since S D S if jF .S / D jF .S /,
this shows that Sx D 2G S is finite. Now Sx D Sx for all 2 G, and it follows that G.Sx/
is normal in G. Therefore, G.Sx/ 1 D G.Sx/ G.S /, which proves (d). It also proves
the second statement. 2
The topology on Aut.=F / defined in the proposition is called the Krull topology. We
write Gal.=F / for Aut.=F / endowed with the Krull topology, and call it the Galois
group of =F . The Galois group of F sep over F is called the absolute Galois group3 of F .
If S is a finite set stable under G, then F .S / is a finite extension of F stable under G,
and hence Galois over F (7.5). Therefore,
P ROPOSITION 7.7 Let be Galois over F . For every intermediate field E finite and Galois
over F , the map
7! jEW Gal.=F / ! Gal.E=F /
is a continuous surjection (discrete topology on Gal.E=F /).
P ROPOSITION 7.8 The Galois group G of a Galois extension =F is compact and totally
disconnected.4
G ! Sym.S /:
Since every finite set is contained in a stable finite set,5 the argument in the last paragraph
shows that the map Y
G! G=G.S /
S finite stable under G
Q
is injective. When we endow G=G.S / with the product topology, the induced topology
on G is that for which the G.S / form an open neighbourhood Q base of e, i.e., it is the
Krull topology. According to the Tychonoff theorem, G=G.S / is compact, and so it
remainsQto show that G is closed in the product. For each S1 S2 , there are two continuous
maps G=G.S / ! G=G.S1 /, namely, the projection onto G=G.S1 / and the projection
onto G=G.S2 / followed Q by the quotient map G=G.S2 / ! G=G.S1T /. Let E.S1 ; S2 / be
the closed subset of G=G.S / on which the two maps agree. Then S1 S2 E.S1 ; S2 / is
closed, and equals the image of G.
Finally, forTeach finite set S stable under G, G.S / is a subgroup that is open and hence
closed. Since G.S / D f1G g, this shows that the connected component of G containing
1G is just f1G g. By homogeneity, a similar statement is true for every element of G. 2
P ROOF. Every element of X F lies in a finite Galois extension of F , and so this follows
from the surjectivity in Proposition 7.7. 2
A SIDE 7.10 There is a converse to Proposition 7.8: every compact totally disconnected group
arises as the Galois group of some Galois extension of fields of characteristic zero (Douady, A.,
Cohomologie des groupes compact totalement discontinus (dapres J. Tate), Seminaire Bourbaki
1959/60, no. 189). However, not all such groups arise as the absolute Galois group of a field of
characteristic zero. For example, the absolute Galois group of a field of characteristic zero, if finite,
must have order 1 or 2.6
polynomial over F ).
6 Theorem (Artin-Schreier, 1927): Let E be an algebraically closed field and let F be a proper subfield of E
p
with EW F < 1. Then F is real-closed and E D F 1. See, for example, Jacobson 1964, Chapter VI.
The fundamental theorem of infinite Galois theory 95
P ROOF. (a) The first assertion was proved in (7.3). For each finite subset
T S M , G.S / is
an open subgroup of G, and hence it is closed. But Gal.=M / D S M G.S /, and so it
also is closed. The final statement now follows from (7.9).
x of
(b) Since Gal.= H / contains H and is closed, it certainly contains the closure H
x
H . On the other hand, let 2 G X H ; we have to show that moves some element of H .
Because is not in the closure of H ,
Gal.=E/ \ H D ;
for some finite Galois extension E of F in (because the sets Gal.=E/ form a neigh-
bourhood base of 1; see above). Let denote the surjective map Gal.=F / ! Gal.E=F /.
Then jE H , and so moves some element of E H H (apply 3.11b). 2
T HEOREM 7.12 Let be Galois over F with Galois group G. The maps
H 7! H ; M 7! Gal.=M /
are inverse bijections between the set of closed subgroups of G and the set of intermediate
fields between and F :
Moreover,
(a) the correspondence is inclusion-reversing: H1 H2 H1 H2 ;
(b) a closed subgroup H of G is open if and only if H has finite degree over F , in
which case .GW H / D H W F ;
1 1
(c) H $ M , i.e., H D . H /; Gal.=M / D Gal.=M / 1;
P ROOF. For the first statement, we have to show that H 7! H and M 7! Gal.=M / are
inverse maps.
Let H be a closed subgroup of G. Then is Galois over H and Gal.= H / D H
(see 7.11).
Let M be an intermediate field. Then Gal.=M / is a closed subgroup of G and
Gal.=M / D M (see 7.11).
(a) We have the obvious implications:
H1 H2 H) H1 H2 H) Gal.= H1 / Gal.= H2 /:
G=H ! HomF . H ; /
R EMARK 7.13 As in the finite case (3.17), we can deduce the following statements.
T and let Hi $ Mi .
Q Let .Mi /i 2I be a (possibly infinite) family of intermediate fields,
(a)
Let Mi be the smallest field containing all the Mi ; then because i2I Hi is the largest
(closed) subgroup contained in all the Hi ,
Q \
Gal.= Mi / D Hi :
i 2I
EL
P ROPOSITION 7.14 Let E and L be field extensions of F con- D
tained in some common field. If E=F is Galois, then EL=L and
E=E \ L are Galois, and the map E L
D
7! jEW Gal.EL=L/ ! Gal.E=E \ L/ E \L
is an isomorphism of topological groups.
F
P ROOF. We first prove that the map is continuous. Let G1 D Gal.EL=L/ and let G2 D
Gal.E=E \ L/. For any finite set S of elements of E, the inverse image of G2 .S / in G1 is
G1 .S/.
We next show that the map is an isomorphism of groups (neglecting the topology). As
in the finite case, it is an injective homomorphism (3.18). Let H be the image of the map.
Then the fixed field of H is E \ L, which implies that H is dense in Gal.E=E \ L/. But H
is closed because it is the continuous image of a compact space in a Hausdorff space, and so
H D Gal.E=E \ L/.
Finally, we prove that it is open. An open subgroup of Gal.EL=L/ is closed (hence
compact) of finite index; therefore its image in Gal.E=E \ L/ is compact (hence closed) of
finite index, and hence open. 2
C OROLLARY 7.15 Let be an algebraically closed field containing F , and let E and L
be as in the proposition. If W E ! and W L ! are F -homomorphisms such that
jE \ L D jE \ L, then there exists an F -homomorphism W EL ! such that jE D
and jL D .
E XAMPLE 7.16 Let be an algebraic closure of the finite field Fp . Then G D Gal.=Fp /
contains a canonical Frobenius element, D .a 7! ap /, and it is generated by it as a
topological group, i.e., G is the closure of hi. We now determine the structure of G.
Endow Z with the topology for which the groups nZ, n 1, form a fundamental system
of neighbourhoods of 0. Thus two integers are close if their difference is divisible by a large
integer.
As for any topological group, we can complete Z for this topology. A Cauchy sequence
in Z is a sequence .ai /i 1 , ai 2 Z, satisfying the following condition: for all n 1, there
exists an N such that ai aj mod n for i; j > N . Call a Cauchy sequence in Z trivial if
ai ! 0 as i ! 1, i.e., if for all n 1, there exists an N such that ai 0 mod n for all
i > N . The Cauchy sequences form a commutative group, and the trivial Cauchy sequences
form a subgroup. We define Z y to be the quotient of the first group by the second. It has a
ring structure, and the map sending m 2 Z to the constant sequence m; m; m; : : : identifies Z
with a subgroup of Z. y
y
Let 2 Z be represented by the Cauchy sequence .ai /. The restriction of the Frobenius
element to Fpn has order n. Therefore . jFpn /ai is independent of i provided it is
sufficiently large, and we can define 2 Gal.=Fp / to be such that, for each n, jFpn D
.jFpn /ai for all i sufficiently large (depending on n). The map 7! W Zy ! Gal.=Fp /
is an isomorphism.
The group Z y is uncountable. To most analysts, it is a little weirdits connected
components are one-point sets. To number theorists it Q will seem quite natural the
Chinese remainder theorem implies that it is isomorphic to p prime Zp where Zp is the ring
of p-adic integers.
E XAMPLE 7.17 Let Qal be the algebraic closure of Q in C. Then Gal.Qal =Q/ is one of the
most basic, and intractable, objects in mathematics. It is expected that every finite group
occurs as a quotient of it. This is known, for example, for Sn and for every sporadic simple
group except possibly M23 . See (5.41) and mo80359.
On the other hand, we do understand Gal.F ab =F / where F Qal is a finite extension
of Q and F ab is the union of all finite abelian extensions of F contained in Qal . For example,
Gal.Qab =Q/ ' Z y . This is abelian class field theory see my notes Class Field Theory.
A SIDE 7.18 A simple Galois correspondence is a system consisting of two partially ordered sets
P and Q and order reversing maps f W P ! Q and gW Q ! P such that gf .p/ p for all p 2 P
and fg.q/ q for all q 2 Q. Then fgf D f , because fg.fp/ fp and gf .p/ p implies
f .gfp/ f .p/ for all p 2 P . Similarly, gfg D g, and it follows that f and g define a one-to-one
correspondence between the sets g.Q/ and f .P /.
From a Galois extension of F we get a simple Galois correspondence by taking P to be the
set of subgroups of Gal.=F / and Q to be the set of subsets of , and by setting f .H / D H and
g.S / D G.S /. Thus, to prove the one-to-one correspondence in the fundamental theorem, it suffices
to identify the closed subgroups as exactly those in the image of g and the intermediate fields as
exactly those in the image of f . This is accomplished by (7.11).
D EFINITION 7.20 Let .I; / be a directed set, and let C be a category (for example, the cat-
egory of groups and homomorphisms, or the category of topological groups and continuous
homomorphisms).
98 7. I NFINITE G ALOIS E XTENSIONS
qi pi Aj
j
pi
Ai
Clearly, the inverse limit (if it exists), is uniquely determined by this condition up to a unique
j
isomorphism. We denote it lim.Ai ; pi /, or just lim Ai .
j
E XAMPLE 7.21 Let .Gi ; pi W Gj ! Gi / be an inverse system of groups. Let
j
Y
G D f.gi / 2 Gi j pi .gj / D gi all i j g;
j j
and let pi W G ! Gi be the projection map. Then pi pj D pi is just the equation pi .gj / D
j
gi . Let .H; qi / be a second family such that pi qj D qi . The image of the homomorphism
Y
h 7! .qi .h//W H ! Gi
is contained in G, and this is the unique homomorphism H ! G carrying qi to pi . Hence
j
.G; pi / D lim.Gi ; pi /.
j
E XAMPLE 7.22 Let .Gi ; pi W Gj ! Gi / be an inverse system of topological
Q groups and
continuous homomorphisms. When endowed with the product topology, Gi becomes a
topological group
j
Y
G D f.gi / 2 Gi j pi .gj / D gi all i j g;
and G becomes a topological subgroup with the subspace topology. The projection maps
j
pi are continuous. Let H be .H; qi / be a second family such that pi qj D qi . The
homomorphism Y
h 7! .qi .h//W H ! Gi
is continuous because its composites with projection maps are continuous (universal property
j
of the product). Therefore H ! G is continuous, and this shows that .G; pi / D lim.Gi ; pi /.
j
E XAMPLE 7.23 Let .Gi ; pi W Gj ! Gi / be an inverse system of finite groups, and regard
it as an inverse system of topological groups by giving each Gi the discrete topology. A
topological group G arising as an inverse limit of such a system is said to be profinite7 :
7 An inverse limit is also called a projective limit. Thus a profinite group is a projective limit of finite groups.
Nonopen subgroups of finite index 99
j
If .xi / G, say pi00 .xj0 / xi0 , then
P ROPOSITION 7.26 The group Gal.Qal =Q/ has nonopen normal subgroups of index 2n for
all n > 1.
p p p
P ROOF. Let E be the subfield Q 1; 2; : : : ; p; : : :, p prime, of C. For each p,
p p p
Gal.Q 1; 2; : : : ; p=Q/
is a product of copies of Z=2Z indexed by the set fprimes pg [ f1g (apply 5.31; see also
5.30b). As p p p
Gal.E=Q/ D lim Gal.Q 1; 2; : : : ; p=Q/;
8 More precisely, it is Exercise 3 of 7 of Chapter 3 of Bourbakis General Topology.
9 Thisis really needed see mo106216.
x
10 Contrast: . . . it is not known, even when G D Gal.Q=Q/, whether every subgroup of finite index in
G is open; this is one of a number of related unsolved problems, all of which appear to be very difficult.
Swinnerton-Dyer, H. P. F., A brief guide to algebraic number theory. Cambridge, 2001, p133.
100 7. I NFINITE G ALOIS E XTENSIONS
This is a subgroup of G (in fact, it is a direct sum of copies of Z=2Z indexed by the primes
of Q), and it is dense in G because11 clearly every open subset of G contains an element of
H . We can regard G=H as vector space over F2 and apply the lemma to obtain subgroups
Gn of index 2n in G containing H . If Gn is open in G, then it is closed, which contradicts
the fact that H is dense. Therefore, Gn is not open, and its inverse image in Gal.Qal =Q/ is
the desired subgroup.12 2
A SIDE 7.27 Let G D Gal.Qal =Q/. We showed in the above proof that there is a closed normal
subgroup N D Gal.Qal =E/ of G such that G=N is an uncountable vector space over F2 . Let .G=N /_
be the dual of this vector space (also uncountable). Every nonzero f 2 .G=N /_ defines a surjective
map G ! F2 whose kernel is a subgroup of index 2 in G. These subgroups are distinct, and so G
has uncountably many subgroups of index 2. Only countably many of them are open because Q has
only countably many quadratic extensions in a fixed algebraic closure.
A SIDE 7.28 Let G be a profinite group that is finitely generated as a topological group. It is a
difficult theorem, only recently proved, that every subgroup of finite index in G is open (Nikolov,
Nikolay; Segal, Dan. On finitely generated profinite groups. I. Strong completeness and uniform
bounds. Ann. of Math. (2) 165 (2007), no. 1, 171238.)
in H converges to .al /.
12 The inverse image is not open because every continuous homomorphism from a compact group to a
For Grothendieck, the classification of field extensions by Galois groups, and the classifi-
cation of covering spaces by fundamental groups, are two aspects of the same theory. In
this chapter, we re-interprete classical Galois theory from Grothendiecks point of view. We
assume the reader is familiar with the language of category theory (Wikipedia: Category
theory; Equivalence of categories).
Throughout, F is a field, all rings and F -algebras are commutative, and unadorned tensor
products are over F . An F -algebra A is finite if it is finitely generated as an F -module.
The radical of an ideal I in a ring A is the set of f 2 A such that f n 2 I for some
n 2 N. It is again an ideal, and it is equal to its own radical.
The nilradical N of A is the radical of the ideal .0/. It consists of the nilpotents in A. If
N D 0, then A is said to be reduced.
P ROPOSITION 8.3 Let A be a finitely generated F -algebra, and let I be an ideal in A. The
radical of I is equal to the intersection of the maximal ideals containing it:
\
rad.I / D fM j M I , M maximalg:
T
In particular, A is reduced if and only if fM j M maximalg D 0.
101
102 8. T HE G ALOIS THEORY OF ETALE ALGEBRAS
P ROOF. Because of the correspondence between ideals in a ring and in a quotient of the
ring, it suffices to prove thisTfor A D F X1 ; : : : ; Xn .
The inclusion rad.I / fM j M I , M maximalg holds in any ring (because maximal
ideals are radical and rad.I / is the smallest radical ideal containing I ).
For the reverse inclusion, let h lie in all maximal ideals containing I , and let .a1 ; : : : ; an / 2
Z.I /. The image of the evaluation map
f 7! f .a1 ; : : : ; an /W F X1 ; : : : ; Xn ! F al
is a subring of F al which is algebraic over F , and hence is a field (see 1.31a). Therefore,
the kernel of the map is a maximal ideal, which contains I , and therefore also contains h.
This shows that h.a1 ; : : : ; an / D 0, and we conclude from the strong Nullstellensatz that
h 2 rad.I /. 2
Let A be a finite F -algebra. For any finite set SQof maximal ideals in A, the Chinese
remainder
T theorem (8.1) shows that the map A ! M 2S A=M is surjective with kernel
M 2S M . In particular, jS j AW F , and T
so A has only finitely many maximal ideals. If S
is the set of all maximal ideals in A, then M 2S M is the nilradical N of A (8.3), and so
A=N is a finite product of fields.
(c))(a). We may suppose that A itself is a separable field extension of F . From the
primitive element theorem (5.1), we know that A D F u for some u. Because F u is
separable over F , the minimum polynomial f .X / of u is separable, which means that
Y
f .X / D .X ui /; ui uj for i j;
P ROOF. The proof that (c) implies (a) in (8.5) shows that L A is diagonalizable if certain
separable polynomials split in L. By definition, all separable polynomials split in F sep . 2
E XAMPLE 8.7 Let f 2 F X , and let A D F X =.f /. Let f D fimi with the fi irre-
Q
ducible and distinct. According to the Chinese remainder theorem (CA 2.12)
F X =.fimi /:
Y
A'
i
P ROPOSITION 8.8 Finite products, tensor products, and quotients of diagonalizable (resp.
etale) F -algebras are diagonalizable (resp. etale).
P ROOF. This is obvious for diagonalizable algebras, and it follows for etale algebras. 2
C OROLLARY 8.9 The composite of any finite set of etale subalgebras of a F -algebra is
etale.
a1 an 7! a1 an W A1 An ! B;
and so is a quotient of A1 An . 2
P ROPOSITION 8.10 Let A be etale over F , and let F 0 be a field containing F . Then F 0 A
is etale over F 0 .
P ROOF. Let L be such that L A Lm , and let L0 be a field containing (copies of) both L
and F 0 . Then
m
L0 F 0 F 0 A ' L0 A ' L0 L .L A/ L0 L Lm ' L0 .
2
104 8. T HE G ALOIS THEORY OF ETALE ALGEBRAS
R EMARK 8.11 Let A be an etale algebra over F , and write A as a product of fields, A D
Q
i Ai . A generator for A as an F -algebra is a tuple .i / with each i a generator for Ai
as an F -algebra. Because each Ai is separable
Q over F , such an exists (primitive element
theorem 5.1). Choose an , and let f D i fi be the product of the minimum polynomials
of the i . Then f is a monic polynomial whose irreducible factors are separable.
Conversely, let f be a monic polynomial whose irreducible factors .fi /i are separable.
def Q
Then A D i F X =.fi / is an etale algebra over F with a canonical generator.
In this way, we get a one-to-one correspondence between the set of isomorphism classes
of pairs .A; / consisting of an etale F -algebra and a generator and the set of monic
polynomials whose irreducible factors are separable.
T HEOREM 8.13 The functor A F.A/ is a contravariant equivalence from the category
of etale F -algebras to the category of finite continuous G-sets.
P ROOF. We have to prove the following two statements.
(a) The functor F is fully faithful, i.e., for all etale F -algebras A and B, the map
HomF -algebras .A; B/ ! HomG-sets .F.B/; F.A//
is bijective.
(b) The functor F is essentially surjective, i.e., every finite continuous G-set is isomorphic
to F.A/ for some etale F -algebra A.
Let V be a vector space over F , and let V D F V . Then G acts on V through its
action on , and
def
V ' .V /G D fv 2 V j v D v for all 2 Gg:
To see this, choose an F -basis e D fe1 ; : : : ; en g for V . Then e is an -basis forV , and
.a1 e1 C C an en / D . a1 /e1 C C . an /en ; ai 2 :
Therefore a1 e1 C C an en is fixed by all 2 G if and only if a1 ; : : : ; an 2 F .
Similarly, if W is a second vector space over F , then G acts on Hom-linear .V ; W /
by D 1 , and
HomF -linear .V; W / ' Hom-linear .V ; W /G : (7)
Indeed, a choice of bases for V and W determines isomorphisms HomF -linear .V; W / '
Mm;n .F / (m n matrices with entries from F ) and Hom-linear .V ; W / ' Mm;n ./,
and G acts on Mm;n ./ in the obvious way. Now (7) follows from the obvious statement:
Mm;n .F / D Mm;n ./G .
Let A and B be etale F -algebras. Under the isomorphism
HomF -linear .A; B/ ' Hom-linear .A ; B /G ;
F -algebra homomorphisms correspond to -algebra homomorphisms, and so
HomF -algebra .A; B/ ' Hom-algebra .A ; B /G .
From (8.6), we know that A (resp. B ) is a product of copies of indexed by the elements
of F.A/ (resp. F.B/). Let t be a map of sets F.B/ ! F.A/. Then
.ai /i 2F .A/ 7! .bj /j 2F .B/ ; bj D a t .j / ;
is a homomorphism of -algebras A ! B , and every homomorphism of -algebras
A ! B is of this form for a unique t. Thus
Hom-algebra .A ; B / ' HomSets .F.B/; F.A//:
This isomorphism is compatible with the actions of G, and so
Hom-algebra .A ; B /G ' HomSets .F.B/; F.A//G :
In other words,
HomF -algebra .A; B/ ' HomG-sets .F.B/; F.A//:
F
This proves (a). For (b), let S be a finite G-set, and let S D i 2I Si be the decomposition
of S into a union of G-orbits. For each i , choose an si 2 Si , and let Fi be the subfield of
fixed by the stabilizer of si . Then
Q
F i 2I Fi ' S: 2
106 8. T HE G ALOIS THEORY OF ETALE ALGEBRAS
When we let G act on A through its action on , the map (8) becomes equivariant.
Now:
(a) for every etale F -algebra A,
A ' . A/G I
(b) for every finite set S with a continuous action of G, . S /G is an etale F -subalgebra
of S , and
F.. S /G / ' S:
Therefore, A F.A/ is an equivalence of categories with quasi-inverse S . S /G .
In this chapter we consider fields F with much bigger than F . For example, we
could have C Q:
Algebraic independence
Elements 1 ; :::; n of give rise to an F -homomorphism
f 7! f .1 ; :::; n /W F X1 ; : : : ; Xn ! .
If the kernel of this homomorphism is zero, then the i are said to be algebraically inde-
pendent over F , and otherwise, they are algebraically dependent over F . Thus, the i
are algebraically dependent over F if there exists a nonzero polynomial f .X1 ; :::; Xn / 2
F X1 ; :::; Xn such that f .1 ; :::; n / D 0, and they are algebraically independent if
109
110 9. T RANSCENDENTAL E XTENSIONS
L EMMA 9.3 Let
2 and let A . The following conditions are equivalent:
(a)
is algebraic over F .A/;
(b) there exist 1 ; : : : ; n 2 F .A/ such that
n C 1
n 1 CC
n D 0;
(c) there exist 0 ; 1 ; : : : ; n 2 F A, not all 0, such that 0
n C 1
n 1 CC
n D 0;
(d) there exists an f .X1 ; : : : ; Xm ; Y / 2 F X1 : : : ; Xm ; Y and 1 ; : : : ; m 2 A such that
f .1 ; : : : ; m ; Y / 0 but f .1 ; : : : ; m ;
/ D 0.
D EFINITION 9.4 When
satisfies the equivalent conditions of Lemma 9.3, it is said to be
algebraically dependent on A (over F /. A set B is algebraically dependent on A if each
element of B is algebraically dependent on A.
The theory in the remainder of this chapter is logically very similar to a part of linear
algebra. It is useful to keep the following correspondences in mind:
Transcendence bases
T HEOREM 9.5 (F UNDAMENTAL RESULT ) Let A D f1 ; :::; m g and B D f1 ; :::; n g be
two subsets of . Assume
(a) A is algebraically independent (over F );
(b) A is algebraically dependent on B (over F ).
Then m n.
f .1 ; :::; m ; Y / 0; f .1 ; :::; m ; / D 0:
Transcendence bases 111
Write f as a polynomial in Xm ,
X
n i
f .X1 ; :::; Xm ; Y / D ai .X1 ; :::; Xm 1 ; Y /Xm ;
i
ai .1 ; :::; m 1 ; Y /;
say ai0 , is not the zero polynomial. Because is not algebraically dependent on
f1 ; :::; m 1 g;
P ROOF. The argument in the proof of Proposition 1.44 shows that if
is algebraic over a
field E which is algebraic over a field F , then
is algebraic over F (if a1 ; : : : ; an are the
coefficients of the minimum polynomial of
over E, then the field F a1 ; : : : ; an ;
has
finite degree over F ). Apply this with E D F .A [ B/ and F D F .A/. 2
P ROOF ( OF T HEOREM 9.5) Let k be the number of elements that A and B have in com-
mon. If k D m, then A B, and certainly m n. Suppose that k < m, and write B D
f1 ; :::; k ; kC1 ; :::; n g. Since kC1 is algebraically dependent on f1 ; :::; k ; kC1 ; :::; n g
but not on f1 ; :::; k g, there will be a j , k C 1 j n, such that kC1 is algebraically
dependent on f1 ; :::; k ; kC1 ; :::; j g but not
L EMMA 9.9 If is algebraic over F .A/, and A is minimal among subsets of with this
property, then it is a transcendence basis for over F .
T HEOREM 9.10 If there is a finite subset A such that is algebraic over F .A/, then
has a finite transcendence basis over F . Moreover, every transcendence basis is finite,
and they all have the same number of elements.
112 9. T RANSCENDENTAL E XTENSIONS
P ROOF. In fact, every minimal subset A0 of A such that is algebraic over F .A0 / will be a
transcendence basis. The second statement follows from Theorem 9.5. 2
f D g0 Y m C g1 Y m 1
C C gm ; gi 2 F X1 ; :::; Xn ; g0 0; m 1:
P ROOF. We have to prove that is algebraic over F .A/ if A is maximal among algebraically
independent subsets. But the maximality implies that, for every 2 X A, A [ fg is
algebraically dependent, and so the lemma shows that is algebraic over F .A/. 2
Recall that (except in 7), we use an asterisk to signal a result depending on Zorns
lemma.
P ROOF. Let S be the set of algebraically independent subsets of containing the given
S can partially order it by inclusion. Let T be a totally ordered subset of S, and let
set. We
B D fA j A 2 T g. I claim that B 2 S, i.e., that B is algebraically independent. If not,
there exists a finite subset B 0 of B that is not algebraically independent. But such a subset
will be contained in one of the sets in T , which is a contradiction. Now Zorns lemma shows
that there exists a maximal algebraically independent containing S, which Proposition 9.12
shows to be a transcendence basis for over F . 2
It is possible to show that any two (possibly infinite) transcendence bases for over F
have the same cardinality. The cardinality of a transcendence basis for over F is called
the transcendence degree of over F . For example, the pure transcendental extension
F .X1 ; : : : ; Xn / has transcendence degree n over F .
E XAMPLE 9.15 Let be the field of meromorphic functions on a compact complex mani-
fold M .
(a) The only meromorphic functions on the Riemann sphere are the rational functions in
z. Hence, in this case, is a pure transcendental extension of C of transcendence degree 1.
(b) If M is a Riemann surface, then the transcendence degree of over C is 1, and is
a pure transcendental extension of C M is isomorphic to the Riemann sphere
(c) If M has complex dimension n, then the transcendence degree is n, with equality
holding if M is embeddable in some projective space.
P ROPOSITION 9.16 Any two algebraically closed fields with the same transcendence
degree over F are F -isomorphic.
P ROOF. Choose transcendence bases A and A0 for the two fields. By assumption, there
exists a bijection A ! A0 , which extends uniquely to an F -isomorphism F A ! F A0 , and
hence to an F -isomorphism of the fields of fractions F .A/ ! F .A0 /. Use this isomorphism
to identify F .A/ with F .A0 /. Then the two fields in question are algebraic closures of the
same field, and hence are isomorphic (Theorem 6.8). 2
R EMARK 9.17 Any two algebraically closed fields with the same uncountable cardinality
and the same characteristic are isomorphic. The idea of the proof is as follows. Let F and
F 0 be the prime subfields of and 0 ; we can identify F with F 0 . Then show that when
is uncountable, the cardinality of is the same as the cardinality of a transcendence basis
over F . Finally, apply the proposition.
R EMARK 9.18 What are the automorphisms of C? There are only two continuous auto-
morphisms (cf. Exercise A-8 and solution). If we assume Zorns lemma, then it is easy to
construct many: choose any transcendence basis A for C over Q, and choose any permu-
tation of A; then defines an isomorphism Q.A/ ! Q.A/ that can be extended to an
automorphism of C. Without Zorns lemma, there are only two, because the noncontinuous
automorphisms are nonmeasurable,1 and it is known that the Zorns lemma is required to
construct nonmeasurable functions.2
Luroths theorem
T HEOREM 9.19 (L UROTH ) Let L D F .X / with X transcendental over F . Every subfield
E of L properly containing F is of the form E D F .u/ for some u 2 L transcendental over
F.
theory (ZF) if use of the axiom of choice is disallowed... R. Solovay, Ann. of Math., 92 (1970), 156.
114 9. T RANSCENDENTAL E XTENSIONS
G AUSS S LEMMA
Let R be a unique factorization domain, and let QP be its field of fractions, for example,
R D F X and Q D F .X /. A polynomial f .T / D ai T i in RT is said to be primitive
if its coefficients ai have no common factor other than units. Every polynomial f in QX
can be written f D c.f / f1 with c.f / 2 Q and f1 primitive (write f D af =a with a a
common denominator for the coefficients of f , and then write f D .b=a/f1 with b the
greatest common divisor of the coefficients of af ). The element c.f / is uniquely determined
up to a unit, and f 2 RX if and only if c.f / 2 R.
Let f D c.f /f1 and g D c.g/g1 with f1 and g1 primitive. Then fg D c.f /c.g/f1 g1 with
f1 g1 primitive, and so c.fg/ D c.f /c.g/ and .fg/1 D f1 g1 .
P ROOF. Let u.X / D a.X /=b.X / with a.X / and b.X / relatively prime polynomials. Now
a.T / b.T /u 2 F .u/T , and it has X as a root, and so X is algebraic over F .u/. It follows
that u is transcendental over F (otherwise X would be algebraic over F ; 1.31b).
The polynomial a.T / b.T /Z 2 F Z; T is clearly irreducible. As u is transcendental
over F ,
F Z; T ' F u; T ; Z $ u; T $ T;
and so a.T / b.T /u is irreducible in F u; T , and hence also in F .u/T by Gausss lemma
(9.22). It has X as a root, and so, up to a constant, it is the minimum polynomial of X over
F .u/, and its degree is deg.u/, which proves the lemma. 2
Luroths theorem 115
F .X /W E F .X /W F .u/ D deg.u/;
f .T / D T n C a1 T n 1
C C an ; ai 2 E;
f1 .X; T / D df .T / D d T n C da1 T n 1
C C dan 2 F X; T :
In (9), the polynomial c.X / b.T / c.T / b.X / has degree at most m in X, and m
is the degree of f1 .X; T / in X. Therefore, c.X / b.T / c.T / b.X / has degree exactly
m in X , and h.X; T / has degree 0 in X, i.e., h 2 F T . It now follows from (9) that
c.X/ b.T / c.T / b.X / is not divisible by a nonconstant polynomial in F X .
The polynomial c.X / b.T / c.T / b.X / is symmetric in X and T , i.e., it is unchanged
when they are swapped. Therefore, it has degree m in T and it is not divisible by a
nonconstant polynomial in F T . It now follows from (9) that h is not divisible by a
nonconstant polynomial in F T , and so it lies in F . We conclude that f1 .X; T / is a
constant multiple of c.X / b.T / c.T / b.X /.
On comparing degrees in T in (9), we see that n D m. Thus
9.24
F .X /W F .ai / D deg.ai / deg.dai / D m D n D F .X /W E F .X /W F .ai /:
116 9. T RANSCENDENTAL E XTENSIONS
R EMARK 9.26 Luroths theorem fails when there is more than one variable see Zariskis
example (footnote to Remark 5.5) and Swans example (Remark 5.41). However, the
following is true: if F .X; Y /W E < 1 and F is algebraically closed of characteristic zero,
then E is a pure transcendental extension of F (Theorem of Zariski, 1958).
N OTES Luroth proved his theorem over C in 1876. For general fields, it was proved by Steinitz in
1910, by the above argument.
P ROOF. If F has characteristic zero, then every transcendence basis is separating, and so
the statement becomes that of (9.10). Thus, we may assume F has characteristic p 0.
p p
Because F is perfect, every polynomial in X1 ; : : : ; Xn with coefficients in F is a pth power
in F X1 ; : : : ; Xn :
X 1 p
i1 p i1
X
in p p in
ai1 in X1 : : : Xn D ai1 in X1 : : : Xn :
A SIDE 9.28 In fact, we showed that E admits a separating transcendence basis with d C 1 elements
where d is the transcendence degree. This has the following geometric interpretation: every irre-
ducible algebraic variety of dimension d over a perfect field F is birationally equivalent with a
hypersurface H in Ad C1 for which the projection .a1 ; : : : ; ad C1 / 7! .a1 ; : : : ; ad / realizes F .H / as a
finite separable extension of F .Ad / (see my notes on Algebraic Geometry).
Transcendental Galois theory 117
Let F be fields and let G D Aut.=F /. For any finite subset S of , let
Then, as in 7, the subgroups G.S / of G form a neighbourhood base for a unique topology
on G, which we again call the Krull topology. The same argument as in 7 shows that this
topology is Hausdorff (but it is not necessarily compact).
T HEOREM 9.31 Let F be fields such that G D F , G D Aut.=F /.
(a) For every finite extension E of F in , Aut.=E / D E.
(b) The maps
H 7! H ; M 7! Aut.=M / (10)
are inverse bijections between the set of compact subgroups of G and the set of intermediate
fields over which is Galois (possibly infinite):
Galois
fcompact subgroups of Gg $ ffields M such that F M g:
(c) If there exists an M finitely generated over F such that is Galois over M , then G
is locally compact, and under (10):
1W1 finitely generated Galois
fopen compact subgroups of Gg $ ffields M such that F M g:
Exercises
9-1 Find the centralizer of complex conjugation in Aut.C=Q/.
A PPENDIX A
Review Exercises
A-2 Show that the Galois group of the splitting field F of X 3 7 over Q is isomorphic
to S3 , and exhibit the fields between Q and F . Which of the fields between Q and F are
normal over Q?
p p
A-3 Prove that the two fields Q 7 and Q 11 are not isomorphic.
A-4 (a) Prove that the multiplicative group of all nonzero elements in a finite field is
cyclic.
(b) Construct explicitly a field of order 9, and exhibit a generator for its multiplicative
group.
A-6 Prove as directly as you can that if is a primitive pth root of 1, p prime, then the
Galois group of Q over Q is cyclic of order p 1.
A-9 Let F be a field with 16 elements. How many roots in F does each of the following
polynomials have? X 3 1; X 4 1; X 15 1; X 17 1.
A-10 Find the degree of a splitting field of the polynomial .X 3 5/.X 3 7/ over Q.
A-11 Find the Galois group of the polynomial X 6 5 over each of the fields Q and R.
119
120 A. R EVIEW E XERCISES
A-12 The coefficients of a polynomial f .X / are algebraic over a field F . Show that f .X /
divides some nonzero polynomial g.X / with coefficients in F .
A-17 Let E be the splitting field over Q of .X 2 2/.X 2 5/.X 2 7/. Find an element
in E such that E D Q. (You must prove that E D Q.)
A-18 Let E be a Galois extension of F with Galois group Sn , n > 1 not prime. Let H1 be
the subgroup of Sn of elements fixing 1, and let H2 be the subgroup generated by the cycle
.123 : : : n/. Let Ei D E Hi , i D 1; 2. Find the degrees of E1 , E2 , E1 \ E2 , and E1 E2 over
F . Show that there exists a field M such that F M E2 , M F , M E2 , but that no
such field exists for E1 .
A-19 Let be a primitive 12th root of 1 over Q. How many fields are there strictly between
Q 3 and Q.
A-20 For the polynomial X 3 3, find explicitly its splitting field over Q and elements that
generate its Galois group.
A-23 Identify the Galois group of the splitting field F of X 4 3 over Q. Determine the
number of quadratic subfields.
A-24 Let F be a subfield of a finite field E. Prove that the trace map T D TrE=F and the
norm map N D NmE=F of E over F both map E onto F . (You may quote basic properties
of finite fields and the trace and norm.)
A-37 Describe the splitting field and Galois group, over Q, of the polynomial X 5 9.
A-38 Suppose that E is a Galois field extension of a field F such that EW F D 53 .43/2 .
Prove that there exist fields K1 and K2 lying strictly between F and E with the following
properties: (i) each Ki is a Galois extension of F ; (ii) K1 \ K2 D F ; and (iii) K1 K2 D E.
A-39 Let F D Fp for some prime p. Let m be a positive integer not divisible by p, and let
K be the splitting field of X m 1. Find KW F and prove that your answer is correct.
A-40 Let F be a field of 81 elements. For each of the following polynomials g.X /,
determine the number of roots of g.X / that lie in F : X 80 1, X 81 1, X 88 1.
A-42 Let K be a field of characteristic p > 0 and let F D K.u; v/ be a field extension of
degree p 2 such that up 2 K and v p 2 K. Prove that K is not finite, that F is not a simple
extension of K, and that there exist infinitely many intermediate fields F L K.
3
p Find the splitting field and Galois group of the polynomial X
A-43 5 over the field
Q 2.
A-44 For every prime p, find the Galois group over Q of the polynomial X 5 5p 4 X C p.
A-45 Factorize X 4 C 1 over each of the finite fields (a) F5 ; (b) F25 ; and (c) F125 . Find its
splitting field in each case.
A-47 Let F be a field of characteristic zero, and let p be a prime number. Suppose that
F has the property that all irreducible polynomials f .X / 2 F X have degree a power
of p .1 D p 0 is allowed). Show that every equation g.X / D 0, g 2 F X , is solvable by
extracting radicals.
p p
A-48 Let K D Q 5; 7 and let L be the splitting field over Q of f .X / D X 3 10.
(a) Determine the Galois groups of K and L over Q.
(b) Decide whether K contains a root of f .
(c) Determine the degree of the field K \ L over Q.
[Assume all fields are subfields of C.]
r r
A-49 Find the splitting field (over Fp ) of X p X 2 Fp X , and deduce that X p X
has an irreducible factor f 2 Fp X of degree r. Let g.X / 2 ZX be a monic polynomial
that becomes equal to f .X / when its coefficients are read modulo p. Show that g.X / is
irreducible in QX .
A-50 Let E be the splitting field of X 3 51 over Q. List all the subfields of E, and find
an element
of E such that E D Q
.
123
A-51 Let k D F1024 be the field with 1024 elements, and let K be an extension of k of
degree 2. Prove that there is a unique automorphism of K of order 2 which leaves k
elementwise fixed and determine the number of elements of K such that .x/ D x 1 .
A-52 Let F and E be finite fields of the same characteristic. Prove or disprove these
statements:
(a) There is a ring homomorphism of F into E if and only if jEj is a power of jF j.
(b) There is an injective group homomorphism of the multiplicative group of F into the
multiplicative group of E if and only if jEj is a power of jF j.
A-53 Let L=K be an algebraic extension of fields. Prove that L is algebraically closed if
every polynomial over K factors completely over L.
A-54 Let K be a field, and let M D K.X /, X an indeterminate. Let L be an intermediate
field different from K. Prove that M is finite-dimensional over L.
A-55 Let 1 ; 2 ; 3 be the roots of the polynomial f .X / D X 3 C X 2 9X C 1.
(a) Show that the i are real, nonrational, and distinct.
(b) Explain why the Galois group of f .X / over Q must be either A3 or S3 . Without
carrying it out, give a brief description of a method for deciding which it is.
(c) Show that the rows of the matrix
0 1
3 9 9 9
B3 1 2 3 C
B C
@3 2 3 1 A
3 3 1 2
are pairwise orthogonal; compute their lengths, and compute the determinant of the
matrix.
A-56 Let E=K be a Galois extension of degree p 2 q where p and q are primes, q < p and
q not dividing p 2 1. Prove that:
(a) there exist intermediate fields L and M such that LW K D p 2 and M W K D q;
(b) such fields L and M must be Galois over K; and
(c) the Galois group of E=K must be abelian.
A-57 Let be a primitive 7th root of 1 (in C).
(a) Prove that 1 C X C X 2 C X 3 C X 4 C X 5 C X 6 is the minimum polynomial of over
Q.
(b) Find the minimum polynomial of C 1 over Q.
1
A-58 Find the degree over Q of the Galois closure K of Q2 4 and determine the isomor-
phism class of Gal.K=Q/.
p p
A-59 Let p; q be distinct positive prime numbers, and consider the extension K D Q p; q
Q.
(a) Prove that the Galois group is isomorphic to C2 C2 .
p
(b) Prove that every subfield of K of degree 2 over Q is of the form Q m where
m 2 fp; q; pqg.
(c) Show that there is an element
2 K such that K D Q
.
A PPENDIX B
Two-hour Examination
./ C 3 ./ D C 2 ./ all 2 E;
show that 2 D 1.
(b) Let p be a prime number and let a; b be rational numbers such that a2 C pb 2 D 1. Show
2 pd 2
that there exist rational numbers c; d such that a D cc2 Cpd 2cd
2 and b D c 2 Cpd 2 . !!Check!!
125
126 B. T WO - HOUR E XAMINATION
Can either of the conditions (i) or (ii) be dropped? (Either prove, or give a counterexam-
ple.)
You should prove all answers. You may use results proved in class or in the notes, but you
should indicate clearly what you are using.
Possibly useful facts: The discriminant of X 3 C aX C b is 4a3 27b 2 and 28 1 D 255 D
3 5 17.
A PPENDIX C
Solutions to the Exercises
These solutions fall somewhere between hints and complete solutions. Students were expected
to write out complete solutions.
1-1. Similar to Example 1.28.
p p p
1-2. Verify that 3 is not a square in Q 2, and so Q 2; 3W Q D 4.
1-3. (a) Apply the division algorithm, to get f .X / D q.X /.X a/ C r.X / with r.X /
constant, and put X D a to find r D f .a/.
(c) Use that factorization in F X is unique (or use induction on the degree of f ).
(d) If G had two cyclic factors C and C 0 whose orders were divisible by a prime p, then G
would have (at least) p 2 elements of order dividing p. This doesnt happen, and it follows
that G is cyclic.
(e) The elements of order m in F are the roots of the polynomial X m 1, and so there are
at most m of them. Hence every finite subgroup G of F satisfies the condition in (d).
1-4. Note that it suffices to construct D cos 2 7 1
7 , and that QW Q D 2 D 3, and so its
minimum polynomial has degree 3 (see Example 3.21). There is a standard method (once
taught in high schools) for solving cubics using the equation
By completing the cube, reduce the cubic to the form X 3 pX q. Then construct a
square root a of 4p 2 4p 4q
3 , so that a D 3 . Let 3 be the angle such that cos 3 D a3 , and use
the angle trisector to construct cos . From the displayed equation, we find that D a cos
is a root of X 3 pX q.
1-5. Let f1 be an irreducible factor of f in EX , and let .L; / be a stem field for f1 over
E. Then mjLW F because L E (1.20). But f ./ D 0, and so .F ; / is a stem field for
f over F , which implies that F W F D n. Now njLW F because L F . We deduce
that LW F D mn and LW E D n. But LW E D deg.f1 /, and so f1 D f .
1-6.The polynomials f .X / 1 and f .X / C 1 have only finitely many roots, and so there
exists an n 2 Z such that f .n/ 1. Let p be a prime dividing n. Then f .n/ D 0 modulo
p, and so f has a root in Fp . Thus it is not irreducible in Fp X .
2-1. (a) is obvious, as is the only if in (b). For the if note that for any a 2 S.E/, a F 2 ,
E F X =.X 2 a/.
p
(c) Take Ei D Q pi with pi the i th prime. Check that pi is the only prime that
p
becomes a square in Ei . For this use that .a C b p/2 2 Q H) 2ab D 0.
127
128 C. S OLUTIONS TO THE E XERCISES
(d) Every field of characteristic p contains (an isomorphic copy of) Fp , and so we are
looking at the quadratic extensions of Fp . The homomorphism a 7! a2 W Fp ! Fp has kernel
f1g, and so its image has index 2 in Fp . Thus the only possibility for S.E/ is Fp , and
so there is at most one E (up to Fp -isomorphism). To get one, take E D F X =.X 2 a/,
a Fp2 .
2-2. (a) If is a root of f .X / D X p X a (in some splitting field), then the remaining
roots are C 1; : : : ; C p 1, which obviously lie in whichever field contains . Moreover,
they are distinct. Suppose that, in F X ,
f .X / D .X r C a1 X r 1
C C ar /.X p r
C /; 0 < r < p:
X f .X /
f 0 .X / D mi
X i
i /mi 1.
Q Q
and so d.X / D mi >1 .X Therefore g.X / D .X i /.
2-6. From (2.12) we know that either f is separable or f .X / D f1 .X p / for some polynomial
f1 . Clearly f1 is also irreducible. If f1 is not separable, it can be written f1 .X / D f2 .X p /.
Continue in the way until you arrive at a separable polynomial. For the final statement, note
e e pe
that g.X / D .X ai /, ai aj , and so f .X / D g.X p / D .X i /p with i D ai .
Q Q
(b) We have
p p 2 p !2
2 2 2 .2 2/ 2 2 p
D p D D p D . 2 1/2 ;
2 2C 2 4 2 2
p p
i.e., 2 D .. 2 1//2 . Thus, if 2 M , then D . 2 1/, and
p p
2 D . 2 1/. 2 1/ D I
check that its discriminant is not a square or, more simply, show by examining its graph that
g.X/ has only one real root, and hence its Galois group contains a transposition (cf. the
proof of 4.16).
4-3. Eisensteins criterion shows that X 8 2 is irreducible over Q, and so QW Q D 8
where is a positive 8th root of 2. As usual for polynomials of this type, the splitting field
is Q; where is any primitive 8th root of 1. For example, can be taken to be 1Ci p ,
2
which lies in Q; i . It follows that the splitting field is Q; i . Clearly Q; i Q,
because Q, unlike i , is contained in R, and so Q; i W Q D 2. Therefore the degree is
2 8 D 16.
4-4. Find an extension L=F with Galois group S4 , and let E be the fixed field of S3 S4 .
There is no subgroup strictly between Sn and Sn 1 , because such a subgroup would be
transitive and contain an .n 1/-cycle and a transposition, and so would equal Sn . We can
take E D LS3 . More specifically, we can take L to be the splitting field of X 4 X C 2 over
Q and E to be the subfield generated by a root of the polynomial (see 3.26).
4-5. Type: Factor.X 343 X / mod 7; and discard the 7 factors of degree 1.
4-6. Type galois.X 6 C 2X 5 C 3X 4 C 4X 3 C 5X 2 C 6X C 7/;. It is the group PGL2 .F5 /
(group of invertible 2 2 matrices over F5 modulo scalar matrices) which has order 120.
Alternatively, note that there are the following factorizations: mod 3, irreducible; mod 5 (deg
3)(deg 3); mod 13 (deg 1)(deg 5); mod 19, (deg 1/2 (deg 4); mod 61 (deg 1/2 (deg 2/2 ; mod
79, (deg 2/3 . Thus the Galois group has elements of type:
6; 3 C 3; 1 C 5; 1 C 1 C 4; 1 C 1 C 2 C 2; 2 C 2 C 2:
g.X / D X 3 X 2 C .1 4a/X C 3a 1:
Use Galois theory to show there exists one, for example. (b) Only one; it consists of all the
m
solutions of X p X D 0.
A-2. The polynomial is irreducible by Eisensteins criterion. The polynomial has only one
real root, and therefore complex conjugation is a transposition in Gf . This proves that
p
Gf S3 . The discriminant is 1323 D 33 72 . Only the subfield Q 3 is normal over
p
3
p
3 2
p
3
Q. The subfields Q 7, Q 7 Q 7 are not normal over Q. [The discriminant of
X 3 a is 27a2 D 3.3a/2 .]
p
A-3. The primep7 becomes a square in the first field, but 11 does not: .a C b 7/2 D
a2 C 7b 2 C 2ab
p 7, which lies in Q only if ab D 0. Hence the rational numbers that become
2
squares in Q 7 are those that are already squares or lie in 7Q .
132 C. S OLUTIONS TO THE E XERCISES
Take to be a root of X 2 C X C 2.
f
A-5. Since E F , E contains an element g with the degree of f or g > 0. Now
f .X /
f .T / g.T /
g.X /
is a nonzero polynomial having X as a root.
A-6. Use Eisenstein to show that X p 1 CC1 is irreducible, etc. Done in class.
A-7. The splitting field is Q; where 5 D 1 and 5 D 2. It is generated by D .12345/
and D .2354/, where D and D 2 . The group has order 20. It is not abelian
(because Q is not Galois over Q), but it is solvable (its order is < 60).
A-8. (a) A homomorphism W R ! R acts as the identity map on Z, hence on Q, and it maps
positive real numbers to positive real numbers, and therefore preserves the order. Hence, for
each real number a,
fr 2 Q j a < rg D fr 2 Q j .a/ < rg;
which implies that .a/ D a.
(b) Choose a transcendence basis A for C over Q. Because it is infinite, there is a bijection
W A ! A0 from A onto a proper subset. Extend to an isomorphism Q.A/ ! Q.A0 /, and
then extend it to an isomorphism C ! C0 where C0 is the algebraic closure of Q.A0 / in C.
A-9. The group F is cyclic of order 15. It has 3 elements of order dividing 3, 1 element of
order dividing 4, 15 elements of order dividing 15, and 1 element of order dividing 17.
A-10. If E1 and E2 are Galois extensions of F , then E1 E2 and E1 \ E2 are Galois over F ,
and there is an exact sequence
p p
D3 . The Galois group is the product (they could only intersect in Q 3, but 3 does not
become a square in E1 ).
A-16. The multiplicative group of F is cyclic of order q 1. Hence it contains an element
of order 4 if and only if 4jq 1.
p p p
A-17. Take D 2 C 5 C 7.
A-18. We have E1 D E H1 , which has degree n over F , and E2 D E <1n> , which has
degree .n 1/ over F , etc.. This is really a problem in group theory posing as a problem in
field theory.
A-19. We have Q D Qi; 0 where 0 is a primitive cube root of 1 and i D 3 etc..
p
A-20. The splitting field is Q; 3 3, and the Galois group is S3 .
A-21. Use that
. C 4 /.1 C 2 / D C 4 C 3 C
A-22. (a) is Dedekinds theorem. (b) is Artins theorem 3.4. (c) is O.K. because X p ap
has a unique root in .
A-23. The splitting field is Qi; where 4 D 3, and the Galois group is D4 with generators
.1234/ and .13/ etc..
A-24. From Hilberts theorem 90, we know that the kernel of the map N W E ! F consists
of elements of the form . The map E ! E , 7! , has kernel F . Therefore the
m
kernel of N has order qq 11 , and hence its image has order q 1. There is a similar proof
for the trace I dont know how the examiners expected you to prove it.
A-25. (a) is falsecould be inseparable. (b) is truecouldnt be inseparable.
A-26. Apply the Sylow theorem to see that the Galois group has a subgroup of order 81.
Now the Fundamental Theorem of Galois theory shows that F exists.
A-27. The greatest common divisor of the two polynomials over Q is X 2 C X C 1, which
must therefore be the minimum polynomial for .
A-28. Theorem on p-groups plus the Fundamental Theorem of Galois Theory.
A-29. It was proved in class that Sp is generated by an element of order p and a transposition
(4.15). There is only one F , and it is quadratic over Q.
A-30. Let L D K. The splitting field of the minimum polynomial of has degree at most
d , and a set with d elements has at most 2d subsets. [Of course, this bound is much too
high: the subgroups are very special subsets. For example, they all contain 1 and they are
invariant under a 7! a 1 .]
A-31. The Galois group is .Z=5Z/ , which cyclic of order 4, generated by 2.
. C 4 / C . 2 C 3 / D 1; . C 4 /. 2 C 3 / D 1:
(a) Omit.
(b) Certainly, the Galois group is a product C2 C4 .
A-32. Let a1 ; : : : ; a5 be a transcendence basis for 1 =Q. Their images are algebraically
independent, therefore they are a maximal algebraically independent subset of 2 , and
therefore they form a transcendence basis, etc..
134 C. S OLUTIONS TO THE E XERCISES
A-33. C2 C2 .
p
A-34. If f .X / were reducible over Q 7, it would have a root in it, but it is irreducible
by Eisensteins criterion. The discriminant is 675, which is not a square in R, much
over Q p
less Q 7.
A-35. (a) Should be X 5 6X 4 C 3. The Galois group is S5 , with generators .12/ and
.12345/ it is irreducible (Eisenstein) and (presumably) has exactly 2 nonreal roots. (b) It
factors as .X C 1/.X 4 C X 3 C X 2 C X C 1/. Hence the splitting field has degree 4 over F2 ,
and the Galois group is cyclic.
A-36. This is really a theorem in group theory, since the Galois group is a cyclic group of
order n generated by . If n is odd, say n D 2m C 1, then D m does.
A-37. It has order 20, generators .12345/ and .2354/.
A-38. Take K1 and K2 to be the fields corresponding to the Sylow 5 and Sylow 43 subgroups.
Note that of the possible numbers 1; 6; 11; 16; 21; ::: of Sylow 5-subgroups, only 1 divides
43. There are 1, 44, 87, ... subgroups of ....
A-39. See Exercise 14.
A-40. The group F is cyclic of order 80; hence 80, 1, 8.
A-41. Its D6 , with generators .26/.35/ and .123456/. The polynomial is irreducible by
Eisensteins criterion, and its splitting field is Q; where 1 is a cube root of 1.
A-42. Example 5.5.
A-43. Omit.
A-44. Its irreducible by Eisenstein. Its derivative is 5X 4 5p 4 , which has the roots X D p.
These are the max and mins, X D p gives negative; X D p gives positive. Hence the graph
crosses the x-axis 3 times and so there are 2 imaginary roots. Hence the Galois group is S5 .
A-45. Its roots are primitive 8th roots of 1. It splits completely in F25 . (a) .X 2 C 2/.X 2 C 3/.
2 2
A-46. ././ D q 2 , and ./. q / D q 2 . Hence . q / is the complex conjugate of ./.
Hence the automorphism induced by complex conjugation is independent of the embedding
of Q into C.
A-47. The argument that proves the Fundamental Theorem of Algebra, shows that its Galois
group is a p-group. Let E be the splitting field of g.X /, and let H be the Sylow p-subgroup.
Then E H D F , and so the Galois group is a p-group.
A-48. (a) C2 C2 and S3 . (b) No. (c). 1
A-49. Omit.
A-50. Omit.
x
A-51. 1024 D 210 . Want x x D 1, i.e., N x D 1. They are the elements of the form x ;
have
x7! x
x
1 ! k ! K ! K :
Hence the number is 211 =210 D 2.
A-52. Pretty standard. False; true.
A-53. Omit.
135
./ C 3 ./ D C 2 ./ all 2 E;
show that 2 D 1.
If 2 1, then 1; ; 2 ; 3 are distinct automorphisms of E, and hence are linearly
independent (Dedekind 5.14) contradiction. [If 2 D 1, then the condition becomes
2 D 2, so either D 1 or the characteristic is 2 (or both).]
(b) Let p be a prime number and let a; b be rational numbers such that a2 C pb 2 D 1. Show
2 2
that there exist rational numbers c; d such that a D cc 2Cpd
pd
2cd
2 and b D c 2 pd 2 .
p p
Apply Hilberts Theorem 90 to Q p (or Q p, depending how you wish to correct
the sign).
The splitting field of X 5 3 is Q; , which has degree 5 over Q and 20 over Q.
The Galois group of X 5 7 over Q; is (by ...) a subgroup of a cyclic group of order
5, and hence has order 1 or 5. Since 7 is not a 5th power in Q; , it must be 5. Thus
EW Q D 100, and
G D Gal.E=Q/ D .C5 C5 / C4 :
We want the nontrivial subgroups of G not containing C5 C5 . The subgroups of order
5 of C5 C5 are lines in .F5 /2 , and hence C5 C5 has 6 C 1 D 7 proper subgroups. All
are normal in G. Each subgroup of C5 C5 is of the form H \ .C5 C5 / for exactly 3
subgroups H of G corresponding to the three possible images in G=.C5 C5 / D C4 . Hence
we have 21 subgroups of G not containing C5 C5 , and 20 nontrivial ones. Typical fields:
Q, Q; cos 2
5 , Q; .
[You may assume that 7 is not a 5th power in the splitting field of X 5 3.]
5. Consider an extension F of fields. Define 2 to be F -constructible if it is
contained in a field of the form
p p p p
F a1 ; : : : ; an ; ai 2 F a1 ; : : : ; ai 1 :
algebra abelian, 39
diagonalizable, 102 cyclic, 39
etale, 102 finite, 13
algebraic, 17, 18 Galois, 37
algebraic closure, 23 inseparable, 37
in a larger field, 24 normal, 37
algebraic integer, 11 separable, 37
algebraically closed, 23 simple, 15
algebraically dependent, 109 solvable, 39
algebraically independent, 109 extension field, 13
algorithm
division, 9 F -homomorphism, 13
Euclids, 10 field, 8
factoring a polynomial, 12 prime, 9
automorphism, 35 stem, 16
fixed field, 36
base Frobenius
neighbourhood, 91 endomorphism, 9, 32
basis fundamental theorem
separating transcendence, 116 of algebra, 12, 19, 23, 24, 61
transcendence, 111 of Galois theory, 39
bound
upper, 85 Galois, 92
Galois closure, 40
characteristic Galois correspondence, 97
p, 9 Galois field, 54
zero, 8 Galois group, 37
closure absolute, 93
separable, 89 infinite, 93
cohomology group, 70 of a polynomial, 44
commutative, 7 Gaussian numbers, 13
composite of fields, 15 general polynomial, 77
conjugates, 38 group
constructible, 20, 43 Cremona, 35
cubic profinite, 98
resolvent, 50 topological, 91
cyclotomic polynomial, 63 group algebra, 66
degree, 13 homomorphism
of an algebra, 102 crossed, 69
separable, 39 of fields, 8
directed, 97 of rings, 7
discriminant, 47 principal crossed, 69
137
138 I NDEX
ordering
partial, 85
total, 85
PARI, 6, 10, 12, 16, 18, 48, 51, 54, 56, 57, 63, 82
perfect field, 32
'.n/, 63
polynomial
minimal, 17
monic, 10
primitive, 114
separable, 32
prime
Fermat, 22
primitive element, 59
primitive root of 1, 62
regular n-gon, 64
relatively prime, 101
ring, 7
root
multiple, 31
of a polynomial, 9
simple, 31
separable, 59
separable element, 39
separably closed, 89
Sn , 44
solvable in radicals, 45
split, 28
splits, 23
splitting field, 28
subfield, 8
generated by subset, 15
subring, 7
generated by subset, 14
symmetric polynomial, 75
elementary, 75
theorem
Artins, 36
binomial in characteristic p, 9
Chinese remainder, 101
constructibility of n-gons, 64
constructible numbers, 21, 43
cyclotomic polynomials, 63
Dedekind, 55
Galois 1832, 45
Galois extensions, 38