Jean-Pierre Escofier Auth. Galois Theory PDF
Jean-Pierre Escofier Auth. Galois Theory PDF
Jean-Pierre Escofier Auth. Galois Theory PDF
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Springer
New York
Berlin
Heidelberg
Barcelona
Hong Kong
London
Milan
Paris
Singapore
Tokyo
Graduate Texts in Mathematics
TAKEUTIIZARING. Introduction to 34 SPITZER. Principles of Random Walk.
Axiomatic Set Theory. 2nd ed. 2nded.
2 OXTOBY. Measure and Category. 2nd ed. 35 ALEXANDERIWERMER. Several Complex
3 SCHAEFER. Topological Vector Spaces. Variables and Banach Algebras. 3rd ed.
2nd ed. 36 KELLEy/NAMIOKA et al. Linear Topological
4 HILTON/STAMMBACH. A Course in Spaces.
Homological Algebra. 2nd ed. 37 MONK. Mathematical Logic.
5 MAC LANE. Categories for the Working 38 GRAUERTIFRITZSCHE. Several Complex
Mathematician. 2nd ed. Variables.
6 HUGHES/PIPER. Projective Planes. 39 ARVESON. An Invitation to C*-Algebras.
7 SERRE. A Course in Arithmetic. 40 KEMENY/SNELLIKNAPP. Denumerable
8 TAKEUTIIZARING. Axiomatic Set Theory. Markov Chains. 2nd ed.
9 HUMPHREYs. Introduction to Lie Algebras 41 APOSTOL. Modular Functions and
and Representation Theory. Dirichlet Series in Number Theory.
10 COHEN. A Course in Simple Homotopy 2nd ed.
Theory. 42 SERRE. Linear Representations of Finite
11 CONWAY. Functions of One Complex Groups.
Variable I. 2nd ed. 43 GILLMAN/JERISON. Rings of Continuous
12 BEALS. Advanced Mathematical Analysis. Functions.
13 ANDERSONIFULLER. Rings and Categories 44 KENDIG. Elementary Algebraic Geometry.
of Modules. 2nd ed. 45 LOEVE. Probability Theory I. 4th ed.
14 GoLUBITSKy/GUlLLEMIN. Stable Mappings 46 LoEVE. Probability Theory II. 4th ed.
and Their Singularities. 47 MOISE. Geometric Topology in
15 BERBERIAN. Lectures in Functional Dimensions 2 and 3.
Analysis and Operator Theory. 48 SACHsiWu. General Relativity for
16 WINTER. The Structure of Fields. Mathematicians.
17 ROSENBLATT. Random Processes. 2nd ed. 49 GRUENBERGlWEIR. Linear Geometry.
18 BALMOS. Measure Theory. 2nd ed.
19 BALMOS. A Hilbert Space Problem Book. 50 EDWARDS. Fermat's Last Theorem.
2nd ed. 51 KLINGENBERG. A Course in Differential
20 HUSEMOLLER. Fibre Bundles. 3rd ed. Geometry.
21 HUMPHREYS. Linear Algebraic Groups. 52 HARTSHORNE. Algebraic Geometry.
22 BARNESiMACK. An Algebraic Introduction 53 MANIN. A Course in Mathematical Logic.
to Mathematical Logic. 54 GRAVERIWATKINS. Combinatorics with
23 GREUB. Linear Algebra. 4th ed. Emphasis on the Theory of Graphs.
24 HOLMES. Geometric Functional Analysis 55 BROWNIPEARCY. Introduction to Operator
and Its Applications. Theory I: Elements of Functional Analysis.
25 HEWITT/STROMBERG. Real and Abstract 56 MASSEY. Algebraic Topology: An
Analysis. Introduction.
26 MANEs. Algebraic Theories. 57 CROWELLIFox. Introduction to Knot
27 KELLEY. General Topology. Theory.
28 ZARISKIISAMUEL. Commutative Algebra. 58 KOBLITZ. p-adic Numbers, p-adic
Vol.I. Analysis, and Zeta-Functions. 2nd ed.
29 ZARISKIISAMUEL. Commutative Algebra. 59 LANG. Cyclotomic Fields.
Vol.II. 60 ARNOLD. Mathematical Methods in
30 JACOBSON. Lectures in Abstract Algebra I. Classical Mechanics. 2nd ed.
Basic Concepts. 61 WHITEHEAD. Elements of Homotopy
31 JACOBSON. Lectures in Abstract Algebra II. Theory.
Linear Algebra. 62 KARGAPOLovlMERLDAKov.Fundamentals
32 JACOBSON. Lectures in Abstract Algebra of the Theory of Groups.
ill. Theory of Fields and Galois Theory. 63 BOLLOBAS. Graph Theory.
33 HIRSCH. Differential Topology. 64 EDWARDS. Fourier Series. Vol. I. 2nd ed.
Galois Theory
With 48 Illustrations
t Springer
Jean-Pierre Escofier Translator
Institute Mathematiques de Rennes Leila Schneps
Campus de Beaulieu 36 rue de I'Orillon
Universite de Rennes I 75011 Paris
35042 Rennes Cedex France
France [email protected]
[email protected]
Editorial Board
S. Axler F.W. Gehring K.A. Ribet
Mathematics Department Mathematics Department Mathematics Department
San Francisco State East Hall University of California
University University of Michigan at Berkeley
San Francisco, CA 94132 Ann Arbor, MI 48109 Berkeley, CA 94720-3840
USA USA USA
Translated from the French Thiorie de Galois, by Jean-Pierre Escofier, first edition published by
Masson, Paris, © 1997, and second edition published by Dunod, Paris, © 2000, 5, rue Laromiguiere,
75005 Paris, France.
9 8 7 654 3 2 I
This book begins with a sketch, in Chapters 1 and 2, of the study of alge-
braic equations in ancient times (before the year 1600). After introducing
symmetric polynomials in Chapter 3, we consider algebraic extensions of fi-
nite degree contained in the field C of complex numbers (to remain within
a familiar framework) and develop the Galois theory for these fields in
Chapters 4 to 8. The fundamental theorem of Galois theory, that is, the
Galois correspondence between groups and field extensions, is contained in
Chapter 8. In order to give a rounded aspect to this basic introduction of
Galois theory, we also provide
Many of the results presented here generalize easily to arbitrary fields (at
least in characteristic 0), or they can be adapted to extensions of infinite
degree.
I could not write a book on Galois theory without some mention of the
exceptional life of Evariste Galois (Chapter 13). The bibliography provides
details on where to obtain further information about his life, as well as
information on the moving story of Niels Abel.
After these chapters, we introduce finite fields (Chapter 14) and separable
extensions (Chapter 15). Chapter 16 presents two topics of current research:
vi Preface
firstly, the inverse Galois problem, which asks whether all finite groups
occur as Galois groups of finite extensions of Q and which we treat explicitly
in one very simple case, and secondly, a method for computing Galois
groups that can be programmed on a computer.
Most of the chapters contain exercises and problems. Some of the state-
ments are for practice, or are taken from past examinations; others suggest
interesting results beyond the scope of the text. Some solutions are given
completely, others are sketchy, and certain solutions that would involve
mathematics beyond the scope of the text are omitted completely.
Finally, this book contains a brief sketch of the history of Galois theory.
I would like to thank the municipal library in Rennes for having allowed
me to reproduce some fragments of its numerous treasures.
The entire book was written with its student readers in mind, and with
constant, careful consideration of the question of what these students will
remember of it several years from now.
lowe tremendous thanks to Annette Houdebine-Paugam, who helped
me many times, and to Bernard Le Sturn and Masson, who read the later
versions of the text and suggested many corrections and alterations.
Jean-Pierre Escofier
May 1997
Contents
Preface v
3 Symmetric Polynomials 25
3.1 Symmetric Polynomials 25
3.1.1 Background... 25
3.1.2 Definitions . . . 26
3.2 Elementary Symmetric Polynomials 27
3.2.1 Definition........... 27
3.2.2 The Product of the X - Xi; Relations Between Co-
efficients and Roots . . . . . . . . . . . . . . . . . . 27
3.3 Symmetric Polynomials and Elementary Symmetric Polyno-
mials . . . . . . . . 29
3.3.1 Theorem 29
3.3.2 Proposition 31
3.3.3 Proposition 32
3.4 Newton's Formulas 32
3.5 Resultant of Two Polynomials. 35
3.5.1 Definition....... 35
3.5.2 Proposition...... 35
3.6 Discriminant of a Polynomial 37
3.6.1 Definition. 37
3.6.2 Proposition...... 37
3.6.3 Formulas . . . . . . . 38
3.6.4 Polynomials with Real Coefficients: Real Roots and
Sign of the Discriminant . . 38
Exercises for Chapter 3 . . . . . . 39
Solutions to Some of the Exercises 44
4 Field Extensions 51
4.1 Field Extensions 51
4.1.1 Definition 51
4.1.2 Proposition 52
4.1.3 The Degree of an Extension 52
4.1.4 Towers of Fields 52
4.2 The Tower Rule 53
4.2.1 Proposition .. 53
4.3 Generated Extensions 54
4.3.1 Proposition 54
4.3.2 Definition.. 55
4.3.3 Proposition. 55
4.4 Algebraic Elements . 55
4.4.1 Definition.. 55
Contents ix
6 K-HomoIllorphisms 93
6.1 Conjugate Numbers 93
6.2 K -Homomorphisms. 94
6.2.1 Definitions . 94
x Contents
6.2.2 Properties . 94
6.3 Algebraic Elements and K-Homomorphisms 95
6.3.1 Proposition 95
6.3.2 Example. 96
6.4 Extensions of Embeddings into C 97
6.4.1 Definition 97
6.4.2 Proposition 97
6.4.3 Proposition 98
6.5 The Primitive Element Theorem 99
6.5.1 Theorem and Definition 99
6.5.2 Example. 100
6.6 Linear Independence of K-Homomorphisms 101
6.6.1 Characters 101
6.6.2 Emil Artin's Theorem 101
6.6.3 Corollary: Dedekind's Theorem 102
Exercises for Chapter 6 102
Solutions to Some of the Exercises 103
Bibliography 271
Index 277
1
Historical Aspects of the Resolution of
Algebraic Equations
In this chapter, we briefly recall the many different aspects of the study
of algebraic equations, and give a few of the main features of each aspect.
One must always remember that notions and techniques which we take
for granted often cost mathematicians of past centuries great efforts; to
feel this, one must try to imagine oneself possessing only the knowledge
and methods which they had at their disposal. The bibliography contains
references to some very important ancient texts as well as some recent texts
on the history of these subjects (see, in particular, the books by J.-P. Tignol
and H. Edwards and the articles by C. Houzel).
Later (around the year 200 A.D.), Heron of Alexandria sketched the well-
known method of approximating square roots by using the sequence
Un+! = ~ ( Un + :n) .
J.-P.Escofier, Galois Theory
© Springer-Verlag New York, Inc. 2001
2 1. Historical Aspects of the Resolution of Algebraic Equations
was already known to the Arab mathematician Sharaf ad Din at Tusi, born
in 120l.
In 1225, Leonard of Pisa gave the approximate value 1.22.7.42.33.40 (in
base 60) for the positive root of the equation x 3 + 2x2 + lOx = 20. It is an
excellent approximation, with an error on the order of just 10- 10 ; we do
not know how he obtained it.
the division of the circle into p equal parts whenever p is a Fermat prime
(p = 17,257,65537); his results are presented in the seventh part of his
Disquisitiones arithmeticae published in 1801, which prepared the way for
Abel and Galois.
P·H+P·B =E
---=D=---+-:P=---
is written
Viete's notation for powers of the unknown is very heavy: he writes "A
quadratum" for A 2 , "A cubus" for A 3 , "A quadrato-quadratum" for A 4 ,
etc., and "A potestas," "A gradum" for ATn,An . To indicate the dimen-
sion of the parameter P, he writes "P planum" for P of dimension 2, "P
solidum" for P of dimension 3, etc.
For example, for the general equation of the second degree in A, Viete,
who always assumes homogeneity of dimension between the variables and
the parameters B, D, Z, writes:
Viete was known in his time as a counselor of Henri III, and that he was
a counselor in the Parliament of Bretagne in Rennes from 1573 to 1580.
Let us give some of the main turning points in the history of algebraic
notation.
Decimals were introduced by Al Uqlidisi, the Euclidean (around 950),
as well as by Al Kashi (1427), Viete (1579), Simon Stevin (1585). The use
of a point to separate the integer and fractional parts of a number was
made popular by John Neper (in France, a comma is used instead of a
point). But even long after the introduction of the point, people continued
to write a number as an integer followed by its fractional part in the form
224176
of a fraction: 111 000000 .
The signs + and - were already in use around 1480 (+ was apparently
a deformation of the symbol &), but by the beginning of the 17th cen-
tury, they were used generally. Multiplication was written as M by Michael
Stifel (1545), and as in by Viete (1591); our current notation dates back to
William Oughtred (1637) for the symbol x, and to Wilhelm Leibniz (1698)
for the dot.
For powers of the unknown, 1, 225 + 148 x 2 was written as 1, 225 P148 2
by Nicolas Chuquet (1484), 3x 2 was written as 3~ by Raffaele Bombelli
(1572), whereas Stevin wrote 3@+ 5@- 4Q)for 3x 3 + 5x 2 - 4x. The ex-
ponential notation x 2 , x 3 , etc., came with Descartes, whose formulas are
actually written in a notation very close to our own. In the 18th century,
one sees bb for b2 , but b3 , b4 , etc.
Only after methods of explicit computation and exponential notation had
been perfected did it become possible to think clearly about computing
with polynomials. Descartes showed that a polynomial vanished at the
value a if and only if it was divisible by X-a. The history of the manner
of referring to the unknown is extremely complicated, and we will not
describe it here. The symbol = used by Michel Recorde (1557) came to
replace the symbol used by Descartes, an a written backward, toward the
end of the 17th century, thanks to Leibniz. Albert Girard (1595-1632)
introduced the notation ~, which he substituted for CD; he also introduced
the abbreviations for sine and tangent, and used the symbols <, > like
Harriot. Indices were introduced by Gabriel Cramer (1750) to write his
famous formulas (the use of primes " ", '" followed by iv, v etc. became
widespread around the same time); indices of indices were introduced by
Galois. The symbol L: was introduced by Leonhard Euler (1707-1783).
These notations passed into general usage only during the 20th century.
cients (see Exercise 3.7) were perfected in the 19th century by Jean-Baptiste
Fourier and Franc,;ois Budan, and then by Charles Sturm, who in 1830 gave
an algorithm to determine the number of real roots in a given interval.
I I. Thcomnt.
Toutesles eqllatiQlls a'algchrerecoivent autant ae {olutions! que h
denomination de la plus haute quantite Ie demonll:re, excepte Ies in corn-
plettes
Expliciltion.
Soit une equation Gomplette I (1) efgalc 4 CD+70-340
--: 24 : alorsle denominatc;ur dela plus baute quantite ell: (1), quill-
gOlfie qu'il y a quatre certaines rolutions, & non plus ny moins, com~
me r ,2,-3,4
FIGURE 1.1. Excerpt from Girard's Invention nouvelle en l'algebre ... , 1629
Descartes was less precise about the number of roots, simply bounding
it by the degree of the equation: "Aut ant que la quantite inconnue a de
dimensions, aut ant peut-il y avoir de diverses racines." ("As many as the di-
mensions of the unknown quantity, as many there may be different roots.")
The nature of the roots also escaped Leibniz, who did not see that A J
is a complex number (1702). But the methods of integration of rational
functions, which were developed by Leibniz and Jean Bernoulli around this
time, led Leonhard Euler to the problem of showing that an algebraic equa-
tion P(x) = 0, where P is a polynomial of degree n with real coefficients,
6 1. Historical Aspects of the Resolution of Algebraic Equations
Finally, in 1830, Galois, who knew nothing of Abel's results, created the
notions of a group (limited to permutation groups), a normal subgroup,
and a solvable group, which allowed him - at least theoretically - to re-
late the solvability of an equation by radicals to the properties of a group
associated to the equation, opening new horizons that are far from having
been completely explored even today.
Toward Chapter 2
Before giving a complete exposition of Galois theory in Chapter 4, we
devote the following chapter to the history of the solution of algebraic
equations through the year 1640.
2
History of the Resolution of
Quadratic, Cubic, and Quartic
Equations Before 1640
In this chapter, we give only a brief sketch of the rich history of low-
degree equations; in particular, we have omitted the Indian and Chinese
contributions. Readers interested in the subject can find excellent sources in
the bibliography (see, in particular, the books by Tignol, Van der Waerden,
and Yushkevich).
EXAMPLE. - "I added 7 times the side of my square and 11 times the
surface: 6.15" (tablet nO 13901 from the British Museum).
3
You will multiply 11 by 6.15 1.8.45 68+ - -ac
4
x 2 +x = 45 (~)
x2 = x + 14.30 (870)
x2 - 20x 2 +X = 4.46.40 (~ and 286 + ~) .
maticians began to procure Greek texts from Constantinople; they also re-
ceived Indian books of computations that explained the use of zero. Around
820 to 830, al Khwarizmi (from Uzbekistan; he later became known through
Latin translations of his works, called Algorismus, origin of the word algo-
rithm), a member of the scientific community around the caliph al Mamoun,
described algebraic transformations in his treatise on algebra, which can
be expressed as the following equations in our notation:
6x 2 - 6x + 4 = 4x 2 - 2x + 8
6x 2 + 4 + 2x = 4x 2 + 8 + 6x by al jabr
3x 2 + 2 + x = 2x2 + 4 + 3x by al hatt
x2 = 2x+2 by al muqqabala.
The word al jabr, which expressed completion or setting of a fracture, is at
the origin of the appearance of the word "algebra" in the 14th century.
al Khwarizmi distinguishes six types of equations of degree less than or
equal to 2, because the coefficients a, b, and c of his equations are always
positive:
ax 2 = bx, ax 2 = b, ax = b,
ax 2 + bx = c, ax 2 + c = bx, ax 2 = bx + c.
For the equation x 2 = 40x - 4x 2, or x 2 = 8x, he gives only the root 8.
However, for the equation x 2 + 21 = lOx, he gives the two solutions 3 and
7 and asserts that the procedure is the same for all equations of the fifth
type. Geometric justifications are given, but unlike the Greeks, the spirit
of the method is algebraic.
x3 = ax + b, x3+ b = ax, x 3 + ax = b.
q, (2.1)
px+q, (2.2)
px, (2.3)
probably with p, q > 0, Le. of type (2.1) only. The rest of the story is a
novel in episodes which is impossible to reconstruct completely, as many
of the details are known only because they were recounted by one of the
protagonists, in a manner that may lack objectivity.
In the year 1535, Fiore, a Venitian student of Scipio del Ferro, publicly
challenged Niccoli!. Tartaglia (roughly 1500-1559) to solve about 30 prob-
lems, all based on equations of type (2.1). At that time, winning a challenge
of this kind led to prestige and money, sometimes even allowing the winner
to obtain a position as a professor. Tartaglia's childhood was very dramatic:
a fatherless child, very poor, he was seriously wounded during the looting
of Brescia by troops led by Gaston de Foix in 1512. He had already at-
tempted to solve equations of this type some years earlier, and this time he
succeeded, during the night of February 12 to 13, 1535 (just in time to win
the challenge). But he kept his solution secret. He wrote it in a poem, in
which he used the word "thing", like his contemporaries, for the unknown.
Quando che'l cuba con Ie cose appresso
Se agguaglia a qualche numero discreto ... ,
(When the cube with the things is equal to a number. ... )
In 1539, Jerome Cardan, a doctor and mathematician, and a very com-
plex personality whose tumultuous life also makes a highly interesting story,
invited Tartaglia to his house in Milan to find out his secret. He flattered
him so well that he succeeded - Tartaglia showed him his poem - but swore
not to reveal it (March 25, 1539). Shortly after, Cardan succeeded in ex-
tending Tartaglia's method to equations of types (2.2) and (2.3) (unless
it was actually Tartaglia who succeeded), and one of his disciples, Ferrari
(1522-1560), solved the quartic equation in 1540.
2.2 Cubic Equations 15
In 1545, Cardan published all of these solutions in his book Ars Magna
(which literally means: Grand Work), taking care to thank Tartaglia three
times. But Tartaglia was furious, denounced him for lying, and the follow-
ing year published a text containing Cardan's promise, their conversations
together, and his own research. Ferrari defended his professor, saying that
he had been present at the meeting in 1539 and that there was never any
question of a secret. He then took up a new challenge proposed by Tartaglia
on August 10, 1548, which he appears to have won. And the story contin-
ued.
Cardan's Ars Magna is a very important book. In it, he gave the complete
solution of the cubic equation, finally (see, however, §2.2.5), as well as the
first computations using roots of negative numbers.
(U+V)3 +p(u+v) +q = 0; or as
x = 3 _ CJ.
2
+ J
q2
4
+ p3 +
27
3 _ CJ. _
2
J
q2
4
+ p3 .
27
This formula requires the extraction of two cube roots (really just one since
v = -p/3u).
For us, this formula contains an ambiguity: each of the cube roots can
be chosen in three different ways, and their sum could have nine different
values. Let us now redo the method, considering the cube roots as Euler
did.
If u satisfies u 3 = U, then the condition 3uv = -p implies that v =
-p/3u, giving the solution
x=u+v
of the equation. The other cube roots of U are ju and j 2u, corresponding
to -p/3ju = j 2v and _p/3j2u = jv respectively; here j is a cube root of
unity, i.e. j = exp(2n /3). This gives the other solutions of the equation
FIGURE 2.1. Excerpt from the book Ars Magna by Cardan, 1545
This excerpt refers to the search for two numbers whose sum is 10 and
whose product is 40, leading to the equation x 2 - lOx + 40 = O. Cardan
2.2 Cubic Equations 17
recognized that no two numbers could satisfy this equation, but proposed
a sophisticated solution in which he imagined the number J -15; he then
checked the validity of this number by computing
(5 + yCl5) (5 - yCl5) = 25 - (-15) = 40,
writing this operation as
5p: :& m: 15,
5m: :& m: 15,
25 m : m 15 qd. est 40,
where p denotes +, m denotes -, and :& denotes the square root. One
passage provoked a great deal of commentary: dimissis incruciationibus,
which means setting aside the products in crosses, or, according to certain
translators who think Cardan is making a word play, setting aside the
mental torture.
In the case of the cubic equation, complex numbers enter in the case when
q2 /4 + p3/27 < 0, known as the irreducible case, in which the three roots
are real (see §3.6) and d is purely imaginary. Cardan did not understand
this case well; he simply showed how to obtain all three roots if one of them
is known (see Exercise 2.4).
A 3 +3BA = 2Z,
which we write here with our notation, but using his original letters, with
A as the unknown, he introduced a new unknown E such that EB =
E(A + E), which comes down to solving the equation x 3 + px + q = 0 with
the variable change x = (p/3y) - y, giving
A3 + 3AE(A + E) = 2Z,
a quadratic equation in E3. This makes it possible to compute E, then A,
by means of a single extraction of a cube root; the method is essentially
Cardan's.
X4 + px 2 + qx + r =0
(Cardan, who rejected negative numbers, only gives a few cases of this).
Set z = x 2 + y, obtaining
q2 _ 4(y2 - r)(2y - p) = o.
This gives a cubic equation (which later came to be called a resolvent); one
of its roots can be found by the method of §2.2.4, giving
x 2 = -t ± (Ax + B),
and four values for x.
Exercises for Chapter 2 19
X4 + px 2 + qx + r = (x 2 + ax + b)(x2 + ex + d),
we check (see Exercise 2.7) that a 2 is the root of a cubic equation and that
b, c, d depend rationally on a.
2) Simplify the following expressions, where the roots are taken in JR,
and compare them with Cardan's formulas.
\j10 - v'108,
Ff1f
2ff «1- ~ff.
1+ -
3
-
3'
X4 + px2 + qx + r = O.
Then, if this equation has a linear term, we look for a factorization
of the form
X4 + px 2 + qx + r = (x 2 + ax + b)(x 2 + ex + d).
1) Show that a 2 is a root of a cubic equation and that b, c, d are rational
functions of a.
2) Deduce the algebraic solution of the quartic equation from this.
3) Solve
X4 - 4x 2 - 8x + 35 0,
X4 - 17x2 - 20x - 6 O.
22 2. Resolution of Quadratic, Cubic, and Quartic Equations
COMMENTARY. - Let us quote Descartes: "Au reste, j'ai omis ici les
demonstrations de la plupart de ce que j'ai dit, acause qu'elles m'ont semble
si faciles que, pourvu que vous preniez la peine d'examiner methodiquement
si j'ai failli, elles se presenteront a vous d'elles-memes; et il sera plus utile
de les apprendre en cette fa<.;on qu'en les lisant."l
The examples in 3) are those of Descartes. Question 4) is a result of
Euler (1749) in his work on the decomposition of polynomials in R.[X] into
products of linear or quadratic factors.
If there exist positive and relatively prime integers x and y such that
x/ y = {jO]b, then we have bx k = ayk. As x is prime to y, it must divide
a, so x = 1. Similarly, y = 1 and we are done.
1 Besides, I left out the proofs of most of what I said here, because they appeared so
easy to me that if you just take the trouble to check methodically whether I erred, they
will present themselves to you naturally, and it will be more useful to you to learn them
this way than by reading them.
Solutions to Some of the Exercises 23
the cubic equation, which leads us to set q = -20; then 108 = q2 /4 + p3 /27
gives p = 6. The equation x 3 + 6x - 20 = 0 has 2 as a root, so when we
divide it by (x - 2), we obtain the other roots -1 ± 3i. The only real root
is 2, so we find that 0: = 2.
Similarly, we find f3 = 1.
2) Cardan uses his formula on his example with the sign + for the root. To
check the last sentence, we set a = vi9 - 3 and note that -3(a/2)2 - p =
(9 + vi9)/2) 2 .
COMMENTARY. - Cardan gave no general method for this type of equation;
he did not use his formula and could only guess at one root in order to find
solutions for the remaining quadratic equation.
a+e o (2.4)
ae+b+d p (2.5)
ad + be q (2.6)
bd r. (2.7)
3) With a = 4, we have
X4 - 4X2 - 8X + 35 (X2 - 4X + 5)(X2 + 4X + 7),
X4 -17X2 - 20X - 6 (X2 - 4X - 3)(X2 + 4X + 2);
4) The resolvent must have a positive real root since the value of the left-
hand side of (2.9) is < 0 for a = 0 and> 0 for a sufficiently large.
3
Symmetric Polynomials
In this chapter, we first give the basics on symmetric polynomials, and then
present the notions of resultant and discriminant.
making the diagram in Figure 3.1 commutative (the notation "can" means
that the arrows are canonical).
In other words, !Pa(Xi ) = Xa(i) for i = 1, ... ,n, and more generally,
~
can
1,an
A A[Xl' .... '~] {l, ..... ,n}
can
""1 /
{1, ..... ,n}
FIGURE 3.1.
3.1.2 Definitions
A polynomial in A[XI, ... ,Xnl is said to be symmetric if for all a in Sn,
we have !Pa(P) = P.
If A is an integral domain with fraction field K, a rational function P /Q
in the field K(X I , ... , X n ), with P, Q E A[X1 , •.. , Xnl and Q #- 0, is said
to be symmetric if for all a in Sn, we have !PO' (P/Q) = P/Q.
Xl +X2 +X3,
X I X 2 X 3,
XrX2 + X~X3 + xlXI + X~Xl + X1X2 + XrX3,
but XrX2 + X~X3 + X1X I is not.
Sk = L
HC{l, ... ,n},IHI=k
(II
iEH
Xi)'
In other words, H runs over the set of subsets of k elements of {I, ... ,n}
and Sk is the sum of the products of the Xi for i in H. For k > n, we set
Sk = O.
Sn = II
lSisn
Xi'
PROPOSITION. -
PROOF. -
L (-l)kskxn-k] (X -
[O::;k::;n Xn+l)
On the one hand, SnXn+1 = t n+l . On the other hand, for 1 ::; k ::; n,
separating the parts with k elements of {I, ... , n + I} into those that
contain n + 1 and those that do not, we see that Sk + Sk-IXn+1 = tk'
This gives the desired result.
EXAMPLES. - Let Xl, X2, X3 denote the roots of the polynomial X 3 + aX2 +
bX + c. We have
Xl + X2 + X3 -a,
XIX2 + X2X3 + X3XI b,
XIX2X3 -c.
COMMENTARY. - After the remarks of Girard and Newton (see §3.4), this
result was used freely throughout the 18th century; Lagrange called it "ob-
vious in itself". It appears to have been stated and proved independently
by Waring and Vandermonde in 1770. This theorem can be considered as
a small part of the results of §8.5.
PROOF. -
if there exists r < n such that for i S r, k i = li and kr+l > lr+l.
For example, (Xt)2(X2)2 X3 > (Xt)2 X 2 (X3 )2 > X I X 2(X3)3 >
(X3)5.
For monomials M, M', N, N', we easily see that M ;::: M' for
n implies that M N ;::: M'N, and this implies the following property:
30 3. Symmetric Polynomials
II k1 - k2.
Set PI = P - (sd ' '" (sn)ln, where the li have the above values;
PI is a symmetric polynomial that is either zero or whose largest
monomial for n is strictly less than M.
If PI is zero, we have written P in the desired form
3.3.2 Proposition
Let A be an integral domain, and let P, Q be polynomials in A[X 1, ... , Xn],
with Q #- 0, such that P / Q is a symmetric rational function. Then there
exist polynomials 8 and T in A[XI, ... ,Xn ] such that
8(SI,' .. ,sn) P
T(SI, ... ,Sn) = Q'
Q II q
qEE
and we are again in the case where both numerator and denominator are
symmetric. <>
32 3. Symmetric Polynomials
3.3.3 Proposition
Let P be a symmetric polynomial in n variables. If S is a polynomial of
degree n having roots al, ... , an, the numbers P(al, ... , an) belong to the
ring generated by the coefficients of s.
Pd = L (Xi)d
l~i~n
EXAMPLES. -
d=I:Pl=Sl;
d = 2 : P2 = SIPI - 2S2; for example X2 + y2 = (X + Y)(X + Y) - 2XY;
d = 3 : P3 = SlP2 - S2Pl + 3S3; for example
X 3 + y3 + Z3 = (X + Y + Z)(X2 + y2 + Z2)
-(XY + YZ + ZX)(X + Y + Z) + 3XYZ.
Exempk.
f A premier mefie.
Soit lC B fecond.
troifiefme.
~ quatriefme.
&c.'
fA ~~ folutions
A q _ B 2.
a10rtm toll- j ~ tuarez
te fone d'e~
'iuadon. '. A cub - AB3 C 3 +
0;
.!! ubes
lAq q _ AqBf+AC++Bqz-Df~. quare..quarez
Et pourmjeux: expliquerlc tout, foit 1(3)+ 3S'@+2f ef~alea
10 (3)+ S'o Q): r
l'ordrcdesmeflezefl: 1 0 ,35. o. 2 4 pour A, ~.l,;.D!
cy..detIos : tellement que 10 efl:voiremeot la fomme des [olutIons qUI
font (1,2.3, .... J Or Aq - B 2., c'eft~direlequarrede lo-deux
fois 3 f .c'cfl: la fomme des quarrez , & alnfi du refte;
FIGURE 3.2. Excerpt from the book Invention nouvelle ... by Girard, 1629
Xr = L (_I)kskXr-k.
l~k~n
m2:0k+l=m m2:0k+l=m
D(u)v + uD(v).
It follows that the derivation of the product of r formal power series
UI, ... ,Ur is given by
D(UI ... u r ) = D(UI)(U2'" u r ) + ... + (UI ... ur-I)D(u r );
so for invertible power series, we have
D(UI ... u r ) D(ud D(ur )
+ ... + -
-'--=----'--'- = - - -.
UI'" Ur UI Ur
Let us apply this formula to the n power series Ui = I + Xi, I ~ i ~ n,
noting that D(I + Xi) = Xi' We obtain
D( II (I+Xd)
lS;iS;n
= -Xl
- - + ... + -Xr
-.
II
---==-----
(1 +Xi ) 1 +XI I +Xr
[ II
l::;i::;n
(1 + Xi)] [~+
1 + Xl
... +~]
1 + Xr
L[(-l)d-Ipd + L (-l)d-k-ISkPd_k] ,
l::;d l::;k::;d-l
3.5.1 Definition
Let K be a field contained in an algebraically closed field C (see §16.1).
Let F and G be two polynomials in K[X], of degree m and n respectively.
Write
F(X) = a II (X - Xi) and G(X) = b II (X - Yi)
l::;i::;n
inC[X].
The resultant of the two non-zero polynomials F and G is defined to be
the product
II
I::; i::;m,l::;j::;n
If F = 0 or G = 0, we set Res(F,G) = O.
3.5.2 Proposition
1) The resultant of two polynomials in K[X] is zero if and only if the
two polynomials have a common root in C.
36 3. Symmetric Polynomials
PROOF. -
1) If F and G are non-zero and if Res (F, G) = 0, then there exist i and
j such that Xi = yj. The converse is obvious.
3) Formula (1):
Formula (2):
II
l::;i::;m,l::;j::;n
II
l::;i::;m,l::;j::;n
Res(F, G) (-l)mnRes(G, F)
(-l)mnRes(G, GQ + R)
3.6 Discriminant of a Polynomial 37
(_l)mnbm-deg(R)Res(G, R).
O:5k:5m O:5k:5n
then
Res(F,G) E A[ao,.·.,am,bo, ... ,bn ].
But to compute this determinant quickly, in general, one needs to revert
to the method presented above.
3.6.2 Proposition
The discriminant D(P) of a non-constant polynomial P is an element of
K, which is equal to zero if and only if P is a root of multiplicity greater
than or equal to 2 in C.
PROOF. - The fact that D(P) E K follows from Proposition 3.5.2 c). By
Proposition 3.5.2 a), the discriminant of P, which is the resultant of P and
pI, is zero if and only if P has a common root with p' in C, i.e. if P has
a root of multiplicity greater than or equal to 2 in C. <>
38 3. Symmetric Polynomials
3.6.3 Formulas
1) D(aX2 + bX + c) = b2 - 4ac.
Second-degree polynomials
Cubic polynomials
Let p, q be real numbers, and let a, b, c denote the roots of the polynomial
X 3 + pX + q in Co We have
If the three roots are distinct real numbers, then _4p 3 - 27 q2 > 0; this is
the irreducible case (see §2.2.6). The second case is when two of the roots,
say a and b, are not real numbers, but complex conjugates in C; then a - b
is purely imaginary and its square is negative: (a - C)2 and (b - C)2 are
conjugate and their product is strictly positive, so _4p 3 - 27q2 < O.
These results are summarized in Table 3.1.
D>O D<O
Degree 2 2 real roots 2 non-real conjugate roots
Degree 3 3 real roots 1 real root,
2 non-real conjugate roots
TABLE 3.1. Real roots and sign of the discriminant
Exercises for Chapter 3 39
5) Let (XI, ... ,Xn ) and (YI, ... ,Yn) be two n-tuples in K n such that
there exists no permutation a in Sn such that (Yo-(l), ... , Yo-(n)) =
(Xl, ... , xn). Show that there exists an elementary symmetric polyno-
mial Sk for some 1 :::; k :::; n such that Sk(XI, ... , xn) =F Sk(YI, ... , Yn).
F(X)
G(X)
~"
D= 'b. 'b. n
a) In the n first columns (i.e. 1 ::; k ::; n), we set djk = am-j+k for
k ::; j ::; k + m, otherwise djk = O.
b) In the m last columns (i.e. n+1 ::; k ::; m+n), we set dj,k = bk-j
for k - n ::; j ::; k, otherwise djk = O.
1) Let N be an integer, and let V (TI' ... , TN) denote the determi-
nant (known as the Vandermonde determinant) of the square ma-
trix M(TI , ... , TN) of dimension n with coefficients in Z[TI ,···, TNJ
whose k-th row is given by (Tk)N-1, ... ,(Tk)2,Tk,1. Recall how to
compute the Vandermonde determinant V(TI , ... , TN)'
2) Set M = M(YI , ... , Y n , Xl"'" Xm).By computing the determinant
det(M~) in two different ways, show that D = Res(F, C).
3) Show that Res(F, C) E A[ao, . .. ,am, bo, ... ,bnJ.
O~k~m-l
such that
F(X) = (X - X)FI(X) and C(X) = (X - x)CI(X).
Thus FC I = FI C, and when this is expanded we obtain a system of linear
equations in the Xi and Yj with m+n equations and m+n unknowns, whose
determinant must be zero in order for there to exist a non-zero solution.
This determinant is exactly the one which we introduced above; of course,
Euler did not call it a determinant (this terminology was introduced by
Sylvester in 1840), and he only wrote the explicit formula for polynomials
of small degree.
4) Let P be a polynomial with real coefficients and with roots that may
or may not be real but which are pairwise distinct. What does the
sign of D(P) imply about the number of real roots of the equation
P(X) = O?
5) Let us give an application of the notion of discriminant which is
beyond the actual scope of this book.
Equip the set E of polynomials of degree ::; n in qXl with the
topology of C n+ 1 by identifying the element (ao, ... , an) E C n+ 1 with
the polynomial P = L akXk.
OSkSn
a) Show that the polynomials having only simple roots form an
open set of E.
b) Deduce from this that the n x n matrices with distinct eigen-
values form an open set of the set Mn (C) of n x n matrices with
entries in C.
D(P) =
(_1)n(n-l)/2Res(P PI)
a
' and Res(F, G) = an II G(Xi)'
lSiSm
Exercises for Chapter 3 43
Let n ;:::: 1 be an integer, and let (xo, ... , xn) be a family of real
numbers.
°
We say that the family has a sign change at index i for 1 :::: i :::: n
if and only if there exists k E {O, ... , i-I} such that XkXi < and
Xl = ° for aU I such that k < I < i.
If P is a polynomial in JR[X], write c(P) for the number of sign
changes in the sequences of coefficients of P, and let r(P) denote the
number of strictly positive real roots of P.
°
1) Show that r(P) :::: c(P) for every polynomial in JR[X]. To do this,
reduce to the case where P(O) =I- and use induction: if
P(X) = xn + L akXk
k-S;n-p-l
°
with P 2: and an-p-l =I- 0, and write s(P) for the number of real
roots of P. Show that
2) We have
(X - I)(X - 2)(X - 3)(X - 4) = X4 - lOX 3 + 35X 2 - 50X + 24,
and the sum 14 + 24 + 34 + 44 = 1 + 16 + 81 + 256 = 354 confirms the
computation
PI 81 = 10,
P2 81P1 - 282 = 30,
P3 81P2 - 82P1 + 383 = 100,
P4 81P3 - 82P2 + 83P1 - 484 = 354.
3) Let Xl, X2, X3 denote the roots of X 3 + pX + q in C. By Euclidean
division, we obtain
X7 = (X 3 + pX + q)(X4 _ pX 2 _ qX + p2) + 2pqX 2 + (q2 _ p3)X _ p2q,
which gives
By induction, we obtain
2) Note that F(Yj) = L ak(Yj)k for 1::; j::; n, F(Xj) = 0 for 1::; j::;
0::; k::; m
m, C(Xj) = L bk(Xj)k for 1 ::; j ::; m, and C(Yj) = 0 for 1 ::; j ::; n.
O::;k::;n
Take the product M ~ and consider its determinant. For 1 ::; j ::; n, F(Yj)
is a factor throughout the j-th row; for n + 1 ::; j ::; n + m, C(Xj _ n ) is a
factor throughout the j-th row. Once we have factored out these quantities,
we are left with a determinant which can be computed as a product of the
46 3. Symmetric Polynomials
We have
Consequently,
II F(Yj) II G(Xi ) = D II
The result is then obtained by multiplying the two terms by an and sim-
plifying by II
F(Yj).
lSjSn
e2 e )
Res(dX+e,aX 2 +bX+c)=d2 ( a d2 -b d +c =cd2 -bde+ae 2.
Furthermore, we have
hence
ed2 - bde + ae 2.
adO
The same result can be obtained by computing the determinant bed
e 0 e
3) We find
r_ r]
ab' - a'b ae' - a'e)
= aRes ( aX2 + bX + e, a X + a
Similarly, because ...j( -p/3), -...j( -p/3) are the roots of 3X 2 + p, we have
D(X3 + pX + q) = -ReS(X3 + pX + q, 3X 2 + p)
These computations can also be done using the method of Euclidean divi-
sion or by computing a determinant.
3) We know that the resultant belongs to the field generated by the coef-
ficients of the polynomials.
°
Thus, D (P) has the same sign as (-1) k. The final conclusion is that if
D(P) > 0, 2k = mod 4 and if D(P) < 0, then 2k = 2 mod 4.
1) Applying the formulas for computing resultants, and using the fact that
(_1)n(n-l) = 1, we find
l:5i<j:5n
l<i:5n 2:5i<j:5n
4) We have
(-1 )(n-l)(n+2)/2 n n D(xn -1)
D[(X _1)(X n - 1 + X n - 2 + ... + 1)]
n 2D(X n - 1 + X n - 2 + ... + 1),
50 3. Symmetric Polynomials
which gives
As
P(X) = xn -1
X-I'
we have
r(n-l)i
pI(ri) = _n".::..,._,---
" (t -1 '
and because
In this chapter, we come to the basic notions of Galois theory. Abel and
Galois defined the elements of a generated extension, but they did not envi-
sion these elements as forming a set. The concept of a field (and the word)
did not appear until the work of Dedekind between 1857 and 1871. The
abstract definition of a field was given about 20 years later by Weber and
Moore. One hundred years ago, the language of linear algebra did not exist
and results were formulated very differently from the way they are today,
as can be seen, for example, in Weber's book, listed in the bibliography.
I
K
or
\/ K
FIGURE 4.1.
4.1.2 Proposition
An extension L of a field K is naturally endowed with the structure of a
K -vector space and even that of a K -algebra.
PROOF. - The K-algebra structure is defined by the addition and multi-
plication operations of L, and the K-action is simply the restriction of this
multiplication to K x L. <)
COMMENTARY. - The rest of this book is devoted to the study of finite de-
gree extensions, with just a few exceptions. The general study of extensions
of infinite degree needs topology.
EXAMPLES. -
1) The fields Rand <C are not countable, so they are extensions of Q of
infinite degree.
[M : K] = [M : L][L : K].
EXAMPLE. -
The fields in this example will be described more precisely after this chap-
ter; they are algebraic extensions of Q. The formula gives the degree of
Q[ -v2, j] over Q, using the intermediate extension Q[ -v2] and Proposition
4.5.2 below; we can also use the intermediate extension Q[j].
REMARK. - The above formula is also useful in the form "[L : K] divides
[M:K]."
PROOF. - Set n = [L : K] and p = [M : LJ, and let {ll, ... , In} denote a
basis of Lover K and {ml, ... , mp} a basis of Mover L. The np numbers
limj for 1 ::; i ::; n, 1 ::; j ::; p, form a basis of Mover K. Indeed,
L xijlimj = 0,
l::'Oi::'On,I::'Oj::'Op
then
L (L xijIi)mj = O.
l::'Oj::'Op l::'Oi::'On
L XijIi = O.
l::'Oi::'On
Thus all the Xij are zero because the Ii are linearly independent in
the K -vector space L.
and for each of the Xj there exist Xlj, ... , Xnj in K such that
Xj = L xijlj,
I~i~n
so
<>
COROLLARY. - Let M be a finite-degree extension of a field K and L an
intermediate extension. Then L is a finite-degree extension of K and M is
a finite-degree extension of L.
PROOF. - If {lI, ... , In} are elements of L that are linearly independent over
K, and if {mI, ... , mp} are elements of M that are linearly independent
over L, then by Proposition 4.2.1, the np numbers limj for 1 ::; i ::; n, 1 ::;
j ::; p, are linearly independent over K. Thus np::; [M : KJ, which bounds
nand p. <>
<>
4.4 Algebraic Elements 55
4.3.2 Definition
The extension K(A) is called the extension of K generated by A. If A =
{all"" an}, then the extension K(A) is usually written K(al,"" an).
4.3.3 Proposition
Let L be an extension of a field K, and let A, B be two subsets of L. Then
K(A u B) = K(A)(B).
PROOF. - By Proposition 4.3.1 1), we know the following facts .
• Because A U B c K(A) u B c K(A)(B), we have K(A U B) c
K(A)(B) .
EXAMPLES. - .J2, -v2, and e2i7f In are all complex numbers that are alge-
braic over 'O1.
REMARK. - It is not obvious that the sum and product of two algebraic
numbers over K is also algebraic; this is proved in §6.3.
4.4.4 Definition
Let K be a field and L an extension of K; let a be an element of L algebraic
over K. By the preceding section, there exists a unique monic polynomial
of minimal degree in K[X] which vanishes at a; it is called the minimal
polynomial of a over K. If deg(P) = n, then a is said to be algebraic of
degree n over K; we also say that n is the degree of a over K.
METHODS. - Let us now recall different practical methods for studying the
irreducibility of a polynomial P(X) = L akXk in Z[X] by hand.
O$k$n
1) Eisenstein's criterion proves that a polynomial P in IQ[X] is irre-
ducible if it satisfies the following condition: there exists a prime
number p which does not divide an but divides all the other coef-
ficients of P, whereas p2 does not divide ao. Sometimes, when the
Eisenstein criterion is not directly applicable to a polynomial P(X),
it is applicable to P(X + a) for some value of a.
This criterion remains valid if we replace Z by any factorial ring
A and the field Q by the fraction field of A, and if we assume the
existence of a prime (i.e. irreducible) element p in A satisfying the
above conditions.
2) To see if P does not have a rational root, assume that pjq is a rational
root of P, written as a totally reduced fraction. Then qn P(pjq) is an
integer, but it is equal to zero, so it follows that q divides an and
p divides ao, which makes it possible to obtain the set of rational
candidates for roots of P. If this set does not have too many elements,
we can test the candidates one by one.
1t
FIGURE 4.2.
60 4. Field Extensions
PROOF. -
1) We have K[aJ C K(a), so let us show the inverse inclusion. By Propo-
sition 4.3.1, every element of K(a) is of the form S(a)jT(a) with S
and T in K[X] and T(a) =f. 0; thus T is not divisible by P, and as
P is irreducible over K, T is relatively prime to P. Bezout's the-
orem ensures the existence of polynomials U and V of K[X] such
that UT + VP = 1, which proves that S(a)jT(a) = S(a)U(a). Thus
S(a)jT(a) belongs to K[a].
2) Let us first show that the family {a k ; 0 :::; k :::; n - I} is free over K. If
there exists a family {Ak; 0 :::; k :::; n - I} of elements of K such that
L )..k ak = 0, the polynomial S(X) = L AkXk in K[X]
O~k~n-l O~k~n-l
vanishes at a. As deg(S) < deg(P), we have S = 0, which proves that
Ak = 0 for 0 :::; k :::; n - l.
The family {a\ 0:::; k :::; n - I} generates K[a], because if S is a
polynomial of K[X] and if S = PQ + R by Euclidean division, we
have S(a) = R(a). As deg(R) :::; n - 1, R(a) belongs to the K-space
generated by {ak;O:::; k:::; n -I}.
3) The map f defined above has image K[a], and kernel the set of poly-
nomials vanishing at a, i.e. the ideal (P). This gives the desired fac-
torization. <>
4.5.3 Definition
An extension L of a field K is said to be algebraic if every element of L is
algebraic over K.
4.6.2 Proposition
With notation as above, K[al, ... , an] is an algebraic extension of finite
degree of K, equal to K(al, ... , an).
REMARK. - The degree of K[al, ... , an] over K is less than or equal to the
product of the degrees of the ak over K.
62 4. Field Extensions
4.6.3 Corollary
Let L be an extension of a field K and let a, b be elements of L that are
algebraic over K. Then a + b, ab, alb are all algebraic over K.
PROOF. - These elements belong to K[a, b], which is an algebraic extension
of finite degree of K by §4.6.2. <>
COMMENTARY. - This corollary settles the point raised in §4.4.1: it proves
for example that -v2 + {17 is algebraic of degree ~ 15 over Q. A more
general statement is that the complex numbers which are algebraic over a
subfield K of C form a field (called the algebraic closure of K in C).
A polynomial having a + b, ab etc. as a root can be computed using
resultants (see Exercise 4.8).
4.7.1 Definition
Let K be a field, and let P be a polynomial in K[X]. An extension L of K
is called a rupture field of P over K if there exists a root x of Pin Land
if L = K[x].
4. 7.2 Proposition
Let P be an irreducible polynomial of degree n in K[X]. The quotient ring
L = K[X]/(P) is a rupture field of P, i.e. an extension of degree n of K
containing the class x of X as a root of P. Moreover, P is the minimal
polynomial of x over K.
4.7 Construction of an Extension by Adjoining a Root 63
PROOF. - It suffices to show that the ideal (P) is maximal; we will prove
this so as to give a method making it possible to compute the inverse of a
non-zero element of the quotient. Let 7r: K[X] ---> L denote the canonical
projection. Every non-zero element of Lis of the form 7r(S) with S in K[X]
not a multiple of P. Consequently, because P is irreducible, P and S are
relatively prime, and by Bezout's theorem, there exist U and V in K[X]
such that US + VP = 1. Thus we have 7r(U)7r(S) = 1 in L, which shows
that 7r(S) is invertible, so L is a field.
Let i: K ---> L denote the composition of the injection K ---> K[X] and
7r. Since i is a homomorphism of rings with unit, it is injective, so L is an
extension of K. Set x = 7r(X) and P = LakXk. The polynomial P
O:S;k:S;n
has coefficients in K, so we have P(x) = L akxk = 7r(P) = 0. Thus,
O:S;k:S;n
X is algebraic over K. If a polynomial S in K[X] vanishes at x, we have
4.7.3 Corollary
Let K be a field and P a non-constant polynomial of K[X]. Then there
exists a rupture field L of P over K such that [L : K] :::; deg(P).
°
PROOF. - Consider the ring homomorphism f: K[X] ---> M defined by
flK : K M and f(X) = a. We have f(P) = pea) = so fl(P) = 0,
--->
64 4. Field Extensions
PI(X) = L lakl Xk ,
O:Sk:SN
and for every real t, set
J = L qkJ(k).
O:Sk:Sn
2) From now on, let P(X) = Xp-I(X - 1)p ... (X - n)p, where p is a
prime number > n. Show that
p(k)(O)= ... = p(k)(n) = 0 for k < p - 1,
p(p-I)(l) = ... = p(p-l)(n) = 0,
p(k)(O), ... , p(k)(n) are divisible by p! for k"2 p.
rational roots of P are of the form !!. such that p and q are relatively
q
prime, p divides ao and q divides an.
4) Q[j] over Q.
Does v3 lie in Q[j]? Does i lie in Q[j]? Does j lie in Q[i]?
Q[v3,j], Q[v3, i,j], Q[v3, i], Q[v3 + i] over Q.
21f 21f 21f 21f
5) Q[cos 3], Q[sin 3], Q[cos 5], Q[sin 5 t] over Q.
5) Show that every quadratic extension ofQ is of the form Q[v'a), where
a is a squarefree relative integer.
p L akpk-lqn-k
l~k~n
q L akpkqn-k-l
O~k~n-l
3) This question needs more work than does the preceding one. First de-
termine that -(28/3) is a root, and then check that the factorization is
given by (3X + 28) (lOX 2 - X-I).
is irreducible, since the formula k!(p - k)!(~) = p! shows that the (~)
are divisible by p for 1 ~ k ~ p - 1 and that (:) = 1, (~) = p. It follows
that <I>p is irreducible. This classical result is generalizable to all cyclotomic
polynomials (see Chapter 9).
[1Q[v2] : IQ) = 2
FIGURE 4.3.
A basis of IQ[ .v2, v2] over IQ can be obtained from the bases {I, ij2, 01}
of Q[.v2J over Q and {I, v'2} of 1Q[.v2, v2J over 1Q[.v2} We obtain
3) In this case, we cannot use the same kind of reasoning as in the previous
case, because the remark that [Q[V3, V2] : Q] is a multiple of [Q[V3] : Q]
and of [Q[V2] : Q] only shows that [Q[V3, V2] : Q] is a multiple of 2.
To see, for example, that [Q[V3, V2], Q[V2]] = 2, one must check that
V3 is not in Q[V2]. If V3 = a+bV2, a and bin Q, 3 = a2 +2b2 +2abV2. As
{I, V2} is a basis of Q[V2] over Q, ab = 0; if b = 0, 3 = a 2 is impossible.
If a = 0, then 3 = 2b 2 is impossible (see Exercise 2.1).
Finally, [Q[ V3, V2] : Q] = 4. A basis of the extension is given by
5) We have
2n 1
lQ[cos 3] = 1Q[-2] = IQ
and
2n r;;
lQ[sin 3 ] = lQ[v3].
)
Q[cos(2n:/5)] = Q[V3]
12
FIGURE 4.4.
6) To show that 1Q[J2, V3, V5] is of degree 8 over IQ, it suffices to show
that V5 is of degree 2 over 1Q[J2, V3].
If V5 = a + bJ2 + cV3 + dv'6 for rational numbers a, b, c, d, squaring
gives an equality in 1Q[J2, V3] which, using the fact that 1, J2, V3, v'6
forms a basis, implies that
ba + 3ed 0,
ea + 2bd 0,
ad + be 0,
a2 + 2b2 + 3e2 + 6d 2 5.
The first two equations give a linear system in a and d. Its determinant
is 2b 2 - 3e2 , which is zero only if b = e = O. In this case, a or d is zero
by the third equation, and 5 = a 2 + 6d2 is impossible. If 2b 2 - 3e 2 of- 0,
then a = d = 0, bore is zero by the third equation, and 5 = 2b2 + 3e2 is
impossible.
74 4. Field Extensions
1) Use Eisenstein's criterion or check that P has no rational root: the only
possible roots would be ±1, ±2, and they do not work.
7
- =-
4
(X
-
2
1) (X
- -
4
3
+ 2X + 2) + (X 2 + X + 1) 2X
2 - 3X
4
+ 5.
It follows that 1/(a2 + a + 1) = (2a 2 - 3a + 5)/7.
This last computation can be done by Euclidean division:
1 a a2
1 1
a 1
a2 1
a3 -2 -2
a4 -2 -2
a5 4 4 -2
a6 4 8 4
TABLE 4.1.
Solutions to Some of the Exercises 75
1 a a2
1 1
u 4 -2
u2 32 24 8
u3 32 192 64
TABLE 4.2.
We find
0: + 32')' 32,
4(3 + 24')' 192,
- 2(3 + 8')' 64.
This gives 0: = -224, (3 = 0, ')' = 8, and the minimal polynomial of u is
X 3 - 8X 2 + 224.
FIGURE 4.5.
2) draw the circle of center B and radius BM that intersects the previous
circle at N, and
3) draw the line (MN), that intersects the line (AB) at H (Figure 5.1).
B A
3) draw the circle of center A' and radius AA', which intersects the
previous circle at M and N; and
4) draw the line M N which intersects the circle e at B and B' (Figure
5.2).
M
A' A
N
FIGURE 5.2. Construction of an orthonormal basis
3) draw the circle of center M and radius R, which intersects the previ-
ous circle at A and N (Figure 5.3).
~N
FIGURE 5.3. Construction of a line parallel to a given line
5.3 Lemma
Let E be a set of points of the plane containing at least two elements 0 and
A. Let B denote a point such that n = (0, A, B) is an orthonormal basis
(which by §5.2.2 is constructible from 0 and A), and let K = Q(F) be the
extension of Q generated by the set F of the (real) abscissas and ordinates
of the points of E in this basis. Then
1) every line in DE has an equation in n of the form
x 2 + y2 + ax + by + c = 0 with a, b, c E K.
ax + by + c 0,
a'x+b'y+c' 0,
with a, a', b, b', c, c' in K, then ab' - a'b =t 0 since the two lines are not
parallel; Cramer's rule then shows that p and q lie in K, so that K(p,q) =
K.
5.5 A Necessary Condition for Constructibility 83
ax+ by+c 0,
x 2 + y2 + a' x + b' y + c' 0,
with a, a', b, b', c, c' in K, we see that if a -I- 0, p = -(bq + c)/a so p and
q lie in the same extension of K. Then
bq +C)2
(-
a
- +q 2 - a - - + b' q+c, =
,bq+c
a
°
shows that q is a root of a quadratic polynomial P E K[X]. The element
q lies in K or in a quadratic extension of K according to whether P is not
°
or is irreducible over K. If a = 0, then b -I- and a similar reasoning holds.
If P is the intersection of two circles in CE given by equations
x 2 + y2 + ax + by + c 0,
x + y2 + a' x + b' y + c'
2 0,
with a, a', b, b', c, c' in K, we reduce to the preceding case by noting that
P is the intersection of the first circle with the line given by the equation
PROOF. -
Pu M. L. WANTZEL,
Eleve-Jngenicur des Ponts-eL-Chaussees.
B=(O,l) B=(O,l)
(O,x) (O,y)
-a ± Ja 2 - 4b
p= 2
o A=(l;O) C=(c+l,O)
FIGURE 5.6. Constructions of (D,ye)
3) This result is easily proved by induction, using the two previous results.
This concludes the proof. <>
COMMENTARY. - The constructions described above are given in the first
pages of Descartes' Geometry. They enabled him to consider the product of
two lengths x and y as a length, rather than considering it as the rectangle
with sides x and y, and this led him to suppress the homogeneity condi-
tions that had made the work of his predecessors so heavy: " ... OU il est
a. remarquer que, par a2 , ou b3 , ou semblables, je ne cOll(,;ois ordinairement
que des lignes toutes simples, encore que pour me servir des noms usites
en l'algebre, je les nomme des carres ou des cubes, etc." (" ... it should be
noted that, by a 2 , or b3 , or others, I do not ordinarily conceive anything
but perfectly simple lines, although in order to employ the names usual in
algebra, I call them squares, cubes, etc.")
1) Given two strictly positive real numbers sand p, construct the roots
of the equation X2 - sX + p = 0, starting by constructing a segment
of length ,;p. Recover the usual algebraic condition geometrically.
x~
B H C E o
FIGURE 5.7. al Biruni's figure
c A
2) Pappus' method.
A C
o H
FIGURE 5.9. Pappus' method
r-~~-------~l
'r-+-"';---'-------~ G
L----------~D
(O,YP) 1----71" D
c
o a H b C=(s,O)
FIGURE 5.11. Construction of the roots of a quadratic equation
In this chapter and the coming ones, we continue to restrict our attention to
the situation of fields that can be realized as subfields of the field of complex
numbers C. However, the definitions and results all generalize directly to
arbitrary fields contained in an algebraically closed field C of characteristic
o (for fields of characteristic p i- 0, see Chapters 14 and 15).
One surprising aspect of the theory is the very minor role played by
polynomials, which appeared in previous chapters as the main subject of
Galois theory. This is due to the efforts of Dedekind at the end of the 19th
century, and Emil Artin in the 1920s and 1930s, to clarify the linear aspects
of Galois theory - in particular, the notion of K-homomorphisms, which
extends the original idea of permutations of roots of a polynomial.
EXAMPLES. -
1) The numbers i and -i are conjugate over Q and over JR., but not over
C.
2) The numbers v2 and -v2 are conjugate over Q, but not over Q[v2].
6.2 K - Homomorphisms
6.2.1 Definitions
Let K be a field, and let Land L' be two extensions of K contained in
<C. A K -homomorphism from L to L' is a homomorphism of rings with
unit from L to L', which leaves the elements of K invariant (i.e. whose
restriction to K is the identity on K). In other words, a K-homomorphism
is a homomorphism from the K-algebra L to the K-algebra L'.
We will often use the letter a to denote a K-homomorphism. We will
use the term K-isomorphism, respectively K-automorphism when a is an
isomorphism, respectively an automorphism.
EXAMPLES. -
1) Complex conjugation, which sends a complex number a + ib, with a
and b real, to a - ib, is an lR-automorphism of C; we will often consider
its restriction to subfields.
2) The map a : Q [v2] -> C defined by a (a + bv2) = a - bv2 with a
and b rational, is a Q-automorphism.
3) If Land L' are two extensions of K, and if K is an extension of K',
then every K-homomorphism a : L -> L' is a K'-homomorphism,
and in particular a Q-homomorphism.
6.2.2 Properties
Let a : L -> L' be a K-homomorphism. It has the following properties:
1) it is a K-linear map between L and L' considered as K-vector spaces;
2) it is an injective map, like every ring homomorphism between two
fields;
3) its image is a field a(L) which is K-isomorphic to L;
4) if L is of finite degree over K, a K-homomorphism a : L -> L is a
K-automorphism of L, because since a is a linear injective endomor-
phism of a finite-dimensional K-vector space, it must be surjective;
5) if L = K[all.'" an], a K-homomorphism is defined over L by its
values at the generators of L as an K-algebra, i.e. by its values at
all." ,an (which can be related; think of the case of Q j, [i, J3] for
example). If L = K[a], it suffices to specify a(a) in order to completely
6.3 Algebraic Elements and K-Homomorphisms 95
PROOF. -
K[X]
f 1 g
K[X]/(P)
K[a]
7 cr
~ • K[b]
FIGURE 6.1.
Set IJ = '¢¢-l. Like 'P and ,¢, it is a ring homomorphism (see §4.5.2);
we have IJ f = '¢'P- 1f = '¢7r = g, so
6.3.2 Example
The minimal polynomial X 3 - 2 of -V2 over IQ has roots -V2, j -V2, and j 2 -V2
in Co Thus there exist three IQ-homomorphisms from IQ[ -V2] to C defined
by the possible images of -V2 (Table 6.1).
-V2
IJI ~
1J2 j~
1J3 j2~
TABLE 6.1.
6.4 Extensions of Embeddings into C 97
The first one, aI, is the inclusion map; the other two, a2 and a3, can be
expressed in the basis { 1, <12, W} of Q [<12] over Q by
6.4.1 Definition
An embedding of a field L (contained in q into C is a homomorphism
a : L ---+ C of rings with unit.
If L is an extension of a field K, a K-homomorphism of L to C is an
embedding. This generalization is useful for proving the corollary to Propo-
sition 6.4.3 below.
6.4.2 Proposition
Let L be a field, and let a : L ---+ <C be a field embedding. Let a be an algebraic
number of finite degree n over L. Then there are exactly n embeddings of
L[a] into C extending a.
PROOF. - Let P denote the minimal polynomial of a over L. Consider the
diagram in Figure 6.2, where
• i and j are the canonical inclusions;
L .. cr(L)
t
L[X] • cr(L)[X]
L~vJ<Scr(L)[J]I~\
L[a] .. cr(L)[b]
FIGURE 6.2.
6.4.3 Proposition
Let L be a field, and let M c <C be an extension of finite degree n of L.
Let (7 : L -> <C be an embedding. The number of embeddings of Minto <C
extending (7 is equal to n.
PROOF. - We use induction on n. If n = 1, M = L and the result follows.
Assume n > 1. Figure 6.3 gives a diagram of the situation.
M~
degreesi ~
L[a] Or ~ C
degreerL~
FIGURE 6.3.
6.5 The Primitive Element Theorem 99
Suppose that the property holds for every extension of finite degree
strictly less than n, and let M be an extension (contained in C) of fi-
nite degree n of L. Let a be an element of M - L; then a is algebraic over
L of finite degree r > 1. The preceding proposition shows that there exist
r extensions of (j to L[a]. If M = L[a], we obtain the desired result; other-
wise, by the induction hypothesis, since s = [M : L[a]] < n, we can assert
that for each of the r extensions of (j to L[a], there exist s extensions to
M. The result then follows from the tower rule. <)
degree n
inclusion
K
FIGURE 6.4.
COMMENTARY. ~ This result is due to Galois, who gave it without proof and
deduced from it that the roots of a polynomial can be expressed rationally
in terms of one particular element, using the following lemma:
"Lemma II. Given an arbitrary equation, which has no equal roots, whose
roots are a, b, c, ... , we can always form a function V of the roots, such
that none of the values we obtain by permuting the roots in this function
in every possible way are ever the same.
For example, we can take:
V = Aa + Bb + Cc + ... ,
LEMMA. - Let V be a vector space over an infinite field k, and let HI, ... ,Hr
be a finite family of strict subspaces V. Then V i= U
Hi·
l:::;i:::;r
PROOF. - We use induction on r.
If r = 1, the result is clear. If r > 1, suppose the result holds for every
family of r - 1 strict subspaces of V. Suppose that V = U
Hi; then by
l:::;i:::;r
the induction hypothesis, there exists an element x in V which does not
belong to U Hi. So x E Hr. On the other hand, let y be such that
6.5.2 Example
Consider the extension L = Q [J2, V3] of Q. It is an extension of degree
4 of Q. By §6.4.4, there are exactly four Q-homomorphisms from L to <C.
To construct them, we need to first construct the two Q-homomorphisms
71,72 : Q[J2] -+ C like in §6.3.1 2), associating to J2 one of its conjugates
J2 or -J2, which leads to 71 ( J2) = J2,72 (J2) = -J2. Each of these
two Q-homomorphisms extends in two different ways, still by §6.3.1 2), to a
Q-homomorphism O"i : Q [J2] [V3] -+ C, 1 $ i $ 4, by associating to V3
one of its conjugates ±V3. The primitive elements of L are the elements
whose images under these Q-homomorphisms are all distinct; J2 + V3,
J2 + V6, mJ2 + nV3 with m and n non-zero rational numbers, etc., are
examples of such elements (Table 6.2).
6.6 Linear Independence of K-Homomorphisms 101
J2 J3 J2+J3 J2+V6
0"1 J2 J3 J2+J3 J2+V6
0"2 J2 -J3 J2-J3 J2-V6
0"3 -J2 J3 -J2+J3 -J2- V6
0"4 -J2 -J3 -J2 - J3 -J2+V6
TABLE 6.2.
6.6.1 Characters
DEFINITION. - A character of a group G into an arbitrary field K is a group
homomorphism from G to the multiplicative group K*.
Let X : G ---> K* be a character. If e is the identity element of G, we have
x(e) = 1; if g is of order n in G, then X(g)n = X(gn) = 1 shows that X(g)
is an n-th root of unity in K.
The characters of G are elements of the set F of set maps from G to
K; we will say that characters are linearly independent if they are linearly
independent in the K-vector space F.
L AiXi(Y) 0, (6.1)
l:Si:Sn
L AiXl(X)xi(Y) = o. (6.3)
l~i~n
Because at least one of the coefficients is not zero, this equality contradicts
the minimality of n. <>
EXAMPLE. - The splitting field of X 3 - 2 over Q is Q[j, -v2] since the roots
of X - 2 are -v2, j -Y2, and j2 -Y2. It is an extension of degree 6 of Q. The
3
rupture fields of X 3 - 2 over Q contained in Care Q[ -v2], Q[j -Y2], and
Q[j 2 -Y2].
(see Chapter 15). In characteristic 0, the two notions are equivalent; we use
the the expression "normal extension" .
I~ <r
K[x] (J ~
1~
FIGURE 7.1.
7.4.1 Proposition
Let K C C be a field. Let P be a polynomial in K[X] of degree n, and let
N be the splitting field of P over K. Then
1) N is a normal extension of finite degree of K.
2) [N: K] divides nL
110 7. Normal Extensions
PROOF. -
7.4.2 Converse
Let N C C be a normal extension of finite degree of a field K. Then N is
the splitting field over K of an irreducible polynomial P in K[X] of degree
[N:K].
PROOF. - Because N is an extension of finite degree of K, the Primitive
Element Theorem (§6.5) shows that there exists an element X in N such
that N = K[x]. The minimal polynomial P of X over K is of degree [N : K].
It is irreducible, so all of its roots are in N since N is a normal extension
of K. The splitting field of P over K is thus N. <)
N
\nonnal
nonna! L
/
K
FIGURE 7.2. FIGURE 7.3.
7. 6.2 Proposition
Let K c <C be a field. The normal closure in <C of a finite degree extension
L C <C of K is a finite degree extension of K. It is the splitting field of the
minimal polynomial of a primitive element of Lover K.
PROOF. - By the Primitive Element Theorem, there exists an element a
of L such that L = K[aJ. Let P be the minimal polynomial of a over K
and let N be the splitting field of P over K. N is a normal extension of
finite degree of K, which contains L; moreover, every normal extension of
K containing L contains all the roots P, so it contains N. The normal
closure of K in <C is thus N. 0
7.6.3 Proposition
Let K C C be a field, and let L = K[al, ... , an] C C be a finite degree
extension of K. The normal closure N of Lover K inside <C is the extension
of K by the set of conjugates over K of the elements all"" an.
PROOF. - Let A be the set of conjugates over K of the elements aI, ... ,an'
Because N is a normal extension of K, we have N J A, so N J K[A].
112 7. Normal Extensions
PROOF. -
Toward Chapter 8
Chapters 4, 6, and 7 suffice to open the doors of the "paradise" created
(discovered?) by Galois; Chapter 8 will describe the heart of his theory, the
Galois correspondence.
a) X 3 -1;
b) X 6 -1;
c) X4-7;
d) X 3 - X2 - X - 2;
e) X 6 -10X 4 + 31X 2 - 30;
f) X 5 + X4 + X 3 + X2 + X + 1;
g) X4 + 1.
2) Does the fact that ij2 is an element of Q[ ij2] whereas j ij2 and j2 ij2
are not imply that Q[ ij2] is not a normal extension of itself?
Qc(X) = II (X - ai - aj - Caiaj)'
l:'Si<j::on
a) Determine v2(deg(Qc».
2 ) a), b), d), and f). Q[j] is the splitting field in these four cases, since we
have
X 3 -1 = (X - 1)(X2 + X + 1),
X 6 - 1 = (X _1)(X2 + X + 1)(X + 1)(X2 - X + 1),
X 3 - X2 - X - 2 = (X - 2)(X2 + X + 1),
X 6 -1
X5+X4+X3+X2+X +1 = X = (X2+X +1)(X +1)(X2_X +1).
-1
c) The polynomial X4 -7 is irreducible over Q by Eisenstein's criterion,
and its splitting field is Q[±ifl, ±iifl] = Q[i, ifl]. This is an extension of
degree 8 over Q.
e) The polynomial factors as (X2 - 2) (X2 - 3) (X2 - 5); its splitting field
is Q[h, V3, V5], which is of degree 8 over Q by Exercise 4.56).
g) Set ( = eirr / 4 = (1 + i)/h). The splitting field N of X4 + 1 over
Q is Q[(,(3,(5,(7] = Q[(]; it contains i = (2, so it contains h, so that
N = Q[i,h].
b+c = -a.
On the other, we have
d d
b- c = ..,.--..,.-,-----:- 1.
(a - b)(c - a)
-2a 2 +-a
Take d = 9 (the other possible choice, -9, simply ends up exchanging
the roles of b and c). Using the techniques of Chapter 4 (the method of
indeterminate coefficients or Bezout's identity), we find b - c = 4 - a - 2a 2 ,
which gives b = 2 - a - a 2 and c = a 2 - 2.
8
Galois Groups
In this chapter, we reach the very heart of Galois theory. To every poly-
nomial with coefficients in a field K, with splitting field N over K, we
associate a group G called its Galois group. We show that the subgroups
of G are in bijective correspondence with the intermediate extensions be-
tween Nand K. This correspondence makes it possible to solve problems
about polynomials and their splitting fields algebraically, by computing
groups. Over the following chapters, we sketch out this dictionary between
the properties of an equation and the algebraic properties of its associated
group.
'I' <p
{ I, .... ,nJ '" E E { I, .... ,n}
Let 'P, 'IjJ : {I, ... ,n} -> E be two bijections. They define injective homo-
morphisms <P, \lI : G -> Sn by <p(a) = 'P- 1A(a)'P and \lI(a) = 'IjJ-l A(a)'IjJ
(Figure 8.1). Thus, we associate to G the groups <p(G) and \lI(G); these
groups are mutually conjugate in Sn since 'IjJ-1'P<P(G)'P-1'IjJ = \lI(G).
2) This is an immediate consequence of 1) and Lagrange's theorem.
3) For every i and every j E {I, ... , n}, there exists a K - homomorphism
from K[XiJ to K[xjJ by §6.3.1. This extends to an embedding of N in C
which, as N is normal, induces an element a of G such that a(xi) = Xj' <>
B(t) = II (t-f(Xa(l),Oo"Xa(n))
aESn
and tried to write it in the form Bl (t) k. For every a in Sn, set a . f
f(Xa(l), ... , Xa(n))' and take the natural action of the group Sn on E =
{a· f,a E Sn}; then the product of the cardinal of the orbit O(J) by the
cardinal k of the stabilizer S(J) is n!, and we have B(t) = Bl (t)k.
Obviously, this was not the language used by Lagrange; he reasoned on
. I case. If f( x I ,X" ,XIII , x IV , . .. ) = f("
a speCla X, x III ,X,I x IV , . .. ),t h en every
other value of f is also taken twice, as he showed by the example
x". . . ) = f( x"
f(X IV , XIII , x' " )
III x' xIV , x" , ....
Then, he asserted, the same holds in the other cases. Who would dare
to write this way nowadays? And yet, his argument is the basis of the
argument used to prove that every equivalence class of elements in a group
modulo a subgroup contains the same number of elements.
Galois was the first to actually use the word "group", but he meant it as
a subgroup of the permutation group of the set of roots of a polynomial,
as in Proposition 8.1.4. Galois did not use the notation for permutations
122 8. Galois Groups
L cr ,. L
\ /
I(H)
I
<Q
FIGURE 8.2.
PROOF. - Let x E L, and let us show that x is of degree less than or equal
to rover I(H), and that its minimal polynomial P over I(H) has all its
roots in L.
The set E = {h( x), h E H} is finite, say of order t with (t :S r). For every
i, 1 :S i :S t, there exists hi in H such that {h i (x),l :S i :S t} = E. We set
SeX) = II (X - hi(x)); it is a polynomial in L[X]. Let us show that the
l::;i::;t
coefficients of S lie in I (H) .
Let h E H. For every i with 1 :S i :S t, we have h(hi(x)) E E; as h is
injective and E is finite, we have h(E) = E.
Let h' : L[X] ...... L[X] be the algebra endomorphism defined by h'lL = h
and h'(X) = X, i.e. by h' (L:akX k ) = L:h(ak)X k. By the above, we
have
II (X - h(hi(x)))
l::;i::;t
SeX).
The coefficients of S are thus invariant under the elements of H and belong
to I(H).
Furthermore, E contains x since the identity map of L belongs to H,
so S(x) = 0; thus x is algebraic over I(H) and its minimal polynomial P
divides S. It follows that x is of degree less than or equal to t = deg(S), so
less than or equal to rover I(H). As S factors into linear factors in L, the
same holds for P: all the roots of P lie in L. Thus L is a normal extension
of I(H).
Let us now show that L is an extension of finite degree r of I(H). As every
element x E L is of degree :S rover I(H), we can set s to be the maximum
of the degrees of the elements of L over I (H). Let y be an element of degree
s. If I(H)[y] is strictly contained in L, then there exists z in L - I(H)[y];
z is algebraic over I(H), so it is algebraic over I(H)[y] and [I(H)[y][z] :
I(H)] > [I(H)[y] : I(H)] = s. By the Primitive Element Theorem (§6.5),
there exists an element w of L such that I(H)[y][z] = I(H)[w] (Figure 8.3).
124 8. Galois Groups
L
I
I(H)[y][z] =I(H)[ w]
1
I(H)[y]
I(H)
I
FIGURE 8.3.
j j j2 j j2 j P
TABLE 8.1.
Note that 0"1 is the identity on N and the identity element of G, and that
0"2 is induced by complex conjugation.
To determine the structure of G, we note that it has three elements
of order two: 0"2,0"4,0"6, and two elements of order 3: 0"3,0"5. Thus it is
isomorphic to 8 3 (the only other group with six elements is the cyclic
group (Zj6Z, +), which contains only one element of order two). We can
also note that G is a group with six elements, and since it can be identified
with a subgroup of 8 3 , by §8.1.4, it must be isomorphic to 8 3 .
8.3 The Example of Q [ ~,j]: First Part 125
x = a + bj + cj ~ + d( -1 - j) ~ + e( -1 - j) W + 1 W,
which implies that c = -d, d = c- d, e = -e + I, 1 = -e, i.e. c = d = e =
1=0.
Thus J(H) = Q[j]. As shown by Artin's theorem, we indeed have
[N : Q[j]] = 3 = IHI and Gal(NIQ[j]) = H.
Similarly, we find
FIGURE 8.4.
126 8. Galois Groups
!7
normru
FIGURE 8.5.
1) The map <p : Gal(NIK) --> Gal(LIK) obtained by taking the restriction
to L of a K -automorphism of N is a surjective group homomorphism with
kernel equal to Gal(NIL).
Gal(NIK)jGal(NIL) ~ Gal(LIK).
1) I and G define inverse bijections which are decreasing for the inclusion
relation.
COMMENTS. -
1) I and G define a trellis isomorphism. Let us explain this.
Recall that the expression z = sup (x, y) in an ordered set means that z
is the smallest element satisfying z ::::: x and z ::::: y, i.e. for every t such that
t ::::: x, t ::::: y, we have t ::::: z. The definition of z = inf(x, y) is analogous. A
trellis is an ordered set in which the sup and the inf of any two elements
exists.
£ is a trellis for inclusion, since inf(L, L') = L n L' and sup(L, L') =
K(L U L').
9 is a trellis for inclusion: indeed, if Hand H' are subgroups of Gal(NIK),
then inf(H, H') = H n H' and sup(H, H') is the subgroup generated by H
and H'.
2) This theorem asserts in particular that an element of N lies in K if it
is invariant under all of the elements of Gal(NIK), a result that is often
useful.
Ak+l (we consider the indices modulo n) since f conserve the distances.
If f(Ad = Ak+1, then f is the rotation of center 0 and angle 2k1r/n. If
f(Al) = A k - 1 , f is the symmetry with respect to line D passing through
o such that (OA o, D) = k7r /n.
Let r denote the rotation of angle 27r /n and s the symmetry with respect
to ~Ao. Thus, the dihedral group Dn has 2n elements:
c A
FIGURE 8.6.
130 8. Galois Groups
The group D4 contains eight elements: the identity, two elements of order
4, r = rot(O, 'IT /2) and r3 = rot(O, -'IT /2) = r-l, and five elements of order
2, r2 = rot(O,'IT) = -id = sym/O, s = sym/(CA), rs = sym/!::.. = sr 3,
r 2s = sym/(BD) = sr2, and r3 s = sym/!::..' = sr.
The subgroups of D4 have 1, 2, 4, or 8 elements. The subgroup with
one element is {id}; the subgroups with two elements are (r2) = {id, r2},
(s), (rs), (r 2s), (r3 s ); the subgroups with four elements are (r), (s,r 2s) =
{id, s, r 2s, r2}, (rs, r3 s ) = {id, rs, r3s, r2}; the subgroup with eight elements
is D4 itself. The notation (Xl, ... , Xn) means the subgroup generated by
the elements Xl, ... ,Xn- One of the subgroups with four elements is cyclic
of order 4, and the other two are generated by symmetries defined by two
orthogonal lines: (AC) and (BD) or !::.. and !::..'; showing that these are the
only subgroups is a simple matter of patience.
Every bijection {A,B,C,D} ----> {1,2,3,4} defines an embedding of D4
into S4, but there are only three distinct subgroups of S4 isomorphic to D4
(a quick proof is given by the Sylow theorems; see Exercise 8.2).
~ i J2 (
id ~ i J2 (
P i~ i -J2 -(
p2 -~ i J2 (
p3 -i~ i -J2 -(
(J ~ -i J2 -i(
P(J iV12 -i -J2 i(
p2 (J -V12 -i J2 -i(
p3 (J -iV12 -i -J2 i(
TABLE 8.3.
(p2(J), (p3(J), ((J, p2(J) , (P(J, p3(J) , (p), and G itself. We can then proceed to
completely determine the trellis of intermediate extensions between Q and
N, and its Galois correspondence with the trellis of subgroups of G (Figure
8.7).
,·X
2) a) Let x and y be two elements belonging to the same orbit, so that
y= for some, E G. Show that S(x) and S(y) are conjugate
subgroups; more precisely, show that S(y) = ,S(xh- 1 .
134 8. Galois Groups
( P(X)) P(X+a)
eTa Q(X) = Q(X + a)"
b) HnK={e};
10) Determine the extensions invariant under the groups (a, p2), (pa, p2),
(p).
4) Let us admit the fact that G' has seven subgroups of index 2 (they
are hyperplanes for the 7l,/2Z-vector space structure, and there are
as many of them as there are independent non-zero vectors in the
dual of this vector space). Find the set of quadratic extensions of Q
contained in L.
2) (X2 - 2)(X2 - 3) has splitting field 1Q[v'2, V3] over IQ. As this extension
is of degree 4 over IQ, we find that G = Gal(lQ[ v'2, V3]IIQ) has four elements;
thus it is isomorphic to either Zj4Z or Zj2Z x Zj2Z. To decide which of
these is the right group, we need to study G; its elements 0'1, 0'2, 0'3, 0'4
are extensions of IQ-automorphisms of 1Q[v'2]. They are are defined by the
images of v'2 and V3, and these images are conjugates, so they must be
equal to ±v'2 and ±V3 (Table 8.4).
v'2 V3
0'1 v'2 V3
0'2 -v'2 V3
0'3 v'2 -V3
0'4 -v'2 -V3
TABLE 8.4.
We see that the element 0'1 is of course the identity element, and 0'2, 0'3,
0'4are of order two. Thus G is isomorphic to Zj2Z x Zj2Z; its subgroups
are {ad, (a2), (a3), (0'4), and G. The corresponding fields of invariants are
140 8. Galois Groups
Q[v'2, v'3], Q[v'3], Q[J2J, Q[V6] and Q. We can guess these intermediate
extensions easily and check that they work: for example, Q[v'3] is invariant
under (0"2) and its degree is equal to the index of (0"2) in G. Without this
intuition, we would need to work with a basis of Q[v'2, v'3] over Q, for
example 1, v'2, v'3, V6, and solve the equations x = O"i(X), i = 2,3,4, with
x = a + bv'2 + cv'3 + dV6.
The factorizations of (X2 - 2)(X2 - 3) are given by
(X - v'2)(X + v'2)(X 2 - 3) over Q[v'2];
(X - v'3)(X + v'3)(X2 - 2) over Q[v'3];
(X2 - 2)(X2 - 3) over Q[J6].
Choosing the correspondence defined in Table 8.5, we obtain the elements
of the subgroup of 84 isomorphic to G (Table 8.6).
TABLE 8.5.
4) X 3 + 2 has the same splitting field over Q as X 3 - 2, since its roots are
the negatives of the roots of X 3 - 2. So we can reason as in §8.3 and §8.6.
i J2 ( (3 (5 (7
0"1 i J2 ( (3 (5 C
0"2 -i v'2 C (5 (3 (
0"3 i -v'2 (5 C ( (3
0"4 -i -v'2 (3 ( C (5
TABLE 8.7.
Solutions to Some of the Exercises 141
• over lQ[i] :
• over lQ[iv'2] :
6) X4 - 1 has splitting field lQ[i] over IQ; the solution works exactly as in
1). By numbering the numbers 1, -1, i, -i as 1, 2, 3, 4, we identify the
group G with the subgroup of S4 given by id and (34).
3) The different factors do not bring any more information than does the
first. Examples: II(X2 + k 2) whose splitting field is lQ[i]' II
(X2_
l:Sk:Sn
2k2) whose splitting field is IQ[ v'2], etc.
a b c d
(i1 a b c d
(i2 b c a d
(i3 C a b d
(i4 a c b -d
(i5 c b a -d
(i6 b a c -d
TABLE 8.8.
Solutions to Some of the Exercises 143
generate N; there exist a and bE K such that I(Ht} = K[v'a] and I(H2) =
K[Vb] (see Exercise 4.7). Hence N = K[y'a, Vb].
2) a) Clearly 0: is a root of the polynomial P(X) = X4 - 12X2 + 25.
We have P(X + 1) = X4 +4X3 - 6X 2 - 20X + 14. Applying Eisenstein's
criterion with p = 2 shows that P(X + 1) is irreducible over Q, so P(X)
is also irreducible. We can also try to factor P in Z[X] using Descartes'
method, but this turns out to be impossible.
c) The roots of Pare ±o: and ±f3. As f3 E Q[o:] by b), Q[o:] is a normal
extension of Q.
TABLE 8.10.
and
0"4(0"4(0:)) = 0"4 ( -f3) = 0"4 ( -~) = %= 0:,
we see that G contains three elements of order 2, so it is isomorphic to
Z/2Z x Z/r2Z.
e) The conjugates of 0: + f3 are 0: + f3 and 0"2(0: + f3) = -0: - f3. The
conjugates of 0: - f3 are 0: - f3 and 0"2(0: - f3) = f3 - 0:. Thus 0: + f3 and
0: - f3 are of degree 2 over Q. We find that (0: + f3)2 = 12 + 10 = 22,
(0: - f3)2 = 12 - 10 = 2. But 0: + f3 and 0: - f3 are> 0, so 0: + f3 = y'22 and
0: - f3 = .12. Finally, we have 0: = Jll/2 + Jlfi and f3 = Jll/2 - Jlfi.
10) (a,p2) has six elements: id, p2, p4, a, p2a and p4a, so we are looking
for a quadratic extension of Q. Table 8.11 shows that it is given by Q[v'2).
(pa, p2) has six elements: id, p2, p4, pa, p3a and p5a , so we are looking
for a quadratic extension of Q. Table 8.11 shows that it is given by Q[j).
(p) has six elements, so we are looking for a quadratic extension of Q.
Table 8.11 shows that it is Q[d).
u j v v'2 d a,b,c
id u J v v'2 d a,b,c
p jv j2 j 2u -v'2 d c,a,b
p2 ju j j 2v v'2 d b,c,a
p3 v j2 U -v'2 d a,b,c
p4 j 2u j jv v'2 d c,a,b
l j 2v j2 ju -v'2 d b,c,a
a u i v v'2 -d a,c,b
pa jv j j 2u -v'2 -d c,b,a
p2a ju j2 j 2v v'2 -d b,a,c
la v j u -v'2 -d a,c,b
la j 2u j2 jv v'2 -d c,b,a
p5 a j 2v j ju -v'2 -d b,a,c
TABLE 8.11.
They are given by Hs = ((j, p3(j), Hg = (P(j, p4(j), HlO = (p2(j, p5(j); they
all contain p3.
Subgroups with three elements
The only such subgroup is given by Hll = (l), because the only elements
of order 3 in D6 are p2 and p4.
Subgroups with six elements
As p and p5 are the only elements of order 6, H12 = (p) is a cyclic
subgroup of order 6. If there are other subgroups with six elements, they
are isomorphic to S3, which is isomorphic to D 3, the dihedral group of
isometries of an equilateral triangle. There are two ways of placing an
equilateral triangle with center 0 with respect to the hexagon: a vertex at
A or the rotation of this by 1r /6. Thus we find two other subgroups of G of
order 6:
Hl3 {id,(j,p2(j,p4(j,p2,p4} = ((j,p2)
H14 {id,p(j,p3(j,p5(j,p2,p4} = (p(j,p2).
Let Li denote the extension corresponding to the subgroup Hi, 1 ::; i ::; 14.
To find L i , we will look for an extension L invariant under Hi (so L C L i )
of suitable degree: [Li : Q] = [N : Ql/[N : L i] = IGI/IHil.
Among the subgroups of G, only HI, H ll , H 12 , H 13 , and H14 are normal;
the corresponding extensions are thus normal extensions of Q. It is useful
to add a column to Table 8.11 to describe the action of the elements of G
on the roots a, b, c of P. We find that
LI = Q[a, d] = Q[a, b, c], L2 = Q[u] = Q[v] = Q[a, v'2],
L3 = Q[b,j], L4 = Q[j 2 u] = Q[c, v'2J,
L5 = Q[a,j], L6 = Q[ju] = Q[b, v'2],
L7 = Q[c,j], Ls = Q[a],
Lg = Q[bJ, LlO = Q[c],
Lll = Q[j, d] = Q[j, v'2], L12 = Q[d] = Q[iv'6],
L13 = Q[v'2J, L14 = Q[j] = Q[iJ3].
5) We use induction on the cardinal n of E, and show that Q[{ Vp; P E E}l
is an extension of Q of degree 2n and Galois group (Z/2Zt, in which
{Vp; pEE} is a free system over Q. The result is obvious if n = 1. As-
sume it holds for some integer n :::: 1, and let E have cardinal n + 1. If
PI E E, then we apply the induction hypothesis to E - {PI}. The field
Q [{ y1P,p E E,p =I- pI}] has 2n - 1 quadratic subextensions, given by the
Q [II vp] for non-empty subsets F of E - {pd, and none of these exten-
pEF
sions is equal to Q[v'Pil. This concludes the proof.
9
Roots of Unity
EXAMPLES. -
1) The underlying set of the group U(8) is {I, 3, 5, 7}, and we have
!p(8) = 4. Its elements are all of order 2, so we have U(8) ~ (2/22)2.
2) The underlying set of the group U(15) is {I, 2, 4, 7, 8, 11, 13, 14}, so
!p(15) = 8. Its elements are of order 2 or 4, which is the case for
exactly one of the three abelian groups of order 8, so we know that
U(8) c:::' 2/22 x 2/42.
PROOF. - The proof is entirely given in the exercises (see Exercise 9.8). <>
EXAMPLE. - We have 2,800 = 16 x 25 x 7, so
p,(I) 1,
p,(n) 0 if n has a square factor,
p,( n) ( -1 r if n is a product of T distinct primes.
9.2.3 Proposition
The Mobius function is a multiplicative function, and fOT all n > 1, we
have
L p,(d) = o.
dED(n)
g(n)= II n)J.L(d)
f (d = II f(d)J.L(n/d).
dED(n) dED(n)
L (g(e) L }L(d)).
eED(n) dED(n),eED(n/d)
so we have
COMMENTARY. - August Mobius is better known for his band, or for the
invention of barycenters. He introduced his function in 1832, using it for
an inversion formula that was generalized independently by Dedekind and
by Liouville in 1857.
9.3 Roots of Unity 153
9.3.2 Proposition
The set of n-th roots of unity in C forms a cyclic group Iln isomorphic to
('Lln'L, +).
PROOF. - Consider the group homomorphism f : ('L, +) --+ C* defined by
f(k) = e2ik1r/n. The kernel of this homomorphism is exactly n'L, and its
image is Iln, which gives the result. 0
II
(;EI-'n, (; primitive
(X - ().
The fact that <I>n is irreducible over Q whenever n is prime was proved
by Gauss in No. 341 of his Recherches arithmetiques, after the definition
of the cyclotomic polynomial in No. 339 (Figure 9.1). His proof is not as
rapid as the proof using Eisenstein's criterion.
1) xn - 1 = II <I>d(X)
dED(n)
3) <I>n(X) E Z[X]
PROOF. -
1) We compute
xn -1 II (X - () = II II (X - ()
dED(n) (E/Ln, ( of order d
9.4 Cyclotomic Polynomials 155
II II (X - () = II <I>d(X).
dED(n) (EJ.Ld, ( primitive dED(n)
EXAMPLE. -
3V6+7iV5
a)
17
7 +4iJ2
b)
9
c)
..)2 + v'3 + i..)2 - v'3
2
a) Show that <.I>n(X) = X'P(n) <.I>n (1/ X). Deduce that the coeffi-
cients of <.I>n satisfy a'P(n)-k = ak for 0 :s; k:S; cp(n).
5) Now, use these results to compute the polynomials <.I>n(X) for n = 30,
81,105.
Exercises for Chapter 9 159
3) Find an element generating the field I(H), which (we recall) is the
set of elements in IQ[(] invariant under H.
27r
cos -
-1
= ---,--
+ v'5
5 4
9) Using the problems above, decide if the regular polygon with 15 sides
(and radius 1) is constructible with ruler and compass.
1) Find the smallest integer n such that the class of n modulo 17 gener-
ates (1::/171::)*. Use this to determine an isomorphism from G to the
group (1::/161::, +), and then the trellis of subgroups of G.
5) Show that for every NEZ, there exists an integer n such that v'ii E
Q[(n].
3) What is the order of G' = Gal(N[L)? What are its elements, in terms
of a?
Solutions to Some of the Exercises 163
4) Using 3), show that q}p factors as a product of two irreducible poly-
nomials over L[X]. Denote them by Sand T; give their roots in N
and their constant terms.
a) for p = 7,
b) for p = 13.
c) The square of the number is e i7r /6, and its real part is strictly positive,
so it must be e i7r / 12 .
2) 1Ql[(] is a normal extension of IQl with Galois group U(n). K is the field
of invariants of a subgroup H of U(n). As U(n) is abelian, H is a normal
subgroup of it, so K is a normal extension of 1Ql.
3) Let w be a primitive mn-th root of unity. The degree of lQl[w] over IQl
is <p(mn) = <p(m)<p(n) (this equality holds because m and n are relatively
prime).
As Q[(] is of degree <p(m) over 1Ql, and 1Ql[7]] is of degree <pen) over Q,
the tower rule shows that lQl[w] is of degree <pCm) over 1Ql[7]] and <pCn) over
Q[(]. Set L = Q[(] nQ[7]]' r = [Q[(] : L]. As L is an intermediate extension
between Q and 1Ql[(], we have r :s; <p(m) (Figure 9.2). Furthermore, the
degree of ( over L is greater than or equal to the degree of ( over 1Ql[7]]; as
lQl[w] = 1Ql[7]][(]' we have r 2: <p(m) and thus the result.
164 9. Roots of Unity
~Q[ro)~(m)
Q[~] 02[11 ]
~11
/K[~\
Q[~] K
Q ""Q/
FIGURE 9.2. FIGURE 9.3.
We can also use the isomorphism U(mn) ':::' U(m) x U(n); the intermedi-
ate extensions Q[(] and Q[1]] corresponding to the subgroups U(m) x {id}
and {id} x U(n) of U(m) x U(n) have intersection equal to Q (see Exercise
8.6).
-1-J2±J2y2-1
t,u
2
y2 - 1 ± i y''-2y2-=-2-+-1
v,W = 2
Note first that P has no linear factor in Q[X]. Next, note that a decom-
position into two quadratic factors is impossible in Q[Xl, since one of the
factors must be X2 + (1 + J2)X + 1.
3) The conjugates of roots of unity over Q are also roots of unity; as t and
U do not have modulus 1, their conjugates v and w over Q are not roots of
unity.
Solutions to Some of the Exercises 165
2) We have
(X30 - 1)(X5 - 1)(X 3 - 1)(X2 - 1)
[t]<P30(X)
(XI5 - l)(XIO - 1)(X6 - l)(X - 1)
(XI5 + l)(X + 1)
(X5 + 1)(X3 + 1)
166 9. Roots of Unity
X 10 _ X5 +1
X2 - X +1
X 8 + X7 - X 5 _ X4 - X 3 + X + 1,
X81 -1
X27 -1
X 54 + X27 + 1.
4) We have
<pn(X) II (X n / d - l)J.t(d)
dED(n)
II
dED(m)
((xn/m)m/d _ l)J.t(d)
<pm(x n / m ),
II (X 2n / d _l)Jl(d)(X n/ d - l)-Jl(d)
dED(n)
II (X n / d + l)Jl(d)
dED(n)
so
X 48 + X47 + X 46 _ X 45 _ X44 _ 2X 43 _ X42 _ X41 +
X 38 + X 37 + X 36 + X 35 + X 34 + X 33 _ X 30 _
X 28 _ X 26 _ X24 _ X22 _ X 20 + X17 + X 16 +
X 15 + X14 + X 13 + X12 _ X 9 _ X 8 _ 2X7 _
- X 6 - X 5 + X2 + X + 1.
168 9. Roots of Unity
It so happens that the coefficients of <Pn with n < 105 all lie in the set
{ -1, 0, I}; however, this result shows that this is not always the case.
-1+V5 .V1O+2V5
( 4 + z 4 '
(2 -1-V5 .V1O-2V5
4 +z 4 '
1) We know that [Q[(] : Q] = '1'(15), where 'I' denotes the Euler function.
As '1'(15) = '1'(3)'1'(5) = 8, Q[(] is an extension of degree 8 of Q.
The minimal polynomial <P of ( over Q is the cyclotomic polynomial
<P15(X). The formulas of Proposition 9.4.2 give
(X15 - l)(X - 1)
(X5 - 1)(X3 - 1)
Solutions to Some of the Exercises 169
XS - X7 +X 5 - X4 +X3- X + 1,
<P15(X)<P5 (X)<P3(X)<P1 (X)
(X s _ X7 + X 5 - X4 + X 3 - X + 1) .
(X4 + X 3 + X2 + X + 1)(X2 + X + I)(X -1).
b) Here, we let 2 and 4 denote the classes modulo 2 and 4; P has three
elements of order two, namely (0,2), (1,0), (1,2), and four elements of
order 4, namely (0,1), (1,1), (0,3) (1,3).
27r 27r
cosk- =cos- i.e. k = ±1 mod 5,
5 5 '
so k = 1, 4, 11, 14. The Galois group is not cyclic; it has three elements of
order 2.
K = Q[j, v5]. As Gal (Q[(]IQ[j, v5]) is the intersection of the two
groups Gal(Q[(]IQ[j]) and Gal(Q[(]IQ[v5], it contains CTk for k = 1,4.
«0,0»
/l~
«0,2» <(1,0» <(1,2»
/~ ~ i /
<(1,1» «0,1» «1,0),(0,2»
~~/
p Q[l;;] "'-
/ 1 'x
Q[j,VS] Q [11] Q[cos 21t 114]
/~~~
Qi,Vf5] Q[j] Q [1/5]
~+/
Q
FIGURE 9.4. The Galois correspondence
(+ (-1 + (4 + (-4
2
C + 1 +(-3
2
27r 1 1 +.J5
cos-+-=---
5 2 4'
Recall that IQ[(] is an extension of degree <p(17) = 16 of IQ, which has basis
((khSk96 as a IQ-vector space.
0 1 2 3 4 5 6 7
id 0"3 0"9 0"10 0"13 0"5 0"15 O"ll
8 9 10 11 12 13 14 15
0"16 0"14 0"8 0"7 0"4 0"12 0"2 0"6
TABLE 9.2.
and we have 0"9 = (0"3)2,0"13 = (0"3)4, 0"16 = (0"3)8, we find that the trellis
of subgroups of G is given by
y - "';2x - 2y - xy + 7
z = y + "';2x - 2y - xy + 7
-=---'-----::-=--~- adz) = 2 .
2 '
After completing the computations, we obtain
27r Z
cos-=-=
17 2
CG.I~;::~""+ir\b7+nV'~:-:aV'11)""'lV{{1'1+SVIVJ""'V@+-.V11)
-eVti4+U/l7)} ;
Jes cosinua des al1altip'les de eet 8JJgle ()nt 'one forme semJ.Iable,
lea uus oat DR radical ., plus. n,. a certain.meat bien mil
-de s'etoBller Ilue la. div.isibilitcl du oe~le til 1) . , S puties ayaat
et~ CODDue des Ie temps d'Eucl/dtJ, on Il'ait rim ajotlM a eel
d~couvettes daJls DR intervalle de deux mille ans, ef· '!\10" tous les
g~metres aient lnoonce comme certain, qU'exeepti cos divisions
et ceRa qui s'ea d«!duisent (les divisions en 2(A., 15, 5.2'f, 5.21'- ,
lS.2(A. parties), on De ~Ul'ait en eJfeetUCf auanne par des
comtr)1.ctlDns .,~o~triques.
4) The roots of S are the (jk (() for (jk <f. C'; those of T are the (jk (() for
(jk <f. C'. We note that T = (ja(S). The irreducibility of Sand T over L is
a consequence of the fact that ( is of degree (p - 1) /2 over L. The constant
term of Sis (_1)(p-l)/2(N with N = L a 2r = 0 mod p; thus it is
1$r$(p-l)/2
1 if p = 1 mod 4 and -1 if p = 3 mod 4.
We can determine T in the same way, and with (3' = (-1 - iv7)/2, we
find
PROOF. -
°
1) The roots of Xn - a in C are the n numbers bC;k, ~ k ~ n - 1. As
they are all elements of K[b], K[b] is a normal extension of K. Set
°
G = Gal(K[b]IK). For every a of G, a(b) is a conjugate of b over K,
which can be written uniquely as bC;k avec ~ k ~ n - 1. The map
1j;: G ....... 7l,/n7l, defined by 1j;(a) = k is a group homomorphism, since
if a(b) = bC;k and a' (b) = bC;k' , then (a 0 a')(b) = a(bC;k') = bC;k+k'. It
is injective, since if 1j;(a) = 0, then a(b) = b, so a = id. It follows that
because G is isomorphic to a subgroup of the cyclic group 7l,/n7l" it
is itself cyclic of order a divisor d of n.
Let a be a generator of G and set a(b) = bC;k. As a is of order d,
= (bC;k)d = bdC;kd = bd. Because the
k is of order d in 7l,/n7l" so a(bd)
element bd is invariant under a, it is invariant under every element
G; thus it lies in K.
EXAMPLE. - Consider the example of the field K = Q[j, v2], which contains
the sixth roots of unity. The polynomial X 3 - v2 is the minimal polynomial
of b = V"2 over K since [K[b) : K] . [K : Q[v2] = [K[b] : Q[bll·[Q[b] :
Q[v2] = 6 shows that b is of degree 3 over K. The group Gal(K[b]IK) is
thus isomorphic to 7l,/37l,; its elements send b to b, jb, j 2 b.
10.3 Irreducibility of XP - a
PROPOSITION. - Let p be a prime such that p ~ 2, K a subfield of C, C; a
primitive p-th root of unity, and a an element of K.
1) If K contains C;, the polynomial XP - a
PROOF. -
because an(y) = y.
Conversely, suppose that N(x) = 1. The linear combination
10.6.2 Properties
With the notation of §6.1, we have:
1) o-((c:,x) = c:- 1 (c:,x);
2) (l,x) E K;
3) (c:, x)n E K;
4) (c:,x)(c:- 1 ,x) E K;
PROOF. -
1) We have
4) We have
5) Set Sr = L c-r(c,x).
eEl-'n
'"' c k-r
L-. =
O:SI:Sn-l
This gives the result.
K[a,b,c]=L[z']
I
L=K[z]
K
FIGURE 10.1.
we find
(a + jb + le)(a + j 2b + je) = a 2 + b2 + e2 - ab - be - ea
-3p.
3a (j,a) + (j2,a),
3b l(j,a) + j(j2,a),
3e j(j, a) + j2(j2, a).
( (j,a))3
3
= _~ ±
2
J+ q2
4
p3
27'
etc.
~T~
H=«ab)(cd» H'=«ac)(bd» H"=«ad)(bc»
~I~
V
I / K[a'l'C,d~
A4
T=M[a+b] T'=M[a+b] T"=M[a+b]
I I
S4
M=L[u]
/
I
L=K[O]
I
K
FIGURE 10.2.
4) Let a = 15, b = a + ia, and let N be the normal closure of Q[b] over
Q.
a) Is N a cyclic extension of Q?
b) Give a strict subfield K of N such that Gal(NIK) is cyclic of
. order 4.
2) Now let p and q be two distinct primes n = pq, ( a primitive n-th root
of unity, K = Q[(]' P(X) = (XP - 2)(XQ - 2), and N the splitting
field of P over K. Show that N is a cyclic extension of K.
a) Show that the eignvalues of a are n-th roots of unity, and that
1 is an eigenvalue of a.
b) Show that a is diagonalisable.
c) Deduce that 1 cannot be the only eigenvalue of a.
d) Show that the eigenvalues of a form a cyclic group isomorphic
to the group J.Ln of n-th roots of unity.
e) Show that there exists a E K, bEL such that bn = a and
L = K[b].
3) Take the field Q [J3, h]; its Galois group over Q is 7l/271 x 7l/271.
4) a) The minimal polynomial of b over Q is X4 + 20, whose roots are
±b and ±ib. Thus we have N = Q [i, -Y5]. We see that [N : Q] = 8 and
Gal(NIQ) contains the elements (T and T defined by a(i) = i, (T(a) = ia,
T(i) = -i, T(a) = a.
We note that (TT -I- Ta, since aT(a) = ia and T(T(a) = -ia. The group
Gal(LIQ) is thus neither commutative nor cyclic.
b) Set K = Q[i]; then K contains the fourth roots of unity. Thus, N is
a cyclic extension of K, by §10.2, with Galois group isomorphic to 7l/471
since [N : Q[i]] = 4.
(o~ ~ -~).
1 -1
1) This is obvious.
2) a) NL'/K(a) = n
aEGal{L'IK)
Solutions to Some of the Exercises 193
This chapter and the next one are devoted to the problem of resolving
algebraic equations by radicals. Given a polynomial with coefficients in a
field K, together with its splitting field N over K, the solvability of the
equation P(x) = 0 by radicals can be expressed in terms of the existence
of a particular sequence of intermediate extensions between K and N (see
Chapter 12). By the Galois correspondence, this translates to a property
of Galois group Gal(NIK). In this chapter, we introduce the groups having
this special property, called solvability.
EXAMPLES. -
5) Any p-group, and any group of order pq for distinct primes p and q,
is solvable (see Exercise 11.3).
6) Any group whose order has only two prime divisors is solvable (Burn-
side's theorem, 1904).
the fact that Di+l(G) = D(Di(G)) is normal in G i shows that the quotient
Di(G)IDi+l(G) is commutative for every i. <>
PROOF. -
We have
2) Assume that l(al) = 3 and l(ai) = 2 for i > 1. Then H contains the
3-cycle 172, so H = An.
4) Assume that l(ai) = 2 for i = 1, ... , k. Set 171 = (a b), 172 = (c d),
and a' = (b c d)a(b c d)-I. Because a-la' lies in H and a-la' =
(a d)(b c), H contains a double transposition, so H = An.
In every case, H = An; thus An is a simple group. As it is not
commutative, it is not solvable, and by Proposition 11.4, Sn is also
non-solvable. <>
together with seminal work of Claude Chevalley from the same period, the
proof that the list of known finite simple groups was actually a complete list
represents an enormous effort on the part of the mathematical community.
Counted all together, the different parts of the proof fill nearly 10,000 pages;
it is the longest proof on record. Given that even the best mathematicians
make errors every 50 pages or so .....
Certain simple groups fall naturally into some infinite series, whereas
others, called sporadic, seem to be the only ones of their kind. Among
the sporadic simple groups, the most famous and largest one is known as
the monster (or sometimes, the friendly giant). It possesses spectacularly
beautiful properties; its order is equal to 246 X 320 X 59 X ~ X 112 X 133 x
17 x 19 x 23 x 29 x 31 x 41 x 47 x 59 x 71, which is roughly 1054.
The proofs of theorems concerning solvable groups are also sometimes
extremely long. In 1963, Walter Feit and John Thompson published a fa-
mous 255 page proof of the theorem "All finite groups of odd order are
solvable."
d) Show that, for every n ~ 1 and every odd integer k with k :::; n,
An is generated by the k-cycles, by showing that every 3-cycle
is a product of two k-cycles.
°
b) Show that every element of GA(p) can be written uniquely in
the form tbm a , with 1 :S a :S p - 1, :S b :S p - 1.
Deduce that IGA(p) I = p(p - 1).
c) Show that (t) is a normal subgroup of GA(p).
d) Show that GA(p) is transitive and solvable.
COMMENTARY. - These results are due to Galois. Later (see Exercise 12.3),
we will prove the main result on equations that he deduced from them.
1) Set 0: = O"(Xl, ... , Xk)O"-l and (3 = (O"(Xl), ... , o"(Xk». We see that
o:(y) = (3(y) in each of the two cases y tf- {O"(Xl), ... ,O"(Xk)} and y E
{O"(Xl), ... , o"(Xk)}.
2) d) Using the equalities
3) d) The k-cycles are even permutations when k is odd, and they generate
the set of 3-cycles, via the formula
5) Let G have the two properties. By 3), there exists <p such that <pG<p-1
contains t. As <pHr_I<P-1 = (t) is a normal subgroup of <pHr _ 2<P-I, part 4)
shows that <pHr _ 2<P-1 C GA(p). For the same reasons, <pHi<P-1 C GA(p)
for 0 ::; i ::; r - 1, which gives the result.
with the set A of elements having no fixed points, and {id}. Thus IAI =
pq - p(q - 1) - 1 =p- 1, which proves the existence of 7.
Let n be the order of 7. For every k < n, 7 k E A since if 7 k fixes i, it
also fixes 7(i), which is impossible. Thus, the orbits under the action of (7)
have the same cardinal n. As {O, ... ,p - I} is the disjoint union of these
orbits, we see that n divides p. Consequently, n = p, 7 is a p-cycle and
Au {id} = (7).
Up to conjugation, we can assume that 7 = t. If a E G, ata- 1 has no
fixed points (otherwise t would), so ata- 1 E (t) and by 4), we show that
G C GA(p). Thus, G is solvable.
12
Solvability of Equations by Radicals
EXAMPLE. - {j
'\/ 1 + P + V-5 belongs to a radical extension of Q
(this formula actually defines 360 distinct complex numbers!)
u': K[(, Uj:'OiAj] ~ <C such that u'(ai) = a. Since K[(, Uj<iAj] is a
normal extension of K (because it is the splitting field of (xn -1) II Pj )
l:'Oj<i
and (ait' belongs to it, the same holds for an, which is conjugate to it,
since an, = (u'(ai))n, = u'((ai)n,).
Note that we can refine the tower (K [( , Uj<iAj]) in such a way
- l<i<r
that the successive extensions are abelian (this is the caSe-for K[(] over K,
by §9.5) or cyclic (this is the case for extensions by each conjugate of ai,
by §10.2).
P(X) = II (X - Xi).
l-:;i-:;n
a) X5 - 14X + 7;
b) X5-7X2+7;
c) X7 - lOX5 + 15X + 5.
2) Let P be an irreducible polynomial of Ql[X] of prime degree p ~ 5.
Assume that P has exactly two non-real roots. Show that P is not
solvable by radicals.
Exercises for Chapter 12 213
COMMENTARY. - Otto Holder was the first to clarify the problem posed
by Cardan's formulas in 1891.
a' -(u+v+w)=-3a+2pc,
b' uv + vw + wu = 3a 2 + pb 2 - 4pac + p 2c2 + 3qbc.
which is false.
b) In this case, -3 is a square, which gives the conclusion.
216 12. Solvability of Equations by Radicals
2) If a and b denote the two real roots of P, then we cannot have N = K[a, b]
(with notation as above), since K[a, b] C lR. and N ct. lR.. The result then
follows from the first question.
The life of Evariste Galois is the most famous, fascinating, and commented
life of any mathematician. It has even become something of a myth, like
the lives of the immortal poets Rimbaud, Byron, or Keats.
Our knowledge of Galois' life contains enough gaps to allow imagination
(and historians of science) to flourish. The books by Bourgne and Azra
listed in the bibliography denounce some dangerous hypotheses and out-
right errors; see also their edition of Galois' complete works, containing
portraits, reproductions of his writing, and all of his extant articles.
Evariste Galois was born on October 25, 1811, in Bourg-la-Reine, a town
(renamed Bourg-l'Egalite during the Revolution!) located about 10 km
south of Paris. His father, Nicolas Gabriel Galois, was a political liberal
and the mayor of the commune during the Hundred Days; his strong per-
sonality assured him re-election under the Restoration. Apart from acting
as mayor, he was also the director of a school. Galois' mother, Adelalde
Marie Demante, was the daughter of a magistrate. She appears to have
played an important role in the education of her young son, particularly in
the domain of Latin culture.
At the age of 12, Evariste entered the royal school of Louis-Ie-Grand.
He was a brilliant student, but his teachers also commented that he had
"somewhat bizarre manners" and was "rebellious" ... (is this really extraor-
dinary?) In October 1826, he entered the advanced rhetoric class, but at
the beginning of the second trimester, he was demoted to the previous year
because of his mediocre performance. At that time, all study was heavily
based on classical culture, and sciences were studied only as extra work;
this actually represented a regression with respect to the Napoleonic and
and June 1830. In the end, the Grand Prize was awarded to Abel (who had
died the previous year) and Jacobi.
Galois' political opinions appear to have evolved very rapidly, and from
that point on, he began to live a political life as intense as his mathematical
one. During the famous days of July 27,28, and 29, 1830, he and the other
students were locked into their school to prevent them from participating
in the action outside, while the students at the Ecole Polytechnique battled
on the barricades and made history. By October 1830, at the beginning of
the academic year, Galois had turned into an active, ardent, and intrepid
Republican, ready to defend the "rights of the masses", according to one
member of his family. He joined the Society of Friends of the People on
November 10 and openly criticized the opportunism of the director of the
Ecole Normale and the philosopher Victor Cousin, who from faithful fol-
lowers of Charles X had become faithful followers of Louis-Philippe. He
mingled criticism of their teaching with his political criticism and found
himself indefinitely suspended.
The last mathematical article published in Galois' lifetime appeared on
December 1. On December 5, he apparently authored a long letter published
in the Gazette des Ecoles, signed "a student at the Ecole Normale", in
which the director is derided in the following terms: "Everything in him
announces the narrowest ideas and the most absolute routine." In early
January, Galois was expelled by an exceptional decision of the board.
On January 2, 1831, a letter appeared (once again in the Gazette des
Ecoles) , entitled On the teaching of the sciences, subtitled Professors. Books.
Examiners. In the letter, Galois denounced the mediocrity of the teaching
available to students: "When will students be given time to meditate on
the mass of acquired knowledge .... Why do the examiners ask questions in
a twisted way? It would seem that they are afraid to be understood by
those who are being examined ..... Do they fear that science is too easy?"
With no income, Galois opened a public course on higher algebra, on Jan-
uary 13, at the Caillot bookstore, 5 rue de la Sorbonne. The course probably
did not last long. The advertisement, which appeared in the Gazette des
Ecoles, ran as follows: "This course will take place every Thursday at 1:15;
it is aimed at young people who, feeling the incompleteness of algebra as
taught in the colleges, wish to study the subject more deeply. The course
will consist of theories, some of which are new, and none of which has ever
been lectured on in public. We mention here a new theory of imaginaries,
the theory of equations solvable by radicals, the theory of numbers and
elliptic functions treated by pure algebra." Thirty people attended the first
lecture.
The academician Denis Poisson advised Galois to write a new version
of the memoir that had been presented a year earlier to Fourier and lost.
On January 17, the Academy gave Poisson the task of reading the new
manuscript, together with Sylvestre Lacroix. On March 16, Galois wrote
to the academicians, pressing them to read his manuscript. Meanwhile,
222 13. The Life of Evariste Galois
My dear friend,
I have done several new things in analysis.
Some of these things concern the theory of equations, others concern
integral functions.
In the theory of equations, I looked for conditions for the equations
to be solvable by radicals ....
He recalls the set of results that he obtained, concluding seven pages later
with an obscure sketch of some notions later created by Riemann (many-
sheeted Riemann surfaces are referred to as ''the theory of ambiguity").
My main meditations for some time now have been directed towards
the application of the theory of ambiguity to transcendental analysis ...
But I do not have time now and my ideas on this immense terrain are
not yet well developed ...
You will publicly request Jacobi or Gauss to give their opinions, not
on the truth but on the importance of these theorems.
224 13. The Life of Evariste Galois
After that, I hope there will be people who find profit in attempting
to decipher this mess.
Rereading or wishing to modify one statement, he wrote in the margin:
"There is something to be completed in this proof. I have no time."
He wrote other short letters, for example: "I am dying, the victim of an
infamous coquette, and two fools of this coquette. My life is extinguished
in a miserable cancan. Oh ! why die for so little .... Adieu! I had a lot of
life for the public good."
The exact circumstances of the whole adventure are not known, nor is
the name of his adversary. In the morning of the May 30, Galois, grievously
wounded and abandoned after the duel, was picked up by a peasant and
carried to the Cochin hospital where he died of peritonitis on May 31, in the
arms of his young brother Alfred, saying "Don't cry, I need all my courage
to die at twenty." He was buried in the mass grave of the Montparnasse
cemetery.
Accounts of his death appeared in a few newspapers, but they gave con-
tradictory details. His friends organized a demonstration, which they post-
poned on hearing of the death of General Lamarque; it took place on June
5 and led to the massacre of the Saint-Merri cloister. Victor Hugo recounts
the event in the chapter The epic of the rue Saint-Denis of his book Les
Miserobles.
Thanks to the devotion of Auguste Chevalier and his brother, the papers
of Evariste Galois were collected, and his letter-testament was published in
September 1832. It did not, however, attract any attention, even though
it was published by Auguste Chevalier together with a presentation of the
life of his friend ("A second condemnation threw him behind bars for six
more months. Death awaited him at the exit"), to which Nerval added, in
1841: "He was killed in a duel the day after he was given his freedom." The
romantic myth surrounding Galois was born from these lovely writings.
In 1835, Lacroix mentioned, in a note near the end of the sixth edition
of his Complements of elements of algebro Galois' memoir, which he had
read together with Poisson, saying:
In 1828, Abel wrote to Legendre: "I have been happy enough to find
a sure rule for recognizing if a given equation is by radicals or not. A
corollary of my theory shows that generally, it is impossible to resolve
equations superior to the fourth degree." (Journal de Grelle, year 1830,
1st cahier, p. 73.) This discovery was announced by Legendre to the
Academy of Sciences on February 23, 1829; but Abel did not publish
anything on the subject, and nothing to do with it was found in his
papers ....
In 1831, a young Frenchman, Evariste Gallois (sic), who died the
following year, announced, in a memoir presented to the Academy of
Sciences, that 'for an irreducible equation of prime degree to be solv-
able by radicals, it is necessary and sufficient that given any two of its
roots, the others can be deduced from them rationally', but his memoir
13. The Life of Evariste Galois 225
In this chapter, we drop the assumption that the fields we consider are
subfields of C. We will make use of analogues of some of the definitions
and results of previous chapters, which adapt to the case of finite fields;
we do not always give the new proofs for these results. Note, however, that
Theorem 14.1.3 proves the existence of an algebraic closure for each of the
fields we will study; it plays a role analogous to that of C in the previous
chapters. Fields of characteristic 2 are a particularly exciting subject of
current research.
14.1.1 Definition
A field C is said to be algebraically closed if every polynomial of degree
greater than or equal to 1 in C[X] factors into a product of linear factors
or, equivalently, if every polynomial of degree greater than or equal to 1 in
C[X] has at least one root in C.
EXAMPLE. - The field C of complex numbers is an algebraically closed
field, by d'Alembert's theorem (see Exercise 7.4).
PROOF. - Let us sketch a proof (see the book by A. and R. Douady listed
in the bibliography for more details).
1) Let E be a set containing K, with sufficiently large cardinal. The
algebraic extensions of K whose elements are in E form an ordered set,
by extension, which is inductive. By Zorn's lemma, this set contains a
maximal element G. Assuming that G is not algebraically closed leads to
a contradiction. If K is finite, we can even avoid having recourse to Zorn's
lemma, replacing it by a direct construction.
The isomorphism of two algebraic closures G and G' of K is a conse-
quence of part 2), with L equal to G or G', noting that a K-homomorphism
of an algebraic extension L (whether of finite or infinite degree) of a field
K is an automorphism. This isomorphism is not unique.
2) Consider the set of pairs (L', (J"'), where K c L' eLand (J"' : L' ---> G
is an extension of (J"; put an order on it by the extension relation. It is
inductive, so we can use Zorn's lemma, which asserts that it has a maximal
element (L1' (J"1). We prove that L1 = L by assuming the contrary and
obtaining a contradiction. 0
COMMENTARY. - This theorem can be found in an article by Steinitz dating
from 1910, which Bourbaki refers to as "having given birth to the current
conception of algebra" .
14.2 Examples of Finite Fields 229
14.3.2 Properties
A field of characteristic 0 contains a ring isomorphic to 7l., so it has a
subfield isomorphic to Q, whereas if ker(f) = (p) for some p > 0, then
p must be prime and K contains a subfield isomorphic to IFp. Thus, a
field of characteristic 0 is infinite, and every finite field has non-zero prime
characteristic. Every extension of a given field K has the same characteristic
asK.
230 14. Finite Fields
x q- 1 = 1,
u = II p~i, U
I S
=-,
u
v= II p~i, and v'
t
v
l$i$j l$i$j
As u' and v have no common prime factor, they are relatively prime. We
see that aU is of order u' and bV ' is of order v. The element aUbv ' is of order
u'v = lcm(s, t) > s, which leads to a contradiction.
Unfortunately, there exists no algorithm for rapidly computing a gener-
ator of K*, even in the case K = IFp'
14.5 Existence and Uniqueness of a Finite Field with pT Elements 231
(x + y)P = x P + yp.
2) If L is an extension of a finite field K with q elements, the map Fq :
L ~ L defined by Fq(x) = x q is a K-homomorphism called the Frobenius
homomorphism of the extension.
3) If L is a finite extension of a finite field K with q elements, the Frobenius
homomorphism Fq is a K -automorphism.
PROOF. - 1) Let k be such that 1 ::::: k ::::: p - 1. As p! = k!(p - k)! (D,
and furthermore the prime number p does not divide k!(p - k)!, it must
divide (~). The binomial formula then shows that (x + y)p = x p + yP, so
Fp(x + y) = Fp(x) + Fp(Y). The equality Fp(xy) = Fp(x)Fp(Y) is obvious.
2) If char(K) = p, then Fq is a power of Fp and x q = x for x in K.
3) It suffices to note that Fq is a K-linear injective map between vector
spaces of equal (finite) dimension. <)
IF [X]--<p----;oo K
~~
<p IF [X]/(P)
p
K '~
'II'
FIGURE 14.1.
Let K' be a field with pr elements. The q - 1 elements of K'* are roots
of Xq-l - 1. As P is not a constant, there exists at least one element
y E K'* which is a root of P. Let rp' : IFp[X] ~ K' be the homomorphism
defined by rp'(X) = y. As rp'(P) = 0, there exists 'ljJ' : IFp[X]/(P) ~ K'
such that rp' = 'ljJ'7r. The map 'ljJ' is an injective field homomorphism, so it
is an isomorphism since IFp[X]/(P) and K' both have q elements. 'ljJ''ljJ-l is
then an isomorphism of K onto K'. (>
14.5.2 Corollary
For every irreducible polynomial Pin IFp[X] of degree r ::::: 1, K = IFp[X]/(P)
is a jield with q = pr elements, isomorphic to the subjield of the roots of
xq - X in the algebraic closure C ofIFp.
PROOF. - The first assertion is proved using the arguments of §4.5.2, and
the second follows from §14.5.1. (>
14.6 Extensions of Finite Fields 233
14.8.3 Example
Proposition 14.8.1 proves that Gal(lF212IlF2) ~ Z/12Z.
For example, we have I((F2)) ~ lF4, I((F 6 )) ~ lF64, etc. The roots of
unity different from 1 in lF212 are the n-th roots for n dividing 4,095
5 x 7 x 9 x 13, i.e. n = 5,7,9,13,35,45,63,65, ... ,4,095.
IF
"
= iF
212 4096 {O}
/ ~
/
~6=1F64 iF 4= iF
2 16
6ZI17Z 4ZI12Z
I ~
if 3= IF
2 8
1
iF22=~
I
3ZI12Z
~ I
2ZI12Z
~E/ ~ /
2 ZI12Z
FIGURE 14.2. Galois correspondence for the extension IF 12 of lF2
Exercises for Chapter 14 235
3) Does there exist a field containing exactly 51 (resp. 129, 243, 1,024,
65,536, 65,537) elements?
4) The goal of this question is to give a glimpse into the use of the field
K = 1F2 [X]/(X 7 + X 3 + 1), isomorphic to 1F 128 , in the transmission
of electronic messages. We follow an article by Pierre Arnoux pub-
lished in the March 1988 issue of the magazine Pour La Science. The
transmission is based on cyclic codes conceived in 1959-1960. A mes-
sage to be transmitted is a sequence of O's and l's, and statistics show
that transmission errors, i.e. reception of a 0 instead of a 1 or vice
versa, are not very frequent; messages are cut into sections of 120
elements each.
3) Define the function Z : {I, ... , 6} -+ {I, ... , 6} by 1 +Xi = XZ(i). The
function Z is called Zech '8 logarithm.
Set <Pd,K(X) = II
(EJ,ld,C; primitive
(X - () for d dividing n.
From now on, let cI>n denote the polynomial cI>n,K if no confusion
is possible.
Exercises for Chapter 14 239
NOTE. - See the article by Minae and Reis listed in the bibliography for
further developments on this subject.
3) a) Let a -lOin IFP' Show that the splitting field of the polynomial
XP - X + a over IF p is an extension of degree p of IFp'
From now on, we set <p(x) = (~); (~) is called the Legendre symbol
of x. The Legendre symbol extends to every integer x -::J 0 mod p.
(~) = 1 (X~l)=(~)
(-pI) = (_1)(p-l)/2 L (::.) = O.
xEU(p) P
3) Computation of (~)=
242 14. Finite Fields
a) Compute a 2 .
4) Main formula:
Let p and q be distinct primes: then (~) (~) = (-1) ( zs.! )( q;1 ).
Let p and q be distinct odd primes, and let C be an algebraic
closure of IFp and ( a primitive q-th root of unity in C. Set
a = L (~) (k; in this expression, k simultaneously denotes
q
kEU(q)
an element of U(q) and the corresponding integer between 1 and
q -l.
a) Show that
a2 =(_1)(q-I)/2 L m L
O::;m::;q-I (kEU(q),k#-m
C- mk - I )
q .
b) Show that
e) Conclude.
proved by Lagrange (1775) and Euler (1760) respectively. The general law
was conjectured by Legendre (1785), who gave an incomplete proof of it;
Gauss gave several proofs, the first one in 180l.
The quadratic reciprocity law relates the properties: "p is a quadratic
residue modulo q " and" q is a quadratic residue modulo p ", which pro-
vides a rapid method for computing the Legendre symbol. The proof given
above uses what are known as "Gauss sums". The ninth of Hilbert's famous
23 problems proposed in 1900 concerns generalizations of the quadratic reci-
procity law for cubic residues, etc., which are currently objects of research.
x7 L bkX k = L Ckxk.
09::;119 0::;k::;6
If the error concerns the l-th rank for 0 ::; I ::; 119, we have
L Ck xk + L b 120+k xk x7 L bk Xk + x7 L ak xk
0::;k::;6 0::;k::;6 0::;k::;119 0::;k::;119
xl+ 7 .
If the error concerns the rank I, 120 ::; I ::; 126, we have
As x generates K*, we can always find I, and if 0::; I ::; 119, we can correct
the received message.
x7 L ak xk + L a120+k xk = o.
0::;k::;119 0::;k::;6
Solutions to Some of the Exercises 245
1 X X2
1 1
X 1
x2 1
x3 1 1
x4 1 1 1
x5 1 1
x6 1 1
x7 1
TABLE 14.1. Powers of x
i 1 2 3 4 5 6
Z 5 3 2 6 1 4
X 0 1 2 3 4 5 6
x3 0 1 1 -1 1 -1 -1
TABLE 14.3.
Solutions to Some of the Exercises 247
1 X x2
1 1 0 0
u 0 1 -b
u2 -4b 2b2 1
u3 -2 b _b2
TABLE 14.4.
c) The property is obvious for n = 1. Let n > 1, and suppose that the
property holds for every k < n. We have Xn -1 = <I>n(X) II <I>d(X)
dED(n),d#n
in Z[X]. Hence f(xn -1) = f(<I>n(X)) II
dED(n),d#n
f(<I>d(X)), i.e. by the the
induction hypothesis,
II
dED(n),d#n
q = 2 mod 3 if n = 3; q = 2, 3 mod 5 if n = 5;
q = 3,5 mod 14 if n = 14.
2) Tables 14.5 and 14.5bis give the powers of x expressed in the basis I, x,
x 2 , x 3 in each case. We see that x is a generator in the two first cases (to
obtain this result alone, it would suffice to check that x is not of order 3 or
5, which is shown by the computation of x 3 and x 5 ) but not in the third.
250 14. Finite Fields
X4+X +1 X 4 +X 3 +1
k 1 x x2 x3 1 X X2 x3
0 1 1
1 1 1
2 1 1
3 1 1
4 1 1 1 1
5 1 1 1 1 1
6 1 1 1 1 1 1
7 1 1 1 1 1 1
8 1 1 1 1 1
9 1 1 1 1
10 1 1 1 1 1
11 1 1 1 1 1 1
12 1 1 1 1 1 1
13 1 1 1 1 1
14 1 1 1 1
15 1 1
TABLE 14.5.
1 X x2 x3
1
1
1
1
1 1 1 1
1
TABLE 14.5.bis
a product of two irreducible factors over <P2, and the second one is the
quotient <P15(X)/(X 4 + X + 1) = X 4 + X 3 + 1. Hence,
c) The distinct roots of <P15 are all the generators of the cyclic group
IFi6' i.e. the xk where k is prime to 15. Thus, we find that <P15(X) is equal
to
The conjugates of x over IF 2 are the images of x under the elements of the
Galois group Gal(IF16IIF2); thus they are x = id(x),x 2 = F(x),x 4 = F2(X),
and x 8 = F3(x). These are the four roots of X4 + X + 1. '
The roots of X4 + X 3 + 1 are the other roots of <P15 : x 7, xu, x 13 , X14.
We can check that these are the conjugates of x 7, since F(x 7) = x14,
F2(X7) = x 13 , and F 3(x) = xu.
1 2 3 4 5 6 7 8
X X2 X+X 3 l+x X2 +X 3 x3 1 +x+x2 +x3 1 +x2
TABLE 14.6.
b) The results are given in Table 14.7. Note the form of the equivalence
of a).
n 1 2 3 4 5 6 7 8 9
qn 2 4 8 16 32 64 128 256 512
Iq(n) 2 1 2 3 6 9 18 30 56
n 1 2 3 4 5
qn 3 9 27 81 243
Iq(n) 3 2 8 18 48
n 1 2 3 n 1 2
qn 5 25 125 qn 7 49
Iq(n) 5 10 40 Iq(n) 7 21
TABLE 14.7.
2) The properties follow from 1). The last one follows from the equality
between the number of even powers and the number of odd powers of 9 in
U(p).
254 14. Finite Fields
b) If m = 0, then L (
1
-;k-l) =q- 1. If 1 :::; m :::; q - 1,
kEU(q),k#m
we have
L
kEU(q),k#m
C-mk- q
1
)_ L
- IEU(q),I#l
(i)--l'
q - ,
d) To begin with,
aP = L ('5.) (k p - L (IP-l) (I
kEU(q) q IEU(q) q
( p-l)
q
L
IEU(q)
(i) q
(I - (E)q a
Furthermore, a ~ 0 by c).
Solutions to Some of the Exercises 255
5) The number 65,537 is prime (see Exercise 14.2), and it suffices to show
that (65~~37 ) = l.
and
(65,5537) = (65,:37) = (~) =-l.
This gives the result. But it does not produce the numbers with square
equal to 30 modulo 65,537. A formal computation program gives ±27, 135.
15
Separable Extensions
15.1 Separability
DEFINITION. - Let K be a field and L an extension of K. An element a E L
that is algebraic over K is said to be separable over K if it is a simple root
of its minimal polynomial.
An algebraic extension L of a field K is separable if every element of L
is separable over K.
An irreducible polynomial in K[X] that has no multiple roots in an
algebraic closure of K is called separable; if it has multiple roots, it is
called inseparable.
EXAMPLES. -
IF (U)
p
F
P(X) = L ak XkP .
O:S;k:S;n
15.4 Perfect Fields 259
PROOF. -
15.6.2 Proposition
An algebraic extension is Galois if and only if it is normal and separable.
Toward Chapter 16
It would be possible to develop the different aspects of Galois theory almost
indefinitely; we choose to stop at this point and devote one final chapter
to giving some idea of two domains of current research.
16
Recent Developments
16.1.3 Example
Let us consider the case where G = Z/3Z x Z/3Z x Z/5Z. We have nl =
n2 = 3, n3 = 5; we can take PI = 7, P2 = 13, P3 = 11, which leads to
N = 1,001.
We know that U(N) ~ U(7) x U(13) x U(ll) ~ Z/6Z x Z/12Z x Z/10Z,
and we set H ~ 3Z/6Z x 3Z/12Z x 5Z/10Z.
2) Order 12: the alternating group A4 whose elements are the identity,
the eight 3-cycles, the three double transpositions;
j 9 h
A ----> 1 A---->l A---->l
B---->2 B---->2 B -+ 3
C---->3 C-+4 C---->2
D---->4 D---->3 D---->4
TABLE 16.1.
16.2 Computation of Galois Groups over Q for Small-Degree Polynomials 265
4) Order 4: V = {id,(l 2)(3 4), (1 3)(2 4), (1 4)(2 3)}, the Klein
Vierergruppe;
S4
/~
D4 A4
/~/
Z14Z ~
FIGURE 16.1.
and
d = IT (Xi - Xj)
l<O;i<j<O;n
case where the preceding paragraph gives rise to a positive answer. Assume,
therefore, that we have shown that <I> (G) C H2, and let us seek to determine
if <I> (G) C K 2 . Consider the polynomial
If the answer is
The recent books cited here are available in most university libraries. For
the older books, it takes a bit of luck to find them, and you may find
yourself searching for years, like the scholars of the Middle Ages seeking
for rare manuscripts.
Recall that an introduction to Galois theory can be found in every basic
algebra book; we have made use of such books in writing this one, for
example, N. Bourbaki (chapter V of Algebra), the more advanced book
Algebra, volume 2 by MacLane and Birkhoff, Jacobson's Basic algebra, and
Lang's Algebra.
ARTIN Emil. - Galois theory. Dover Publications, Mineola, NY, 1998 (orig.
publ. 1942).
Artin is one of the founders of the modern exposition of Galois theory.
GAAL, Lisl. - Galois theory with examples. Chelsea Publ. Co, New York,
1973, 248 pages.
STEWART Ian. - Galois theory. Chapman and Hall, 1973, 226 pages.
The author of this book is well-known for his tales and drawings. His
book is extremely attractive and agreeable.