Académique Documents
Professionnel Documents
Culture Documents
By
Published by
T H E M A T H E M A T I C A L ASSOCIATION O F A M E R I C A
Committee on Publications
E. F. B E C K E N B A C H , Chairman
NUMBER NINETEEN
FIELD THEORY
AND ITS CLASSICAL
PROBLEMS
By
CHARLES R . HADLOCK
Cambridge, Massachusetts
CONTENTS
PAGE
PREFACE ix
INTRODUCTION 1
INDEX 319
INTRODUCTION
ax + bx + c = 0
2
are given by
_ -byjb 2
- Aac
X
2a
C a n a similar formula be found for the general poly-
nomial equation of degree 3:
ax 3
+ bx 2
+ cx + d = 0 ?
A circle (or an arc thereof) is drawn with center and any radius greater
than the perpendicular distance from to the line.
Figure 1
Figure 2
12 THE THREE GREEK PROBLEMS Ch. 1
\
\
\
1
\
Figure 3
_ I ac - bdk \ . l be - ad \n-
\ c - d k )
2 2
\ c 2
- dk
2
) '
6, V6 , V6 -t-Vl + 2vT , y V c T + V + 2 v T1
, |,
vTJ + f V ^ + V l + 2/7" .
quadratic extension of j.
F = Q, F , = F ( v T ) , F = F,(Vl + 2vT ),
0 0 2
F = F ( ^ 3 " ) , F = F ( V / i T ),
5 4 6 5
yi+y -
3 y ), which is also in the plane of F .
2
are all in F .
y - y \ y-i-y\
X j ^1
( ~y\)x
+ (*i - i)y x
+ (^1*2 - * ) " >
Figure 4
Sec. 1.1 CONSTRUCTIBLE LENGTHS 19
(x - x,) +
2
( 7 - 7 . ) = (*
2
2 - ( " J.) -2
ax + by
2 2 + c = 0
+ by
x + c, = 0
x +y
2 2
+ ax + by + c = 0
2 2 2
x +y + + by + c, = 0
2 2
}
x +y
2 2
+ ax + by + c = 0
2 2 2
through P -\,
M a n d hence, by the inductive hypothesis,
figures in the plane of some field F obtainable from Q by
a sequence of quadratic extensions. But then, by L e m m a
If, P is in the plane of either F or F(V&), for some k
M
PROBLEMS
problem.)
7. Is {a + by/2 +c\/3\a,b, cEQ} afield?
8. Give an explicit representation of the smallest
field containing both V2~ a n d V3~. (Hint: Use one of the
lemmas.)
9. F o r the example treated after L e m m a Id, give a
different development of the same n u m b e r from the
rationals which results in a different sequence of field
extensions.
10. Let F be a field. Is the set {a + byfk | a, b, k F,
k > 0} necessarily a field? (This differs from F ( V ^ )
because in the present case k is not fixed, but rather it
ranges through all positive values in F.)
11. T h e following argument is occasionally found in
24 THE THREE GREEK PROBLEMS Ch. 1
2 = (a + byfk f
= a? + 3a b\fc 2
+ 3ab k
2
+ b h/k
3
= [a + 3ab k]
3 2
+ [3a b +2
b k]:fk
3
(a - byfk ) = [a + 3ab k]
3 3 2
- [3a b + b k]ifk
2 3
= 2,
PROBLEMS
Mark off a unit length on one side and drop a perpendicular to the
other.
Figure 5
cos 30 = cos(20 + 0 )
= cos 0-3(l
3
-cos^cosfl
= 4 cos 0 - 3 cos .
3
8 -6-
3
1=0.
This equation is m a d e a little simpler b y the change of
variable = 2u, which yields
- 3x - 1 - 0.
3
(a + bjic) 3
- 3(a + 6v~) - 1 - 0
a + 3a byfk
3 2
+ 3ab k 2
+ b ky[k - 3 a - 3by(k - 1 = 0
3
[ a + 3ab k
3 2
- 3a - 1] + [3a b + b k - 3Z>]/F = 0. 2 3
3a + bk - 3 = 0
2 2
a + 3ab k
3 2
- 3a - 1 = 0.
Solving the first for b k a n d substituting the result into the
2
second, we obtain
a + 3a(3 - 3a ) - 3a - 1 = 0
3 2
-8 3
+ 6 - 1= 0
( - 2 ) - 3 ( - 2 ) - 1= 0
3
Ml _ IK_ = n
3
a n d so
3
3MN 2
N 3
= 0.
Thus we could write both
3
= N[3MN + N] 2
and
N 3
= M[M -3N ].
2 2
PROBLEMS
trisected."
*3. Prove that it is not possible, in general, to quintisect
an arbitrary angle, i.e., to divide it into five equal parts.
4. Is the difficulty in Problem 2 real or imagined?
Show that there are trisectible angles 30 such that 0 is not
constructible.
+ +(a + 0 b Jk)
0 = 0,
ax n
+ a _ x"- +
n l
l
+ a 0
= -ft {bxn
+ b _ x"-'+
n x +b ).
0
PROBLEMS
a _ x"~
n l
l
+ + , + a where the coefficients a, are
0
called transcendental.
T o phrase our current problem in this language, we
have shown (Section 1.4) that all constructible numbers are
algebraic. T o complete the proof of the impossibility of
squaring the circle, we want to show that m is
transcendental.
Let us now make a very important observation, which is
not at all obvious:
ax" + a_ x"- l
}
+ +a 0 = 0,
bx m
m
+ b _ x -'+
m x
m
+ b = 0,
0
(-\) b x'"
m
m + (-\) - b ^x - +
m i
m
m l
+6 0 = 0;
bm + b - x+
m l +b xo
m
= 0.
+ a )/a. 0
Sec. 1.5 POLYNOMIALS AND THEIR ROOTS 37
1 a a2
a~I
n
b ab ab
2
a"~ b l
b 1
ab 2
ab
2 2
a"~
b m - \
ab -m ]
ab -
2 m 1
a"'
Listing them in any order, a n d calling them q , c , 2
ac = 4 , c , + d c
t a 2 + + d c,
iR R
aC = DC.
Similarly, there is a matrix such that
bC = EC.
Thus we have
(a + b)C = (D + E)C.
PROBLEMS
c. 2x + 3x - 3
- I 2
d. 3x - 5x + 5x - 1
5 3
e. + 4x + - 6.
3 2
P ( x x , . . ., x) =
2 %, i2 ixi'4 K"
2
'. '2
variables a n d of degree 1.
Some polynomials in several variables have a curious
property; they remain unchanged by any permutation of
the variables! F o r example, x] + x\ has this property,
because if x a n d x are interchanged, the result is
x 2
polynomial in x,
Il(x- Xj) =x n
- , * " " 1
+ a x"-
2
2
+( - \ ) \ ,
i-L
Sec. 1.6 SYMMETRIC FUNCTIONS 41
0 2 X\X 2
x
l x
3 + ' " ' + %2 3X
~t" ' + X
n \Xn
= x
l x
2 x
n-
a x" + a_ x"~
n + + a , then the sum of the roots
x
x
0
since
+ ... + f.
x\ + xf + xf = ( x , + x + x ) -
2 3
2
2(x,x + x,x + x x )
2 3 2 3
= o\ 2 . 2
element of F .
^ ) = (-+) +(--)
2
3 3
= ( - l + 3 v T - 6 + 2V2~)
+ ( - 1 -3V2 -6-2V2")
= -14,
which is indeed in Q .
Using Corollary 9a, it is possible to give another proof
that the set of all numbers which are algebraic over one
field is a field itself (Theorem 8). This is pursued in
Problem 6. Corollary 9a also leads to the more general
result, Corollary 9b, which is somewhat technical but
Sec. 1.6 SYMMETRIC FUNCTIONS 45
of F.
46 THE THREE GREEK PROBLEMS Ch. 1
PROBLEMS
7 J C -
3
+ 3x 1. Are any of the roots rational?
1
(x - a,, - bj)
i-\ J-l
use here.
One number theoretic lemma will also b e useful:
THEOREM 1 0 . is transcendental.
have
ei' + ei + + *" + k = 0
1
we define
= e~ [ f (x)
x n
+ f (x) 2)
+ + * \)]
+
= -e- f(x).x
() = e- F(xu),
xu
It follows that
--t-f(z)-x
= - xe~ f(ux).
ux
(1)-(0)= (\\u)du,
e~ F(x)
x
- e-F(0) = f' - xe-" f(ux)du,
x
F(x) - e F(0)
x
= ' - xe ~ u)x
f(ux)du.
Claim 2. 7-^<7 ) i 7
s a n
integer divisible by p.
/<%,) = o,
F{q ) - /"(),
}
y-1 -/" y - 1
= a _j/a.
m Since the degree of the polynomial in the
/s is < s, each term has the form of an integer divided by
some power of a not greater than s. Thus
m
/ (?,)=/>
r\ m
du
f */ - * 1 0
(p-\y.
'
(1 - u)qj m-\[
g( <lj) du
a
U
\q/'-"ha"-'g(u )\
qj
PROBLEMS
1. Prove that e e
Zi Zl
= e' .
z +Z2
G(z) - G(z )
0
< ) -}%
Z
z - z 0
(As in the real case, some complex functions are
differentiable and some are not.) Show that the usual rules
from elementary calculus carry over in the complex case
for each of the following:
(a) the derivatives of sums, differences, products, and
quotients;
(b) the derivatives of polynomials;
(c) the derivatives of e a n d e~ .
z z
( ) = r(u) + is(u).
REFERENCES AND N O T E S
FIELD EXTENSIONS
g(x) = b x m
m
+ b _ x -+
m x
m l
+b ,
0 b 0.m
f-(a/b )x - g
m
n m
= g-q+r,
whence
f=g-[(ajb )x - m
n m
+ q] + r.
Sec. 2 . 1 ARITHMETIC O F P O L Y N O M I A L S 61
where the a's, b's, c's, and /'s are integers. Multiplying the
first equation by the product of all the b's gives a
polynomial on the right with integral coefficients, out of
See. 2.1 ARITHMETIC OF POLYNOMIALS 63
(B/A)g(x) = A x n + A _ x'- +-
n l
l
+A 0
(D/C)h(x)=C x m
m
+ C _ x"-'
m i + + C . 0
Ef(x) = [A x n
n
+ A _ 'n - l
n lX + + 0 ]
x[C x m
m
+ C m "-+ + C ].0
i-l i+j
A C,i+j-k
k + A C,
k^i+j-k
k + AC .
t }
k-0 k = i+ 1
64 FIELD EXTENSIONS Ch. 2
irreducible over Q.
g(x) = b x k
k
+ b _ y - +
k
i
+b ,0
h(x) = c x m
m
+ c _ m l X
m
- + + c,
l
0
270 = 72 3 + 54.
Keep repeating this process until you get remainder 0:
72 = 5 4 - 1 + 18
5 4 = 1 8 - 3 + 0.
T h e divisor in the last step (18) is the g x . d . Furthermore,
by retracing the steps, we find that the g.c.d. can be
written as a linear combination, with integral coefficients,
Sec. 2.1 ARITHMETIC O F P O L Y N O M I A L S 67
= 4 882 - 13 270.
This is an important fact, frequently more useful than the
procedure itself. T h e reader is asked in Problem 2 to
prove the validity of the Euclidean algorithm for Z. W e
shall now state a n d prove the corresponding Euclidean
algorithm for F [ x ] , the actual procedure, which is not
important for our purposes, being a by-product of the
proof.
i = i Ii + 3
r r r
ri=r -q + 3 r A 4
r
N-2 N-l r
' N
a + r
N
r
N-\ = r
N N
a
+ 1 + o.
68 FIELD EXTENSIONS Ch.2
< deg (/, g). Combining this with the previous result, we
see that deg r = deg (/, g), and thus r is a g.c.d. of / and
N N
PROBLEMS
a n d g(x) = - Ax - 3x - 9x 4x - 5.
5 4 3 2
factors in Q[x].
10. Let / be a polynomial irreducible over F. Show
t h a t / h a s n o multiple roots. (Hint: Consider the g.c.d. o f /
a n d its derivative.)
11. A polynomial with integral coefficients is said to
be primitive if its coefficients are relatively prime (that is,
there is n o integer other than 1 which divides all the
coefficients). If / is any polynomial with integral
coefficients and if g is a primitive polynomial which
divides / , show that the quotient / / g actually has integral
coefficients. (As a n application of this, observe that if a
monic polynomial with integral coefficients divides
another polynomial with integral coefficients, then the
quotient has integral coefficients.)
12. If / is a polynomial with integral coefficients and
if g is a monic polynomial with integral coefficients, show
that the quotient q a n d the remainder r, resulting from the
division of / by g according to the division algorithm, both
have integral coefficients.
*13. Develop a n algorithm for factoring any po-
lynomial in Q[x] into irreducible factors.
denoted F(a,, a , . . . , a ),
2 m to b e the smallest field
72 FIELD EXTENSIONS Ch. 2
{a + bl x/i
+ c 2 / + dl '
2 5
+ e2^ \a, b, c,d,e<E Q } . In
3 5 5
Section 1.3).
With these ideas in mind, we now return to the problem
of finding the degree of a simple algebraic extension:
F ( ) = { * ( ) / * ( ) I g>h e
* [ * ] *(*) * 0},
for this latter set is first of all a field (it satisfies the
definition) and all its elements must be contained in any
field containing a a n d all of F.
Now, when a is algebraic over F we are able to simplify
the representation of the elements in this set. In particular,
letting d e g a = n, we first show that the elements
F
Sec. 2.2 SIMPLE, MULTIPLE, A N D FINITE EXTENSIONS 75
extensions: F , = F ( a , ) , F = F , ( a ) , . . . , F = F _ , ( a ) .
2 2
a n d 2 < j < m.
Defining = ft + kc, we will now show that F(ft, c)
= F ( a ) . First, since a E F(ft, c), we have F(a) c F(ft, c).
T o show that F(ft, c) c F(a), it suffices to show that both
ft a n d c G F(a). Indeed if we simply show that c E F ( a ) we
shall be done, for then ft = a - kc F(a), since F ( a ) is a
field.
W e will show that c E F ( a ) by showing that c is the root
of a polynomial of degree 1 over F ( a ) . Look at the
polynomials g(x) and f(a - kx), both of which are
certainly polynomials over F ( a ) . (In fact, g E F[x]
C (F(a))[x].) The number c is a root of each, as g(c) = 0
and f(a - kc) = /(ft) = 0 . Since their g.c.d. is divisible by
(x c) in C[x], it has c as a root; the multiplicity of c as a
root of the g.c.d. is exactly 1 since c is a root of
multiplicity 1 of g. But, by the choice of k, the two
polynomials g(x) a n d f(a - kx) have no other c o m m o n
roots, for the other roots of g are of the form c , y
2 < j < m, and a kcj ft, for any i". Thus, the g.c.d. of
g(x) and f(a - kx) has degree 1, for all of its roots are
c o m m o n roots of these polynomials. But the g.c.d. is a
78 FIELD EXTENSIONS Ch.2
conclude that
[ N : F ] = [ F : F * , , ] ^ . ,
0 : F_ ] 2 [F, : F 0 ] .
PROBLEMS
a power of 2.
[F :Q]-[F:Q(a)][Q(fl):Q].
w
Figure 6
Sec. 2.3 GEOMETRIC CONSTRUCTIONS REVISITED 83
Figure 7
84 FIELD EXTENSIONS Ch. 2
PROBLEMS
four values, + i , i, + 1 , - 1 .
Sec. 2.4 R O O T S O F C O M P L E X NUMBERS 85
unity. T o see this, observe first that they are all roots of
unity, for (-" = > = (" = V = 1. A n d they are
distinct since if = * with 1 < k <j < n, we would
7
=\Jx + y
2 2
[ \Jx +y
2 2
\Jx + y
2 2
= |z|[cos + i sin ]
= \z\e".
that z , z = | z , | | z | e
2 2 , so that the modulus of a
/ ( e , + e j )
Figure 8
88 FIELD EXTENSIONS Ch. 2
z,z 2
Figure 9
r"-("VFT ")"=
/
\z\e =z.
w
Figure 10
Figure 12
Sec. 2.4 ROOTS OF COMPLEX NUMBERS 91
PROBLEMS
a + a = (b + b ) + i(c + c )
x 2 x 2 x 2
I - 2 " (*I -
b
i) + '(ci ~ c ) 2
aa
x 2 = (b + ic )(b
x x 2 + ic ) 2
= (b b - x 2 c c ) + i(b c
x 2 x 2 + bc) 2 x
a /a
x 2 = (b + ic )/(b
x x 2 + ic ) 2
= [(b b x 2 + c c )/(b x 2
2
2 + cj)]
+ ! ' [ ( V L - V 2 ) / ( * 2 + C 2
2
)]. I
cG L with b G L and Q = HQ c H , c C
H M with cGU . M For each j , , = H (\/5c~ ). If we
y
a n d 22b, a is constructible.
~
+ x ~ + + 1 , which was shown in Problem 8
p 2
PROBLEMS
Proof. Let r r , . . . ,
v be the (distinct) numbers
2 ( )
() ()
= r} (mod ri),
() ()
() , = (mod ).
-l y-l
/(*)-/(0= a (xk
k
- r) k
k=\
= (x- r) 2 a (x ~
k
k l
+ x~r k 2
+ x~r
k 3 2
+ + * - 1
)
= (x - r)g(x),
102 FIELD EXTENSIONS Ol. 2
= fi )=(
x x
~ )s( )
r x
(mod/>).
p - l = ( * ) < () = / > - ! ,
h \ p - \ h\p-i
Exponents
Numbers 1 2 3 4 5 6 7 8 9 10
1 1
2 2 4 8 5 10 9 7 3 6 1
3 3 9 5 4 1
4 4 5 9 3 1
5 5 3 4 9 1
6 6 3 7 9 10 5 8 4 2 1
7 7 5 2 3 10 4 6 9 8 1
8 8 9 6 4 10 3 2 5 7 1
9 9 4 3 5 1
10 10 1
Figure 13
104 FIELD EXTENSIONS Ch. 2
PROBLEMS
where the p 's are distinct Fermat primes, the regular n-gon
t
~ + x ~ + + + 1 = 0 , which is satisfied by
p 2
,[g ]-
pi
Each of these sets may be generated by
taking successive g powers of any one of its elements.
2
element of S.
Now, for i = 1, 2, we subdivide 5, into sets 5, , a n d 5, 2
following claim.
, =[k] +[kh ] 2
+ +[khf~ ],
3
- [ * ] + [kh ]
2
3
+ + [khf- ]. 2
, -
2 [ + ] + [kh +kh ]
2 3
+ + [kh ~ s 3
+ kh ~ ] } 2
+ [k + kh ] 3
+[kh +kh ]
2 5
+ +[khf~ 3
+kh]
+ [k + kh ] 5
+ [ + ]
2
+ + [kh^ 3
+ kh ] 3
+ [k + khf~ ] 4
+[kh +
2
khf~ ]+
2
+[khf~ 3
+ khf~ ] 6
+ [k + kh!- ] 2
+[kh +
2
kh] + +[kh^ 3
+ kh^ ]. A
Sec. 2.7 REGULAR POLYGONS II 111
- 1 0 ' +
(mod)
1 = hJ 4 +2
( m o d p)
I = G <2-')(4, + 2) (mod^
{-
2 < 4/ + 2 < 2 / 4 = / - 2,
a n d so
(2 - )(4j+2)<2(^-l)-2'"
m 1
<2(p-l).
p - \ = (2- )(4j
i
+ 2)
= 2 (2/+l).
m
[k + kh] =[kh
h
+ kh ]
2
(law of exponents)
= [kh 2
+ kh]
itself be constructible.
Having shown that , + a n d , are constructible,
2 2
proof.
Sec. 2.7 REGULAR POLYGONS II 113
, , " , , , , , , , , , . W e call
5 1 5 16 1 4 8 7 4 1 2 2 6 1
this list S.
In the course of the computations to follow, it is
possible to adopt two courses. First, we could show that
all the periods can be obtained as the roots of successive
quadratic equations, from which the constructibility of the
periods, a n d hence of the primitive 17th roots, follows.
This is all that was necessary and all that was d o n e in the
proof of Theorem 28. However, this course does not yield
specific directions on how to construct the polygon
because it does not tell which root of each quadratic
corresponds to which period. For example, we m a y be
able to find a quadratic satisfied by two periods , a n d , 2
, = 3
+ 1 0
+ 5
+ " + 1 4
+ 7
+ 1 2
+ , 6
= +
2
9 1 3
+ 1 5
+ 1 6
+ + + + .
8 4 2 1
TJ, = 2 Re(to + + + ) , 3 5 6 7
) = 2 Re(w' + + + ) ,
2
2 4 8
> ,. Thus
2
= - 1 +yT7"
are
, , = 3
+ 5
+ 1 4
+ 1 2
, 2 = 1 0
+ " + 7
+ 6
7j 2 ,= + 9 5
+ + 8 2
2 2 = 1 3
+ 1 6
+ + . 4 1
, , = 2 Re((o + ) 3 5
, 2 = 2 Re(w + ), 6 7
Therefore,
Sec. 2.7 R E G U L A R P O L Y G O N S II 117
V2,2 2
It is perhaps worth noting that the products of the
complementary 2-periods, as obtained in this step, d o not
contain explicitly the 1-periods, as appears in the proof of
the theorem. It simply happens to be the case here that
the 1-periods have the same coefficients themselves, a n d
so the product is given in terms of the 0-period, = 1.
T h e subsequent division of 5 , S, , 5 , i> a n d S 1; 2 2 2 2
II.I.J" 5 +
1 2
^ 2 , 1, 2
_ ,,10 I ,J V2, 2, 1
yi,2,2 =
<* n
+ " 6
?2,2,2 = 1 6 +
'
Vi,2,2+^2,2,2- 4
- 1 -yT7~
h = 2
_ - +yTT
Vi =
V\,\ j
T)2+V>2 + 42
72,2 = 2
2, 2 +"^2, 2 ~ 1, 1
4
72, 2, 2 =
2., 2, 2 + V ! 2. 2 -
71 4
PROBLEMS
angle cannot be trisected. For further discussion see [12, 13], the latter
noting a valiant ten-year project of Hermes to construct a regular
65537-gon (?). There is a long history of proofs of the irreducibility of
the nth cyclotomic polynomial. An excellent survey is contained in
Section 13 of [14]. The proof in our solution to Problem 5, Section 2.7,
comes from [3]; it is based on a famous eight-line proof by Landau [15].
Concise versions phrased in terms of polynomials over finite fields are in
[16, 17].
SOLUTION BY RADICALS
Figure IS
oo t
[ oo
126 SOLUTION BY R A D I C A L S Ch. 3
PROBLEMS
I \ I
square rectangle
Figure 16
= (a + c)-(b + d)i
= (a - bi) + (c - di)
= ( + bi) + ( + di),
= ( + /3/)( + di),
which completes the verification. More examples will
appear as we proceed.
Since automorphisms are functions from F to F, it
makes sense to form the composition of two such
automorphisms. F o r brevity we usually write this new
function as ; we have () = (()) for every a G F.
T h e function is frequently called the product of and
. F o r functions in general, the order in which they are
composed makes quite a difference, a n d this is the case
for automorphisms as well. In the exceptional circums-
tance when = , we say that a n d commute. At the
130 SOLUTION BY RADICALS Ch. 3
= [-\) + -\^]
~\ + b) = ~\) + "'(6).
Similarly,
= [-'( )-'(,)]
- (>) = - ()-'(>).
, 1
( + b) - [ ( ) + (/3)] = ( ) + (/3)
(/3) = [ ( ) ( / 3 ) ] = ( ) (7>).
$j+ = *
k
have > = / By the fact that > is
; w e
2 3
12 3
The elements in the second list are products of elements
of G a n d hence are elements of G. They are all distinct,
since if ,,-= ,,, then '/ '*^ d = a n s o
2 3 <Pm
11 12 13
21 22 23
elements commute.
PROBLEMS
+ (^)[()]'
by the fact that is an automorphism,
a n d then from this that (/>()) = c + c , ^ ( r ) ] + 0
^ ] + + c ^r)f
2
k = (()) by the fact that
leaves the elements of F unchanged.
N o w , if / is the minimal polynomial of r over F a n d if
G G ( E / F ) , then 0 = (0) = (/()) = /((/)) and so ()
must be some conjugate r, of r. Conversely, if r, G we
138 SOLUTION BY RADICALS Ch. 3
PROBLEMS
of order 1.
Sec. 3.4 TWO FUNDAMENTAL THEOREMS 141
0
T h e implication (i=>ii) is not logically necessary to the
proof, but as it is very brief a n d helps to clarify the
relation between the statements, it will be included.
(i=>ii) Since is a finite extension of F, by Theorem
18, is a simple algebraic extension, = F(r). If / is the
minimal polynomial for r over F, is the splitting field of
/ . For, if r = /,, r , . . . , r are the conjugates of r,
2 n
variables.
N o w we apply these facts to show that if g is an
irreducible polynomial over a field K, where F c c E,
and if g has one root a EE, then all its roots must be
in E. By the previous paragraph, we may write
a = P(r r , . . . , r ), where is a polynomial over F in
v 2 n
G(E/K,) D G(E/K ). 2
since - 1
/ / , ( ) = ~ ' ~ ' ~ ;
_ 1 _ 1
a n d if
, / / , ( ~ ' ~ ') = ~ '() ~ .
Also,
since G is closed, ~ '// c G. T h e subgroup " is
conjugate fields.
(only if) If K, = F(r,) and K = F ( r ) , where r, a n d r
2 2 2
|G(E/F)| = m|G(E/K,)|.
[E:F] = m[E:K,],
( ) , , a n d so ( , ) . Consequently, (,)
_ 1
2 2
= K. 2
PROBLEMS
conjugates over F?
2. If is a finite extension of F, show that there are
only a finite number of intermediate fields , D D F.
(This already appeared as Problem 12 of Section 2.2, but
a n alternate and m u c h simpler proof is now accessible.)
3. Show that conjugacy is an equivalence relation on
the set of subgroups of a group. (Given a set 5 a n d a
relation " ~ " holding between certain pairs of elements of
S, this relation is called an equivalence relation if it is
reflexive [for every a 5 , a ~ a], symmetric [if a ~ b,
then also b~a] and transitive [if a~b a n d b~c, then
a~~c].
4. Show that conjugacy is an equivalence relation on
the set of finite extensions of a field F.
5. If is a normal extension of F and if is an
intermediate field, can every automorphism in G ( K / F ) be
extended to an automorphism of E?
Sec. 3.5 GALOIS' THEOREM 151
= F.
(Incidentally, if H,
+ is normal in Hj, this does not imply
x
of F- of prime degree.
= \Hj\/\Hj \,
+l which is the index of H in Hj a n d hence
j+X
a prime.
, )
Proof. T h e lemma simply asserts that every element in
K, a normal extension of prime degree over K, c a n be
obtained from elements of using only rational
operations a n d the extraction of pth roots.
154 SOLUTION BY RADICALS Ch. 3
aj = r, + Jr 2 + \ + + ^ - 0
^
0 = r
\ + r +
2
r
3 + r
P
1 = r
\ + + ur
2
3 + + <>
4 1)2
= r + 2
+ + +
7 x 2
r 3 V
-1 = r
\ - + + +
[(->/]-[*(->)]'
= [(,) + >( ) + * ( ) 2 3 + H-w^'^r,)]'
- [ r + ^ + >/ + + ^ - ^ , ] '
2 3
2
4
=
Consequently, we see that for all /", '-y] = (o^y. Thus,
( y .
f l y
1 1 l 2
l 3
1 CO CO 2
3
'" 1
1 co 2
(co ) 2 2
( ) 2
( /- 2
1 co'- 1
('- ) 1
2
K " 1
) 3
( - 1
) -
(-'),
o< <j<p-i
^/.()
()
e / / } = / / , for all G G.
PN-\, <*N-\- L e t
/ denote a primitive p th root of unity.
t
C CE such that F c E .
M For = R + 1, we
M
go on to a . If #E ,
R by L e m m a 34f, G(E (o) )/E )
M is M R M
(x * - l ) / ( x - 1) = x *~
p
+ x -
p
+ + + 1,
x p 2
a $:Ej,
R by L e m m a 34h, E = Ej(a ) is a normal J+l R
a n d a , as desired.
R
, K, J+ = E,J+ = K/r),
, - ,
p r i m e = [ E : E ] , [ E / r ) : E ] = p. By normality of E
> + 1 y y J+ x
they leave K, fixed, that they are distinct, and that they
form a subgroup of G ( K - / K - ) . (Ultimately, we will see + 1
extension of K, and [ K : K] = | G ( K , / K , ) | . By y + 1 + 1
= [E : E ] / [ E :
y ; + 1]-[ ; + : E ], which is prime. Thus
y
PROBLEMS
1. If is a normal extension of F a n d if K, a n d K 2
K ) = { I e G ( E / K , ) , G ( E / K ) } .
2 2
K, a n d K , what is G ( E / K ) ?
2
these roots are all distinct. (This will be true, for example,
in the special case when / is irreducible over F.) Letting
be the splitting field over F of / , we have
= F(r,, r , . . . , r ). Recall that the Galois group G
2 n
= (125)
[ ( 2 5)(4 3 ! ) ] [ ( . 3 4 2 ) ]
= (2 4 5).
It is easy to see that the inverse of any a u t o m o r p h i s m is
simply obtained by reversing the order within each of its
cycles. Thus, if = (2 5)(4 3 1), then ~ = (5 2)( 1 3 4).
1
[/ r , . . . , r j ] = ((.), (, ), . . . , ( ^ ) )
h ; 2
commutator of a n d .) If /, by normality
~' /, and then b y closure ~ ' A/ also. If _ 1
since is closed.
N o w suppose that G is solvable, so that there exists a
sequence of subgroups G = H D / / , D H d d H 0 2 N
PROBLEMS
group.
8. For every n, show that there exists a field F and an
nth degree polynomial / F[x] such that the group of /
over F is S. (Hint: Review Problems 6 a n d 7 of Section
3.3.)
G = {, , . . . , =
2 1 6
id}, where is determined by the
condition () = * in which g is a primitive root modulo
17 and is a primitive 17th root of unity. Thus a complete
list of the roots of the 17th cyclotomic polynomial is:
(), ( ) , ( ) , . . . , ( )
2 3 | 6
D / / = { = id}, where / / , = { , , , , ,
4
1 6 2 4 6 8 1 0
, , } , / / = { , , , } , a n d / / = { , } .
1 2 1 4 1 6
2
4 8 1 2 1 6
3
8 1 6
, = () + ( ) + + ( ) , 3 15
= () + () + + ().
2
2 4 6
PROBLEMS
= 0?
2
REFERENCES A N D NOTES
surveyed in [1] and discussed in depth in [7]. Older books o n the theory
of equations, such as [8, 9, 10], are largely based o n the point of view of
the original workers, which emphasized the notion that the group of an
equation may be considered to be a set of permutations of its roots. Our
treatment considered the group as a set of automorphisms, and it was
only relatively late that we identified this concept with a set of
permutations. This modern viewpoint is largely due to the influence of
Artin, as in [11], but it has its foundation as far back as Dedekind (cf.
[12]). The book [1] and the long paper [13] are very helpful in tracing the
evolution of Galois theory into its modern form.
It has been mentioned from time to time that more general definitions
of groups and fields may be given. For example, there are fields which
are not sets of complex numbers and groups which make no reference to
automorphisms of fields. Abstract algebra is the name given to
treatments of such topics, and there are many excellent textbooks
available. Some of these are [14-20]. While Galois theory is often
developed in this more general setting, the reader should be cautioned
that some of the results in this book d o not carry over verbatim. For
example, over more general fields, irreducible polynomials d o not always
have distinct roots. Books devoted specifically to Galois theory include
[21, 22, 23]. For information o n how to construct the group of an
equation whose roots are not known, one might consult [23] or the early
books on the theory of equations.
Although it may be complicated to analyze the roots of certain
equations by the usual algebraic operations and the extraction of roots,
perhaps they might be solved easily by other methods. For example, the
representation of the roots of " - 1 by trigonometric functions was seen
to be extremely simple. This idea was applied to the quintic equation by
Hermite and Kronecker, who solved it in terms of elliptic functions; see
p. 763 of [1].
The Artin quote in Section 3.2 is from p. 54 of [24].
Let - * *
radius of convergence R > 0. Since
? n a v e
form
b_jt~J
+ b_ t~ j+x
j+i
+ + b+
0 bt + bt
x 2
2
+ .
/( - a
k t k
'
k**0
*<)-/()
k= 0
g(u)=f(u+t ) 0
/(')= ** . ( ' - ) *
f(2)( y \
f(y) = / ( ) + f \yo)(y
l
- ) + (y - ) 2
, f (yo)
M
(
186 POLYNOMIALS W I T H SYMMETRIC G R O U P S Ch. 4
/ ( ' . *) - 0
g(t, x) = b x
k
k
+ b_
k ]X + . . . + b,0'
M- 1
h(t, x) = c x M + c,M-L
m + + C.0>
g = hq + r
* \ P o { t )
Sec. 4.1 B A C K G R O U N D INFORMATION 189
g.c.d. o f / ( i , x) a n d f (t ,
0 x) to be a nonzero constant. As
x 0
x(0= bt k
k
/ ( ' , * ( ' ) ) = o.
Since by our assumptions / ( 0 , 0) = 0, we may write / in
the form
f(t, x) = a t + a
u 0 0> ,x + a
i/ - xJ
i+j>2
The sum on the right is a finite sum because / is a
polynomial. Since t = 0 is a regular value, f (0, 0) = a , x 0
f(t, ) = a, t - +0 V'* 7
i+j>2
it follows that
f (t,x)=
x - i+g(i, ),
where each term of g has degree at least one. By
192 POLYNOMIALS W I T H SYMMETRIC G R O U P S Ch. 4
y ," i V
=
obtain w e
( s ? > )
V
= / +
1 =1
0= At-x +A t>xj
i+j>2
0 = - + x J + A t J + A ''( x )
1
X
J
= At - + A -R^ +At-R-Z
x 1
194 P O L Y N O M I A L S W I T H SYMMETRIC G R O U P S Ch. 4
0 = At - Atx - + x + Ax 2 2
+ Atx + A
= [A + \]x 2
+ [-\]x +
1 - V l - 4 ( + \)At/(\ - t)
X =
2(A + 1) '
- % <
i continuity at 0 these functions are all
t n e r
determinant
*M - \
1 tn
M 1
1 U F
F =det
TM-\ TR,
as follows:
M\
1 'o z Co)
T
M\
1 t x t] T
W = det
l / r 2 ( 0
ml Vm
a + a t + + a _,C
0 x 0 m
_ 1
+ = ^Co)
a +
0 + _, _
+ a t?
m =
By Cramer's rule,
W
" m
' m
equation z ( 7 ) = y (i)
(m)
yields the statement of the
(m)
lemma.
PROBLEMS
f(y) = / ( ) + f \y )(y
l
0 - y) + 0
L
- j2
2 L
(y - y)
0
2
n\ (y-yo)"-
/(*, ) = ()[-*]
(=1
+ + *(/)-0
integers.
Thus we now want to show that the set of integers
t > T for which z ( / ) is an integer is 'small'. F r o m the
0 0 0
z(i) = c t
k
k
+ + c t + c + c_ t~
x 0 x
l
+ .
* (')-
(m)
+
<2\p\/t".
It is now time to make use of Lemma 36c. If there are
an infinite number of integers t > , such that z(t) is also
an integer, let us determine how much they must be
spread out. Let t < r, < < t
0 be m + 1 such m
2\P\ z \t)\
(m
these values. For the other yjs, pick a value of m that will
simultaneously serve in all cases. The result of the above
computation yields a value T . Let T* be the m a x i m u m of
2
G( o>Y)
u
= s{uo>Y>Y >Y"\ D
""~')
with a t e r m /
+ + 3 +
V T h e exponent o f / has its
maximum value d" - 1 when each i equals d - 1. T h e set }
y , . . . ,y "
d d
), it is clear that this is the same polynomial
in y that would be obtained by first transforming g and
then substituting u = a. This polynomial is of course
0
f=GH
product
(gh){ ,u )
U] 2 = u\ + uu
3
2
Sec. 4.2 HILBERT'S IRREDUCIBILITY THEOREM 207
in Q[x].
/ ( ^ ) = Llc,K;)
where each G, is irreducible over Q . By Lemma 36d, there
is an infinite set & of rational values for which all the
polynomials Gj(a,y) are simultaneously irreducible in
Q[y]. We claim that for all but a finite number of these
values a, the polynomial / ( a , . . . , u) is irreducible as
a polynomial in variables. T h e crucial tool will be
L e m m a 36e.
There are only a finite n u m b e r of essentially different
ways in which f(a,y) might be factorable over Q into two
nontrivial factors. T o see this, suppose we have a
factorization
f(a,y) = A(y)B(y),
B(y) = a- UG (a,y),
i
i
, , . . . , w)r(M , . . . , w) cannot be in P , by L e m m a
0 rf
36e, and so some term has too high a power of at least one
of the variables w, through u. The coefficient of this term
is a polynomial in u , and so long as is not one of the
0
PROBLEMS
I L E 5 & ( > , )?
*5. Let / ( / , x) be a n irreducible polynomial in two
variables over Q , and let % be the set of all rational
numbers a such that f(a, x) is irreducible as a polynomial
over Q in x. % is called a basic Hilbert set. L e m m a 36d
shows that % is infinite. Prove that % is dense in the real
line R. (A set S c R is said to be dense in R if for every
r e R there exists a sequence of numbers s e S n
converging to r.)
a , . . . , a.
2
F(a , a , . . . , a _ ).
x 2 To show that these numbers are
n x
contradiction.
P( > ) c d
Pi > 0 d
q(c, d) ~* q(d, c)
P\JP,d) = p (c,
2 d)
q (c,d)
x q (c,d)
2 '
P\( > d c
) = P2Jd, c)
q (d,c)
x q (d,c)
2 '
MC d
) P2Jc> d) P\( >d c
) P2J > d c
)
q (c, d) q (c, d) q (d, c) q (d, c)
x 2 x 2
*/~( _ 1
) ,
/( 2.
. ) .
F ( * b , . . . , b ).
2 n
ma
2 2 + + m a, of degree ! over K, a n d thus which
n
F/-(-L)' /(i 2.
e J
.*)
= (*-*,)>
1 =1
!
G(t u t , . . . , t, ) = (-
2 ,).
i=l
Whereas we have a simple explicit representation of F in
terms of t , . . . , t a n d x, for G we d o not. W e know
2 n
F(/ t , . . . , /, x)
2
= /?(/ t , . . . , t , x)S(t
2 n u t , . . . , t , x)
2 n
ber M A + M A -\-
L 1 +M A
2 2 is in the splitting field
N N
constructible.
PROBLEMS
221
222 SOLUTIONS TO THE PROBLEMS
(A - Byfk ) = C- 3
D\[k
= C
= 2,
+ c2 \a,b,cE
2 / 3
Q } . It should be clear that the desired
field F must contain all elements of the form
a + / 3 2 + c 2 / . It remains then to show the set of such
1/3 2 3
=A + 5 2 ' / + C2 / .
3 2 3
a + bl '
x z
+ c2 /
2 3
aA + 2cB + 2bC=\
bA + aB + 2cC = 0
cA + bB + aC = 0
have a rational solution in the unknowns A, B, a n d C.
This will certainly be the case if the determinant of the
coefficients
a 2c 2b
= b a 2c
c b a
= a(a 2
- 2bc) - b(2ac - 2b ) + c ( 4 c -
2 2
2ab)
= a - 6abc + 2b + 4 c .
3 3 3
SOLUTIONS TO THE PROBLEMS 225
(which happens to be the case exactly when not all the afs
are 0), then there exist rationale Aj, 0 < j < 1, such
that
1
a +ay/
0
N
+ a p /+
2
2
+ a_ ,/><"-/"
= A 0 + A y N
+ A p /
2
2
+ +A _ - / .
N lP
iN l) N
case where the afs are relatively prime (that is, they have
n o c o m m o n factor other than 1 ) . Thus, without loss of
generality, we shall establish the existence of appropriate
Aj's for the case where the a 's are relatively prime y
1 = [a A 0 0 + pa _ A
N x l +pa _ A + N 2 2 + pa A _ ]
x N x
+ [a A + x 0 aA+
0 x pa _ A N x 2 + + pa A _ ]p
2 N x
l/N
+ [Mo+ M i + M 2 + + P 3
a A
N-\]p 2 / N
+ [fljvMo + A
N - I A
\ + a _AN 3 2
+ +m_,] ><"-'>/" /
> A
N - \ '
0^0 + pa _ A +
N l l pa _ A N 2 2 + =1
aA x Q + M i + pa _ A N x 2 + + P^I^N-X, = o
aA 2 0 + aA 0 2 + =0
a _A +
N x Q a _A
N 2 x + a _A N 3 2 + + a A _ =0.
0 N x
0 po -i N
P N-2 a
P<*\
a
\ 0 pa -\ N pa 2
a 1 0 P<*i
= 2
- 1 a
N-2 a
N-3 a0
ger a' :
Q
P<t'o P<>N-i pa _ N 2 . P\ a
a
\ P 'o
a
P N-2
a
P2 a
= a 2 1 pa' 0 pay
a
N-2 a
N-3 Pa'o
last element of the first row and then all the elements just
below the main diagonal. Thus divides a , a n d so x
N
relatively prime.
6+a -2b -
2 2
3c = 2(a + bc)j6
2
.
6 +a -2b - 2 2
3c = 0,
2
6 + (-be) - 2b - 3c = 0, 2 2 2
b\c2
- 2) = 3 ( c - 2), 2
F = Q, F , = F ( V i T ) , F = F,(V6),
0 0 2
F3 = F ( v T ) , F = F3(vvTT ),
2 4
F = F ( V l + 2 / 7 " ), F = F (VV6
5 4 6 5 + 2 ").
/
2 + 2V6 + 3 = a + 2abjk 2
+ b k. 2
2V6 - 2ab\fc = a + 2
b k-5
2
(2V6 - 2ab^k f = (a + b k - 5 ) 2 2 2
24 - Sabyfiyk + 4a b k 2 2
= (a + b k - 5 )
2 2 2
5 + 2V6 = a + 2abM\f6
2
+ b\6M ), 2
or
5 - 6 M 6 - a = (2abM - 2)V6".
2 2 2
Using this,
5-6M b -a 2 2 2
= 0
5-6/ - 2 2
= 0
( ) - 5 + 6 = 0
2 2 2
2 _ 5 V25^24
2
a = 2 or 3,
2
Section 1.2
Section 1 3
being given.
polynomial has one root between 1.7 and 1.8 by the Inter-
mediate Value Theorem, since / ( 1 . 7 ) < 0 a n d / ( l . 8 ) > 0
by computation. Call this root 2 cos 0,. T h u s cos 0, > . 8 5
and from tables 0 < 0, < 32. Letting
234 SOLUTIONS TO THE PROBLEMS
$
N , and b 0. If we compute f(a + b\fk ) we see
x
Section 1.4
x-vT-vT = o
x - V 2 =yT
x -(2vT)x + 2 = 3
2
- = (2
2
x -2x +
A 2
1 = 8x 2
x - 10x
4 2
+1=0.
+ c[V2 +V3"] + d
Section 1.5
rA _
n x + A _ , , n-j ~ ~ n - j
n 2
a
n - j - 1> ' 0
r A A a
appropriate Afs a n d R.
b . In / ( x ) = (x - r)q(x) + R, let take the value r.
This gives R = / ( r ) .
c. The "if" part is obvious and the "only if" part is a
consequence of the above.
a M"
n = [- _ "-
- a_M-N
n 2
n 2
- - a N ~ ],
Q
n x
and
aN 0
n
= [- ~
- a _ M"- N
n l
2
- - a N"~ ].
x
1
a. 8 x - 6x - 1
3
b. x - 3x - 1
3
c. 2 x + 3x - - 1
3 2
d. 3x - 5 x + 5x - 1
5 3
e. + Ax + - 6.
3 2
a. Candidates: 1 / 8 , 1 / 4 , 1 / 2 , 1 . N o n e of
these turns out to be a root.
b. Candidates: 1 . Neither is a root. Notice how, as
in Section 1.3, this and the previous equation are closely
related, the roots of the second being twice the roots of
the first. But the second is much easier to check for
rational roots.
c. Candidates: 1 / 2 , 1 . - 1/2 is the only rational
root.
d. Candidates: 1 / 3 , 1 . N o n e is a root.
SOLUTIONS TO THE PROBLEMS 239
Section 1.6
Thus the other roots are the roots of the quadratic factor,
which are found to be 5 a n d - 3 .
_
- + + fl .
0
/a .
2
SOLUTIONS TO THE PROBLEMS 241
a_ x"~
i + + a , where a 0.
l
0 0
h, .' +/)
6 . (Alternate proof of Theorem 8.) Suppose a and b are
algebraic over a field F. Then a is a root of some polynomial
over F, whose complete set of roots may be written
a = a,, a , . . . ,a , where each root is listed as many times
2 n
-,-bj)
,=1y=l
0 2 - * ) 2 - *4> * ( 2 - )
3
' - 1 ~~
)>
Section 1.7
()-(?:!)() +
, ,. G(z)-G(z ) 0
^ =
?. z-z 0
(As in the real case, some complex functions are
differentiable and some are not.) Show that the usual rules
from elementary calculus carry over in the complex case for
each of the following:
SOLUTIONS TO THE PROBLEMS 245
u( o) '( o)
z v z
+ ( ) '( ) W e n a v e :
( o ) ' ( z ) - Um 0
- zn
lim
v(z) - v(z )0
u(z) - u(z )0
+ v(z ) 0 lim
= u(z )v'(z )
0 0 + v(z )u'(z ).
0 Q
straightforward.
b . The results of the previous part, together with the
observation that the derivative of a constant is 0, reduce
the problem to showing that for > 1, the derivative of
z" is nz"~ . F o r n = \ it is obvious. T h e induction
l
P Z
P Z
P H
1
(e')'(z ) 0 = I = e 2 0
lim *r ,
Z->Z0 - z 0 ^ h
ae"cos b a + be"sin b
= lim
(a, ft)-(0, 0) a + b
2 2
be"cos b + ae''sin b
+ /' lim
(a, 6 ) - ( 0 , 0) a + b
2 2
( <b'(u)du=
b
( r'(u)du+
h
/'f V()M.
' * *
<b(b) - () = ("<b'(u)du.
( M ) = hm 0 ,
/
u->u 0 u u0
g(ux) - g( x)
Uo
'( )= 0 lim
UX UnX
= g'("o*)-*-
248 SOLUTIONS TO THE PROBLEMS
CB ~ /(p
p l
- 1)! can be m a d e arbitrarily small.
Suppose that there were only a finite collection of
primes, p p , ,p -
v 2 Then the n u m b e r 1 + ITjLiP,
N
form
be m
+ b, m-l + + V 1
+ k = 0,
that a = 1, we have
m m ]
m m s+p m s+p
;_ .= r = , = l r
Section 2.1
divisions. T h u s we have:
m = nq + r, x
?i = r
\2 + r 2
r = rq
x 2 3 + r 3
r
N-2 ~ r
N-\ N a
+ r
N
r -\ N = r q +0.
N N+i
3. Find the g.c.d. of 264 and 714. Can you take them
in either order!
Yes, you can take them in either order, as the Euclidean
algorithm makes n o assumption about their relative size.
Let us verify this here by doing the computations
beginning both ways: 264 = 714 0 + 264, 714 = 264 2 +
186, 2 6 4 = 1 8 6 - 1 + 78, 186 = 7 8 - 2 + 30, 78 = 3 0 - 2 +
18, 30 = 18 1 + 12, 1 8 = 1 2 1 + 6, 12 = 6 2 + 0. If we
begin with 714 = 264 2 + 186, we see that this is just the
second step in the above sequence. We find that the g.c.d.
is 6.
and g(x) = x - 4 x - 3x - 9x - Ax - 5.
5 4 3 2
252 SOLUTIONS TO THE PROBLEMS
cases.
+
+ ( * - ) " +
, -
+ U-i).
in which each coefficient, except the leading one, is
(i)-
divisible by n. T o see the latter, we write out
n!
k\(n - k)\
x n
- 1 = 1 x k
- 1
x ~ 1
xk
- 1 * - 1
= [(x*y _ 1
+ (x' y" + +1]
2
[*" 1
+ JC*~ + 2
+ ! ] ,
x 10
- 1 = (x + l)(x + x + x + + l)(x - 1).
5 4 3 2
so we further obtain
J("> - 1 = (4
- 3
+ - + \)(x + 1)
2
( + + + + l)(x - 1).
4 3 2
1 XQ XQ ... XQ
1 .x j . j . j
= (*,-*,),
>j
1 xn xl ... x"
Section 2.2
a2
= 5 + 2yrT
260 SOLUTIONS TO THE PROBLEMS
(n)=nl
^ T = c a ,c eF.
k
k
k
a n d so , = K .
2
Section 2 3
1. Use the techniques of this section to show that it is
not possible to divide an arbitrary angle into five equal parts
by the usual rules of construction.
The relevant equation was derived in Problem 3 of
Section 1.3. With = 2 cos 0, we have x 5x + 5x
5 3
[f^)/g(a)y-3[f(a)/g(a)]-a = 0,
and hence
Section 2.4
= 1.
= x - -V
p< p
+ x <- -V + . . . + i. This equation is irreduc-
p p
o + i y ^ - * ^ 2 [( + /-*
= ['+!+/*()]'"*
k=\
2 ( + l) ~ p(p k)
= + + pH(u)
(u +p
1 / - 1
= u p ( p
' u
+ pG(u)
SOLUTIONS TO THE PROBLEMS 267
of unity is p(p - 1 ) .
roots of unity.
must all have the same degree. Hence there are either 8
linear factors, 4 irreducible quadratic factors, or 2
irreducible quartic factors. In any of these cases, this
polynomial can certainly be written as the product of 2
quartic factors (although not necessarily irreducible ones).
T h a t is, we can write
x - x + x - x
s 6 4 2
+ 1
= [ax* + bx 3
+ cx 2
+ dx + e]
X [Ax 4
+ Bx . + Cx
3 2
+ Dx + ]
+ + ""
+ 1
whose degree is (). (Cf. Problem 4.) T h u s it suffices to
show that / is irreducible over Q . N o t e that / ( l ) = p. If
there were a nontrivial factorization f(x) = g(x)h(x), by
the L e m m a of Gauss we could assume that g a n d h had
integral coefficients. In this case, when = 1, one of them
has value 1 and the other p . In fact, without loss of
generality we may assume that g ( l ) = 1. N o w g has at
least one root, which must b e a primitive nth root of unity.
Call it . T h e powers of from to " must include
1 - 1
all the primitive nth roots of unity, along with other nth
roots of unity. Therefore the polynomial
G(*) = g ( * ) g ( * ) - * ( * " - )
2
Section 2.5
+ + 1+ x"
2 1
+ x~
2
= 0.
The substitutions,
u = + x~\
u2
=x +2+
2
x~ , 2
Section 2.6
the theorem.
Section 2.7
1. Carry through the proof of Theorem 28 for the case
= 5, and deduce from it an algorithm for the construction
of the regular pentagon.
Let be a primitive fifth root of unity. A primitive root
m o d u l o 5 is g = 2, and so we can list the four primitive
fifth roots of unity as: , , , . Taking in particular
2 4 3 1
Figure 17
274 SOLUTIONS TO THE PROBLEMS
2
- + 1, from which it follows that
2
r? +V '2-4
2
T
2
Thus the algorithm is to construct successively a n d then 2
.
2. Generalize the method of this section to show that
the primitive seventh roots of unity may be obtained by the
successive solution of polynomials of degrees 2 and 3. (You
are not asked to solve these lower degree polynomials)
The number g = 3 is a primitive root modulo 7. Letting
be a primitive seventh root of unity, we can list all the
primitive roots in the usual way as , , , , , . 3 2 6 4 5 1
2 = 2
+ ,
5
3 = 6
+ .
1
\ + + ^3 = _ 1
fliVi + ViVi + = [ + + + ] 5 1 6 2
+ [ + + + ]
2 4 3 5
+ [' + 3
+ + ]
4 6
= -2
^ 1 ^ 3 = + + + + + + +
4 5 1 6 2 3
= 2+ (-1)=1.
SOLUTIONS TO THE PROBLEMS 275
f\(f
k fj). Thus the remainder when we divide f fj by k
Section 3.1
1. Show that the general cubic equation ax + bx + 3 2
y3
+y [3L
2
+ b] +y[3L 2
+ 2bL + c]
+ [L 3
+ bL 2
+ cL + d] = 0 .
y3
+ By + C = 0.
+ z [3K
6 4
+ ] + Cz + [3+ 3 2
]+ 3
= 0.
z + Cz + K
6 3 3
= 0,
280 SOLUTIONS TO THE PROBLEMS
or
(z )
3 2
+ C(z )
3
+ K 3
= 0.
2
} / 2 ) . The splitting field can be built up in
3
SOLUTIONS T O THE PROBLEMS 281
o b t a i n (y + t/2) -[y (t
2
-C)-Dy +1 /4- E] = 0. W e
2 2 2
- t + Ct +4Et
3 2
+ D -4CE2
= 0.
-[/ + /-^(,-5^_)]
Section 3.2
, = ( , ) / / . Similarly, / / ( . Thus if
2 2
-1
2 2
,// = //.2
Section 3.3
1. If is a prime, show that the Galois group of
x/>-i P - I + . . + l = ( P - i)/(
+ X - l) is cyclic and
X x
of order 1.
The splitting field of the polynomial is Q(w), where is
any primitive />th root of unity. By Theorem 31, the m a p
SOLUTIONS TO THE PROBLEMS 287
contradiction.
p(c, d) p(d, c)
() < ( ) < (>) and so a < (/) < b . Letting -> oo,
n n
p(a,,...) p(f(a),f(),...)
q(a,,...) q(f(a),f(),...) '
Section 3.4
1. / / Fi = F(r,) and F = F ( r ) and if F , and F
2 2 2 are
conjugate fields over F, does it follow that r, and r 2 are
conjugates over F?
N o . The number r, has a fixed finite n u m b e r of
conjugates. However F ( r ) = F ( a r ) for every q G Q . Since
2 2
294 SOLUTIONS TO THE PROBLEMS
conjugate of r,.
2. / / ii a finite extension of F , show that there are
only a finite number of intermediate fields , D D F .
(This already appeared as Problem 12 of Section 2.2, but an
alternate and much simpler proof is now accessible.)
First we need to extend to a normal extension of F . If
= F ( r ) , let be the splitting field of the minimal
polynomial of r over F . Then E D E D K D F . But there
are only a finite number of intermediate fields between
a n d F , for by Corollary 32, these are j n one-to-one
correspondence with the subgroups of G ( E / F ) which is
finite a n d hence has only a finite n u m b e r of subsets, let
alone subgroups.
3. Show that conjugacy is an equivalence relation on the
set of subgroups of a group.
Let G be the group and let H , H , a n d H be t 2 3
j ! = ( ) = ( 5 ) () = [(*)] , a contradiction.
2 2
Q
The following particular example i s _ o f the type
described. Let F = Q(V2 ) , K , = F ( V 2 ) , a n d K 3
2
Section 3.5
1. If is a normal extension of F and K , and K 2 are
intermediate fields, describe G ( E / K , K ) . 2
= {|(/,),(/ )}. 2
a group.
and K , is G ( E / K ) ?
2
it is itself. Thus G G ( E / K ) .
F o r , = Q ( ( , v T ) a n d [E : Q ] = [E : Q ( yT )] 4
2
4 %
3 5 6
/ vT4
-vT -/ V2"
4
vT / vT
4 4
- vT
4
-/ vT
4
i i ; i / i
i / /
7. Find all the subgroups of the group obtained in the
previous problem, and determine which ones are normal
subgroups.
SOLUTIONS TO THE PROBLEMS 299
= = id and = .
4 2 3
normal in G.
9. / / is a normal subgroup of a group G and if is
a normal subgroup of H, must be a normal subgroup of
Gl
N o , as shown in the solution to the previous problem.
10. Why should it be obvious that the Galois group
calculated in Problem 6 is solvable! Verify its solvability
directly.
Since x - 2 is obviously solvable by radicals, its group
4
is irreducible over F.
Suppose x - A has a monic factor g(x) e F[x] with
p
Section 3.6
1. Let ube a primitive fifth root of unity, and label the
roots of 1 as: r, = 1, r = , r = , r = , r = .
5
2 3
2
4
3
5
4
= *
3. Prove or disprove: If f F[x] is irreducible, then its
Galois group over F is transitive.
SOLUTIONS TO THE PROBLEMS 301
2 + 4 +
2 2
+[2(p-2)] -2m, 1
Section 3.7
1. What is the group of an irreducible quadratic'! Use
the definition of a solvable group to show that it is a
solvable group. Then carry through the procedure used in the
first part of the proof of Ga/'' Theorem to derive an actual
formula for its solution, which formula should turn out to be
the quadratic formula.
The group is S . For, if r a n d r are the roots of the
2 x 2
o = \ +
a r r
2>
a = r -
x x r.2
Ar r = b /
x 2
2
a 4 c / a. C o n s e q u e n t l y , r r
2
x 2 =
/
2 2
- 4c I a = ( v V - Aac )/a. Combining this
with r + r =-b/a,
x 2 we obtain the usual quadratic
formula.
2. Repeat the previous problem for a cubic equation
under the assumption that the group is S . Does your 3
flb - r, + r + r 2 3
a, = r, + ur + 2 ur
2
3
a = r, + +
2
2
2 wr 3
, < (r . - r/) .)
7 ( Similarly, a\ = (- b/
2
+ 9(bc/a - 2
to obtain:
r , - ( - A / e + fli + * 2 ) / 3
r = ( - b/a
2 + ua 2
t + )/3 2
r = ( - 6 / + , + ) / 3 .
3
2
2
further that if > 0 all the roots are real and if < 0
2 2
roots. If all the roots are real, it is clear that > 0. Thus, 2
Section 4.1
\t\"/nl =
l'l/("+l)
approaches 0 as / t - o o , for every t. F o r the law of
exponents, we have:
co ,
= * !
^aib-J
= (a + by
n-0 "
SOLUTIONS TO THE PROBLEMS 309
the fact that two such series may be multiplied in the usual
way within their common radius of convergence.
Let - * /-< a
- n d ; b e t w o s u c h series W e
k~0 k = 0 y' = 0 7= 0
BjtJ + i W
k = 0 k = 0
b t /- k
k
c t c/ k
k
- - 7= 0
+ i ct k
k
BjtJ + Kt k
cJ jt
k-0 k = 0
310 SOLUTIONS TO THE PROBLEMS
fXyo)
+ t
n\ (y-yo)
Here y 0 is an arbitrary fixed value of y.
= bjb . k /*= 1
k= 0
A: = 3 k-3 k= 3
shows that our series certainly converges for \t\ < 1. The
addition of the first three terms cannot affect conver-
gence.
An alternative approach is to apply Taylor's Theorem
from calculus to f(t)=j\-t. This easily yields the
coefficients b from the formula b f (0)/kl,
k a n d thus k
w
a + at + a t
0 { 2
2
+ ,
0 - c t - y + cy+
l 0
2
ct,
k
k
where c = 1/2 a n d c = -a /2
0 k k for k > \. T h e exact
method of the proof of L e m m a 36b yields formulas for
the coefficients in the proposed expansion / = = ^ ' *
T o show convergence, a slight modification is necessary
because there are an infinite n u m b e r of the c/s a n d we d o
not know they are bounded. But the convergence of
- *
obviously implies that of = ( say
< :
absolutely on the set |/| < r. Thus as k -> oo, c r -0, and k
k
which is equivalent to
0 = Ay 2
- y + A
Section 4.2
1. Verify that Kronecker's specialization gives a
one-to-one correspondence between the sets P and K . d d
Let h = ( ) / - / ^ ^ g i o) k
f some k,
< e t = b u u r
(gh) = (2k.j k j) = /^
m n
= ^k,j knj = gh- (This m
constant.)
3. In the example immediately preceding Lemma 36e,
verify that the factorization f(y) y (\ + y ) leads back to 2 4
= 1 +yy , 3
we get h(u v u ) 1 + u u . T h e product
2 x 2
= Gj(u , y).
0 Does it follow that q(u , 0 u)
n
- I L e s f t ( o . i> .
Certainly not. This is essentially the point of the
previous problem as well as the example in the text. In
particular, 5 & ( " < "i> > ") y o t be in P .
m a n
d
to r.)
(\/t ),x)
x is irreducible. T h e n u m b e r s = t + ( 1 / i , ) is
n 0
Section 4.3
= Pi(b\> b , . . . , b )q _ (b ,
2 n J i x b , . . . , b).
2
<-o