Tifr 05
Tifr 05
Tifr 05
K.G. Ramanathan
Lectures on the
Algebraic Theory of Fields
By
K.G. Ramanathan
Introduction
There are notes of course of lectures on Field theory aimed at providing the beginner with an introduction to algebraic extensions, algebraic function fields, formally real fields and valuated fields. These lectures were preceded by an elementary course on group theory, vector
spaces and ideal theory of ringsespecially of Noetherian rings. A
knowledge of these is presupposed in these notes. In addition, we assume a familiarity with the elementary topology of topological groups
and of the real and complex number fields.
Most of the material of these notes is to be found in the notes of
Artin and the books of Artin, Bourbaki, Pickert and Van-der-Waerden.
My thanks are due to Mr. S. Raghavan for his help in the writing of
these notes.
K.G. Ramanathan
Contents
1 General extension fields
1
Extensions . . . . . . . . .
2
Adjunctions . . . . . . . .
3
Algebraic extensions . . .
4
Algebraic Closure . . . . .
5
Transcendental extensions
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
1
. 1
. 3
. 5
. 9
. 12
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
17
17
18
21
24
31
35
38
46
49
49
54
67
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
vi
Contents
Composite extensions
87
1
Kronecker product of Vector spaces . . . . . . . . . . . 87
2
Composite fields . . . . . . . . . . . . . . . . . . . . . 93
3
Applications . . . . . . . . . . . . . . . . . . . . . . . . 97
.
.
.
.
.
.
.
.
103
103
105
113
119
126
128
133
134
.
.
.
.
.
149
149
152
156
166
170
.
.
.
.
.
.
.
175
175
177
180
184
194
201
205
Appendix
1
Decomposition theorem . . . . . . . . . . . . . . . . . .
2
Characters and duality . . . . . . . . . . . . . . . . . .
3
Pairing of two groups . . . . . . . . . . . . . . . . . . .
209
209
213
217
.
.
.
.
.
.
.
.
.
.
. .
. .
. .
. .
. .
. .
p.
. .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Valuated fields
1
Valuations . . . . . . . . . . . . . . . . . . .
2
Classification of valuations . . . . . . . . . .
3
Examples . . . . . . . . . . . . . . . . . . .
4
Complete fields . . . . . . . . . . . . . . . .
5
Extension of the valuation of a complete. . . .
6
Fields complete under archimedian valuations
7
Extension of valuation of an incomplete field
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
Chapter 1
2. Adjunctions
a ( )
But
2 Adjunctions
Let K/k be an extension filed and K a family of intermediary extension
T
S
fields. Then K is again an intermediary field but, in general, K 4
is not a field. We shall define for any subset S of K/k the field k(S ) is
called the field generated byS over k. It is trivial to see that
k(S ) =
T S
3. Algebraic extensions
3 Algebraic extensions
Suppose K is algebraic over k and (x) its minimum polynomial
over k. Let f (x) k[x] and f () , o. f (x) and (x) are then coprime
and so there exist polynomials g(x), h(x) in k[x] such that
f (x)g(x) = 1 + (x)h(x)
which means that ( f ())1 = g() k[]. Thus k[] = k(). On the
other hand suppose K such that k[] = k() then there is a g() in
k[] such that g() = 1 or that satisfies xg(x) 1 in k[x] so that is
algebraic. Hence
1) K algebraic over k k[] is a field.
We now define an extension K/k to be algebraic over k if every of K
is algebraic over k. In the contrary case K is said to be transcendental
extension of k
We deduce immediately
2) K/k algebraic every ring R with k R K is a field
6
Then
We have hence
k() : k n.
Therefore
k() : k (L() : L)
3. Algebraic extensions
ai xi ) =
(ai )xi ai k ai k
Let be the natural homomorphism of k [x] on k [x]/( f (x)). Consider the mapping on k[x]. Since is an isomorphism, it follows
4. Algebraic Closure
4 Algebraic Closure
We have proved that every polynomial over k has a splitting field. For a
given polynomial this field might very well coincide with k itself. Suppose k has the property that every polynomial in k has a root in k. Then
it follows that the only irreducible polynomials over k are linear polynomials. We make now the
Definition. A field is algebraically closed if the only irreducible polynomials in [x] are linear polynomials.
We had already defined the algebraic closure of a field k contained
in a field K. Let us now make the
Definition. A field /k is said to be an algebraic closure of k if
10
10
1) is algebraically closed
2) /k is algebraic.
11
12
4. Algebraic Closure
11
x
= x
12
the prime field. Let K denote the abelian group of non-zero elements
of K. Then K being a finite group of order q 1,
q1 = 1
for all K . Thus K is the splitting field of the polynomial
xq x
in [x]. It therefore follows
Theorem 7. Any two finite fields with the same number of elements are
isomorphic.
A finite field cannot be algebraically closed; for if K is a finite field
of q elements and a K the polynomial
Y
f (x) = x
(X b) + a
bK
5 Transcendental extensions
14
We had already defined a transcendental extension as one which contains at least on transcendental element.
Let K/k be a transcendental extension and Z1 , . . . , Zn any n elements
of K. Consider the ring R = k[x1 , . . . xn ] of polynomials over k in n
variables. Let Y be the subset of R consisting of those polynomials
f (x1 , . . . xn ) for which
f (Z1 , . . . Zn ) = 0.
Y is obviously an ideal of R. If Y = (o) we say that Z1 , . . . Zn are
algebraically independent over k. If Y , (o), they are said to be
algebraically dependent. Any element of K which is algebraic over
k(Z1 , . . . , Zn ) is therefore algebraically dependent on Z1 , . . . Zn .
We now define a subset S of K to be algebraically independent over
k if every finite subset of S is algebraically independent over k. If K/k
is transcendental there is at least one such non empty set S .
5. Transcendental extensions
13
14
16
5. Transcendental extensions
15
Theorem 9. If K/k has a transcendence base consisting of a finite number n of elements, every transcendence base has n elements.
Proof. Let Z1 , . . . , Zn and Z1 , . . . , Zm be two transcendence bases consisting of n and m elements respectively. If n , m let n < m. Now
K/k(Z1 , . . . , Zn ) is algebraic. Z1 is transcendental over k and depends algebraically on Z1 , . . . , Zn so that if Z1 appears in the algebraic relation,
by the remark above, Z1 , Z2 , . . . , Zn is again a set of generators, Z2 depends algebraically on Z1 , . . . , Zn . In this algebraic relation at least one
of Z2 , . . . , Zn has to appear since Z1 , Z2 , are algebraically independent.
If Z2 appears then Z2 , Z1 , Z3 , . . . , Zn is a set of generators. We repeat this
process n times, and find, that Z1 , Z2 , Z3 , . . . , Zn is a set of generators
, . . . , Z depend algebraically on Z , . . . , Z . This 17
which means that Zn+1
m
n
1
is a contradiction. So n m. We interchange n and m and repeat the
argument and get n m. This proves that n = m.
The unique integer n will be called the dimension of K/k.
n = dimk K
It is also called the transcendence degree.
A similar theorem is true even if K has infinite transcendence base
but we dont prove it.
Let k L K be a tower of extensions and let B1 be a transcendence base of L/k and B2 that over K/L. We assert that B1 U B2 is a
transcendence base of K/k. In the first place B1 U B2 is algebraically independent over k. Now k(B1 U B2 ) is a subfield of L(B2 ). Every element
in L(B2 ) is a ratio of two polynomials in B2 with coefficients in L. The
elements of L are algebraic over K(B1 ). Thus L(B2 ) is algebraic over
k(B1 U B2 ). But K/L(B2 ) is algebraic. Thus K/k(B1 U B2 ) is algebraic.
This proves our assertion. In particular it proves
Theorem 10. If k L K then
dimk K = dimk L + dim L K.
16
18
Chapter 2
18
2 Normal extensions
Suppose K is a subfield of /k and an automorphism of /k. Let
K K. We assert that K = K. For let K and denote by C the
set
C K
Since K K we have K so C . Thus
C
C is a finite set and is an isomorphism of K into itself.
Thus
C = C
21
2. Normal extensions
19
for all automorphisms of /k. We shall call such fields, normal extensions of k in .
Let K/k be a normal extension of k and algebraic closure of k
containing K. Let K and C the class of . We assert that C K.
For if is an element of C , there is an automorphism of /k for
which = . Since K K, it follows that K. Now any element
in K is a root of an irreducible polynomial in k[x]. Since all the elements
of C are roots of this polynomial, it follows that if f (x) is an irreducible
polynomial with one root in K, then all roots of f (x) lie in K.
Conversely let K be a subfield of /k with this property. Let be
an automorphism of /k and /K. Let be an automorphism of /k
and K. Let C be the class of . Since C K, K. But is
arbitrary in K. Therefore
K K
and K is normal. Thus the
Theorem 2. Let k K . Then K = K for all automorphisms of
/k every irreducible polynomial f (x) k[x] which has one root
in K has all roots in K.
Let f (x) be a polynomial in k[x] and K its splitting field. Let be
an algebraic closure of K. Let 1 , . . . , n be the distinct roots of f (x) in 22
. Then
K = k(1 , . . . , n )
Let be an automorphism of /k. j = j for some j. Thus
takes the set 1 , . . . , n onto itself. Since every element of K is a rational
function of 1 , . . . , n , it follows that K K. Thus
i) The splitting field of a polynomial in k[x] is a normal extension of
k.
T
Let {K } be a family of normal subfields of /k. Then K is
S
trivially normal. Consider k( K ). This again is normal since for
[
[
[
k K k K k K
20
[
L = k K
3. Isomorphisms of fields
21
3 Isomorphisms of fields
Let K/k be an algebraic extension of k and W any extension of K and so
of k. A mapping of K into W is said to be k linear if for , K
24
( + ) = +
W and if k, () = . If is a klinear map of K into
W we define for in W by
() =
for K. This again is a klinear map and so the klinear maps of K
into W form a vector space V over W.
A kisomorphism of K into W is obviously a klinear map and
so V. We shall say, two isomorphisms , of K into W (trivial on
k) are distinct if there exists at least one K, , 0 such that
,
Let S be the set of mutually distinct isomorphisms of K into W. We
then have
Theorem 3. S is a set of linearly independent elements of V over W.
Proof. We have naturally to show that every finite subset of S is linearly
independent over W. Let on the contrary 1 , . . . , n be a finite subset of
S satisfying a non trivial linear relation
X
i i = 0
i
22
25
i i
i = o.
n i
i, j
i ( j ) = o
=1
i, j
X
i
26
i i i = o
3. Isomorphisms of fields
23
24
28
4 Separability
Let be an algebraic closure of k and . Let (x) be the minimum
polynomial of in k. Suppose k()/k has exactly (k() : k) distinct
k-isomorphisms in . Then from the last article it follows that all the
roots of (x) are distinct. Conversely let the irreducible polynomial (x)
be of degree n and all its n roots distinct. Then k()/k has n distinct
k-isomorphisms being a root of (x). But it can have no more.
Let us therefore make the
Definition. An element is said to be separably algebraic or separable over k if its minimum polynomial has all roots distinct. Otherwise
it is said to be inseparable.
1) Let W/k be any extension field and W separable over k. Let L
be an intermediary field. Then is separable over L.
4. Separability
25
26
4. Separability
27
f (x). Then (y) is irreducible in k[y] and (y) has no repeated roots.
Let 1 , . . . , t be the roots of (y) in . Then
e
f (x) = (x p 1 ) (x p t ).
e
pe
xP i = xP i = (x i ) p
Thus
e
f (x) = {(x 1 ) (x t )} p
28
f (x) = {(x 1 ) . . . (x t )} p
e
f (x) = (x p 1 ) (x p t )
and 1 , . . . t are separable over k. Consider the field k(1 ) which is
a subfield of k(). being of degree t over k, (k(1 ) : k) = t. This
means that
(k() : k()) = pe .
33
But the interesting fact to note is that k() has over k() only the
identity isomorphism or that k() is fixed by every k()-automorphism of /k().
Also since every element of k() is a rational function of over k(),
it follows that
e
p k()
for every k(). Thus the integer e has the property that for every
e
k(), p k() and there is at least one (for instance ) for
e
which p < k(). e is called the exponent of , equivalently of k().
We define the exponent of an algebraic element over k to be the
e1
e
integer e o such that p is separable but not p . Hence
11) Exponent of is zero is separable over k.
We shall now extend this notion of exponent and reduced degree to
any finite extension.
Let K/k be finite so that K = k(1 , . . . , n ). Put as before Ko = k,
Ki = k(1 , . . . , i ) so that Kn = K. Let i have reduced degree di and
exponent ei over Ki1 . Then
(Ki : Ki1 ) = di pei
4. Separability
29
From the definition of di , it follows that the number of distinct kisomorphisms of K/k is d1 . . . dn . We put
d = d1 dn
and call it the reduced degree of K/k. Then
(K : k) = d. . . . p f
where f = e1 + + en . We call p f the degree of inseparability of K/k.
In order to be able to give another interpretation to the integer d we 34
make the following considerations.
Let K k and let K/k have the property that every k automorphism of /k acts like identity on K. Thus if G(/k) and K,
then
=
All elements of k have this property. Let K, < k. Then by
definition, has in only one conjugate. The irreducible polynomial
of has all roots equal. Thus the minimum polynomial of is
m
xp a
m
p k
for some integer m o. Let be an automorphism of /k. Then
m
m
p = p . But
m
o = p p = ( ) p
30
m
If is the algebraic closure of k and L the maximal separable subfield of then /L is purely inseparable. coincides with L in case k
5. Perfect fields
31
5 Perfect fields
Let k be a field of characteristic p > 0. Let be its algebraic closure.
Let k. Then there is only one element such that p = .
1
We can therefore write 1/p without any ambiguity. Let k p be the field
generated in /k by the pth roots of all elements of k. Similarly from 37
2
k p , . . . Let
[ n
K=
kp
n0
We denote K by k p
n
Then p k for some n i.e., k p k p . Thus
32
1) k p
2) k p
p
+ an xnp . Since ai k p [X p ], it is in some k p and so ai = bi for
bi k p . Hence
f (x) = (bo + b1 x + + bn xn ) p
which is contradicts the fact that f (x) is irreducible. Hence
38
3) /k p
is a separable extension.
5. Perfect fields
33
If i = 1/p
then
i
e
(x) = (x p 1 ) . . . (x p t )} p
e+1
(x) = (x 1 ) . . . (x t ) p
34
for 0 and t. (This is because roots of (x) occur with the same
multiplicity). We can write
1
(x) = (x p 1 ) . . . (x p ) p
(x) = {(x 1 ) (x t )} p , 1.
40
(x) = {(x p 1 ) . . . (x p t )} p
we see that 1 = e or = e + 1. Thus
(x) = f (x p ) = {(x)} p
6. Simple extensions
35
is an infinite extension of k.
S pn
n
we have k p =
k
/k is finite then, since k p =
n
6 Simple extensions
An algebraic extension K/k is said to be simple if there is an K such
that K = k(). Obviously (K : k) is finite. We call a primitive element
of K. The primitive element is not unique for, + , k also is
primitive. We now wish to find conditions when an algebraic extension
would be simple. We first prove
Lemma. Let k be an infinite field and , elements in an algebraic closure of k such that is separable over k. Then k(, ) is a simple
extension of k.
Proof. Let f (x) and (x) be the irreducible polynomials of and respectively in k[x], so that
f (x) = (x 1 ) (x n )
(x) = (x 1 ) (x m ).
Since is separable, 1 , . . . n are all distinct. We shall put = 1 ,
and = 1 . Construct the linear polynomials
i + X j (i = 1, . . . , m; j = 1, . . . , n)
These mn polynomials are in , the algebraic closure of k and since
k is infinite, there exists an element k such that
i + j , i , + j , , J
36
Put
= 1 + 1 = +
42
43
6. Simple extensions
37
38
Therefore
45
Note 2. Theorem 6 has been proved on the assumption that k is an infinite field. If k is finite the theorem is still true and we give a proof
later.
7 Galois extensions
Let K/k be an algebraic extension and G the group of automorphism of
K which are trivial on k. Let L be the subset of all elements of K which
are fixed by G. L is then a subfield of K and is called the fixed field of
G. We shall now consider the class of algebraic extensions K/k which
are such that the group G(K/k) of automorphisms of K which are trivial
on k, has k as the fixed field. We call such extensions galois extensions,
the group G(K/k) itself being called the galois group of K/k.
We now prove the
Theorem 7. k is the fixed field of the group of k automorphisms of
K K/k is a normal and separable extension.
7. Galois extensions
39
= ( )2 = ( ).( )
( ) =
Thus G(K/k) is a group of order 2. K/k is normal and separable.
We shall obtain some important properties of galois extensions.
40
S
and k( K ) are galois.
This follows from the fact that this is already true for normal and
also for separable extensions.
48
Conversely suppose that L and L are two subfields such that G(K/L)
and G(K/L ) are conjugate subgroups of G(K/k). Let G(K/L ) = 1
G(K/L). Let L and G(K/L). Then 1 G(K/L ) and so
7. Galois extensions
41
1 =
=
for all L. Thus G(K/L). Also every G(K/L) has this
property so that the kernel of the homomorphism is G(K/L).
Let K/k be a finite galois extension. Every isomorphism of K/k in
is an an automorphism. Also K/k being separable, K/k has exactly
(K : k) district isomorphisms. This shows that
(K : k) = order of G.
We shall now prove the converse
7) If G is a finite group of automorphisms of K/k having k as the
fixed field then (K : k) = order of G.
42
m
X
ai i
n=1
ai K
m
X
ai (i ) = 1, . . . , n.
1=i
50
m
X
i=1
h (ai |h (i )
which means
(m+1 ) =
m
X
h (ai ) (i )
i = 1, . . . , n
i=1
subtracting we have
m
X
(h (ai ) ai (i ) = 0
i=1
m
X
i=1
h (ai ) ai i = 0
7. Galois extensions
43
44
52
7. Galois extensions
45
Theorem 8. Let K/k be a galois extension and G(K/k) the galois group
with the Krull - topology. Let M denote the set of closed subgroups of
G and N the set of intermediary fields of K/k. Let be the mapping
which assigns to every g M, the fixed field F(g) of g in N. Then is a 54
biunivocal mapping of M on N.
46
55
8 Finite fields
Let K be a finite field of q elements, q = pn where p is the characteristic
of K. Let be the prime field of p elements. Then
(K : ) = n
K the group of non-zero elements of K is an abelian group of order
q 1. For K we have
q1 = 1
8. Finite fields
47
which proves that for every divisor d of q1 there are (d) 1 elements 56
of order d. Thus
1) The multiplicative group of a finite field is cyclic.
Let k be a finite of q elements and K a finite extension of k of degree
n. Then K has qn elements. Since K is cyclic, let be a generator
of K . Then
K = k()
which proves
2) Every finite extension of a finite field is simple.
e
48
i = i1 () = i1 (q ) = q
57
Chapter 3
50
60
51
52
62
Let dimk K = n. There exist x1 , . . . , xn in K which form a transcendence base of K/k. If K is an algebraic function field then K/k(x1 ,
. . . , xn ) is finite algebraic. Hence K = k(x1 , . . . , xm ), m n, is finitely
generated. This shows that algebraic function fields are identical with
finitely generated extensions.
An algebraic function field K/k is said to be separably generated
if there exists a transcendence base x1 , . . . , xn of K/k such that
K/k(x1 , . . . , xn ) is a separable algebraic extension of finite degree.
x1 , . . . , xn is then said to be a separating base. Clearly every purely transcendental extension is separably generated. Also, if k has characteristic
zero and K is an algebraic function field, it is separably generated. In
this case every transcendence base is a separating base. This is no longer
true if k has characteristic p , o.
For example, let K = k(x, y) be a function field of transcendence
degree one and let
x2 y p = o.
Let k have characteristic p , 2. Obviously x and y are both transcendental over k. But K/k(x) is a simple extension generated by y which is
a root of
z p x2
over k(x)[z] and since k has characteristic p, K/k(x) is purely inseparable. On the other hand K/k(y) is separable since x satisfies over k(y) the
polynomial
x2 y p .
53
64
54
2 Derivations
Let R be a commutative ring with unit element e. A mapping D of R
into itself is said to be a derivation of R if
65
(1) D(a + b) = Da + Db
(2) D(ab) = aDb + bDa
for a, b R. It is said to be a derivation over a subring R if for every
a R , Da = o. It then follows that for a R and x R
Dax = aDx
The set Ro of a R with Da = o is a subring of R and contains e.
For,
De = De2 = De. e + e. De = 2De ;
2. Derivations
55
so De = o. If Da = o, Db = o, then
D(a + b) =Da + Db = o
D(ab) = aDb + bDa = o
Thus Ro is a subring. We call Ro the ring of constants of the derivation D.
If R is a field, then Ro also is a field. For, if x Ro and x , o, then
o = De = Dx.x1 = Dx.x1 + x.Dx1
Thus
Dx1 = o
so that x1 Ro .
D is said to be a non-trivial derivation of R if there is an x R with
Dx , o. It follows from above that
Theorem 3. A prime field has no non-trivial derivations.
A Derivation D of R is said to be an extension of a derivation D of a
= Da for a R . We now prove the
subring R of R if Da
66
Theorem 4. If K is the quotient field of an integrity domain R, then a
derivation D of R can be uniquely extended to K.
a
Proof. Every element c in K can be expressed in the form c = , a,
b
b R. If an extension D of D exists, then
= Da
Da
But a = bc so that
= Dbc
= bDc
+ cDb
Da = Da
Therefore
56
If c is expressed in the form
a
, a , b R then ab = ba and so
b
Da cDb Da cDb
=
b
b
2. Derivations
then write 1i =
57
ai
, ai , bi R. We get
bi
X ai
i
bi
D i = o.
that i = o or ai = o.
Also, since every derivation D of K is an extension of a derivation
of R, it follows that the derivations of K from an r-dimensional vector
space over K.
Let us now consider the case where R = k[x1 , . . . , xn ] is the ring of
polynomials in n variables x1 , . . . , xn . The n mappings
Di :
a
, i = 1, . . . , n
xi
Then
X
j = Dx j ( ai Di )x j = o
Dx
i
58
i = 1, . . . , n
,
xi
i = 1, . . . , n.
i = 1, . . . , n
2. Derivations
59
a1 , . . . , m k, put
fD =
X
(Da1 , . . . , m )x11 xmm .
m
X
f
Dxi
xi
i=1
m
X
Dxi
xi
i=1
60
m
X
f
ui = o.
x
i
i=1
m
X
ui .
xi
i=1
f
=
xi
X
j
Aj
f j X A j
+
fj
,
xi
xi
j
2. Derivations
61
we get
f D (x) +
m
X
f
ui = o.
xi
i=1
m
X
f
u j = o, i = 1, . . . , s.
x
j
j=1
an infinity of extensions D.
(3) Finally, let X be separable. Then f (z), the irreducible polynomial
of x over k is such that
f (x) , o.
Since f (z) generates Y we must have
= o,
f D (x) + f (x)Dx
62
is uniquely fixed by D.
or that Dx
=
Dx
73
f D (x)
f (x)
(*)
74
Then xn is separably algebraic over K1 . For, if not, let x1 be inseparable over K1 or transcendental over K1 . In both cases the zero
derivation in K1 can be extended into a non-trivial deri-vation of K contradictions hypothesis over K.
Thus xn is separable over K1 . This implies, since K has no derivations over k that K1 and our theorem is proved.
Note that in the theorem above, the fact that K/k is finitely generated
2. Derivations
63
Dx +
Dy = o
x
y
so that if we assume that y is separable over k(x), then
Dy =
, o and hence
y
Dx
Dx +
Dy
x
y
which gives,if Dx , o
D
=
Dx
x y
!
x
64
j = 1, . . . , s
where i is the row index and j the column index. We denote by t the
rank of the matrix M which is a matrix over K.
Let VK (D) denote the vector space of derivations of K which are
trivial on k. This is a vector space over K. Denote by l the dimension of
VK (D) over K. We then have
Theorem 8.
l+ t =m.
Proof. For any integer p, denote by W p the vector space over K of dimension p, generated by p-tuples (1 , . . . , p ), i K.
Let denote the mapping
D = (Dx1 , . . . , Dxm )
of Vk (D) into Wm . This is clearly a homomorphism of Vk (D) into Wm .
The kernel of the homomorphism is the set of D for which Dxi = o; i =
1, . . . , m. But since K is generated by x1 , . . . , xm , this implies that D = o.
Thus Vk (D) is isomorphic to the subspace of Wm formed the vectors
(Dx1 , . . . , Dxm ).
76
m
X
j=1
fi
; i = 1, . . . , s
x j
so that
(1 , . . . , s ) = (1 , . . . , m )M.
The rank of the mapping is clearly y equal to the rank t of the
matrix M. It is the dimension of the image by of Wm into W s . The
kernel of the mapping is the set of (1 , . . . , m )with
i = o; i = 1, . . . , s.
2. Derivations
65
xi
Dxi = o.
m
X
fj
Dxi = o.
xi
i=l+1
Dxl+1 o
P ... = ...
Dxm
o
77
66
But K = L(xl+1 , . . . , xm ) is finitely generated over L. Using theorem 7, it follows that K/L is algebraic and separable. We get incidentally
n 1.
We now prove the important
78
o, if i , j
Di y j =
1, if i = j
then
X
ai D i (y j ) = o for all j.
67
68
f (z) =
ai z
i=o
ai , bi k.
g(z) =
bi z
i=o
a1
a1 yb1
ybm
if
if
if
1>m
1=m
1<m
69
a(x)
b(x)
where a(x) and b(x) are coprime and have at most the degree 1 in x.
Thus
x +
y=
x +
where , , , are in k and since y is transcendental over k,
, 0.
An automorphism of K which is identity on k, is uniquely fixed by
its effect on x. If it takes x into y then x and y are related as above. If
x and y are related as above, then the mapping which assigns to x the
element y is an automorphism.
If we consider the group of two rowed non-singular matrices, with
elements in k, then each matrix gives rise to an automorphism of K/k.
Obviously two matrices and give rise to the same automorphism if
and only if = for some , o in k. Hence
Theorem 12. The group of automorphisms of K = k(x) over k is isomorphic to the factor group of the group of two rowed matrices over k
modulo the group of matrices E, , 0 k and E is the unit matrix of
order 2.
70
82
bi (x)
b0 (x)
bi (x)
.
b0 (x)
71
so that since f (z) is irreducible, it follows that f (z) divides h(z) wg(z),
which is a polynomial of degree m in z. Let us therefore write
h(z) wg(z) =
g(x)c1 (x)
. f (x, z)(x, z).
bo (x)co (x)
84
72
(x2 x + 1)3
x2 (x 1)2
85
f (x) +
V f (x) +
, , k, , 0.
We now consider the case of a rational function field K = k(x1 ,
. . . xn ) of n variables. Let G be a finite group of automorphisms of K
which are trivial on k and let L be the fixed field of G. Clearly L has
transcendence degree n over k. It is not known, except in simple cases,
whether L is a purely transcendental extension of k or not. We shall,
however, consider the the case where G is the symmetric group on n
73
86
f (z) = (z x1 ) . . . (z xn ).
Since every permutation in S n leaves f (z) fixed, it follows that f (z)
L[z]. Let us write
f (z) = zn s1 zn1 + s2 zn2 + (1)n sn
where
si =
xt1 xti .
The quantities s1 , . . . , sn are called the elementary symmetric functions of x1 , . . . xn . Put L1 = k(s1 , . . . , sn ). Then L1 L. Also f (z) is a
polynomial in L1 {z} and is irreducible over it. f (z) is separable and K is
the splitting field of f (z) over L1 . Thus K/L1 is galois. Since f (z) is of
degree n
(K : L1 ) n!
Since L L1 , it follows that L = L1 and
L = k(s1 , . . . , sn ).
We have therefore the
74
Theorem 15. Every rational symmetric function of x1 , . . . , xn is a rational function over k of the elementary symmetric functions s1 , . . . , sn .
Incidentally since L/k has dimension n, the elementary symmetric
functions s1 , . . . , sn are algebraically independent over k.
Chapter 4
S K/k = trace A .
75
76
Defined as such, it follows that
NK/k = NK/k . NK/k
S K/k ( + ) = S K/k + S K/k
88
1
1
.
..
. = P ..
n
n
it follows that
1
1
.
.. = A ...
n
n
1
1
.
1
.. = PA P ...
n
n
which shows that by means of the new basis the matrix associated to
is B where
B = PA P 1
and then we have
| B | = |A |
Trace B = Trace A .
This shows that NK/k and S K/k are invariantly defined and do not
depend on a basis of K/k.
77
We write
fK/k (x) =| xE A |
and call it the characteristic polynomial of . Obviously fK/k (0) =
(1)n | A | so that
NK/k = (1)n fK/k (0) = (1)n an .
(1)
(2)
where
fK/k (x) = xn + a1 xn1 + + an
a1 , . . . , an k.
Let k L K be a tower of finite extensions. Let (K : L) = m
and let 1 , . . . , m be a basis of K/L. Similarly let (L : k) = n and let 89
1 , . . . , n be a base of L/k. Then (1 1 , . . . , n m ) is a base of K/k.
Let L and consider the matrix of by the regular representation of
K/k in terms of the base (1 1 , . . . , n m ). Call it A .
Then it is trivial to see that
A 0
A =
0 A
a matrix of mn rows and columns. Therefore
(3)
78
90
From our formulae above, it follows that we can compute the norm
and trace of in K from a knowledge of its minimum polynomial.
Let now K/k be a finite extension and an element of K. Let
[K : k()] = m , [k() : k] = n be the degrees of separability of
K over k() and k() over k respectively. Then K/kn haso m n distinct
i=1,...,n
k-isomorphisms in an algebraic closure of k. Let i j , j=1,...,m
, be
these isomorphisms and let notation be so chosen that i1 , . . . , im , have
the same the same effect on k(). Then we may take 11 , 12 , . . . , n 1
as a complete system of distinct isomorphisms of k()/k in .
By our considerations above fk()/k (x) is the polynomial of as
well as the characteristic polynomial of in k()/k. If fK/k (x) is the
characteristic polynomial of in k, then
fK/k (x) = ( fk()/k (x))(K:k())
(4)
(x i j ) =
(x i1 )m .
i=1 j=1
(5)
i=1
fk()/k (x) =
(x i1 )
i=1
{k:k}
m {K:k}
Y
Y
(x
()
=
.
(x
i
j
i1
i, j
i=1
79
{K:k}
(x
)
= fk()/k (x) m {K:k()}
ij
i, j
fK/k (x) =
(
Q
){K:k}
((x )
91
(6)
NK/k =
(7)
is a conjugate of . Similarly
S K/k = {K : k}
(8)
80
i
i
i
Comparing coefficients of xn1 on both sides we get
X n1
i
= 1.
( )
i
i
If we put =
n1
and observe that () K, we get
()
S K/K = 1.
2. Discriminant
81
The norm of is
2
n1
NK/k =
qn 1
= q1 .
Since K has qn 1 elements,
n 1
=1
82
2 Discriminant
Let K/k be a finite extension and 1 , . . . , n a basis of K/k. Suppose 94
is a k-linear map of K into k, that is
() k
( + ) = +
() = ()
where , K, K. Let M denote the matrix
M = ((i j))
of n rows and columns. We denote by DK/k (1 , . . . , n ) its determinant and call it the - discriminant of the basis 1 , . . . , n of K/k. If
1 , . . . , n is another basis, then
1
1
.
.. = P ...
n
n
so that
(a b ) =
pai pb j (i j )
i, j
2. Discriminant
83
M ... = ... .
0
an
This means that
n
X
(i j )a j = 0; 1 = 1, . . . , n.
j=1
If we put z =
a j j . then we have
(i z) = 0, i = 1, . . . , n.
= b1 1 + + bn n , bi k.
z
P
Then () =
z = bi (i z) = o. This proves that is the
z
i
trivial map.
The mapping S K/K is also a k-linear map of K into k. For a
basis 1 , . . . , n of K/k we call
DK/k (1 , . . . n ) = |(S k/K (i j ))|
the discriminant of the basis 1 , . . . n . Using theorem 2 and theorem 4,
we get
84
Let K/k be finite separable. Let 1 , . . . , n be the distinct k-isomorphisms of K over k in . Then
X
S K/k =
i .
i
Therefore
2
1 1 , 1 2 , . . . , 1 n
..
DK/k (1 , . . . , n ) =
.
.
n
1
1 , . . . . . . , 1
(9)
2. Discriminant
85
DK/k () = (1)n(n1)2 NK/k (dK/k )
97
Suppose K/k is a finite galois extension. Let 1 , . . . , n be the distinct automorphisms of K/k. We shall now prove
Theorem 6. If k contains sufficiently many elements, then there exists
in K an element such that 1 , . . . , n form a basis of K over k.
Proof. It K such that
D(1 , . . . , n ) , o
then 1 , . . . , n form a base of K/k. For,if
X
ai i = o, a1 , . . . , an k
i
i = 1, 2, . . .
=
S K/k (a i b j )xa xb .
a,b
86
Chapter 5
Composite extensions
1 Kronecker product of Vector spaces
99
MMM
MM
MM&&
// V
v;; 3
v
vv
vv
5. Composite extensions
88
Theorem 1. For any two vector spaces V1 and V2 over k there exists
one and upto k-isomorphism only one Kronecker product T of V1 and
V2 over k.
100
101
89
x = o
y
x = o
o
x
x
o
x
x = x
y
x + x1
y
(x + x )
y
x + y1 ) = x
y
x + x
y
x 1
x (y
x = a(x
y)
x
ax
y
x
x by = b(x
y)
x
5. Composite extensions
90
if =
= o otherwise
(y ) = 1
=o
if
otherwise
103
Then is a bilinear function on V1 V2 and hence vanishes on
W. Thus
X
x ) = o.
.
a (x
y
But the left side equals a . Thus all the coefficients a vanish.
x 2 is a linear combination of elements of
Next any element of V1
V
P
P
x x V1 , y V2 . But then x = a x and y = b y so
the type x
y,
that
X
X
x
x =
x
y
b y
a x
P
x ). Our theorem is proved.
which equals a b (x
y
We have incidentally the
Corollary. If V1 and V2 are finite dimensional over k then
x 2 = dim V1 dim V2 .
dim V1
V
Also since the dual of V1 is isomorphic in a natural manner with V1
when dim V1 is finite, we get
91
x k V2 is
Corollary . If V1 and V2 are finite dimensional over k then V1
isomorphic to the dual of the space of bilinear functions on V1 V2 into
k.
Let now A1 and A2 be two associative algebras over a field k. We
x k A2 of the vector spaces A1
can form the Kronecker product A = A1
and A2 over k. We shall now introduce a multiplication into A so as to
make it into an associative algebra.
In order to do this, observe that the multiplication defined has to be 104
a bilinear function on A A into A. Since A is generated by elements of
x it is enough to define this bilinear function on elements of
the type x
y,
x 1 . Put
x and z1 = x1
y
the type (z, z1 ) in A A where z = x
y
x y1 .
f (z, z1 ) = z z1 = x x1
y
x 1 is a bilinear function on A1 A2 into
Now since (x, y) xx1
yy
A, by our previous considerations z z z1 is a linear function on A into
A. Similarly z1 z z1 is a linear function on A. This proves that f is
bilinear and that the multiplication so defined distributes addition. That
the multiplication is associative is trivial to see.
A is called the Kronecker product algebra.
We obtain some very simple consequences from the definition.
) If e1 and e2 are respectively the unit elements of the algebras A1
x 2 is the unit element of A1
A
x 2.
and A2 then e1
e
x 2 is generated by elements x
y,
x it is enough
For, since A = A1
A
x
x 2 ) = (e1
e
x 2 )(x
y).
x
to verify (x
y)(e
But this is trivial.
1
e
) If A1 has x1 , . . . , xm as a base over k and A2 has y2 , . . . , yn as a
x j ) is a base of A1
A
x 2 over k. Furthermore if the
base over k then (xi
y
multiplication tables for the bases are
X
xi x j =
a(t)
i j xt
yi y j =
t
X
b(ti j ) yt
then
x q )(xr
y
x s) =
(x p
y
X
,
105
()
x )
a()
pr bqs (x
y
5. Composite extensions
92
106
e1 e2 = e2 e1 = e2 ,
e22 = de1 .
2. Composite fields
93
( de1 + e2 )( de1 e2 ) = o.
It can however be seen that A is then the direct sum of the two fields
and where
e2
1
= (e1 + ),
2
d
e2
1
= (e1 ).
2
d
2 Composite fields
Let K1 and K2 be two extension fields of k. Suppose K1 and K2 are
both contained in an extension field of k. Then the composite of K1
and K2 is the field generated over k by K1 and K2 . In general, given 107
two fields K1 and K2 which are extensions of k, there does not exist an
extension field containing both. Suppose, however, there is a field
/k which contains k-isomorphic images K1 , K2 of K1 and K2 , then
a composite of K1 and K2 is defined to be the fields k(K1 K2 ). A
composite extension of K1 and K2 is therefore given by a triplet (, , )
consisting of 1) and extension field of k and 2) isomorphisms ,
of K1 and K2 respectively in which are identity on k. The composite
extension is then k(K1 K2 ). We wish to study these various composites
of K1 and K2 .
If is another extension of k and , two k-isomorphisms of
5. Composite extensions
94
108
axy (x
y)
=
axy x y ,
K/G
R(K1 K2 ).
x
=
(
axy x
y)
axy x y =
axy x y .
A = K/G
2. Composite fields
95
109
of K,
gives a compos
ite extension. Since K is an algebra over L we may regard K/G
as an
extension field of L.
none of them 110
Let now G1 , . . . , Gm be m distinct maximal ideals of K,
5. Composite extensions
96
Theorem 6.
P
T Gi
i K/Gi K/
i
P
Proof. We shall construct a homomorphism of K on i Li and show
T
that the kernel is Gi .
i
Define on K by
X
(x) =
i x.
i
(xy) =
i (xy) =
X
i
Xi
X
(i x)(i y) = ( i x)(
i y) = xy.
i
111
G j , j , i
bi
< Gi
maximal.
P
Let now ci be an element in the direct sum, ci Li . By definition
i
of bi
= o
j bi
, o
if j , i
if j = i
3. Applications
97
Then
(c) =
XX
i
j (bi yi ) =
ci
K/
K/G
G
3 Applications
Throughout this section will denote an algebraically closed extension
of k and K and L will be two intermediary fields between and k. A
composite of K and L in will be the field generated over k by K and
L. It will be denoted by KL.
Let K be the Kronecker product over k of K and L. There is, then, a
homomorphism of K on R(K L) given by
X
X
x
axy (x
y)
=
axy x y.
5. Composite extensions
98
113
Let K/k be a finite extension. Then, for some maximal ideal G , K/G
of L, we get (K/G
: L) (K : k), that is
(KL : L) (K : k)
Clearly if G = (o), equality exists, and then K and L are linearly
disjoint over k. The converse is true, by above considerations. Hence,
in particular,
3. Applications
99
3) If (K : k) = m and (L : k) = n, then
(KL : k) mn;
equality occurs if and only if K and L are linearly disjoint over k.
114
We now consider the important case, K/k galois. By the considerations above, it follows that KL/k is algebraic over L. Since is a
algebraically closed, it contains the algebraic closure of KL. Let be
an isomorphism of KL in , which is identity on L. Its restriction to K
is an isomorphism of K in . But contains the algebraic closure of
K and hence K = K. Since KL is generated by K and L, it follows
that KL KL. Hence KL/L is a galois extension. (KL/L is already
separable since elements of K are separable over k).
KL
rr
r
r
rrr
K MMM
MMM
M
LL
LL
LL
L
L
r
rrr
r
r
r
KL
k
We now prove the
5. Composite extensions
100
X
X
x y =
y (x ).
116
3. Applications
101
over K L and since K and L are linearly disjoint over K L, all y are
zero. Thus is an automorphism of KL/L.
Our theorem is thus proved.
In particular, if K and L are both galois extensions of k and K L = k
then, by above,
G(KL/L) G(K/k)
G(KL/K) G(L/k)
tt
tt
tt
L
ttt
t
t
ttt
5. Composite extensions
102
= , .
Chapter 6
104
(m). All the primitive mth roots of unity are given by a with 1 a <
m, (a, m) = 1, a fixed primitive mth roots of unity.
Let be an algebraically closed field. Let m and n be two positive
integers which are arbitrary, if has characteristic zero and, prime to p,
if has characteristic p , o. If is an mth root of unity and an nth
root of unity, then
()mn = mn mn = 1,
so that is an mn th root of unity. This shows that the roots of unity in
form a group H(). We now determine the structure of H.
Theorem 1. If has characteristic zero, then H is isomorphic to the
additive group of rational numbers mod 1, whereas, if has characteristic p , o, H is isomorphic to the additive group of rational numbers
a
, (a, b) = 1, p b, mod 1.
b
Proof. Let R denote the group (additive) of rational numbers and 1 <
2 < 3 the sequence of natural numbers, if has characteristic
zero, whereas, if has characteristic p , o, let R denotes the rational
a
numbers , (b, a) = 1, p b and 1 < 2 < 3 the sequence of
b
natural numbers prime to p. Put
n = 1 n .
120
2. Cyclotomic extensions
105
a
where a is an integer. Define the
n
x = an ,
so that is a function on R with values in H. The mapping is well
b
, then m a = n b. Suppose m > n; then
defined: for if x =
m
b = an+1 m
n+1 m
= an by choice of n . We now verify that is a
so that bm = a
m
a
b
homomorphism of R on H. If x , y =
are in R and m n, then
n
m
(x + y) = (
an+1 m + b
n+1 m +b
) = a
m
m
2 Cyclotomic extensions
Let k be a field and xm 1 a separable polynomial in k[x]. This implies,
in case k has characteristic p , o, that p does not divide m. Let
be a primitive mth root of unity in , an algebraic closure of k. Then
K = k() is the splitting field of xm 1 in . Therefore, K/k is a
separable, normal extension. Let G be its galois group. If G, is
determined by its effect on . Since is a primitive mth root of unity, so
is . For,
()m = (m ) = 1;
106
122
qq
qqq
q
q
q
p
ppp
p
p
pp
()
Let be in G and
the restriction of to (). Since is identity
on k and is again a primitive root of unity, it follows that
is an
2. Cyclotomic extensions
107
108
124
5)
X
(d) = o if m > 1
d|m
= 1 if m = 1
125
2. Cyclotomic extensions
109
d|m
Suppose
Q
d|n
d|n
( ng )
(g(d))
YY
di | dn
d|n
d|n
(d)
f (d1 )
.
d| dn
using formula (5), we obtain the inversion formula. The converse follows in the same way.
Consider now the integers mod m. Divide them into classes in the
following manner. Two integers a, b are in the same class if and only if
(a, m) = (b, m).
Let d/m and Cd , the class of integers a ( mod m) with (a, m) = d. 126
m
m
Then a is of the form d where (, ) = 1. Thus Cd has ( ) elements.
d
d
The classes Cd , for d|m, exhaust the set of integers mod m. If is a
primitive mth root of unity, then
xm 1 =
m
Y
(x t ).
t=1
110
d|m
m
m
But if t Cd , t = d , (, ) = 1 and so t is a primitive th root
d
d
of unity. Using the definition of m (x), if follows that
Y
xm 1 =
d (x)
d|m
d|m
(xd 1)( d )
X
d|m
X (d)
m
d( ) = m
.
d
d
d|m
xp 1
= x p 1 + + x + 1.
x1
127
(x pq 1)(x 1)
.
(x p 1)(xq 1)
Let us now consider the case when is the prime filed of p elements.
Obviously, ()/ is a cyclic extension. If we define the cyclotomic
polynomial as before, it is no longer irreducible over [x]. For instance,
let p = 5 and m = 12. Then
12 (x) =
(x12 1)(x2 1)
= x4 x2 + 1.
(x6 1)(x4 1)
2. Cyclotomic extensions
111
Also
x4 x2 + 1 = (x2 2x 1)(x2 + 2x 1) (mod 5).
Therefore, ()/ has degree < (m). It is obvious since ()/
is cyclic, that, for m (x) to be irreducible, the group of prime residue
classes mod m should be cyclic. We shall prove
Theorem 4. If is the prime filed of characteristic p , o and p m,the
cyclotomic polynomial m (x) is irreducible, if and only if the group of
prime residue classes mod m is cyclic and p is a generator of this cyclic
group.
Proof. We already know that ()/ is cyclic. If m (x) is irreducible,
then ()/ has order (m). Let be the Frobenius automorphism of
()/. Then
= p ,
The (m) automorphisms
(m)1
, p , p , . . . , p
or
m = qb
or
2qb ,
112
129
Dx ,
Dx
3. Cohomology
113
3 Cohomology
Let G be a finite group and A an abelian group on which G acts as a
group of left operators. Let A be a multiplicative group. We denote elements of G by , , , . . . , and elements of A by a, b, c, . . .. We denotes
by a the effect of on a. Then
(ab) = a b
(a ) = a
130
114
= a12 ,...,n+1
n
Y
n+1
i
(a1 ,...,i1 ,i i+1 ,...,n+1 )(1) (a1 ,...,n )(1) .
n=1
(2)
which proves that Bn+1 (G, A) is a subgroup of Z n+1 (G, A) and we can
form for every n > o the factor group H n (G, A) the n-dimensional cohomology group. We verify (2) only in case n = o and 1 which are the
ones of use in our work.
The coboundary of a zero cochain is a one cochain given by
a = a =
a
.
a
(3)
a a
.
a
a a
.
a
131
3. Cohomology
115
n
X
i=1
a1+++
= 1.
116
n1
We denote a1+++
a is a cocycle, then,
Na = a1++..+
= 1.
a a = a1+++ (a1+++
1 + +++ 1
= a1+++
= a .
134
a = a + a + + a
where = , has the property
a = a.
3. Cohomology
117
Put b1 =
a =
a . Then
(b1 ) =
a .
Therefore
a X
=
a a .
b
=
a
=
a = b1 .
Thus
a =
which is a coboundary.
b
= b1
b
118
Consider now the additive cohomology. K/k being finite and separable, there exists a K such that
X
= S K/k = 1.
Put now
b =
But a = a 1 =
a b =
136
so that
(a + a ) =
a = b
a1+++
=1
a + a + + a
=o
or S K/k a = o.
Using theorem 7, we obtain theorem 90 of Hilbert.
Theorem 8. If K/k is a finite cyclic extension, , a generator of the
galois group of K/k and a and b two elements of K with NK/k a = 1 and
S K/k b = 0 respectively, then
a = c1
b = d d
for two elements c, d in K.
4. Cyclic extensions
119
4 Cyclic extensions
Let K/k be a cyclic extension of degree m. Put m = npa , (n, p) = 1 if p
is the characteristic of k; otherwise, let m = n.
Let G be the galois group of K/k. It has only one sub-group of order
pa . Let L be its fixed field. Then K/L is cyclic of degree pa and L/k is
cyclic of degree n prime to p. Let be a primitive nth root of unity and
k() the cyclotomic extension. The composite F = Lk() is cyclic over
k() and of degree prime to p. We shall see that K over L and F over
k() can be described in a simple manner.
We shall, therefore, consider the following case, first.
K/k is a cyclic extension of degree m and p m, if k has character- 137
istic p , o; otherwise, m is an arbitrary integer. Also, k contains all the
mth roots of unity. We then have the theorem of Lagrange.
Theorem 9. K = k(w) where wm k.
Proof. Let be a primitive mth root of unity. is in k.
= t
=
t
t t
120
which shows that
= t c,
c k.
K = k( d)
for d k.
The polynomial xq a for a k is, thus, either irreducible and, then,
a root of it generates a cyclic extension, or else, xq a is a product of
linear factors in k.
4. Cyclic extensions
139
121
122
141
4. Cyclic extensions
123
elements of serve the same purpose as the roots of unity in the first
case.
If k has characteristic 2 and K/k is a separable extension of degree
2, then
K = k()
where 2 k.
Observe, also, that any polynomial x p x , for k, is either
irreducible over k and so generates a cyclic extension over k, or splits
completely into linear factors in k. For, if is a root of x p x then,
for , + is also a root.
by
, a root of x p x . It is obvious that
is p valued and if is
P
P
124
Hence has the property
S L/k = 1.
It is easy to see that is not k. For,
P = (P) P =
and in k would mean P = o or . This means that S L/k = o.
We now proceed in the opposite direction. Let L be cyclic of degree
pn1 > 1 over k. We shall construct an extension K which is cyclic over
k and contains L as a proper subfield. Let be a generator of the galois
group of L/k.
Let us choose L, such that
S L/k = 1.
Now S L/k (P) = P(S L/k ) = o which shows that
P =
143
(4)
4. Cyclic extensions
125
= + .
Now
P(
) = (P)
P = = P
and, again, we have
P(
) = o
or that
= + + which shows that
is an automorphism of K/k.
If t is any integer,
t1
t = + + + +
+ t.
144
n1
,
2, . . . ,
p
126
5 Artin-Schreier theorem
We had obtained, in the previous section, a sufficient condition on a field
so that its algebraic closure may be of infinite degree over it. We would
like to know if there are fields K which are such that their algebraic
closures are finite over them. The complete answer to this question is
given by the following beautiful theorem due to Artin and Schreier.
Theorem 12. If it an algebraically closed field and K is a subfield
such that
1 < ( : K) <
145
5. Artin-Schreier theorem
127
where 1 = L.
4) Any irreducible polynomial over L is either linear or of degree q. 146
For, if t is its degree and , a root of it then t = (L() : L) divides
q. Thus, every polynomial in L[x] splits in L into product of linear
factors and of factors of degree q.
2
xq = (x
q2
(5)
xq + + ,
being a q2 th root of unity. We assert that this is a primitive q2 th
root of unity. For if not, it is either 1 or a primitive qth root of unity.
128
of over (). Hence
sss
sss
() O
OOO
OOO
() L
() L
LLL
LLL
L
oo
ooo
o
o
oo
6 Kummer extensions
We now study the structure of finite abelian extensions of a field k. We
use the following notation:k is a field of characteristic p, not necessarily > o.
n is a positive integer not divisible by p if p , o, otherwise arbitrary.
, the group of non-zero elements of k. A generic element of will
also be denoted, following Hasse and Witt, by .
6. Kummer extensions
129
(6)
Let k contain the nth roots of unity. We shall establish a(1, 1) correspondence between abelian extensions of k of exponent dividing n and
subgroups of satisfying (6).
Let K be an extension field obtained from k by adjoining to k the nth
roots of all the elements of . We shall obtain some properties of K.
Since /n is a finite group, let 1 , . . . , t in , form a system of
generators of mod n . Then any is of the form
ai n
= a1
1 , . . . , t
Therefore
1) K/k is a finite extension.
Each i is a root of a polynomial of the form xn i . This polynomial, by the condition on n, is separable over k. Also, xn i splits
completely in K. Thus
2) K/k is a finite galois extension and is the splitting field of the polynomial
t
Y
f (x) =
(xn i )
i=1
over k[x].
Let us denote by the group generated by 1 , . . . , t and . Let G
denote the galois group of K/k. In the first place,
130
4) G is isomorphic to /n .
(This proves that K/k is a finite abelian extension.)
In order to prove this, consider the pairing, (, ) of G and , given
by
(, ) = 1 ,
(7)
150
G, . Because of definition of ,
(, )n =
n
= 1.
(n )
(, ) = = = = = (, ) (, ).
Furthermore,
(, ) =
=
,
= (, )(, ).
( )
6. Kummer extensions
131
K = k( n ).
We shall, therefore, prove (8).
define the function
Let G denote the dual of G. For every in ,
() = 1
Since n , it follows that () is an nth root of unity.
on G into .
Also,
!
= = () ()
() = =
so that is a character of G.
132
133
Obviously
is p valued. Also,
P
+
=
+
.
P
P P
(9)
, fro . We denote
elements
P
K = k(
).
P
134
Suppose, now, on the other hand, K/k is a finite abelian extension of 154
exponent p, where p is the characteristic of k.
Then
K = k( ),
P
+
where is a subgroup of k with /Pk+ finite. For the proof of this,
we have to use additive instead of multiplicative, cohomology. For, let
G be the galois group of K/k and G its character group. Denote, by
the additive subgroup of K + formed by elements with P k+ .
,
Then
Denote, by , the group P .
/k+ /Pk+
Define () by
() = .
Then
P( ()) = P (P) ).
But, P k+ by definition. Hence, P( ()) = o.
Therefore, () is an element of . The rest of the proof goes
through in the same way and we have the
Theorem 15. If k has characteristic p , o, the finite abelian extensions
K/k of exponent p stand in a(1, 1) correspondence with subgroups of
).
k+ such that /Pk+ is finite, and then K = k( P
8 Solvable extensions
155
8. Solvable extensions
135
n1
a1 + n2 a2 + .
136
Y
f (x) =
(xn2 ai
2 ),
if 2 is a simple radical with
i=1
n2
2 =
f (x) =
a2 , and
Y
(P x a2 i ),
i=1
8. Solvable extensions
137
138
160
We shall now explicitly show how to obtain the roots of a polynomial of degree 4 in terms of generalized radicals.
Let f (x) be a general polynomial of degree m over k and let K be
the splitting field. K/k has the group S m . Let y1 , . . . , ym be the roots of
f (x). Put
Y
(yi y j )2 .
D=
i< j
D)
is
a gaIf we assume that the characteristic
of
k
is
,
2,
then
k(
8. Solvable extensions
139
Also, y1 + y2 = x1 , y1 y2 = D so that
x1 D
x1 + D
, y2 =
y1 =
2
2
, y2 = x1
+ x1
P
P
140
i< j
and
D4 = 16x42 x4 4x32 x23 128x22 x24 + 144x2 x23 x4
27x43 + 256x34 .
162
8. Solvable extensions
141
27
x3 + 3 D( 12 ). Changing into 2 we get 3 .
Then 3 =
2
Hence
r
1
a 3 27
x3 + 3 D( )
=
2
2
and we have a similar expression for . Here a o. In order to determine a, we use the fact that = 3x2 and so, choosing the root
of unity a for arbitrarily, the root of unity in the expression for is
uniquely determine. Now
y1 + y2 + y3 = o
y1 + y2 + 2 y3 =
y1 + 2 y2 + y3 =
and since the matrix
1 1 1
2
1
1 2
142
8. Solvable extensions
143
we now have
p
p
1 , y3 + y4 = 1
p
p
y1 + y3 = 2 , y2 + y4 = 2
p
p
y1 + y4 = 3 , y2 + y3 = 3 .
y1 + y2 =
L = k( D)
where
D = (y1 y2 )2 (y2 y3 )2 (y3 y1 )2 .
K/L is now a cyclic extension of degree 3 and since k has characteristic 3, K = L(), where
3 = o
for some L. Thus K is a generalized radical extension. We shall
now determine and and therefrom, y1 , y2 and y3 .
In order to do this, we have to consider two cases, x1 = o, and
x1 , o.
Let, first, x1 = o. Then y1 + y2 + y3 = o. Let be a generator of the
galois group fo K/L and let notation be so chosen that
y1 = y2 , y2 = y3 , y3 = y1 .
2
165
144
Also
166
X
2
2
x2 = y1 y2 + y2 y3 + y3 y1 =
( )( ) = ( + + )2 .
+ t, y3 = t
+ 2t
y1 = t , y2 = t
P
P
P
and thus the roots are all obtained.
The indeterminacy in the sign of t does not cause any difficulty; for,
, y3 = t
t, y2 = t
+t
P
P
P
y1 a y2 a
1
x1
1
. If t2 = , t L and = 3 , then K = L( ) and the roots
y3 a
P
t
a2
167
8. Solvable extensions
145
y1 , y2 , y3 are given by
y1 = a +
tP
, y2 = a +
1
1
, y3 = a +
t + tP
2t + t P
Then
+ =
which shows that < k, because ,then, it will be symmetric and equal
to . Thus k() is a quadratic subfield of K. A simple computation
shows that and = + 1 are roots of
x2 x + x32 .
K/k() is cyclic of degree 3 and one uses the method of Lagrange 168
to obtain a generalized radical extension.
146
2 = . . . , 3 =
1 2 3
+
+ .
2 3 1
y3
,
y1 y2 y4
1 =
y4
.
y1 y2 y3
Then
1 +
y23 + y24
(y1 + y2 )(y3 + y4 ) 1
=
=
= .
y1 y2 y3 y4
y1 y2 y3 y4
x4
x4 1
,
1
1 =
x4 1
,
1
then 2 + 2 = 1 and Kc = Kb (2 ).
In similar manner, K = Kc (3 ) where
3 =
x4
,
2
y1
.
y2 y3 y4
8. Solvable extensions
147
!
y1 + y2
.
x1
!
y1 + y3
.
x1
Our contentions are completely established.
Similarly, K = Kc
Chapter 7
A2 )P P P
A3 )P (P) = (o)
A4 )P (P) = R,
150
171
172
1. Ordered rings
151
a
y = > o. Then ab > o and a b > o.
b
x+y =
ab + a b
bb
152
2 Extensions of orders
Hereafter, we consider ordered fields k. Our main task will be the study
of extensions of orders in k to extension fields K of k. For this purpose,
we introduce the notion of a positive form on k.
m
P
Let k be an ordered field. A polynomial ai x2i , ai k, is said to be
i=1
Proof. We have only to prove the sufficient. To this end, consider the
family M of subsets {M } of K having the following properties. Denote,
by S , the set of elements in K of the form
X
ai 2i ,
i
Then
1)
3)
M S
M M M
2) M + M M
4) M (M ) = (o).
This family is not empty, since S satisfies this condition. In the usual
way, we make M a partially ordered set and obtain a maximal set P. We
have now to show that
P (P) = K
and then P will determine an order. Let x , o be an elements of K which
is not in P. Define
Q = P xP
2. Extensions of orders
153
1
a+c
= (a + c)(b + d)
b+d
(b + d)2
i = 1, 2, . . ..
P
i
zero, then
1 =
X
i
i 2,
154
176
i k. A field in which 1 is not a sum of squares is called a formally real field. From theorem 2, it follows that formally real fields are
identical with ordered fields.
We shall, now, prove the following application of theorem 1.
Theorem 3. Let k be a formally real field with a given order and f (x),
an irreducible polynomial in k[x]. Let a, b be two elements in k such that
f (a) f (b) < 0. Suppose is a root of f (x) in , an algebraic closure of
k. Then K = k() is ordered with an order which is an extension of the
given order in k.
Proof. Let f (x) be of degree n. Then every element in k() is a polynomial in of degree n 1 with coefficients in k. If k() is not ordered
with an order extending that in k, then there is a positive form in k which
represents 1. That is,
X
1 =
ai {i ()}2 ,
i
Since f (x) has degree n and left side has degree 2n 2, (x) has,
at most, the degree n 2.
We now use induction on n. If n = 1, these is nothing to prove.
Assume theorem proved for n 1 instead of n. Let g(x) be in irreducible
factor of (x). Then g(x) has degree n 2. Now
X
ai {i (a)}2 = f (a)(a)
0<1+
0<1+
i
X
i
177
ai {i (b)}2 = f (b)(b).
Since f (a) f (b) < 0, it follows that (a)(b) < 0. Therefore, at least
one irreducible factor, say g(x), of (x) has the property g(a)g(b) < 0.
2. Extensions of orders
155
0
if a = 0
|a| =
a
if a > 0
a if a < 0.
It is then easy to prove that
|a + b| |a| + |b|.
Let f (x) = xn + a1 xn1 + + an be a polynomial in k[x]. Put
M = max(1, |a1 | + + |an |). If t , 0 k and |t| > M, then
tn f (t) = 1 + a1 t1 + + an tn > 0
which shows that tn and f (t) have the same sign.
Suppose now f (x) is irreducible and of odd degree. Then, if M is
defined as above,
f (M) f (M) < 0.
Therefore, by theorem 3, if is a root of f (x) in an algebraic closure of
k, then k() has an order extending that in k.
If a k and a > 0, then the polynomial x2 a changes sign in k. 178
For, (a + 1)2 > a and a < 0. Thus
((a + 1)2 a)(0 a) < 0.
156
179
157
+a
,
2
d2 =
a
.
2
b b2 4ac
are its roots (a , 0). But b2 4ac K.
2a
The second step consists in showing that every polynomial in k[x]
has a root in K. Let f (x) be in k[x] and let N be its degree N = 2n q, q
odd. We shall use induction on n. If n = 0, then N = q, and so whatever
odd number q be, f (x) has a root already in k. Let us, therefore, assume
proved that every polynomial of degree 2n1 q , where q is odd, with
coefficients in k has a root in K. Let f (x) be of degree N = 2n q, q odd.
Let 1 , . . . , t be the distinct roots of f (x) in an algebraic closure of K.
Let k be an element to be suitably chosen later. Put
i j () = i j = i + j + i j i, j = 1, . . . , t, i , j.
158
Consider now the polynomial
(x) =
Y
(x i j ).
i, j
181
N(N 1)
This has degree
= 2n1 q , q odd. Also, by every per2
mutation of the symbols 1, . . . , t, the polynomial goes over into itself.
Thus (x) k[x]. Since its degree satisfies the induction hypothesis,
for every k, there is an i and a j such that i j () K. Since k is
an infinite field, there exist , , , and both in k such that i j ()
and i j ( ) for two integers i and j are in K. This means that i j and,
hence, i + j are in K. The polynomial x2 x(i + j ) + i j is a
polynomial in K[x]. By what we proved above, both its roots are in K.
Thus our contention is proved.
The third step consists in proving that every polynomial in K[x],
has a root in K. For, let f (x) be a polynomial in K[x]. Let be the
generating automorphism of K/k. It is of order 2. Denote by f (x)
the polynomial obtained from f by applying on the coefficients of f .
Then = f (x) f (x) is a polynomial in k[x]. The second step shows that
has a root in K. Furthermore if is a root of , is also a root of
, so that either is a root of f (x) or is a root of f (x).
We have thus proved theorem 4 completely.
We deduce from this an important corollary due to Artin and
Schreier.
Corollary 1. If is an algebraically closed field and K a subfield such
that 1 < ( : K) < , then K is real closed.
Proof. We had already proved that K(i) = and that K has characteristic zero. By virtue of theorem 4, it is enough to prove that K is formally
real. Every element of is of the form a + ib, a, b K. Also
a + ib = (c + id)2 ,
for c, d in K, since is algebraically closed. Thus
a2 + b2 = (c2 + d2 )2 .
159
182
This proves that the real closed fields are those and only those which
are such that their algebraic closures are finite over them.
We have again
Corollary 2. A real closed field has only one order.
For, the set of positive elements coincides with the set of squares of
the elements of the field.
This shows that, if on ordered field has two distinct orders, it has
algebraic extensions which are ordered. It must be remembered that if
a field has only one order, it is not necessarily real closed. The rational
number field, for example, has only one order.
Suppose k is a real closed field. Then every irreducible polynomial
in k[x] is of degree one or two. Suppose f (x) is a polynomial in k[x] and
a, b in k such that
f (a) f (b) < 0.
Then one of the irreducible factors (x) of f (x) must have the property
that (a)(b) < 0. If is a root of (x), then k() is ordered. But,
k being real closed, k. (x) must be a linear polynomial. Thus
(x) = x and
(a )(b ) < 0
which means that lies between a and b. Hence the
Theorem 5. If k is a real closed field, f (x) a polynomial in k[x], a, b in
k such that f (a) f (b) < 0, then there is a root of f (x) in k between a
and b.
Furthermore, we had seen that there is an M in k depending only 183
on the coefficients of f (x) such that f (a) has the same sign as an , n =
deg f (x), if |a| > M. This shows
160
1 2
1 = A 2
...
2 3
...
r1 = Ar
r .
184
1 (x) = t(x )
1 () , 0
1 (x) + (x )t 1 (x)
161
2 (x) and 3 (x) being polynomials over k. Note that 1 (x) is not the
derivative of 0 (x). We shall drop the bars on the s and write them
as 0 , 1 , . . . , r1 , r = 1 and 0 having no multiple roots. Note that
(b) or (c) is not altered by doing the above.
The finite number of polynomials 0 , 1 , . . . , r1 have only finitely
many roots between b and c. By means of these roots, we shall split the
interval (b, c) into finitely many subintervals, the end points of which
are these roots. We shall study how the function (a) changes as a runs
from b to c.
1) No two consecutive functions of the Sturmian series 0 (x), 185
1 (x), . . . , r1 (x) can vanish at one and the same point, inside the
interval (b, c). For, suppose b < a < c and i (a) = 0 = i+1 (a),
0 < i + 1 < r. Then
i (x) = Ai i+1 (x) i+2 (x)
so that i+2 (a) = 0, and, so on, finally r (a) = 0. But r (a) = 1.
2) Inside any one of the intervals, each function keeps a constant sign;
for, if any function changed sign then, by theorem 5, there would be
a zero inside this interval.
Let d denote an end point of an interval and L and R the intervals to
the left of d and to the right of d, having d as a common end point.
3) Suppose d is a zero of 1 for 0 < 1 < r. Then
l1 = Al l l+1 ,
so that l1 (d) = l+1 (d) and none of them is zero by (1). Because
of (2), l1 has in L the same sign as at d. Similarly in R. The same
162
187
163
k(1 , . . . , s ,
1 , . . . , g )
1 , . . . , g ) = F .
164
() = (), ( + ) = ( + ), () = ().
189
165
Theorem 8. If k is an ordered field with a given order and , its algebraic closure, there exists in , upto k-isomorphism, only one real
closed field K with an order extending the given order in k.
Proof. Let V be the family of formally real subfields of /k which have
an order extending that in k. V is not empty, since k V. We partially
order V by inclusion. Let {k } be a totally ordered subfamily of V. Let
S
K0 = k . Then K0 is a field which is contained in V. This can be
166
|a + b| |a| + |b|.
This implies that
|a| |b| |a b|.
191
Also a |a| is a homomorphism of k into the set of positive elements of k. The function | | defines a metric on the field k. We define
a Cauchy sequence in k to be a sequence (a1 , . . . , an , .) of elements of k
such that for every > 0 in k, there exists n0 , an integer such that
| an am |< , n, m > n0 .
Obviously, if m > n0 + 1,
|am | = |am ano ano | < + |an0 |,
so that all elements of the sequence from n0 onwards have a value less
than a certain positive element of k.
A Cauchy sequence is said to be a null sequence if, for every > 0
in k, there is an integer n0 = n0 () such that
| an |< ,
n > n0 .
The sum and product of two Cauchy sequence is defined as follows:(a1 , a2 , . . .) + (b1 , b2 , . . .) = (a1 + b1 , a2 + b2 , . . .)
(a1 , a2 , . . .) (b1 , b2 , . . .) = (a1 + b1 , a2 + b2 , . . .)
and it is easy to verify that the Cauchy sequences in k form a ring R and
the null sequences, an ideal Y of R. We assert that Y is a maximal
167
(1)
For, if not, for every > 0 and integer n, there exist an infinity of 192
m > n for which | am |< . Since (a1 , . . .) is a Cauchy sequence, there
exists n0 = n0 () such that
|am1 am2 | < ,
m1 , m2 > n0 .
Let m0 > n0 such that |am0 | < . Then, for all m > m0 ,
|am | |am am0 | + | am0 < 2
which proves that (a1 , . . .) is a null sequence, contradicting our assumption.
Let 1 be the unit element of k. Then the sequence (1, 1, . . .) is a
Cauchy sequence and is the unit element in R. Let c = (a1 , . . .) be in
R but not in Y . Let m be defined as in (1). Then c1 = (0, 0, . . . 0, a1
m ,
a1
,
.
.
.)
is
also
a
Cauchy
sequence.
For,
let
>
0
and
n,
an
integer
so
m+1
that
n1 , n2 > n0 .
| an1 an2 |< ,
Then
1
1
1
=
an1 an2
|an1 | |an2 |
1) R/Y is a field k.
k is called the completion of k under the given order. For every
a k, consider the Cauchy sequence a = (a, a, . . .). Then a a is a
168
(2) k is an extension field of k.
n > n0 .
n > m = m().
p > n1 ,
b p > E2 ,
p > n2 ;
p>n
a p > ,
a p > , p > n.
169
p > n.
p > n1 .
p, q > n0 .
P (P) = k.
We therefore see that
195
Then, clearly, given any > 0, there exists n0 such that the element
a (an0 ) in k has all its elements, from some index on, less than in
absolute value. This justifies our notation. One clearly has
lim an + lim bn = lim an + bn .
170
171
n + (n1 + . . . + 1)(1 ) = 1,
which is absurd. Our theorem is proved.
We had already introduced the real number field. It is clearly archimedian ordered. In fact, the completion of an archimedian ordered field
is archimedian. We can prove even more, as shown by
Theorem 11. Every complete archimedian ordered field is isomorphic
to the field of real numbers.
Proof. Let K be an archimedian ordered field. It has a subfield isomorphic to , the field of rational numbers. We shall identify it with it
self. Let k be the completion of k. Then
k .
172
198
In order to prove the inequality the other way round, let R be the
ring of Cauchy sequences in k and Y , the maximal ideal formed by
null sequences. We shall show that every residue class of R/Y can be
represented by a Cauchy sequence of rational numbers. Therefore, let
c = (a1 , a2 , . . .) be a positive Cauchy sequence in k. Since k is archimedian ordered, there exists, for every n greater than a certain m, an integer
n such that
n < nan < 1 + n
which means that
a n < 1 .
n n n
m m+1
,
, . . .) be a sequence of rational numLet d = (0, 0, 0, . . .
m m+1
bers. Let > 0 be any positive quantity in k. There exists, then, an
integer t such that t > 1, since k is archimedian ordered. Then, for
n > t and m,
an n <
n
has a root in .
173
199
cb
.
2n
cb
.
2n+1
cb
2n
Chapter 8
Valuated fields
1 Valuations
200
8. Valuated fields
176
Also, since a = a b + b, we get
| a | | b | a b | .
| a |1 = 1 | a |2 = 1.
201
It is obvious that the above relation between valuations is an equivalence relation. All valuations equivalent to a given valuation form an
equivalence class of valuations.
If | | is a valuation then, for 0 c 1, | 1 |c is also a valuation. We
shall now prove
Theorem 1. If ||1 and ||2 are equivalent valuations, there exists a real
number c > 0 such that
| a |1 =| a |c2
for all a k.
Proof. Let us assume that ||1 is non-trivial. Then ||2 is also non-trivial.
Also, there exists a b k such that | b |1 > 1, | b |2 > 1. Let a k, a , 0.
Then | a |1 and | b |1 being positive real numbers.
| a |1 =| b |1
where =
log | a |1
.
log | b |1
2. Classification of valuations
177
an
which means that | m |1 > 1. Since ||1 and ||2 are equivalent, this means
b
that
| a |2 >| b |m/n
.
2
In a similar manner, if p/q > , then
p/q
| a |2 <| b |2
This means that if
.
202
m
p
and ,then
n
q
| a |2 =| b |2 .
Therefore =
Putting c =
log | a |2
log | a |1
log | b |2
. This shows that
=
.
log | b |2
log | a |2
log | b |2
log | b |1
and observing that c > 0, our theorem follows.
log | b |2
2 Classification of valuations
A valuation is said to be archimedian if for every a k, there exists an
integer n = n(a) (that is ne, if e is the unit element of k) such that
| a |<| n | .
(Compare this with archimedian axiom in ordered fields).
A valuation of k which is not archimedian is said to be non-archimedian. We shall deduce a few simple consequences of these definitions.
1) || is archimedian there exists an integer n in k such that | n |> 1.
Proof. If || is archimedian, there exists a k with | a |> 1 and an
integer n with | n |>| a |. This means that
| n |> 1.
8. Valuated fields
178
m <| n | =| n |. Therefore
| a |<| n | m <| n |+1
and our assertion is proved.
We deduce
2) || non-archimedian | n | 1, for every integer n in k.
This shows at once that
3) All the valuations of a field of characteristic p are non-archimedian.
We now prove the important property
4) || is an non-archimedian valuation if and only if for every a, b in k
| a + b | Max(| a |, | b |).
Proof. If || is a non-archimedian valuation, then for every integer
n, | n | 1. Let m be any positive integer. Then
m1
(a + b)m = am + (m
b + . . . + bm
1 )a
so that
| a + b |m | a |m + | a |m1 | b | + . . . + | b |m
(m + 1)Max(| a |m , | b |m ).
2. Classification of valuations
179
We deduce easily
204
a , 0.
+a=
8. Valuated fields
180
a
=0
3 Examples
First, let be the finite field of q elements. Every element of satisfies
the polynomial xq1 1. Therefore, any valuation | | on is trivial.
Let now be the field of rational numbers.
Let | | be an archimedian valuation on . It is enough to determine its
effect on the set of integers in . There is an integer n such that |n| > 1.
Let m be any positive integer. Then
n = a0 + a1 m + + at mt ,
"
#
log n
where t
, 0 ai < m. Therefore |ai | ai < m so that
log m
|n| m(t + 1) max(1, |m|t ).
3. Examples
181
8. Valuated fields
182
Also, if |a| < 1 and b Z, then
|ab| = |a| |b| < 1.
a
If we denote |p| by c, 0 < c < 1, then for any rational number , the
b
value is
a = c
b
a
a
where = p where (a , p) = 1 = (b , p) and a rational integer.
b
b
This valuations is called the p-adic valuation.
Thus with every non-archimedian valuation, there is associated a
prime number. Conversely, let p be any prime number and let n be any
integer, n = p n1 , 0, where (n1 , p) = 1. Put
|n| = |p|
|q|q < 1.
3. Examples
208
183
g(x)
is an element of K, then
h(x)
8. Valuated fields
184
Suppose now that |x| 0. As in the case of rational integers, consider the subset Y of k[x] consisting of polynomials f (x) with | f (x)| >
0. Then, since for every (x) in k[x], |(x)| 0, it follows that Y is a
maximal ideal generated by an irreducible polynomial p(x). As in the 209
case of the rational number field
|R(x)| = |p(x)|
A(x)
where A(x) and B(x) are prime to p(x) and
B(x)
is a rational integer. If we denote, by || p(x) , this valuation and put
= ord p(x) R(x), then
4 Complete fields
Let k be a field and || a valuation of it. The valuation function defines
on k a metric and one can complete k under this metric. The method is
the same as in the previous chapter and we give here the results without
proofs.
A sequence (a1 , a2 , . . .) of elements of k is said to be a Cauchy sequence if for every > 0, there exists an integer n = n() such that
|an1 an2 | <
, n1 , n2 > n.
m > n.
4. Complete fields
185
210
The Cauchy sequences form a commutative ring R and the null sequences a maximal ideal Y , therein. The quotient k = R/Y is called
the completion of k under ||. The mapping a (a, a, a, . . .) is an isomorphism of k in k and we identify this isomorphic image with k itself.
We extend to k the valuation || in k, in the following manner. The real
number field is complete under the valuation induced by the unique
then a = (a1 , a2 , . . .), a Cauchy sequence of
order on it. So, if a k,
elements of k. Put
|a| = lim |an |
n
which is certainly 0,
k is thus a complete valuated field.
It may also be seen that the elements of k are dense in k in the topol- 211
ogy induced by the metric.
We denote by S n the partial
Let c1 + c2 + c3 + be a series in k.
sum
S n = c1 + c2 + + cn .
We say that c1 + c2 + + cn + is convergent if and only if the
sequence of partial sums S 1 , S 2 , . . . , S n , . . . converges. This means that,
for every > 0, there exists an integer n = n() such that
|S m S m | = |cm+1 + + cm | < , m, m > n.
8. Valuated fields
186
212
then G(k)
Suppose || is an archimedian valuation. Then k has characteristic
zero and contains , the rational number field as a subfield. On , || is
the field of real numbers,
the ordinary absolute value. Since k contains ,
it follows that
is the multiplicative group of all positive real numbers.
1) G(k)
Also, because of the definition of the extended valuation, it follows
4. Complete fields
187
Now an = an a + a so that
|an | min(|an a|, |a|).
But, for n large, |an a| > |a| so that |an | = |a| and our contention is
established.
G(k) being an additive subgroup of the real number field is either
dense or discrete. The valuation is then called dense or discrete accordingly. In the second case, there exists in k with smallest pos- 213
itive value || || is then the generator of the infinite cyclic group
G(k) is called a uniformising parameter. It is clear that is not
unique. For, if u k with |u| = 0, then |u| = || and u is also a
uniformising parameter.
Consider in k the set O of elements a with |a| o.O is then an
integrity domain. For,
|a| 0, |b| 0 |a + b| Min(|a|, |b|) 0.
Also |ab| = |a| + |b| 0. We call O the ring of integers of the
valuation. Consider the set Y of elements a k with |a| > 0. Then
Y is a subset of O and is a maximal ideal in O. For, if a r and
b Y , then |ab| = |a| + |b| > 0. Also, if a r but not in Y , then
|a| = 0 and |a1 | = 0 so that if U is an ideal in O containing Y , then
U = Y or U = r. We call Y , the prime divisor of the valuation.
Since Y is maximal, r/Y is a field. We call /Y the residue class
field.
We denote by O the
Exactly the same notions can be defined for k.
8. Valuated fields
188
a Y (Y ).
3) O(O)
which is a root of a
Proof. We should prove that every in k(k)
n
n1
is
polynomial of the type x + a1 x + + an , a1 , . . . , an O(O),
4. Complete fields
215
189
mod Y )
216
8. Valuated fields
190
where a1 R. Then
a a0 + a1 (modY 2 )
In this way, one proves by induction that
a a0 + a1 + + am m (mod)Y m+1 )
where a0 , a1 , . . . , am R. Put bm = a0 + a1 + + am m .
Then a bm (modY m+1 ) which means that
|a bm | m + 1
Consider the series
b0 + (b1 b0 ) + (b2 b1 ) +
Then, since bm+1 bm = am+1 m+1 , we see that |bm+1 bm | increases
indefinitely. Hence the above series converges. Also, since its elements are integers,
b = b0 + (b1 b0 ) + (b2 b1 ) +
is an element of O.
Since b0 + (b1 b0 ) + + (bm bm1 ) = bm , it follows that
b = lim bm .
m
Thus we have
a = lim bm = a0 + a1 + a2 2 +
m
217
4. Complete fields
191
an n
n=t
1
X
an n
n=t
8. Valuated fields
192
7) Every a p is expressed uniquely in the form
a=
an pn
n=t
where ai = 0, 1, 2, . . . , p 1.
The elements of p are called the p-adic numbers of Hensel.
As before, we denote, by h p (a), the principal part of a at p. Clearly
a h p (a) is a p-adic integer.
b
Let a be a rational number, a p |a| p 0, that is a = ,
c
(b, c) = 1 and c is prime to p. Since only finitely many primes divide
b and c, it follows that a p for almost all p, that is except for a
finite number of p. Hence h p (a) = 0 for all except a finite number of
primes. Hence for any a
X
h p (a)
p
4. Complete fields
193
n=t
an (x a)n ,
an k. Similarly, if K ,
=
bn xn .
n=t
where a may be infinity also, is regular at all, a k and also for the
valuation || . Such an element, clearly, is a constant. Hence
8. Valuated fields
194
9) If f K then
ha ( f ) = constant
Conversely, it is easy to see that there exists, up to an additive constant, only one f K which is regular for all a k except a1 , . . . , an
(one of which may be also) and with prescribed principal parts at
these ai . 9) gives the partial fraction decomposition of the rational
function f .
221
m
X
i=1
aiv i , aiv , k
195
K.
v v
.
amv amv
m1
X
i=1
!
ai v aiv
i
am v amv
X
i=1
bi i ,
bi k.
8. Valuated fields
196
then
lim =
X
i
1 lim aiv =
v
bi i
which is again in K.
a(m)
k, then ai(m) , i = 1, . . . , n are null sequence in k.
i
P
If = xi i is a general element of x1 , . . . , xn . Put
X
t =
x(t)
i i ;
i=1
t
then NK/k t is the same polynomial in x(t)
t , i = 1, . . . , n as N K/k is in
x1 , . . . , xn . If now || < 1, is an extended valuation, then the {x(i t)} are
null sequences. Hence N, N2 is a null sequences in k, But Nt =
(N)t so that (N), (N)2 , . . ., is s a null sequence in k. This means that
|N| < 1. We have, thus, proved that if in K is such that || < 1 is an
extended valuation, then |N| < 1 in k.
197
g(x) go (x)
(mod Y ),
h(x) ho (x)
g(x) has the same degree as go (x) and f (x) = g(x) h(x).
mod Y n )
8. Valuated fields
198
hn (x) hn1 (x)(
mod Y n )
mod Y n+1 )
226
199
Since gn (x) gn1 (x) = 0(modn ), it follows that the corresponding coefficients of the sequence of polynomials g0 (x), g1 (x), . . . form
Cauchy sequences in O. Since k is complete and
g(x) = lim gn (x),
n
8. Valuated fields
200
We are now ready to prove the important theorem concerning extension of discrete non-archimedian valuations, namely
Theorem 5. Let k be complete under a discrete non-archimedian valuation || and K a finite algebraic extension over k. Then || can be extended
uniquely to K and then for any in K,
|| =
1
|NK/k |.
(K : k)
201
|z| = (a2 + b2 ) 2
Proof. If k , (i),
let a k but not in (i).
Denote by || the valuation in 229
1
b|a z| 0.
2
But zn = zn a + a and so |zn | |zn a| + |a| which shows that the
|zn |, for large n, are bounded. We may therefore, choose a subsequence
zi1 , zi2 , . . . converging to a limit point zo such that
= lim |a zin | = |a zo |
n
such that b = a z0
We have thus proved the existence of a z0 in (i)
8. Valuated fields
202
, by definition, being g.l.b., it follows that
|b z|
for z (i).
Consider the set of complex numbers z with |z| < . Let n > 0 be an
arbitrary rational integer and , a primitive nth root of unity. Then
bn zn = (b z)(b z) . . . (b n1 z).
230
Therefore
|b z|n1 |b z||b z| . . . |b n1 z| = |bn zn |
|z|
|b|n + |z|n = n (1 + ( )n ).
Hence
!
|z|n
|b z| 1 + n .
Now z = z b + b and so
|z | |b z | + |b| 2
203
which shows that all complex numbers are bounded in absolute value.
is false .
This is a contradiction. Hence our assumption that a < (i)
The theorem is thereby proved,
Before proving theorem 7 which gives a complete characterization
of all complete fields with archimedian valuation, we shall prove a couple of lemmas.
Lemma 4. Let k be complete under an archimedian valuation || and 231
in k such that x2 + is irreducible in k[x]. Then |1 + | 1.
Proof. If possible, let |1 + | < 1. We construct, by recurrence, the
sequence c0 , c1 , c2 , . . . , in k, defined as follows: -
cn+1
c0 = 1
1+
n = 0, 1, 2, . . .
= 2
cn
It, then, follows that |cn | 1. For, if we have proved it upto cn1 ,
then
|1 + |
|cn | 2
1.
|cn1 |
Thus cn does not vanish for any n. Also,
|cn+1 cn | =
|1 + ||cn cn1 |
|cn cn1 |
|cn ||cn1 |
1+
. But this means
c
that = c2 + 2c + 1 = (c + 1)2 which contradicts the fact x2 + is
irreducible in k[x].
We now prove the
Therefore, by definition of cn , we get c = 2
8. Valuated fields
204
232
|| = |(a2 + b2 ) 2 |
is a valuation on k(i). By putting =
|a2 + b2 | a2 . Therefore
b2
in the lemma 4, we see that
a2
p
1 + |a2 + b2 | + 2 |a2 + b2 |
p
= (1 + |a2 + b2 |)2 .
|1 + | 1 + ||
k(i) = (i).
205
Therefore
= k(i) k .
(i)
: )
= 2 so that k = k(i) = (i).
But ((i)
We have thus found all complete fields with archimedian valuation.
|| = |N| n ,
where Norm is takes form k() over k and n = (k() : k). It is clear that
it defines a valuation function. For, of K is a subfields of and K/k is
finite and K contains then, by properties of norms,
1
|| = |NK/k | m ,
where m = (K : k). So, if and are in , we may take for K a field
containing and and with (K : k) finite.
Furthermore, defined as such, the valuation on is dense because,
if || > 1, then ||1/n has value as near 1 as one wishes, by increasing n
sufficiently. Also, for every n, 1/n is in .
Also, let be an automorphism of /k, and in . Then, by definition of norm,
N = N()
so that || = ||. Thus all conjugates of an element have the same
value.
We shall now study how one can extend a valuation of an incomplete
field to an algebraic extension.
Let k be a field and K a finite algebraic extension of it. Let || be a
234
valuation of k and k the completion of k under this valuation. Let k , k.
8. Valuated fields
206
uK
uu
u
uu
uu k
uu
u
u
uu
K K k.
k is a finite extension, since K/k is finite.
On the other hand, K k/
Since k is complete, K k is complete also. K k contains K and hence its
completion K under this extended valuation. Thus
K = K k.
Thus if the valuation can be extended, then the completion of K by
235
207
Appendix
Abelian groups
1 Decomposition theorem
237
All the groups that we deal with here are abelian. Before proving the
main decomposition theorem for finite abelian groups we shall prove
some lemmas.
Lemma 1. If a, b are elements in G and have orders m and n respectively and (m, n) = 1, then ab has order mn.
Proof. Clearly if t is the order of ab, t|mn, since
(ab)mn = (am )n (bn )m = e,
e being unit element of G. Also at = bt . Thus
e = atm = btm
so that n/t. Similarly m|t. Hence t = mn.
8. Appendix
210
for all a G.
Proof. Let b be an element of order . Let a be any element in G and
let be its order. To prove the lemma, it is enough to prove that |. If
not, there is a prime p which divides to a higher power than it does
. Let pr be the highest power of p dividing and ps the highest power
dividing . Then r > s. We will see that this leads to a contradiction.
Since
order
. By lemma 1,
ps
c = a pr b p
239
implies aixi = e, i = 1, . . . , n.
If G is a finite group and is a direct product of cyclic groups G1 ,
. . . , Gn and if ai , i = 1, . . . , n is a generator of Gi , then a1 , . . . , an are
independent elements of G. They are said to form a base of G.
We shall now prove
Theorem 1. Let G be a finite group of order n. Then G is the direct product of cyclic groups G1 , . . . , Gl of orders 1 , . . . , l such that
i |i1 , i = 2, . . . , l, > 1.
1. Decomposition theorem
211
u f
fi zi /i
e = ai i = bi i i ai
f zi /i
bi i i = ai i
240
8. Appendix
212
On the other hand
ai i = bui i i aizi = e.
v2
vl
1
then av22 avl l = av
1 which means that F 2 . . . F l = G 1 . But since
F2 , . . . , Fl are independent, i |vi , i = 2, . . . , l. But this will mean that
av11 = e or 1 |v1 .
Since 1 . . . l = n, if follows that a1 , . . . , al form a base of G and
the theorem is proved.
Let G be a group of group of order n and let G be direct product of
cyclic groups G1 , G2 , . . . , Gl of orders 1 , . . . , l . We now prove
(, i ).
i=1
242
213
(, i ) =
1=1
m
Y
(, j )
j=1
q
q .q+1 1
q
Y
=
(q , j )q+1 .
j=1
Let G be a group, not necessarily abelian and Z a cyclic group. A homomorphism of G into Z is called a character of G. Thus
(a)(b) = (ab).
8. Appendix
214
244
215
= (1 (a)) (a) = b b = 1
which shows that = o is the principal character. Hence G is a cyclic
group of order n and the mapping
a 1
establishes an isomorphism of G on G .
Let now G be finite non-cyclic abelian of order n. G is then a direct
product of cyclic groups G1 , . . . , Gl of orders 1 , . . . , l respectively. Let
ai be a generator of Gi so that a1 , . . . , al is a base of G. Since 1 , . . . , l
divide n, we define l characters 1 , 2 , . . . , l of G by
i (a j ) = 1
j,i
i (ai ) = bi
i = 1, . . . , l,
8. Appendix
216
where bi is an element in Z of order i . These characters are then independent elements of the abelian group G . For, if t11 tll = 0 , then,
for any a G,
t11 (a) . . . tl (a) = 1.
246
(ai ) = si = bi i ,
for some integer i (mod i ). Consider the character = 11 . It
us clear that (a
i ) = 1 for all i so that = o or
= 11 .
Thus G is the product of cyclic group generated by 1 , . . . , 1 . By
Corollary to theorem 2, it follows that G and G are isomorphic.
Corollary. If G is a finite group and G its character group, then whatever may be Z,
OrderG OrderG.
Proof. For, if H is the subgroup of G defined earlier, then G/H is abelian
and finite, since G is finite. Also Z is admissible for G/H. Furthermore
every character of G can be considered as a character of G/H, by definition of H. Hence by theorem 3
247
217
8. Appendix
218
In a similar way
(G /H ) a subgroup of (G/H) .
(2)
219
Bibliography
[1] A. A Albert Modern Higher Algebra, Chicago, (1937)
[2] E.Artin Galois Theory, Notre Dame, (1944)
[3] E.Artin Algebraic numbers and Algebraic functions, Princeton
(1951)
[4] E. Artin and 0.Schreier Eine Kennzeichnung der reell
abgeschlossene Korper Hamb, Abhand, Bd 5 (1927) p. 225231
[5] N. Bourbaki Algebra, Chapters 3-6, paris, 1949
[6] C. Chevalley Introduction to the theory of Algebraic functions,
New York, 1951
[7] C. Chevalley Sur la theorie du corps de classes dans les corps finis
et les corps locaux Jour. Faculty of Science, Tokyo, Vol, 2, 1933,P.
365-476
[8] M. Deuring Algebren, Ergebn der Math, Vol.4, 1935
[9] S. Eilenberg and S. Maclane Cohomology theory in abstract
groups, Annals of Mathematics, Vol.48 (1947), P. 51-78
[10] H. Hasse Zahlentheorie, Berlin, 1949
[11] W. Krull Galoissche theorie der unendlicher erweiterungen Math.
Annalen Bd 100 (1928), P.678-698
221
250
222
BIBLIOGRAPHY
[13] A. Ostrowski Untersuchugen zur arithmetischen Theorie der Korper Math. Zeit, Bd 39 (1935), P.269-404
[14] G. Pickert Einfuhrung in die Hohere Algebra,Gottingen 1951
[15] B.Steinite Algebraische Theorie der Korper Crelles Jour. Bd 137
(1910), P. 167-309
[16] B.L Van-der-Waerden ModerneAlgebra, Leipzing, 1931
[17] A. Weil Foundations of Algebraic gemetry New York, 1946
[18] E.Witt Uber die commutativitat endlicher Schiefkorper Hamb. Abhand, Vol 8, (1931), P.413
[19] E. Witt Der existenzsatz fur Abelsche Funktionekorper Crelles
jour. Bd 173 (1935), P 43-51