Professional Documents
Culture Documents
ALGEBRAIC FUNCTIONS
Notes on Mathematics and I t s Applications
GI
IB
G O R D O N A N D BREACH
SCIENCE PUBLISHERS NEW YORK - LONDON . PARIS
Copyright 0 I967 by Gordon and Breach, Science Publishers, Inc.
150 Fifth Avenue, New York, New York 10011 General Preface
Printed in Belgium by
the Saint Catherine Press, Ltd., Tempelhof, Bruges
Preface
v
vii
Chapter 1
VALUATIONSOF A FIELD
1. Equivalent Valuations . . . . . . . .
2. The Topology Induced by a Valuation . . . .
3. Classification of Valuations . . . . . . .
4. The Approximation Theorem . . . . . .
5. Examples . . . . . . . . .
6. Completion of a Field . . . . . . . .
Chapter 2
COMPLETEFIELDS
1. Normed Linear Spaces . . . . . . .
2. Extension of the Valuation . . . . .
3. Archimedean Case . . . . . . . . .
4. The Non-Archimedean Case . . . . . .
5. Newton's Polygon . . . . . . . .
6. The Algebraic Closure of a Complete Field . . .
7. Convergent Power Series . . . . . . .
Chapter 3
Chapter 4 Chapter 9
RAMIFICATION THEORY THEEXISTENCE THEOREM
I. Unramified Extensions . . . . 1. Introduction . . . . . . . . . .
2. Tamely Ramified Extensions . 2. The Infinite Product Space I . . . . .
3. Characters of Abelian Groups . . . 3. The New Topology in K* . . . . . .
4. The Inertia Group and Ramification Group 4. The Norm Group and Norm Residue Symbol for
5. Higher Ramification Groups . Infinite Extensions . . . . . . . .
6. Ramification Theory in the Discrete Case . 5. Extension Fields with Degree Equal to the Characteristic
6. The Existence Theorem . . . . . . .
Chapter 5 7. Uniqueness of the Norm Residue Symbol . .
THEDIFFERENT
1. The Inverse Different . . . . Chapter 10
2. Complementary Bases . . . . APPLICATIONS AND ILLUSTRATIONS
3.
4.
Fields with Separable Residue Class Field
The Ramification Groups of a Subfield .
1. Fields with Perfect Residue Class Field . . . .
2. The Norm Residue Symbol for Certain Power Series
Fields . . . . . . . . . .
Part ll Local Class Field Theory 3. Differentials in an Arbitrary Power Series Field . .
Chapter 6 4. The Conductor and Different for Cyclic p-Extensions .
PREPARATIONS FOR LOCALCLASSFIELDTHEORY
5. The Rational p-adic Field . . . . . . .
6. Computation of the Index ( a : an) . . . . .
1. Galois Theory for Infinite Extensions . .
2. Group Extensions . . . .
3. Galois Cohomology Theory . . . . Part III
4. Continuous Cocycles . . . . Product Formula and Function Fields in One Variable
Chapter 7 Chapter 11
THEFIRSTAND SECOND INEQUALITIES
1. Introduction . . . . . 1. The Radical of a Ring . . . . . . . 2 1 5
2. Unramified Extensions . . . 2. Kronecker Products of Spaces and Rings . . . . 216
3. The First Inequality . . . . 3. Composite Extensions . . . . . . . 2 1 8
4. The Second Inequality: A Reduction Step . 4. Extension of the Valuation of a Non-Complete Field . 223
5. The Second Inequality Concluded . . .
Chapter 12
Chapter 8 CHARACTERIZATION OF FIELDSBY THE PRODUCT FORMULA
THENORMRESIDUE SYMBOL 1. PF-Fields. . . . . . . . . 2 2 5
1. The Temporary Symbol (c, K I KIT) . . . 2. Upper Bound for the Order of a Parallelotope . . . 227
2. Choice of a Standard Generator c . . . 3. Description of all PF-Fields . . . . . . 230
3. The Norm Residue Symbol for Finite Extensions 4. Finite Extensions of PF-Fields . . . . . . 235
xii CONTENTS CONTENTS
Chapter 13 Chapter 17
DIFFERENTIALS
IN PF-FIELDS IN FUNCTION
DIFFERENTIALS FIELDS
1. Valuation Vectors. Ideles. and Divisors . . . 2 3 8 I Preparations
. . . . . . . . . . . 321
2. Valuation Vectors in an Extension Field . 241 2. Local Components of Differentials . . . . . 322
3. Some Results on Vector Spaces . . . . 2 4 4 3 Differentials and .Derivatives in Function
. Fields . 324
4. Differentials in the Rational Subfield of a PF-Field . . 245 4. Differentials of the First Kind . . . . . 3 2 9
5. Differentials in a PF-Field . . . . . 2 5 1
6. The Different . . . . . 255 Appendix
THEOREMS
ON p-GROUPSAND SYLOWGROUPS
Chapter 14 1. S-Equivalence Classes . . . . 3 3 4
THERIEMANN-ROCH THEOREM 2. Theorems About $-Groups . . . . . . . 335
3. The Existence of Sylow Subgroups . . . . . 336
1. Parallelotopes in a Function Field . . 260 4. Theorems About Sylow Subgroups . . . . . 337
2. First Proof . . . . . . 2 6 2
3. Second Proof . . . . . . . 2 6 5
Chapter 15
CONSTANT
FIELDEXTENSIONS
1. The Effective Degree . . . . . . 2 7 1
2. Divisors in an Extension Field . . . . . 2 7 8
3 . Finite Algebraic Constant Field Extensions . . . 279
4 . The Genus in a Purely Transcendental Constant Field
Extension . . . . . . . . . 2 8 4
5. The Genus in an Arbitrary Constant Field Extension . 287
Chapter 16
THEOREM
OF THE RIEMANN-ROCH
APPLICATIONS
1. Places and Valuation Rings . . . . 293
2 . Algebraic Curves . . . . 2 9 7
3. Linear Series . . . . . . 3 0 0
4 . Fields of Genus Zero . . . 302
5. Elliptic Fields . . . . . . , . . . 306
6. The Curve of Degree n . . 3 1 1
7. Hyperelliptic Fields . . . . . . 3 1 2
8. The Theorem of Clifford . . . . 317
PART ONE
Valuations of a Field
1. Equivalent Valuations
Proof. (1) When the constant c = 2, we shall show that the ( 2 ) When c > 2 , we may write c = 2". Then it is easily verified
triangular inequality holds for the valuation itself. that ( Illa is an equivalent valuation for which the triangular
Let ] a ]G j b j . inequality is satisfied.
Then
Similarly Let I I be a function satisfying the axioms (1) and ( 2 ) for valua-
tions. In terms of this function we may define a topology in k by
6 1. VALUATIONS OF A FIELD 3. CLASSIFICATION OF VALUATIONS
prescribing the fundamental system of neighborhoods of each Theorem 5: For non-archimedean valuations,
element xo E k to be the sets of elements x such that I x - xo I < E .
It is clear that equivalent functions induce the same topology in k, Ia+bI <max(laI,(bI).
and that the trivial function induces the discrete topology.
Proof. Let 1 a 1 <
1 b 1; then 1 a/b ( < 1. It follows that
There is an intimate connection between our third axiom for
valuations and the topology induced in k. I +
1 alb I< 1, whence
I a + b I < I b I =max(Ia
Theorem 4: The topology induced by 1 I is HausdorfT if
and only if axiom (3) is satisfied.
Proof: (1) If the topology is HausdorfT, there exist neighbor-
hoods separating 0 and - 1. Thus we can find real numbers a and b
such that if I x 1 < +
a, then I 1 x 1 >, b.
Now let x be any element with I x 1 <
1; then either
+ < +
I 1 x 1 l l a or I 1 x 1 > l/a. In the latter case, set by the Theorem. By hypothesis, I b / is not <
/ a I, so that we
+
y = - xi(1 x); then have 1 b I < +
1 a b I . But using the theorem again we have
Proof: (1) The necessity of the condition is obvious, for if the For I a n - 0 1 = ( a I n e O as n-+co.
valuation is non-archimedean, then (b) If ( a 1 < 1, then
an
lim --
1
n --+a + an- O.
(2) T o prove the sufficiency of the condition we consider the (c) If 1 a 1 > 1, then
equivalent valuation for which the triangular inequality is satisfied.
Obviously the values of the integers are bounded in this valuation
<
also; say I m I D. Consider
For
< D(I a In +Ia In-l Ib ( 4- t We now examine the possibility of finding a relation between non-
l ) @ a x ( l a I , IbI))n. equivalent valuations; we shall show that if the number of valua-
tions considered is finite, no relation of a certain simple type is
Hence possible.
\a+bI<YD(n+l)max(Ia
Theorem 7: Let I I,, 1 1, be a finite number of inequiva-
a*.,
Letting n e c o , we have the desired result. lent non-trivial valuations of k. Then there is an element a E k
such that 1 a 1 , > 1, and 1 a l Y < 1 (V= 2, ...,n).
Corollary: A valuation of a field of characteristic p > 0 is
non-archimedean. Proof. First let n = 2. Then since I ,1 and I 1 , are nonequivalent,
We may remark that if k, is a subfield of k, then a valuation of k there certainIy exist elements b, c E k such that I b 1 , < 1 and
is (non-)archimedean on k, is (non-)archimedean on the whole I b 1 , >, 1, while IcI, 2 1 and I c 1 , < 1 . Then a = c/b has the
of k. In particular, if the valuation is trivial on k, , it is non- required properties.
archimedean on k. The proof now proceeds by induction. Suppose the theorem
is true for n - 1 valuations; then there is an element b E k such
that I b 1 , > 1, and I b I , < 1 (v = 2, n - I). Let c be an ele-
a*.,
4. The Approximation Theorem ment such that I c 1 , > 1 and I c 1, < 1. We have two cases to
consider:
Let {a,} be a sequence of elements of k; we say that a is the
limit of this sequence with respect to the valuation if
Case I : I b 1, < 1.Consider the sequence a, = cbr. Then
( a , / , = IcI, I b Ilr > 1,
while I a,I, = I cI,I b I n r < 1; for suf-
lim l a - a , \ =0. ficiently large r, ( a, 1, = I c 1 , ( b I v r < 1 (v = 2, ..., n - 1). Thus
n--+OO
a, is a suitable element, and the theorem is proved in this case.
The following examples will be immediately useful: Case 2: ( b 1, > 1. Here we consider the sequence
(a) If 1 a ( < 1, then cb,
. a, = -
lim an = 0
n-+CO
1 b"+
10 1. VALUATIONS OF A FIELD 5. EXAMPLES
Proof. If b is an element such that I b 1, > 1 and I b 1, < 1 Hence if k is the quotient field of an integral domain o, the
(v = 2, ..., n - I), then a, = br/(l + br) satisfies our require- valuations of k are sufficiently described by their actions on o.
ments for large enough values of r.
First Example: Let k = R, the field of rational numbers; k is
(The Approximation Theorem): Let I I,, .-.,I 1,
Theorem 8: then the quotient field of the ring of integers o.
be a finite number of non-trivial inequivalent valuations. Given Let m, n be integers > 1, and write m in the n-adic scale:
any E > 0, and any elements a, (v = 1, .--, n), there exists an
element a such that I a - a, 1, < E .
Proof. We can find elements b, (i = 1, .-a,n) close to 1 in (0 < a, < n; nT< m, i.r r < -)log m .
log n
I li and close to zero in I 1, (v # i).
Then a = a,b, + + anbn is the required element. Let I I be a valuation of R; suppose I I replaced, if necessary, by
Let us denote by (k), the field k with the topology of I 1, imposed the equivalent valuation for which the triangular inequality holds.
upon it. Consider the Cartesian product (k), x (k), x x (k), . Then I a, I < n, and we have
The elements (a, a, a) of the diagonal form a field k, isomorphic
< (- log m + 1) n .{max (1, I n
a*.,
where a is a positive real number. It follows that function yields a valuation of k described as follows: let
a = f(x)/g(x), and define
Conversely, if we select a number c > 1 and set (11) k = F(x). Select a fixed number d, 0 < d < 1.
(a) p # p a , so that p is an irreducible polynomial; write
c = ddegp. If a # 0 we write as in case I(a), a = pvb, v = ord,,a,
our conditions for functions on o are easily verified. Hence this and so we define I a ,1 = cv = ddegp.ordya.
14 1. VALUATIONS OF A FIELD 5. EXAMPLES 15
(b) p = p , , so that I a I = @pa. where c > 1. We choose denoted by / f(x) 1,; the valuation given by 1 f ( x ) , I is now denoted
c = lld, and so define I a = d-dega. by I f(x) I, . We see that to each point of the Gauss sphere there
I n all cases we have made a definite choice of 1 a 1, in the equiv- corresponds one of our valuations.
alence class corresponding to p; we call this 1 a ,1 the normal It was in analogy to this situation, that we introduced in the case
valuation at p. k = R, the field of rational numbers, the "infinite prime" and asso-
The case where k = F(x), where F is the field of all complex ciated it with the ordinary absolute value.
numbers, can be generalized as follows. Let D be a domain on the We now prove a theorem which establishes a relation between
Gauss sphere and k the field of all functions meromorphic in D. the normal valuations at all primes p:
If x, E D, X, f m , and f(x) E k, we may write
Theorem 9: In both cases, k = R and k = F(x), the product
I I p l a I p = 1.
We have already remarked that a relation of this form cannot be
where g(x) E k (g(x,) # 0 or m), and define a valuation by obtained for any finite number of valuations.
11 + f L 0 < 1-
3
The valuation / 1., obviously describes the behavior of f(x) at the This completes the proof.
point x,: We notice that this is essentially the only relation of the form
If 1 f 1%. < 1, or ordxo(f(x)) = n > 0, then f(x) has a zero of n 1 a 12 = 1. For if #(a) = II 1 a 12 = 1, we have for each
order n at x, . prime q
If I f 1%. > 1, or ordx0f(x) = n < 0, then f(x) has a pole or
order -n at x, .
If I f lxo = 1, then f(x) is regular and non-zero at x, .
Should D be the whole Gauss sphere, we have k = F(x); in this But I q 1, I q 1, = 1 by the theorem; hence
case the irreducible polynomials are linear of type (x - x,). The
valuation I f(x) lx-xo as defined previously is now the valuation
16 1. VALUATIONS OF A FIELD
Thus e, = e,, and our relation is simply a power of the one Hence we have
established before.
The product formula has a simple interpretation in the classical
case of the field of rational functions with complex coefficients. Taking the m-th root, and letting m +a,we obtain
I n this case
+(a) = d number of zeros-number of poles = 1;
so a rational function has as many zeros as poles.
Now that the valuations of the field of rational numbers have our theorem is proved in this case also. Since the constant c for an
been determined, we can find the best constant c for our axiom (3). extension field is the same as for the prime field contained in it,
it follows that if the valuation satisfies the triangular inequality
Theorem 10: For any valuation, we may take on the prime field, then it does so also on the extension field.
c=m=(IlI,(20*
of k into k defined by +(a) = a' is (1, 1); it is easily seen to be an Complete Fields
isomorphism under which valuations are preserved: I a' I = I a I.
Let k' = +(k); we shall now show that kt is everywhere dense in k.
T o this end, let a be an element of k defined by the sequence {a,).
We shall show that for large enough values of v, I a - a: I is as 1. Normed Linear Spaces
small as we please. The elemnt a - a: is defined by the Cauchy
sequence {(a, - a,), (a, - a,), ...), and Let k be a field complete under the valuation I I, and let S be a
finite-dimensional vector space over k, with basis w, , w, , ..., w, .
Ia--a;I= lim l a , - a , ) ; Suppose S is normed; i.e. to each element a E S corresponds a
P--XI
real number I I a 11, which has the properties
but since {a,} is a Cauchy sequence, this limit may be made as
small as we please by taking v large enough.
Finally we prove that k is complete. Let {a,) be a Cauchy
sequence in k. Since kt is everywhere dense in k, we can find a
sequence {a,') in k' such that I a,' - a, I < llv. This means that
{(a,' - a,)) is a null-sequence in k; hence {a,') is a Cauchy sequence (We shall later specialize S to be a finite extension field of k; the
in k. Since absolute values are preserved under the mapping 4, norm 11 11 will then be an extension of the valuation I I.) There
{a,) is a Cauchy sequence in k. This defines an element B E k such are many possible norms for S ; for example, if
that limV,,Ia,'--/3I = O . Hence lim,,,la,-PI = 0 , i.e.
/3 = lim a,, and so k is complete.
We now agree to identify the elements of k' with the corre- then
sponding elements of k; then k may be regarded as an extension
of k. When k is the field of rational numbers, the completion under
the ordinary absolute value ("the completion at the infinite
is a norm. This particular norm will be used in proving
prime") is the real number field; the completion under the valua-
tion corresponding to a finite prime p ("the completion at p") is
Theorem 1: All norms induce the same topology in S.
called the jield of p-adic numbers.
Proof: The theorem is obviously true when the dimension
n = 1. For then B = xw and 1 1 /3 1 1 = I x I 11 o 11 = c I x I (c # 0);
hence any two norms can differ only in the constant factor c;
this does not alter the topology.
We may now proceed by induction; so we assume the theorem
true for spaces of dimension up to n - 1.
19
20 2. COMPLETE FIELDS 2. EXTENSION OF THE VALUATION 21
We first contend that for any E > 0 there exists an 9 > 0 such if v is large enough. Hence
that 11 a 1 1 < r ] implies I xn I < E .
For if not, there is an E > 0 such that for every 9 > 0 we can
find an element a with 1 1 a / I < 9, but / xn 1 2 E . Set /3 = a/xn; i.e. I I y I I is smaller than any chosen 7: I I y I( = 0, and so y = 0.
then In other words,
z;Wl + + z,,-lwn-l + wn = 0,
and using the properties of the norm N(a), we can easily verify +
j2 1 = lim
v+m x,Z + 1 = 0,
that axioms (1) and (2) are satisfied. Thus it remains to prove that
for some C, contradicting our hypothesis that a$ k. This completes the
I N(a) I < 1 =. I N(l + a) 1 < C . proof.
24 2. COMPLETE FIELDS 3. ARCHIMEDEAN CASE
3. Archimedean Case
We shall show that any such field E = P(z]. The proof can be
carried through by developing a theory of "complex integration"
so that
for E, similar to that for the complex numbers; the result follows
by applying the analogue of Cauchy's Theorem. Here we avoid
the use of the integral, by using approximating sums.
Given a square (x, ,x, , z, ,z,) in the complex plane, having c
as center and t , , t,, t3,t4 as midpoints of the sides, we define
an operator Lo by which can be made as small as we please by choosing I ( 5' I I small
enough. This is precisely the condition that l l x be continuous at
X = p.
26 2. COMPLETE FIELDS 3. ARCHIMEDEAN CASE 27
Suppose there exists an element a of E which is not a complex is an approximating sum to the "integral" of f(x) taken round the
number; then l / ( z - a) is continuous for every complex number x, contour formed by the sides of Q. We see easily that
and since
~ ~ L ~ - ) - L ~ + ) ~ ~l G 2
~v+1-~vl7A
contour
1
I3vI
2A 8A
G , 2
contour
lzv+l-sl=-
I '
Now
where 6 is the length of the side of the square.
Next consider a large square Q in the complex plane, with the
origin as center. If the length of the side of Q is 1, we can subdivide Q
into n2 squares Q , of side l/n. Let us denote by Zv the vertices, and <
as n -too. Hence 2 ~ r 8A/l, which is certainly false for large I.
by 3 , the mid-points of the sides of the smaller squares, which lie Thus there are no elements of E which are not complex numbers;
on the sides of the large square Q. Then so our theorem is proved.
We see that the only archimedean fields are the algebraic number
Lb = 2
contour
- ZJf(3V) fields under the ordinary absolute value, since only these fields have
the real or complex numbers as their completion.
28 2. COMPLETE FIELDS 4. THE NON-ARCHIMEDEAN CASE 29
+(x) = a, + alx + + a,xn E k[x], (2) $(x) # 0 and has absolute value equal to that of its highest
define term,
I+(x) I = max
v
I upv I = rnax
v
cV I a,, 1. (3) there exist polynomials A(x), B(x), C(x) and an element
d E k such that
The axioms (1) and (3) of Chapter I can be verified immediately.
T o verify axiom (2) we notice first that
since
< rnax ( a,x" . then we can construct polynomials @(x), Y(x) E k[x] such that
ICS. a,b, xk
I max I bjxj 1
hence we have I gl(x) / < I g ( x ) I. We repeat this argument at each Referring now to our preliminary remark about division processes,
stage of the division process; finally, if g ( x ) = q(x) +(x) f r(x), we have
we obtain I r ( x ) I <
1 g ( x ) I . As another preliminary we make a
deduction from the relation
B(x)
d = q(x)Q(x) + PI(-.),
Now we define
Then
Then since I &(x) I < I +(x) I, and deg Bl(x) < deg +(x), we have
I +1(x) I I
= IQ(4 = I a s n I 9
and
41(~),i,bl(x) may be repeated indefinitely to obtain approximations We have now recovered the original conditions of the theorem,
which are increasingly accurate. stated now for #,(x), +,(x), hl(x) and Cl(x). Thus the whole
Let process may be repeated, yielding new polynomials a2(x), B2(x),
f ( 4 - A(x) *1(4 = h(x). h,(x), + 2 ( ~ ) i,b2(x).
, We shall also obtain the estimate
Then I h&) I < K l I hl(4 I 9
where
Hence KI = max
and
where we write
Now
x < 1 by the conditions of the theorem. Thus $,(x) #,(x) is a better as v -+aand
approximation than $(x) i,b(x).
Let
+ +
A(x) +1(4 B(x) #1(4 = d C1(x).
Then
Cl(4 = C(x) + 4 4 Bl(4 + B ( 4 g(x).
Hence as v -+a; and
as v+m.
From these considerations it follows that {$,(x)) and {#,(x)) are
Cauchy sequences of polynomials; these polynomials are of
bounded degree, since for every v we have
and (3) there exist polynomials A(x), B(x), C(x) and an element
d E k such that
deg ($,(x) *,(x)) < m= {degf(x), deg h(x)}.
Let
@(x)= lim {$,(x)) and Y(x) = lim {+,(x));
these limit functions are polynomials, and
deg @(x)= deg $(x). f (x) = @(x)Y(x) and deg @(x)= deg $(x).
Finally, For the remainder of this section we restrict ourselves to this
f (x) - O(X)Y(x) = lim {hv(x)}= 0; special valuation and this form of Hensel's Lemma.
We digress for a moment from our main task to give two simple
thus f(x) = @(x)Y(x). Now we have only to notice that illustrations of the use of Hensel's Lemma.
Example I : Let a = 1 mod 8 (a is a rational number). We
shall show that a is a dyadic square, i.e. that x2 - a can be factored
in the field of 2-adic numbers:
Further
(x t
Hensel's Lemma can now be applied to give us a Reducibility it will be sufficient to prove the assertion for Nk(cc),k(a). Let
Criterion. f(x) = Irr (a, k, x), the irreducible monic polynomial in k[x] of
which a is a root, be a, + a,-,x + +
-.. xn (ai E k). Since
Theorem 6: Consider a, = fN(a), we see that -. &
where a, #O. If I f(x) 1 = 1, I an 1 < 1, but I ai I = 1 for some using the corollary to Hensel's Lemma.
i > 0, then f(x) is reducible. Now
Proof: Let i be the maximal index for which ( ai ( = 1. Set f(x - 1) = Irr (a + 1, k, x),
then
whence
By assumption there is at least one term (anxn) in h(x), and
I h(x) 1 < 1. Further, I N(1 + I < 1.
ff)
this is irreducible if f(x) is irreducible. By the corollary just stated, if 5. Newton's Polygon
I a, 1 < 1, then / a$ / < 1 for i < n. Hence if 1 f(x) 1 = 1 and f(x)
< <
is irreducible, then for 1 i n - 1 , I ai I < max (I a, I , I a, I), Let k be a complete non-archimedean field, and consider the
polynomial
and the equality sign can hold only if j a, I = or, I.
This enables us to complete the proof that we can extend the + + +
f(x) = a, alx .-. anxnE k[x].
valuation. Let us recall that all that remains to be proved is that if
Let y be an element of some extension field of k, and sup-
or E E, then
pose 1 y I is known. Let c be a fixed number > 1, and define
ord or = - log, 1 or I when or # 0; when a = 0 we write
ord a = +a.We shall now show how to estimate I f(y) I.
We map the term a,xv of f(x) on the point (v, ord a,) in the
Cartesian plane; we call the set of points so obtained the Newton
38 2. COMPLETE FIELDS
diagram. The convex closure of the Newton diagram is the Newton with slope - ord y. Now
polygon of the polynomial (see fig. 1)
Now
+
ord a,yv = ord av v ord y.
o the intercept cut off on the y-axis by lV1is less than that cut off
Thus the point in the Newton diagram corresponding to a# by lVz.
lies on the straight line 1,; Thus if I aNyNI = max, I a,yv 1, then 1, cuts off the minimum
+
y x ord y = ord avyu intercept on the y-axis; thus 1, is the lower line of support of the
Newton polygon with slope - ord y. Thus to find the maximum
absolute value of the terms a,yv we draw this line of support, and
measure its intercept r] on the y-axis. Then max I avyv1 = c-q.
If only one vertex of the polygon lies on the line of support,
then only one term avyvattains the maximum absolute value; hence
we have
If(y) ( = max I avyvI = c-".
If, on the other hand, the line of support contains more than one
vertex (in which case it is a side of the polygon), then there are
several maximal terms, and all we can say is that
Let y be a root of f(x): f(y) = 0.Now 0 = I f(y) I < rnax ( avyuI ,and
and also
Let us now consider one of the sides of the polygon, say I;
let its slope be -p. We introduce the valuation of k[x] induced by I*(x)
-*o(x)I < Id1 = 1-
setting I x I = C-p, i.e. Thus +,(x) is dominated by its constant term, 1. We notice that if
a polynomial is irreducible its Newton polygon must be a straight
1 f(x) I = max I a , , ~ - ~I .' line; this condition, however, is not sufficient.
Let us now examine the roots of $,(x), which are, of course,
also roots of f(x). Since
The vertices of the polygon which lie on I correspond to terms
a,xv which have the maximal absolute value in this valuation.
42 2. COMPLETE FIELDS
the Newton polygon of +,(x) cannot lie below the side of the
Newton polygon of f(x) which we are considering; and since, by
Hensel's Lemma, +,(x) and +(x) have the same highest term, the
Newton polygon of 4,(x) must terminate at the point representing
a,xi (see figure 3). By the same reasoning as was used above we
find that if y' is a root of +,(x) then - ord y' is the slope of one
of the sides of the Newton polygon of +,(x). All these sides have
slopes not greater than the slope of 1. Hence if y' is a root of +,(x),
ord y' 2 p.
We examine also the roots of #,(x). Since +,(x) is dominated by
its constant term in the valuation induced by 1, its Newton polygon
has its first vertex at the origin. The origin is the only vertex of the
polygon on the line of support with slope - p, and all the sides
extension k(a). The verification that this is in fact a valuation for C property we have as above I a - @(a)I <
I /3 - a I < r, i.e. o(a)
is left to the reader; it should be remarked that the verification is lies inside the circle. Hence o(a) = a, and so, since a is separable,
actually carried out in subfields of K which are finite extensions the degree [k(a, /3) : k(@] is equal to 1, and k(a) C k(/3).
of k. C is not necessarily complete under this extended valuation. Let f(x) be a polynomial in k[x] with highest coefficient 1. In
For instance the algebraic closure of the field of dyadic numbers C[x], we have f(x) = (x - a,) (x - a,). Suppose that in the
does not contain the element valuation of k[x] induced by taking I x I = 1, we have I f(x) I < A,
where A 1. Then if a E C, and I a I > A, we see that an is the
dominant term in
The valuation induces a metric in C, and since the valuation is f(a) = Clr. + upn-I + ... + a,.
non-archimedean, we have the stronger form of the triangular
inequality: I a - /3 1 <max {I a 1, 1 /3 I). Spaces in which this Hence a cannot be a root of f(x) = 0. Hence if I f(x) I A and<
inequality holds are called by Krasner ultrametric spaces. Consider a, , ---,
an are the roots of f(x) = 0, then I a, I A. <
a triangle in such a space, with sides a, b, c. Let a = max (a, b, c); Consider now two monic polynomials f(x), g(x) of the same
then, since a <max (b, c) = b, say, we have a = b, and c < a. degree, n, such that I f(x) - g(x) 1 < E. Let /3 be a root of g(x),
Thus every triangle is hosceles, and has its base at most equal a, , , an the roots of f(x). Then
+ - -
Theorem 8: Let a E C be separable over k, and let and so one of the roots ai , say a, must satisfy the relation
r = min I u(a) - CL ( , IB-.,I <A&.
a# 1
where the a are the isomorphic maps of k(a). Let /3 be a point, i.e. Thus by suitable choice of E, each root /3 of g(x) may be brought as
an element of K, inside the circle with center a and radius r. close as we wish to some root ol, of f(x). Similarly by interchanging
Then k(a) C k(/3). the roles of f(x) and g(x), we may bring each root ai of f(x) as close
as we wish to some root of g(x). Let us now assume that
Proof: Take k(/3) as the new ground field; then E has been chosen such that every /3 is closer to some a( than
f(x) = Irr (a,k, x) min / ai - O L ~1; ai # O I ~ in this way the /3's are split into sets
"belonging" to the various q .
is separable over k(/3). If $(x) = Irr (a, k(/3), x), then $(x) I f(x). Suppose for the moment that f(x) is irreducible and separable.
Let o be any isomorphic map of k(a, /3) I k(/3). Since Then, since I /3 - ai I < min I ai - olj I, the preceding theorem
gives k(/3) 3 k(a); but f(x) and g(x) are of the same degree, whence
and conjugate elements have the same absolute value (they have Theorem 9: If f(x) is a separable, irreducible monic polyno-
the same norm) we deduce that 1 /3 - o(a) 1 = I - a 1 < r. mial of degree n, and if g(x) is any monic polynomial of degree n
Consider the triangle formed by /3, a, u(a); using the ultrametric such that I f(x) - g(x) I is sufficiently small, then f(x) and g(x)
46 2. COMPLETE FIELDS 7. CONVERGENT POWER SERIES 47
generate the same field and g(x) is also irreducible and separable. Theorem 12: f?is algebraically closed.
If f(x) is not separable, let its factorization in C[x] be Proof: We must consider the separable and inseparable
polynomials of C[x] separately.
(1) Let f(x) be a separable irreducible polynomial in c[x]. The
with distinct % . I n this case we can establish the following result: valuation of k can be extended to a valuation for the roots of f(x).
We can then approximate f(x) by a polynomial g(x) in C[x] suffi-
Theorem 10: If g(x) is sufficiently close to f(x), then the number ciently closely for the roots of f(x) and g(x) to generate the same
of roots ,tId of g(x) (counted in their multiplicity) which belong to field over f?. But g(x) does not generate any extension of I?; hence
ffl 1s Vl . the roots of f(x) lie in C.
Proof: If the theorem is false, we can construct a Cauchy (2) If the characteristic of k is zero, there are no inseparable
polynomials in c[x]. Let the characteristic be p # 0; if ar is an
sequence of polynomials with f(x) as limit for which we do not have element of C, a is defined by a Cauchy sequence {a,) in C. But if
vc roots near oli . From this sequence we can extract a subsequence {a,) is a Cauchy sequence, so is {a,llp), and this sequence defines
of polynomials for which we have exactly pi roots near cq (pi f v$ orllp, which is therefore inc. Hence there are no proper inseparable
for some i). Since k is complete, the limit of this sequence of poly-
nomials is f(x), and the limits of the sets of roots near ai are the ari .
extensions of c.
Hence we have
7. Convergent Power Series
(X - alp (X - a p ... (X - aJr = f((x)
= (x ~ .~
- al)"l (x - ~ r ~(x -) a,)"' Let k be a complete field with a non-trivial valuation / I. Con-
vergence of series is defined in k in the natural way: Zzm a, is
This contradicts the unique factorization in C[x], so our theorem said to converge to the sum a if for every given E > 0 we have
is proved. I Zil, a, - a I < E for all sufficiently large n. The properties of
In a similar manner we can prove the result the ordinary absolute value which are used in the discussion of real
or complex series are shared by all valuations I I . Hence the argu-
ments of the classical theory may be applied unchanged to the case
Theorem 11: If f(x) is irreducible, then any polynomial of series in k. In particular we can prove the Cauchy criterion for
sufficiently close to f(x) is also irreducible. convergence, and its corollaries:
Proof: If the theorem is false, we can construct a Cauchy 1. The terms of a convergent series are bounded in absolute value.
sequence of reducible polynomials, with f(x) as limit. From this 2. If a series is absolutely convergent (i.e. if Emm I av 1 converges
sequence we can extract a subsequence {g,(x)): g,(x) = h,(x) m,(x) in the reals) then the series is convergent.
for which the polynomials h,(x) have the same degree, and have
their roots in the same proximity to the roots of f(x). Then the Let E be the field of all formal power series with coefficients in k:
sequence {h,(x)) tends to a limit in k[x], whose roots are the roots E consists of all formal expressions f(x) = Z z a,xv, with a, E k,
of f(x). This contradicts the irreducibility of f(x). where only a finite number of the terms with negative index v are
Now although k is complete, its algebraic closure C need not non-zero. We define a valuation I , 1 in E such that I x , 1 < 1, and
be complete; the completion of C, c , is of course complete, but I , 1 is trivial on k. If an element is written in the form E: a,xv
we can prove more: with avo# 0, then 1 E t a,xv, 1 = 1 xvo 1, = (1 x I,).o. This
48 2. COMPLETE FIELDS 7. CONVERGENT POWER SERIES
whence
Again using the fact that only positive signs occur in #m , we have
1. The Ramification and Residue Class Degree
forms a maximal ideal p of o; the proof that p is an ideal is obvious. Let w1 , w , , -.., or be representatives of residue classes of E
T o prove it is maximal, suppose that there is an ideal a # p such which are linearly independent with respect to K ; that is, if there
that p C a C o. Then there exists an element a E a which is not exist elements c, , c, , c, in a such that c1wl + +
c,w,
in p; that is I a 1 = 1. Hence if /3 E 0, /3/a E o also, and lies in Q, then all the ci lie in p. Consider the linear combination
= a (/3/a) E a. That is, a = o. Hence p is a maximal ideal and the c,w, + +
... c,w, , with ci E o; if one of the ci , say c, , lies in o but
residue class ring o/p is a field, which we denote by li. If & is the not in p, then c,w, + + +
-.. c,w, 0 mod $'3, and hence
completion of k, we can construct a ring of integers 5, a maximal
ideal p, and a residue class ring 5/ii = fi. We have the result
expressed by:
Now consider the linear combination dlwl + +
... d p , , with
di E k, and suppose dl has the largest absolute value among the di .
Theorem 2: There is a natural isomorphism between ?t and fi. Then
Proof: We have seen that if a E 6, then a = lim a, E o and
IaI = I a, I forv large enough. Thus 5 is the limit of elements
of o; i.e. 6 is the closure of 0. Similarly p is the closure of p.
Consider the mapping of o/p into ii/p given by a p -+ a + 6. + Hence if wl , ..a, w, are linearly independent with respect to K,
then
This mapping is certainly well-delined, and is an "onto" mapping
I d,wl + + d,w, / = max I d, ( .
+ +
is (1, 1) since if a, b E o and a -
since, given any a E 5, we can find an a E o such that I a - a I < 1;
then a f~= a @,which is the image of a p. The mapping+
b mod j3 we have I a - b I < 1;
hence a r b mod p. It is easily verified that the mapping is homo-
morphic; hence our theorem is completed.
Let now n1 , n 2 ,
are representatives of different cosets of
wi , 9 to prove the important result of
v
I t follows that the elements w , ~ , are linearly independent, since I a/+ I = 1 = I r v / aI; hence a/.rrV and its inverse are both elements
of D,i.e. a / r Vis a unit E of o. For every a # 0 we have a factorization
a = rVe,where I E I = 1; hence there is only one prime, namely T.
Since k and its completion & have the same value group, the same
Hence rs < deg ( E / k). Thus if deg (E I k) = n is finite, then e element T can be taken as prime for &; thus if a complete field & is
and f are also finite, and< n. the completion of a subfield k, the prime 'for & may be chosen
The equality ef = n will be proved in the next section for a very in k.
important subclass of the complete fields, which includes the cases Now let k be a complete field under a discrete valuation. If
of algebraic number theory and function theory. Nevertheless, a E k can be written as a = rive, we shall take ord a = v; in other
the equality does not always hold even for complete fields, as is words, we select c = 111 T I. We now suppose that for every
shown by the following example. positive and negative ordinal v an element n, has been selected
Let R, be the field of 2-adic numbers, and let k be the completion such that I n, I = I T Iv-obviously T, = rV would suffice, but we
of the field R,(& Y2, $9, .a+).Then deg (A(-) : k) = 2, shall find it useful to use other elements. Suppose further that for
but the corresponding e and f are both 1. This is caused by the each element in h we have selected a representative c in o, the
fact that we may write representative of the zero residue class being zero. Then we
prove
these elements a for which v 2 0, and the prime ideal p consists class is represented by c p , + + +
c202 .-- cfwf, with c4 E o.
of the a such that v > 0. Let R, be the completion of R under this Then if a is an element of E, a can be written
valuation, 5, 6 the corresponding ring and prime ideal. Since
a/+? = o/p, we can choose representatives for the residue classes
in R, and in fact in o. The residue classes are represented by
the elements b/c E R where b and c are prime t o p ; we can solve
the congruence ca = 1 modp in integers. Then bd is a repre-
sentative of the residue class containing blc, since Thus every element a E E can be expressed as a linear combination
of the ef elements w p with coefficients in the ground field k.
Thus the degree of the extension E I k is at most ef: n <
ef.
We have already seen that for all extensions, whether the valua-
Hence every residue class contains an integer, and a complete set tion is discrete or not, n 2 ef.
of representatives is given by 0, 1,2, --.,p - 1. This set of elements Hence n = ef and our theorem is proved.
does not form a field since it is not closed under the field operations
of R. Now every p-adic number a can be written a = E:cqv; Theorem 7: The elements (w$7~}(P = 1, f ; p = 0, --*,
we see that the field of p-adic numbers, R, , has characteristic e - 1) form a basis D over o.
zero. It can be shown that the field R, contains the (p - 1)-th
roots of unity; it is often convenient to choose these as representa- Proof: We have already seen, in the course of the last proof,
tives of the residue classes. that {wp17/1}form a basis.
This analysis of complete fields may also be used to prove that Let a be an integer of E. We can write a = E,,, d,,&,lIfl, and
the field of formal power series k = F{x) over any field F is com- since I w, I = 1, and the ( 17, ( are all distinct, we have
plete. Any element a E k can be written as a = Er c,xV, c,, EF. IaI I
= max dPPIP[ .
The ring of integers o, respectively the prime ideal p are made
up of the elements a for which n 2 0, respectively n > 0. We can
choose x = .rr; and as representatives of o/p the elements of F;
hence the completion of k consists of power series in x with coef-
ficients in F; i.e. k is complete.
Now let k be a complete field with discrete valuation; let E
be a finite extension with degree n and ramification e. The finiteness
of e shows that the extended valuation is discrete on E. Let 17, .rr Thus
be primes in E, k respectively; then the value groups are
B E = {I 17lV}, Bk = { I n - .),1 Since (BE:23,) = e, 1171e= I T 1;
hence .rr = E De.We shall find it more convenient to represent B E
Now .rr was defined as having the largest absolute value less
<
as {I .rrVncl1) where --a v <a and 0 p ,< e - 1. < than 1. Hence l/.rr has the smallest absolute value greater than 1.
Thus
Theorem 6: If the valuation is discrete, then ef = n. 1
I d , I < / ~ ll d ~ l C l .
Proof: Let w, , w, , wf be elements of E which represent a
.-a,
basis of the residue class field Ep/kp.Thus the generic residue But this is exactly the condition for {wpZI~)
to be a basis of O over o.
3. THE GENERAL CASE 61
where ( C(x) I < 1. And since f(x) r +(x) #(x) mod p , we have
3. The General Case
f(x) = +(x) $(x) + h(x), with I h(x) I < 1. By Hensel's Lemma,
this situation implies a factorization of the irreducible polynomial
In this section we shall prove that if k is complete under an
f(x), which is impossible.
arbitrary valuation, and if E is a finite extension of degree n, with
Hence if f(x) splits modulo p, it must do so as a power of an
ramification e and residue class degree f, then ef divides n, and the
irreducible polynomial: f(x) r [P(x)]P. But deg Z = deg P(x), and
quotient 6 is a power of the characteristic of the residue class field
deg or = deg f(x), hence deg & divides deg or as required.
k, . This section is added for the sake of completeness, and the
Thus if & is any residue class of E, , and a E E is any representa-
result will not be used in the sequel,
tive of E, then deg 2 divides deg a. But since deg a = [k(a) : k]
Our first step is the proof of a weaker result:
divides n, this implies that deg 2 can be divisible only by primes
Theorem 8: The only primes which can divide e and f are
which divide n. Let E,' be the separable part of E,. The degree
of E, I E,' is some power pvof the characteristic of kp . Iff = f'pv,
these which divide n.
then E,' = A,(&), where deg & = f'; f ' is divisible by all the primes
Proof: (1) The proof for e is simple. dividing f except possible the prime p. Hence, by our preceding
Since I or I = N(or)lJn, I a In lies in the value group of k. The remarks, these primes must divide n.
factor group B,/B, is abelian of order e. Hence e can contain only Finally, if 2 is an inseparable element, then p divides deg 15;
primes dividing n. hence p must divide n. This completes the proof.
(2) T o prove the analogous result for f, we introduce the notion
of the degree, deg a, of an element a E E; by this we shall mean the Theorem 9: If deg (E I k) = q, where q is a prime not equal
degree of the irreducible equation in k of which a is a root; hence to the characteristic p of the residue class field, then ef = q.
deg or = [k(u) : k]. Similarly the degree of a residue class
6 E Ep is the degree of the irreducible congruence in k of which 6i
Proof: Since q is not the characteristic of the residue class field,
is a root; hence deg 2 = [K(&) : El. q does not lie in the prime ideal; hence ( q 1 = 1. Furthermore,
We shall prove that if a is an integer of E, and 6i the residue q is not the characteristic of k, and hence E I k is separable. Let
class in which it lies, then deg & divides deg a. E = k(a), and let
Let +
f(x) = Irr (a, k, x) = XI + a1xq-l + .-. a,.
+ + +
f(x) = Irr (or, k, x) = xn alxn-l .-. a,.
We may apply the transformation x = y +
a,/q, since q is not the
<
Since or is an integer, ( a I / < 1. By the corollary
1, and so I a, characteristic; f(x) assumes the form y'l +
b,yq-l + + bq .
to Theorem 6, Chapter 11, this implies that all the coefficients of Thus we may assume at the outset that a, = 0. We remark that
<
f(x) are integers: I a4 I 1. Now Hensel's Lemma may be used
to show that f(x) cannot split modulo p into two factors which are
relatively prime. For if f(x) = +(x) $(x) mod p , where +(x) and If I cx I does not lie in the value group 13, , we have e 2 q, since
+(x) are relatively prime, there exist polynomials A(x), B(x) such (Q E Bk . Since ef
I or < q, we obtain e = q and f = 1; hence ef = q.
such that If, on the other hand, I a I lies in Bk , we have I or ( = 1 a 1
+
A(x) +(x) B(x) $(x) = 1 mod p. where a E k. We may write = a& and will satisfy an equation
with second coefficient zero; hence we may assume without loss of
generality that I or 1 = 1.
In the course of Theorem 8 we saw that f(x) either remains
3. THE GENERAL CASE 63
irreducible modulo p or splits as a power of an irreducible poly- Let K be the smallest normal extension of k containing E, and
-
nomial; since q is a prime the only splitting of this kind must be let G be its Galois group; let H be the subgroup of G corresponding
j(x) = ( x - c)q mod p. We show now that this second case is not to E. Let Q be a q-Sylow subgroup of H, E, the corresponding
possible: since a, cq, mod p, c +0; hence the second term field. Now Q, considered as subgroup of G, may be embedded in a
of (x -- c),, namely qcq-l, is + 0 mod p . This contradicts our q-Sylow subgroup Q' of G; the corresponding field El is a subfield
assumption about f(x). of E, .
Thus n satisfies an irreducible congruence of degree q; f 2 q. T h e degree of E, 1 E is prime to q since Q is the biggest q-group
Hence f = q, e = 1, and ef = q. of H. Similarly the degree of El I k is prime to q, since Q' is the
This proves the theorem. biggest q-group in G. Now the degree of E, / El is a power of q,
In order to prove that ef divides n, we shall require the which must be qi, for
Lemma: If E 3 F 3 k, then e(E 1 k) = e(E I F) e(F 1 k), and [E, : EJ [El: k ] = [E, : k ] = [E : k ] [E, : El.
similarly for f, and hence for ef. Now between the groups Q and Q' there are intermediate
T h e verification of this is left to the reader. I t follows at once groups, each of which is normal in the one preceding and each
that for a tower of fields with prime degree unequal to the character- of which has index q. T h u s the extension E, I El may be split
istic of the residue class field, ef = n. We shall now prove the main into steps, each of degree q. T h e product ef for the extension
result. E, I El is equal to the corresponding product for each step of
degree q. From this we see that ef = qi. But this is also the
Theorem 10: ef divides n; the quotient is a power of the q-contribution of ef by the extension E 1 k, since the degree of
characteristic of the residue class field. E, I E is prime to q.
Proof: We shall prove the result first for the case where E is a We obtain this result for every prime divisor of n unequal to
separable extension of k. Let deg (E / k) = n = qinz, where q is a the characteristic of A. Hence ef can differ from n only by a power
prime unequal to the characteristic of k and jq, 7%) = I . We assert of the characteristic. Since ef <n, we must have efS = n where
that ef = qis where (q, s) = 1. 6 is a power of the characteristic. This proves the theorem for
separable extensions.
If E I k contains inseparable elements, let Eo be the largest
separable part. Then n[E : Eo]must be a power of the characteristic
of k; if this is non-zero it is also the characteristic of A. We have
seen that ef[E : Eo] can be divisible only by this prime. Hence for
the inseparable part we have again nlef = a power of the character-
istic of A. This completes the proof of the theorem.
Theorem 2 may now be restated in the following terms: Example I : Let k = F{t}, the field of formal power series over
the field of constants F. We shall show that the unramified exten-
Theorem 2A: There is a (1, 1) correspondence between sions of k are produced by separable extensions of F. We have
the unramified subfields of C and the separable subfields shown previously that the residue class field of k is isomorphic to
of e. F under a natural mapping. Let E be a finite extension of k, E its
We see also that the unramified subfields of a given extension residue class field. Then if G E E, a! satisfies an irreducible equation
E 1 k are precisely those whose residue class fields are separable #(x) = 0 in R. Let #(x) = $(x); since every coefficient of $(x)
subfields of E. Furthermore, the lattice of unramified subfields of E may be replaced by a congruent one, we can assume that all the
is exactly the same as the lattice of separable subfields of E. Hence, coefficients of $(x) lie in F. Suppose now that E 1 k is unramified,
in particular, there is a unique maximal unramified subfield T of E, and that E I K, which must therefore be separable, is generated by G.
which corresponds to the largest separable subfield of E; T is Then we have seen that E is generated by a root fi of $(x). The
called the Inertia Field ( Tragheitskorper) of E. condition e = 1 implies that t is prime in E; hence E = Fl{t},
where Fl = F(/3).
Theorem 3: Let E = k(a) where a satisfies an equation It is easy to prove the converse: That if Fl is separable over F
f(x) = 0 with integral coefficients such that all its roots modulo p then Fl{t} is unramified over F{t}.
are distinct. Then E is unramified over k.
Example 2: Let k be a finite field of q elements; this is the
Proof: It will be sufficient to prove the result when f(x) is case which arises in algebraic number theory. We shall show that
irreducible. If f(x) is irreducible in k it is irreducible also in A, the unramified extensions of k are uniquely determined by their
for we have seen that an irreducible polynomial can split in K only degree, and are obtained from k by adjoining certain roots of
as a power of an irreducible polynomial-which would contradict unity. The first statement follows from the fact that a finite field
the assumption that the roots modulo p are distinct. Hence has only one extension of given degree.
deg (E I k) = deg (A(&)I A); but A(G) is contained in the residue Now let E I k be an unramified extension of degree n. The
class field of E. Since f < n, we have E = K(G), and hence E I k qn - 1 non-zero elements of E satisfy the equation xqn-l = 0,
is unramified. which is therefore separable, having qn - 1 distinct roots in E.
Hence if 5 is a primitive (qn - 1)-th root of unity, k(5) is unrami-
fied. Further, since xqn-l - 1 splits in k({), it splits in k(5); hence
Corollary: If E I k is unramified, and if SZ is a complete field
containing k, then El2 I SZ is unramified.
E C k(5). By the Corollary to Theorem 2, E C k(5).
On the other hand, let a E E lie in the same residue class as 5 ;
Proof: We can write E = k(a) where a satisfies an irreducible then ( a - 5 1 < 1, whereas the mutual distance of the roots of
equation +(x) = 0 which is separable mod p . But ESZ = SZ(a), xun-l - 1 is exactly 1. Hence, by Theorem 7 of Chapter 2,
where a still satisfies an equation which is separable mod p. The k(5) C k(a) C E, and we have E = k(5).
result follows now from the theorem. Thus the translation of an
unramified field by a complete field is again unramified.
We can also prove, by obvious arguments, that an unramified 2. Tamely Ramified Extensions
extension of an unramified extension is unramified over the
ground field, and that any subfield of an unramified extension is A finite extension E I k of degree n with ramification e and
again unramified. residue class degree f is said to be tamely ramijied if it satisfies the
We conclude this section with two examples. following conditions:
68 4. RAMIFICATION THEORY 2. TAMELY RAMIFIED EXTENSIONS 69
(1) ef= n, class in T. Let the corresponding power up' be written a,; since
(2) E I R is separable, p r is prime to d, a and a, generate the same cyclic group, so that
a, may be taken instead of a. We have now ald = ~ , a , where
(3) e is not divisible by the characteristic p of 5. E , = c E T mod p; thus ald = ca, + +
f l = b /3 where E E and
Clearly all unramified fields are tamely ramified. I B l < lbl.
We can deduce at once from the definition that a subfield of a We now study the equation 4(x) = xd - b = 0;d is prime to
tamely ramified field is tamely ramified; and that a tower of tamely the characteristic of F, hence to that of k; thus 4(x) is separable
ramified fields is tamely ramified. over k:
We shall now give an important example of a tamely ramified
+(XI= (X- 71) "' (X - Yd).
extension. Let a be a root of the polynomial $(x) = xm - a,
where a E k, (p, m) = 1, and +(x) is not assumed to be irreducible. Obviously
Certainly I a Im = I a I lies in the value group of k; let d be the
exact period of 1 a I with respect to B, (i.e. the smallest integer d
such that I a Id = I b 1, b E k); then d divides m.
Let /? = ad/b; thus 1 p 1 = 1, and pmld= a/bmld. Hence /3 Further, however, 4'(y1) = dy,d-l, so that
satisfies an equation #(x) = xmld - c = 0 where I c I = 1;
#(p) = (mld) pmld-l, SO that I $'(p) / = 1 ; hence #(x) is separable
modulo p. Thus k(p) 1 k is unramified. whence I yi - y,. I I
= yi / for all i # j.
We now consider k(/3) as the ground field; over k(p) a satisfies Now
the equation xd - b/3 = 0. k(p) has the same value group as k;
hence d is the period of I a I with respect to the value group of
k@). Thus k(a) I k(p) has ramification 3 d but the degree of
k(a) I k(P) is< d. It follows that k(a) I k(p) is fully ramified, and
that xd - b/3 is irreducible in k@).
In the course of this discussion we have verified all the condi- It follows that for at least one of the yi, say y,, we have
tions for k(a) to be a tamely ramified extension, and we have shown I a, - y, I < I y, I; that is, a, is closer to y, than the mutual
that it is made up of an unramified extension followed by a fully distance of the roots yi . Hence by Theorem 7 of Chapter 2 we
ramified extension. have T(y,) C T(al) C E; by the nature of its construction, T(y,)
Now let E / k be a finite extension; we shall construct the largest is tamely ramified over T and hence over k. I a, I was a representa-
tamely ramified subfield of E. If T is the inertia field, T is clearly tive of a coset of B,/B,, and since I a, I = I y, I, we see that a
contained in this subfield, so we may confine our attention to the field element y, can be chosen such that yld lies in T, and I y, I
tamely ramified extensions of T. Since '2 is the largest separable represents this coset.
subfield of E, E I T is purely inseparable. Let p be the characteristic Choose representatives y, , y, , yT of this type to represent
me.,
of the residue class field, and write e = eopv,where (e, ,p) = 1. all the basis elements with period prlme to p. Then the field
BE/%, is a finite Abelian group of order e. Let us choose a basis V = T (y, , y, , ..., y,) is a tamely ramified subfield of E, since
for this group, and let a be an element of E which represents one a tamely ramified tower is tamely ramified.
of the basis elements with period d prime top; that is, I a Id = I a I, Now if di denotes the period of the basis element represented
with a E k (since B, = Bk). Hence ad = €a where / E I = 1. Since by yi , the ramification of V is 3 d1d2 ...d, = 0,; but V is a
E, I T, is purely inseparable, some power EP' represents a residue tamely ramified subfield of E, and so its ramification< eo . Hence
70 4. RAMIFICATION THEORY 3. CHARACTERS OF ABELIAN GROUPS 71
e(V I k) = e,, the largest possible ramification for a tamely ramified 3. Characters of Abelian Groups
subfield of E. Next, since = T is the largest separable subfield
of E, f(V I k) = deg (2'1 k) is the largest possible residue class Let G be a finite Abelian group with basis elements a, , a, ,
degree for a subfield of E with separable residue class field. a, having periods el , e, , -.-,e, . A character of G is a homo-
. - a ,
Hence, since V is tamely ramified, deg (V 1 k) = e(V I k) f(V I k) morphic mapping x of G into the non-zero complex numbers.
is the largest possible degree of any tamely ramified subfield If x is a character, [X(a,)]ev= 1; hence X(a,) = 4, is an e,-th
of E. root of unity; and if a = aTa: a:, then X(a) =:E:E €7.
We shall now prove that all tamely ramified subfields of E are Thus we see that a character x is described by a set of roots of
contained in V. T o do this we require the unity, (6, , E, , -.. E,), where each E, is an e,-th root of unity.
Conversely, any such set of roots of unity defines a character.
Lemma: The translation of a tamely ramified extension by a
Hence there are in all ele2 e, distinct characters, i.e. as many
complete field is again tamely ramified. as the order of the group. If X(a) and xf(a) are characters, then
= X(a) X1(a) is also a character, which we denote by XXf(a).
Proof: Let E I k be a tamely ramified extension. Let F be a If X, Xf are described by (el, E,), (elf, E,'), then xX' is
- a * ,
complete field containing k. described by (qelf, ..., ere,'). Thus the characters form a group G*
E is obtained from k by constructing first an unramified exten- of the same order as G; G* is called the dual group of G. G* is
sion, then adjoining certain radicals. E F is constructed from F clearly a direct product of groups of order ei; hence
in precisely the same way, and hence is tamely ramified.
Now suppose there is a tamely ramified subfield of E which is
G* (el) x (e,) x ... x (e,) r G.
not contained in V; by the lemma, its translation by V is again Thus we have established
tamely ramified. But this translation is of higher degree than V,
contrary to our result that V has the largest possible degree of any
Theorem 4: A finite Abelian group is isomorphic to its dual
tamely ramified subfield of E. Hence V is the unique maximal
group.
tamely ramified subfield of E: V is called the Ramijication Field
Consider now the following situation: G and H are Abelian
( Verxweigungsk6rper).
We conclude this section with an groups. Z is a finite cyclic group. By a pairing operation on G and
H into Z we shall mean a function q5 which maps the product
Example: Let k be the field of formal power series F{t}. The G x H into Z such that
unramified part of a tamely ramified extension E of k has the form
4k1g2 h)
? = 4(g, , h) 4(g2, h),
Fl{t) where Fl is a separable extension of F (Section 1, Example 1).
Tamely ramified extensions of Fl{t} are obtained by adjoining
roots of elements which represent the basis elements of BE 1 Bk ,
which have period prime to the characteristic of F. Since the Let Go be the G-kernel, i.e. the set of elements g E G such that
valuation is discrete, BE/Bkis cyclic, and we may choose as repre- +(g, h) = 1 for all h E H ; similarly let Ho be the H-kernel, i.e. the
+
sentative of a basis element a series a = ct(1 -..); E =Fl{t}(.i;/ol), set of elements h E H such that 4(g, h) = 1 for all g E G. For this
where m is prime to the characteristic of F. Since, however, the situation we prove
m-th root of a series 1 + can be extracted in Fit}, it suffices to
adjoin 72.If F is algebraically closed, the only possible extensions Theorem 5: If H/Ho is finite, then GIG, is also finite, and
are by q--t. GIGo r H/Ho.
72 4. RAMIFICATION THEORY 4. THE INERTIA GROUP AND RAMIFICATION GROUP 73
Proof: We may regard Z as a group of roots of unity. For act like the identity on the subfield. Our immediate task is to
a fixed element g E G, we write xg(h) = #(g, h); then xg(h) is a describe the inertia field and ramification field in this way.
character of H, which is trivial (i.e. takes the value 1) on Ho. First let E I k be an unramified extension. We have seen in
Thus x,(h) may be regarded as a character of the factor group Section 1 that E = k(/3,) and E = &(PI),where
H/Ho. Hence g -+ xg(h) is a homomorphian of G into (H/Ho)*;
the kernel is clearly Go . Thus we have
GIGor some subgroup of (H/Ho)*;
The isomorphic maps of E 1 k into C I k carry /3, into /3, ,p, , -..,&;
similarly e
these clearly induce maps of E I & into / k, namely maps which
H/Hog some subgroup of (GIGo)* . carry Pl into P I , P 2 , j3, . Since E I k is unramified, &x) is
..a,
separable, and so these f maps of E I & are distinct. Since they are
Since H/Hois finite, by hypothesis, we have H/H, g (H/Ho)*; so equal in number to the degree of E I k, these are all the isomorphic
maps of E 1 E into 1 6. From this discussion we see that a map of
GIG, g some subgroup of H/Ho . E 1 k into C ( k is uniquely determined by its effect on E 1 5.
Thus GIGo is also finite, and hence isomorphic to (GIGo)*; so We are now in a position to prove
H/Ho some subgroup of GIG,. Theorem 6: Let T be the inertia field of E 1 k. Then the
isomorphic maps of E into C which act like the identity on T are
Hence we have the result of the theorem: GIGo r H/H, . precisely these which act like the identity on all the residue classes
of E.
4. The Inertia Group and Ramification Group Proof: It is clear that the maps which leave T fixed also leave
fixed all the separable residue classes of E.
Let E ( k be a finite extension field. I n sectlons 2 and 3 of this Consider, therefore, the inseparable residue classes: let a E E
chapter we have defined two important subfields of E: T, the be a representative of one of these. Then for some power pvof the
Inertia Field (Tragheitskorper), which is the largest unrarnified characteristic of A, DLP" represents a separable residue class, which
subfield of E, and V, the Ramification Field (Verzweigungskorper), is left fixed by the maps which leave T fixed. Since p-th roots are
which is the largest tamely ramified subfield of E. When E ( k unique in fields of characteristic p, this implies that the residue
is a normal extension, with Galois group G, the subfields T and V class represented by a is left fixed.
correspond to subgroups 3 and % of G, which are called respectively Hence every isomorphic map of E 1 k which leaves T fixed also
the Inertia Group and the Ramification Group of E ( k. I n this section leaves every residue class fixed.
we shall describe these two subgroups. Conversely, if a is a map which leaves fixed every residue class
At first, however, we do not assume that E I k is normal. Instead, of E, then it leaves fixed every residue class of T,and hence, since
we let C be the algebraic closure of k, and consider the set of T is unramified, it acts like the identity on T.
isomorphic maps of E into C which act like the identity on k. This completes the proof.
This set of maps, of course, does not form a group; but it is known We must now carry out a similar analysis for the ramification
from Galois Theory that the number of such maps is equal to field V. First we consider a tamely ramified extension E 1 k. Let
the degree of the largest separable subfield of E. A separable u ( # 1) be an isomorphic map of E / k into C. We consider two
subfield of E may be described by giving the set of maps which cases :
74 4 . RAMIFICATION THEORY 4 . THE INERTIA GROUP AND RAMIFICATION GROUP 75
(a) o does not leave fixed all residue classes of E. Select a E E Hence I oap - ap 1 = 1 a lp. This follows immediately when p
as representative of one of the residue classes which is changed by a. is odd. When p = 2 we have
Then, since ua and a are both integers, we have
-
Let E be a unit of E; then since 7 E 3, TE
TC/E 1 mod p. Thus we have
-
Let 7 be an element of 3, a E E; let +(a, T) be the residue class of
7a/a mod p. We shall show first that +(a, 7) depends only on I a I .
E mod p, whence
if +(a, 7) = +(/I,
are congruent:
7') mod p , the corresponding roots of unity
cl r C2 mod p, whence 1 5, - < 1; thus
= C2 , since the mutual distance of the roots is 1. Thus the opera-
tion +(a, T), which formerly had values in E, may now be regarded
as a pairing operation on 23, and 3 into E.
Now GI23 is an extension group of 3/23. Let a be an element
of G; the mapping 7 E 3 -+ma-I gives an automorphism of 3
which proves our assertion. Further, we have modulo 23. We shall give a description of +(a, o~a-I);this gives the
character values of a ~ o - Iin E, and this will be sufficient to des-
- (-)
cribe a ~ o - l .We have
and ma-la T(U-la)
+(a, mu-') - 0 = .($(a, 7)) mod p,
a
since / a-la I = / a I. But +(a, m-u-l) and +(a, 7) are roots of unity
since 1 r2a 1 = 1 a 1. Thus +(a, 7) is a pairing operation as described in E; hence
-
in Section 4. We have now to find the kernels under the operation. +(a, u7u-l) = u(+(a, 7)).
The %kernel Kg consists of the automorphisms T such that
7a/a 1 mod p for all a E E; since In particular, if G is abelian, u ~ u - l= 7, so that
.(+(a, 7)) = +(a, 7);
thus #(or, 7) is a root of unity in k.
we see that the kernel K3 = D. If the BE kernel is I(, , we have
3/23 BE/KE.Also K E must certainly contain the value group 23,
of k, since ra-- a for a E k. But since no element whose period is a 5. Higher Ramification Groups
power of the characteristicp can occur in 3/%, no such element can
occur in 23,/K,. Hence K, consists of all the elements of 23, Let i denote either a real number, or a "real number +
zero",
whose periods modulo 23, are powers of p. Thus we may say that in a sense to be made more precise in a moment. We define the
3/23 is isomorphic to the "non-critical part" of the value group, i.e. sets %, to consist of those automorphisms a E G such that
to the cosets of 23, modulo 23, which have period prime to p. ord (ua - a) 3 ord a + i,
78 4. RAMIFICATION THEORY 5. HIGHER RAMIFICATION GROUPS 79
or Let us first notice, however, that the sets Bi are invariant sub-
aa - a
ord (_) 2i for all a EE groups of 6; let a , T E %, , ol E E:
when i = r + 0, whence
ord (_)
aa - a
2i
_
ord > r. Let E = k(ao); then for each o E G we define
+ ord (_--)
7a - a
r, for all a t E
whence T h u s the real line may be split into intervals rip, < r ,< ri such that
%, = Bri for ri-, < Y ,< ri . Since the whole sequence of groups
%, is monotone, it is clear that %+,, = %, when ri-, < r < r, .
We cannot, however, give a definite description of the groups
Thus, when we examine the effect of 2.3, on the elements of a group I t may happen that illTi+, = Sri or = B r i f l ; but
we can restrict our examination to the generators of the group, in general BTi+, lies between Dri and Bri+, . Hence in general a
80 4. RAMIFICATION THEORY 5. HIGHER RAMIFICATION GROUPS
jump occurs in two stages-between Bpi and Bri+, , then between Hence, if a E !I?
we have
(,
B,&, and Bri+, . Our next task is to analyze the factor groups at
these jumps.
ord(o'- + min(pi,ordp + i).
l ) a > ordor
Let a E Bi (i # +
O), 7 E Bi . Then Thus a E Bi a" E B j where j = min (pi, ord p + 21. Now if
p # 0, ord p > 0, so that j > i. Thus every element a of Bi has
- 1 = ( a - 1) (T - 1) + (T - 1) + ( a - l),
ar
(modulo this B j ) period p. Since Bi/Bi contains the factor group at
UT - TO = (a - 1) - 1) - (T - 1) (U - 1).
(T the jump, we have completed the proof of our
-
Let us examine the special case when e = f = 1. Then if
a E E, there is an element b E F such that 1 a 1 = I b 1 ; thus
Hence also I a/b I = 1 and alb c mod p where c E F (since f = 1). This
implies that I a - bc / :< 1 b I = / a 1, or, writing bc = a, that
ord ((a7 - ~ aa) 2 ord a + i +j. / a - a / < / a / . Hence a = a + / 3 where 1 / 3 1 < 1 a i . Then
We can replace a by u - ~ T - without
~ ~ altering the ordinal; this
yields
ord (a~a-lr-l - 1) a 2 ord a i j. + + since a E F. We now obtain
Thus
for any a E E. Thus we have proved:
82 4. RAMIFICATION THEORY
Theorem 10: If e = f = 1, then 8,= B,+, where r is any tions over finite ground fields. Only in this case do the finer parts
real number. of the theory appear; for instance, only under this assumption was
Herbrand able to find the inertia group and ramification groups for
6. Ramification Theory in the Discrete Case
an arbitrary normal subfield of E 1 k. We remark that if E 16
is separable, then E I T is purely ramified with degree e.
We shall now assume that the valuation is discrete; then we
Theorem 11: If the valuation is discrete, and if the residue
have shown the existence of elements .rr E k, 17E E such that
every element a E k, respectively a E E, can be written a = emv, class field E I k is separable, then the integers D in E have a minimal
respectively a = EIPwhere the E are units; further, we know that basis relative to the integers o in k consisting of the powers of an
I rr I = I 17 le, where e is the ramification number. If a = EIP integer. I n other words, there is an element a E E such that every
we shall make the natural definition, ord a = v; in particular, 8 E D can be expressed as
ord 17= 1, ord m = e. These ordinals depend on the field E.
In this discrete case, nothing new can be added about the
Galois group of T I k. But since the value group BE is now cyclic, where all the xi E O.
and the Galois group of V I T is isomorphic to the non-critical
part of BE, it follows that V / T is a cyclic extension field, of
degree eo , where e = pye, , (eo ,p) = 1. Hence it is easily verified
that V = T ( V 6 ) where .rrl E T.
The study of the higher ramification groups %, is simplified in E I k is given by {winY) (i = 1,
-
Proof: Let w, , o , , .-.,wf be representatives (in E) of a basis
for the residue class field E I 6; thus if 8 E E is a representative of
one of the residue classes, we have 8 xlwl + +
f ; v = 0, -.-,
ma-,
xtwf mod p.
We have seen earlier (Chapter 3, Theorem 7) that a field basis for
e - 1); and this
the discrete case, since now we need consider only integral values is a minimal basis (i.e. when the integers of E are represented in
of i-for the ordinal, as defined above, takes only integral values. terms of the basis, the coefficients in k are integers).
I n particular we notice that B,, = %+,, , and especially B+, = %, . When E is unramified (E = T), we have e = 1, f = n. Let a
The sequence of groups is now B1 3 23, 3 3 (I), where Bi/B2* be a representative in E of the residue class which generates
is abelian, and B4/Bjis of type (p, p, p, -..) where E : E = h(6). Then 1, 5, ..-,(Yf-l is a basis for E; hence 1, a, me.,
residue class field (since the group of T / k is isomorphic to that In the general case, we let E = R(&), and let f(x) be a polynomial
of E 16). in k[x] such that j(x) = Irr (E, K, x). Since E is separable, we have
We have already remarked that we need examine the effect of f(a) E 0 mod p, but f'(a) +
0 mod p, where a is a representative
the elements a E 6 only for the generators of the group of non-zero of (Y in E. Since f(a) r 0 mod p we have ord f(a) 2 1. Suppose
elements of E; thus it will be sufficient to consider their effect on ord (f(a)) > 1; let 17 be any element with ord 17 = 1, and set
all elements 17 for which ord 17 = 1. Quotients of these give the a + 17= 8. Then
units of the field, which, along with one of the elements 17, give all
elements of E. We shall now make the further restriction that the
residue class field E I be separable. This is certainly true in the Now ord f(a) > 1, and ord > 1; but ord ITf'(a) = 1 (since
important cases of algebraic number fields and of fields of func- f'(a) +
0 mod p); hence ord f(P) = 1, and since 8 lies in the same
84 4. RAMIFICATION THEORY
residue class as a,it may be taken as representative of the generating for all such elements 17; thus in examining the effect of an auto-
residue class. Thus we can suppose without loss of generality that morphism a, we need examine its action on only one such I7.
ord f(a) = 1; thus f(a) can be taken as our element 17. Since Suppose that a E Bi but a # Bi+,; this means that
1, c, ..-,&f-lform a basis for E 1 A, we obtain a minimal basis for
E I k by taking {av(f(a))p); thus every element in O can be expressed ord (0 - 1) a , but ord (a - 1) cr > i + l .
as a polynomial in a with integer coefficients. Thus 1, a, an-' a or
form a minimal basis for E I k. This completes the proof of the Hence
theorem. (a - 1) a .
Now let 0 E D be given by ord
a
=t, and ord (a - 1) or = i + 1.
We see at once that if ord (a - 1) a = 0, then a is not an
Let o be an isomorphic map of E IF into the algebraic closure C. element of the inertia group; if ord (a - 1) a = 1, then u € 3
Then but a # B1 , and we obtain immediately the classical definition of
the higher ramification groups:
(a - 1) 0 = cl(aa - a) + c2(aar2- a2) + ... + C , - ~ ( U ~-~ -an-')
'
= (aa - a) p,
Let T be any set in E; its complementary set T is defined by Case I: E 1 k is unramified. Then n- = 17 and we have seen
that every map of E I k into C' comes from a map of E ( k into C;
thus the trace in E I k comes from the trace in E I k. More precisely,
I t is easily seen that if TI C T, then TI' 3 T,'. if a is a representative in E of a residue class 6 in E, then
I n particular, when T = D, we obtain the complimentary set D': s ~ ( E )= SE,,-(ti). Since E I is separable (E I k is unramified),
the trace SElcis not identically zero. Hence there is an element
+
a in such that SElk(a) 0 mod p.
D' is called the inverse different. Now let ,B = n-is be any element of E with negative ordinal
We now introduce the notion of a fractional ideal in E. Let ( i > 0; 6 a unit). Then
' be any additive group in E such that 2ID = (u. If a E 2l, and
%
[ I < I a I, then P/a E D, and so = a .P/a E (u. This means
that (u contains, along with a, any element with ordinal 2 ord a.
There are thus two possibilities: (1) ord a is not bounded for a E %; since 0116 E D, this shows that t9 $ Dr. Hence if E ( k is unramified,
then clearly '% = E; (2) ord a is bounded; let a, be an element then a = D'.
with maximal ordinal in '%-this exists since the valuation is
discrete; then '% = a& = P D where v = ord a,. I n the second Case 2: e > 1. Then n- = 17e. Let a be any map of E into
case we call (u a fractional ideal (or an ideal for short). the algebraic closure C; if a E 9, then I a I < 1, whence I aa I < 1
and so I S(a) I < 1. This shows that S(p) C p. Hence
Theorem 1: D' is a fractional ideal.
1
Proof: Clearly D' is not empty, since D' 3 a. ~ ( ~ ' =s(&o)
4 ) ?T Co.
86
88 5. THE DIFFERENT 2. COMPLEMENTARY BASES 89
Thus l/n )P CD', and in particular 17/n, which has ordinal - (e - 1) 2. Complementary Bases
is contained in D'. Hence D' contains D as a proper subset.
We remark that in many cases - (e - 1) is the largest negative Let k be any field, E a separable extension of degree n. Let
ordinal occurring in the inverse different. w, , w, , .-.,onform a basis for E / k.
Case 3: e = 1, but E 1 & is inseparable. Here we use the tran- We examine whether there exists an element 6 E E such that
sitivity of the trace: SElk(a)= STlk(SEIT(a)). We propose to show S(wi[) = 0 (i = 1, 2, n). If we write
-.a,
Theorem 3: .
If E 3 F 3 k, then DEIk= DEIFDFIk thus S(E5) = 0, which is impossible unless 5 = 0 since E I k
is separable.
Proof: Let DFlk= P D F . We have Since the system of homogeneous equations S(w&) = 0 has
only the trivial solution, it follows from the theory of systems of
linear equations that any non-homogeneous system S(w& = b,
(i = 1, 2, -.a, n), with b, E k, has exactly one solution.
In particular there is exactly one element E E such that
S(wiwrj) = aii. The set of elements w',wt2, ..a, w', is called the
complementary basis to a,, w,, on.To justify this name we must
a*.,
Then Theorem 5: If
A E T ' o S(AT) C o e-S(Awi) C o ( i = 1, .--,n)
-=-xi€o. f(x) = (x - a) (bo + b,x + + bn-l~n-l),
Hence then the complementary basis is formed by
but
Hence
Hence
+ a,a + -..+ anan-,,
bo = a,
b, = a, + a,a + --.+ ancP2, ... bn-, = an = 1 .
Y
<
Thus a polynomial of degree n - 1 has n common zeros with xi. We may write this symbolically as
It follows that it must be identical with xi.
I t is now easy to compute the complementary basis to 1, a , a2,
..., an-l. The result is given by
92 5. THE DIFFERENT 3. FIELDS WITH SEPARABLE RESIDUE CLASS FIELD 93
where the symbol [A] denotes the integral part of A in the obvious and so
sense. a =f'(01) . D.
If a is an integer, we may simplify those results even more. For
then the coefficients ai of f(x) are all integers of k, and we may
replace the basis elements 3. Fields with Separable Residue Class Field
Theorem 7: If I?' I is separable, then 3 = fl(a) D, where a Theorem 8: All possible extensions of k with separable
is the element whose powers form a minimal basis. residue class field consist of an unramified extension (constructed
by making a separable extension of the residue class field A)
Proof: Since the powers of LY form a minimal basis, the set T followed by an Eisenstein extension.
of Theorem 6 is exactly the ring of integers D. Hence We shall now compute the different of such an extension. We
have =f'(17).D = ITaD where a = ord f'(17).Now
94 5. THE DIFFERENT THE RAMIFICATION GROUPS OF A SUBFIELD 95
We suppose now that T # 1. Let S be the set of maps of E The lemma shows that if T # 1, then 17,1TE(u, E)/E(T,F ) is
which act like the identity on F. Let u be a prolongation of T; an integral ideal of DA . We must prove that it is in fact D, itself.
then since T and a have the same effect on F, T-la E S; hence Consider the product
u = TA, where X E S.
Thus
=7 n
AES
(ha - 7-10,) DA .
where the product 17' extends over all maps u of E which are not
Now let f(x) = Irr (a, F, x): identity on F. Hence
where the product I?' extends over all maps u of E, other than the
where fr(x) has the following meaning: If identity, which are identity on F. Since the residue class fields are
separable, we have
then
F(x) = Ta, + Talx + --- + xn.
Then and
Theorem 9: When I% 1 is separable, then whence the result follows since each of the factors is an integral
ideal.
E(u, F) = ITE(u, E). We now assume that E 1 k, F I k are normal extensions. Let 6
" 17
be the Galois group of E I k, 8 the subgroup corresponding to F;
Proof: We have already remarked that the theorem is true 5 is an invariant subgroup and 618 is the Galois group of F I k.
when r is the identity. We take the view, however, that the Galois group of F I k is again
98 5. THE DIFFERENT THE RAMIFICATION GROUPS OF A SUBFIELD 99
8 where these elements are identified whose effects on F are the Now, by the definition of i(u), we know that a E B,,,, but
same. Let the sequence of ramification groups of E I k be . Hence
a $ %,(+,
Now
Proof: Let ha be the fixed element in 5 , such that rXOE BV.
ordE( 7 p - /3) = e(E IF) .ord, (7/3 - /3) = #(3*) (i(r) + 1). Then
On the other hand every a 1 T can be expressed as a = TX where
hE Sj. Thus we may write the result
as asserted.
Now 7 % Bv # 0 o T E BY$, SO our formula may now be
written
in the form
100 5. THE DIFFERENT
Thus
T E B ~ ~ ~ ~ T E B , .
Now since f(x) has one root, a, in Q, it splits completely in Q. since N is normal, these maps are automorphisms of N, and under
Hence o+(x) has a root, say B, in 9. Then if oE = E l , o can be their action E is left fixed. Thus H induces on N elements of the
extended to an isomorphism T : E(a) -+ El@). Now we consider group of N I E; since E is exactly the fixed field of H, H induces
the set of all extensions T of o to higher fields. This set can be the whole group of N I E.
partially ordered by defining T, 2 7, (where T, is an extension of a Now o maps E(a) -+ E(af), say, which is contained in N since
to field E,) to mean that El 3 E, and that T1 is an extension of T, N is normal. Hence this mapping is produced by some automor-
to El . The set is inductively ordered under this relation, for con- phism of N I E (using the result of finite Galois theory); and this
sider any totally ordered subset (7,): The fields on which these act, automorphism is in turn produced by an element T E H:
(E,), are also totally ordered. Let E' = u Ea , and define T' on E' o(a) = ~ ( a ) . Thus a = o-%(a), which means that a-I7 E U:
to have the effect of T~ on E, . Obviously T' any T, , so there is a T E uU. Thus every neighborhood of a contains an element T E H,
maximal element to the set (7,): By Zorn's Lemma, to any induc- i.e. o E If. This proves the inverse inclusion relation; hence our
tively ordered set there exists a maximal element T. It is clear that theorem is established.
T is the required extension of o to a; for if there is an element a in
SZ on which the action of T is not defined, we can extend T to E(a) Lemma 4: Let E be a subfield of 52, H the Galois group of
by our earlier remarks: This would contradict the maximality of T. 9 1 E. Then E is the fixed field of H.
We now introduce a topology into the Galois group G of 9 I F.
The neighborhoods of an element a E G are defined by referring Proof: We have to show that if a $ E then there is an element
to the finite subfields of SZ. Let E be a finite subfield of Q; we define a EH such that o(a) # a.
the neighborhood NE of o to consist of the elements T E G which Let +(x) = Irr (a, E, x); since E(a) I E is a proper extension
have the same effect on E as a. Thus if UE is the Galois group of and 9 is separable, there is a root a' # a of +(x) in Q. The map of
Q 1 E, then NE = oU, . I t is easily shown that these neighborhoods E(a) -+ E(af) obtained by leaving E fixed and mapping a -+ a'
define a topology in G. This topology is HausdorfT, for if a # T must be produced by some element o E G. Since a leaves E fixed,
there is an element a E 9 such that o(a) # ~ ( a ) .Let U be the o E H. Since u(a) = a' # a, our lemma is proved.
group of Q I F(a). Then oU and TU are obviously disjoint neigh- From Lemmas 3 and 4 we deduce immediately the Fundamental
borhoods of a and T. Theorem of Galois Theory for Infinite Extensions:
Lemma 3: Let H be a subgroup of G, E the fixed field Theorem 1 : Let Q 1 F be a normal extension; let G be its
under H. Then the Galois group of Q I E is If, the closure of H. Galois group, with the topology described above. Then there is a
(I, 1) correspondence between the subfields of 52 and the closed
Proof: (a) Let o E If; a E E; U the group of Q I F(a). subgroups of G: Viz.
Since a lies in the closure of H, oU, which is a neighborhood of a,
(I) The Galois group H of 9 I E, where E is a subfield, is a
contains an element T E H. Thus oU = TU, whence o E TU. NOW closed subgroup of G, and E is exactly the field left fixed by H.
the group U and the element T leave F(a) fixed; hence o(a) = a: o
leaves every element of E fixed. Thus If is contained in the group (2) Every closed subgroup H is the Galois group of the field
which it leaves fixed.
of a I E.
We now prove several supplementary statements:
(b) Let o be an element of G which leaves E fixed, and let
oU be a neighborhood of a, so that U is the group of SZ I F(a) for Theorem 2: Let E be a subfield of SZ, H the group of Q I E.
some a E Q. Let N I E be a finite normal extension of E containing Then the topology of H considered as a Galois group is the same
E(a). The elements of H induce isomorphic maps of N into Q; as the topology induced in it as a subgroup of G.
1. GALOIS THEORY FOR INFINITE EXTENSIONS 107
Proof: Let a be an element of 9. the finite intersection property follows from an application of
Then U, the group of Q 1 F(a), is a neighborhood of 1 in the Zorn's Lemma. Hence we shall assume that @ is a maximal family:
group topology of G; similarly U*, the group of Q I E(a), is a @ has therefore the additional properties:
neighborhood of 1 in the group topology of H.
But U* = U n H ; hence U* is also a neighborhood in the (1) The intersection of any finite number of members of @
induced topology. Conversely, every neighborhood in the induced is again a member of @.
topology is also a neighborhood in the group topology. (2) Any closed set 4 which contains a member of @ is itself
a member of @.
Theorem 3: Let E be a normal subfield of Q, H the group of Now suppose $ B = A v B, where A and B are closed sets; we
Q I E. Then H is an invariant subgroup of G and G/H is the group shall show that either A or B is a member of @. For suppose
of E IF. Further, the group topology in G/H is the same as the A 4 @. Then A n (some finite intersection of 4), = A n $, = O
topology which it inherits as a factor space. (where O denotes the empty set); similarly, if B $ @, then
B n $b = O. Consequently (A u B) n $, n $* = O, so that A v B
Proof: Since E IF is normal, the automorphisms of G act
as automorphisms on E, and all the automorphisms of E arise in is not a member of @. In general, if $, = A, u A, V u A,,
where the Ai are disjoint closed sets, then exactly one of the Ai
this way from automorphisms of G. Thus the Galois group of E I F
is G provided we identify those elements of G which have the same is in @.
In order to prove that nu$, is not empty we must exhibit an
effect on E. Let o E G. Then oH has the same effect as a; i.e.
element o E G which lies in each 4,. Let a be any element of Q;
oHo-l has the effect of the identity; hence oHo-l C H and H is
a normal subgroup. The group of E IF is obviously G/H. we shall define the effect of o on F(a). If U is the group of Q I F(a),
then G = rlU(= U) v r 2 U u u rnU; this union is finite since
The neighborhoods of 1 in the Galois group topology of G/H
F(a) IF is finite. Now G is closed (since it is a Galois group);
are the groups U* of finite subfields E I F(a). U* = U / H where U
is the group of Q I F(a). But U I H is a neighborhood of 1 in the hence G E @. The cosets r i U are closed and disjoint; hence exactly
inherited topology of G/H. Conversely every neigborhood of 1 one of them, say riU, is a member of @. Let o have the effect on
in the inherited topology is a neighborhood in the group topology. F(a) of rill.
We have now to show that the mapping o we have constructed
Theorem 4: Let (52,) be a set of normal extensions of F, with
is in fact a well-defined element of G. T o this effect let El 3 E,
be finite subfields of Q with groups Ul , U,: U, 3 Ul . Let o have
Galois groups {G,). If LIPn Qa = F, then the Galois group of
Q = IT Q, is G = IT G,; the topology in G is the Cartesian product the effect on El of rlU1 E @, and on E, of r2U2 E @. Since rlU1 and
topology. r 2 U 2 E @, hence rlU1 n r2U2 # O. Thus rlU1 C r 2 U 2 and the
effect of 7,U2 on El is the same as that of rlU1. Hence a is well-
The proof of this theorem is left to the reader.
defined.
Theorem 5: With the topology described above, the Galois
Finally we must prove that o E nu$,. For any subgroup U,
group G of Q I F is compact. o has the effect of some coset TU E @ on the fixed field of U. Hence
oU = r U E @. Thus UU n $, # O (for every $, E @). Hence
Proof: Let @ = (4,) be a family of indexed closed sets having every neighborhood of a contains an element of 4;, thus o E 6, = $,
the finite intersection property, i.e. every finite subfamily of @ (for every $, E @).
has a non-empty intersection. We must show that the total inter- This completes the proof.
section n $, is non-empty. We now illustrate the use of this theory by an interesting special
The existence of a maximal family containing @ and having case. Let p be a prime number. Consider the sequence of fields
2. GROUP EXTENSIONS 109
F C Fl C .-.,where F, / F is cyclic of degree pn. Let Q = v, F, . depends only on the coset of G modulo A in which x lies. For let b
Let a E Q; then a E some F, , i.e. F(a) C F,; hence F(a) = F, be an element of A; then
for some r < n. It follows that the only finite subfields of Q are
(bx) a(bx)-l = b(xax-l) b-I = xax-l,
the F,; the only infinite subfield is 9 itself.
Let u be an element of the group G of Q 1 F which acts on Fl since xax-l, b, b-l lie in A, and A is abelian. The automorphism is
like a generator of the group of Fl / F. If a(a) = a for an element therefore defined by u E G, and we display the fact by writing
a E SZ, the field F(a) = F, remains fixed. If a 6F, then F(a) 3 Fl ,
so Fl remains fixed, contrary to the definition of o. Hence a E F.
Thus the fixed field of H = {av}is F itself. By Lemma 3, G = R.
Now if the group of Q I F, is U, we have Ul 3 U, 3 ..., so that G We now examine the rules of combination of these automorphisms:
satisfies the first countability axiom. Hence, if T E G, we can express
T as lirn,,, oav where the a, are integers. (a')" = u,(zi,au;') u,' = (u,~,)a(u,u,)-~.
Now we examine the conditions under which a sequence {oav} Now since u -t Au, is an isomorphism, u,u, lies in the coset Au,,
converges. For any given neighborhood U, , there must be an and hence produces the automorphism known as am. Thus
index N such that for p, v > N, E U, , i.e. U ~ V - ~ Mleaves Fn
fixed; la is a generator of the group of F, 1 F; hence a, - a, E 0
modpn. Hence {uav} convergent => {a,) convergent in the p-adic
topology to a p-adic integer a. We may write symbolically Since u p , lies in the coset Au,, , there is an element a,,, E A
T = ua. This is well-defined, since if a = lim a, = lim b, , we such that
have a, - b, -+0, hence oav-b~leaves high Fn fixed and so uuu, = a,,, UUT.
lim uap = lim ub~r.I t is obvious that uaop = oa+p. Hence the group G
of Q / F is isomorphic to the additive group of p-adic integers. The elements u, lie in the group G,and so must obey the associative
law: Expressing this fact, we have
2. Group Extensions
Thus if we define cfo = 2,we have sponding to a E G be denoted by Au; then the remaining cosets
can be written AuV.We have
uVu@= ay,@uP,
Hence if we identify the subgroup A with the group A, we have
constructed an extension with the required properties. The where p is the remainder when p + v is divided by n.
elements u, which represent the cosets of G module A satisfy the Hence we have
relation a,,, = 1 if p + v < n,
u s , = a,,,~o, . =un if p+v),n.
Let C: and G' be two extensions of A with factor group G. Let
We shall write un = a. Then au = ua (= un+l); but ua = a%,
the cosets of G modulo A be written Au,, those of €' modulo A
hence a = a,. Thus to every extension G corresponds an invariant
be written Av,. We say that G and €' are equivalent extensions
element a E A defined in this manner.
if G is isomorphic to €' under a mapping which acts like the
Conversely, let a be an invariant element of A: a = a 4 For all
identity on A and carries the coset Au, onto the coset Av,. We
p, v we define
now obtain necessary and sufficient conditions for two factor sets
to yield equivalent extensions.
Suppose a,,, , b,, , yield equivalent extensions G, G'. Then,
since Au, is mapped onto Avo, we have u, mapped onto cov, It is a simple matter of computation to verify that the a,,, so defined
(c, E A). Thus satisfy the associativity relations and so can be used to form a
group extension.
Finally we obtain the necessary and sufficient condition for two
invariant elements a, b to yield equivalent extensions. Let a and
b yield extension groups (7 and G'; let the cosets of G, respectively
€', modulo A be written AuV,respectively Avv. Suppose first that
the groups G, (7' are equivalent; then there is a mapping from
(7 to G' which acts like the identity on A and maps the coset Auv
onto the coset Avv. Hence u is mapped onto cv (c E A).
Conversely, if this relation holds between the factor sets, it is Thus
-
easy to see that they yield equivalent extensions, under the iso-
morphism defined by u, -t cov, .
Since the factor set a,,, 1 satisfies the associativity relation,
we see that for given groups A and G we can always find at least
one extension G containing A as normal subgroup and such that
where we write N(c) = el+,+ +an-', by analogy with the case in
which ?i is an extension of a field A with Galois group G.
Conversely if we are given two invariant elements connected
€/A g G. by such a relation it is easy to see that they yield equivalent exten-
We now consider the special case in which G is a finite cyclic sions under the isomorphism defined by u + cv.
group of order n. Let a be a generator of G chosen once for all: We deduce that there is a (1, 1) correspondence between the
then G = 1, a, a*., an-l . Suppose G acts on A in a prescribed non-equivalent extensions (7 of our type and the cosets of the
manner and let G be an extension of the type we are considering; group of invariant elements of A modulo the sub-group of elements
the factor set ~ , P , , v may be written a,,, . Let the coset corre- which arc norms.
3. GALOIS COHOMOLOGY THEORY 115
3. Galois Cohomology Theory above; conversely, to every such extension corresponds a 2-cocycle.
Further, two 2-cocycles yield equivalent extensions if and only if
We shall now express these results in terms of the Galois coho- they are cohomologous. Hence there is a (I, 1) correspondence
mology theory which we shall develop. between the non-equivalent extension groups and the elements
Let A, as before, be a multiplicative abelian group; G a group of the second cohomology group.
of operators on A. Thus for every a E G the mapping a + a n When G is cyclic we have already established a (1,l) corre-
is a homomorphism of A into itself and (a7), = am. spondence between the non-equivalent extensions and the factor
We now define cochains and coboundary operators for this group of invariant elements modulo norms. From this fact it is
system: The 0-cochains are the elements a E A, the 1-cochains are easy to deduce
the functions a, mapping G into A, and the 2-cochains are the
functions a,,, mapping G x G into A. The cochains may or may Theorem 7: When G is cyclic, the second cohomology group
not be restricted by any continuity conditions. We now introduce is isomorphic to the factor group of invariant elements modulo
the coboundary operator 8 which acts as follows: norms.
We now continue with the cohomology theory. Let A and G
be, as before, an abelian group, and a group of operators. Let H
be a subgroup of G, with elements y. We can define the second
cohomology group $,(A, H), and we shall study its relation to the
group $,(A, G). (Nowadays this group is denoted by H2(G, A).)
Let a,,, be a cocycle for the system (A, G). Then if we restrict a
and 7 to lie in H, the resulting function a,l,ya is a cocycle for the
We define cocycles as in topology: a cochain a... is a cocycle if its system (A, H). Further, if a,,, is a coboundary for (A, G) we have
coboundary aa ... = 1. We can prove that every cochain which is a
coboundary is a cocycle: i.e. for any cochain a...
The verification of this is left to the reader. and restricting o and T to H we obtain
I t is also easy to verify that the cochains form an abelian group,
if we define multiplication of the functions by multiplying their
values, and that the coboundary of a product is the product of
the coboundaries. The cocycles form a subgroup of the group of
cochains, and the coboundaries form a subgroup of the cocyles. hence ayl,y2is a coboundary for (A, H). Thus we have defined a
We then define the cohomology group to be the factor group of natural mapping from the second cohomology group $,(A, G)
the cocycles modulo the coboundaries. into $,(A, H);this mapping is easily shown to be a homomorphism:
Using this new terminology we can sum up our results on group we call it the canonical homomorphism. In general it is neither an
extensions in the following statement: "onto" mapping nor an isomorphism; for it is not necessarily
possible to extend a cocycle of (A, H ) to a cocycle of (A, G). I n
Theorem 6: Let A be an abelian group, G a group of opera- the chapter on Local Class Field Theory we shall show that the
tors acting on A in a prescribed fashion. Then to every Zcocycle mapping is "onto" when A is the multiplicative group of a local
a,,, there corresponds an extension group (7 of the type described field and G is its Galois group relative to some ground field.
4. CONTINUOUS COCYCLES 117
Now let A, be the subgroup of A which is left fixed by the But a, = a, = 1, and a, = a, since the coset Hr = TH. Hence
elements of H: a E A, o ay = a. Then all elements of the same
coset of G modulo H have the same action on A,. Hence if H
is a normal subgroup of G, the factor group G/H acts in a natural Thus a, E A,, and a, is a cocycle for (A,, GIH).
way as group of operators on A,. We can thus define the second Similarly let a,,, be a Zcocycle for (A, G) such that a,,, depends
cohomology group $,(A,, GIH), and we shall study its relation only on the cosets of a, T mod H. We have the relation
to the group $,(A, G).
Let a,,,, be a cocycle for the system (A,, G/H); then if we
define a,,, = a,,,, for all a, T E G, we obtain a cocycle a,,, for
the system (A, G). Further, if a, ,is a coboundary for (AH, GIH), We set a = y, and obtain
we have
whence
and defining b, = b , for all a E G we obtain a,,, = b,,bu,/b,, ,
so that a,,, is a coboundary for (A, G). In this way we have defined
a mapping from the second cohomology group $,(AH,GIH) into Recalling that for any cocycle we have a,,, = al,,, we deduce
the group $,(A, G). This is obviously a homomorphism; but it
is not an "onto" mapping. We shall prove later that when the first
cohomology group $,(A, H ) is trivial, then the mapping is an Thus a,,, E A,, and a,,, is a cocycle for (AH, GIH). We sum up
isomorphism. these remarks in
We say that a cocycle a,,, splits in H if a,,, is cohomologous to
the identity cocycle when a and T are restricted to H. H is called Lemma 2: Every cocycle a, (a,,,) of (A, G) which depends
a splitting group of the cocycle. Every cocycle has at least the trivial only on the coset of a (a, 7) modulo H, is a cocycle for (A,, GIH).
splitting group H = 1, for a,,, = 1 if we choose u, = 1 as repre-
sentative of the coset A in the group extension defined by(A, a,,,, G).
We notice that a cocycle a,,, such that a,,, = a,l,,ys for all 4. Continuous Cocycles
y, , y, E H splits on H, for a,l,y2 = a,,, = 1. Obviously if a cocycle
splits on H, so do all cocycles cohomologous to it; we say that the From now on, let A be the multiplicative group of non-zero
corresponding element of the cohomology group splits on H. elements in a field 52 where D is a normal extension of a ground
We may now sum up our preliminary remarks in field F; let G be the Galois group of D I F. Let the topology in l(a
be discrete, and let G have the Galois group topology described
Lemma 1 : There is a natural homomorphism from the second earlier. We shall restrict ourselves now to cochains which are
cohomology group $,(A,, G/H) into the subgroup of &,(A, G) continous functions; we can give an algebraic interpretation of
consisting of elements which split on H. this continuity condition.
Let a, be a 1-cocycle for the system (A, G), and assume that a, Consider the 1-cochain a, which maps G + A. If this map is
depends only on the coset of a modulo H, i.e. a,, = a, for all continuous, then, given any neighborhood N of a, in A there
y E H. Since a, is a cocycle we have a s , * = a,, . Set y = a; then exists a neighborhood o U of a in G such that for every element
= a,, . T E uU, the corresponding a, lies in N. Since the topology in l(a
4. CONTINUOUS COCYCLES 119
is discrete we can choose N = a,. Hence if the cochain is contin- between the characters 8 -+ & which is known to be impossible.
uous there exists a neighborhood oU of a such that for every Thus a, = bl-O.
element 7 E aU, a, = a,. We are now in a position to prove our theorem:
The group G is covered by these neighborhoods; hence, since G
is compact, it is covered by a finite number of them. We have then Theorem 8: With A and G as described above, the first
cohomology group is trivial.
Proof: We have to show that every cocycle a, is already a
where a, is constant on o,U, . The sets U, are groups corresponding coboundary. Since a, is a cocycle we have aa, = 1, i.e. a,a\ = a,.
to finite extensions of F. Hence U = U1 n U, n n U , is the Since a, is continuous we can find a normal subgroup U of G such
group corresponding to the compositum E of these fields. Obviously that a, is constant on every coset 7U.
U C U,, and (U, : U) is finite; thus each a$, splits into a finite Let A E U; then aAa2= an, . Since A lies in the coset defined by 1,
number of cosets modulo U. Hence if a, is continuous, there a, = a,; and since AT lies in the coset UT = TU, we have aAT= a,.
exists a subgroup U such that G = UVn=, T,,U and a, is constant on Now alall = a, , so a, = 1; hence we obtain a: = a,. Thus a,
each coset T,U. If we replace U by the invariant subgroup V C U lies in the field E which is fixed under U. E IF is a finite normal
which corresponds to the smallest normal extension containing extension, with Galois group G/U. We define c,, = a, E E; then
E we have G = U,t p,V and a, is constant on each coset pvV.
Similarly, if a,,, is a continuous map from G x G - t A, we can
find a subgroup U, and even a normal subgroup V of finite index These are the Noether equations for the field E I F ; by our lemma,
in G, such that a,,, = a,,,,,. their only solutions are
In order to prove our next theorem we require the following
lemma from the Galois theory of finite extensions. C- = bl- b u , (b E E).
subgroup of $,(A, G) which splits on H. This theorem can be We must show, however, that the new cocycle a,,, is continuous;
proved when A is any group whose first cohomology group is for this it is sufficient to show that we can extend a, to a continuous
trivial; we give the proof for the case that A is the multiplicative cochain a,. Since a, is continuous on (A, H) there is a subgroup
group in a field, since a large part of the theorem can be proved U of G such that a, is constant on the cosets of H modulo H n U.
without assuming that H is a normal subgroup. Our first step is Let H = U, T,(H n U); then the cosets T,U are distinct, for
to prove
Extend a, to a cochain a, on (A, G), and write Now u, lies in the same coset modulo A as uoUuy.We make a new
choice of coset representatives, writing
Thus we have defined a cocycle cohomologous to a,,, , i.e. a:,, E {a), Then
with the property that
U& = uouu 1 = u,,~ and u; = ulu, = u,;
hence
Dropping the accent, we see that we have chosen a cocycle
a,,, E {a) such that if u, are the corresponding coset representatives
u; = u & , .
for the group extension, G, then Further,
4. CONTINUOUS COCYCLES 123
Thus in the group extension defined by {a} we can choose coset Now 8 may be chosen so that +,(8) f 0; for this value of 8 we have
representatives u,' such that also +,,,(8) # 0. If we notice also that +,(8) = +,,(8), we see that
if 8 is chosen so that +,(8) = +,,(8), we see that if 8 is chosen so that
+,(8) # 0, then +,,,,(8) # 0 for all y, y' E H. We therefore choose
suitable values el, 8, , 8, for the cosets HolH, Ha,H, ...,
for all a E G, all y E H. Let a:,, be the cocycle in {a} determined
Ho,H, and define
by this choice of representatives; then
=+Yug,'(ei)-
We also define +, = 1 for all y E H. The calculation above shows
u'Ju,uY) = u f y & = a&,u',,,
I J
. that
Thus K =a Y and - - ayay0= 1.
$w +YYp
a:,, = a&
The proof that this new cocycle is continuous is left to the reader. We now make a final choice of coset representatives, by writing
We drop the accents again, and see that we have constructed a
cocycle a,,, in {a} such that the corresponding coset representatives
v, = $;lu', .
U, satisfy the relation u,u, = u,, . Then
Consider now the associativity relation v, = UY ,
vuvy= f$;lu,uY =uw
$: = VOY,
Hence
4. CONTINUOUS COCYCLES 125
(These are the Brauer factor set relations for a non-normal splitting Thus do is a cochain depending only on the coset of a modulo H.
Finally, if we set a = y, we have
field.) In particular, when H is a normal subgroup,
Hence c,,, lies in AH, and clearly it depends only on the cosets but
of a and T modulo H.
This completes the proof of Lemma 3.
Combining the results of Lemmas 1, 2 and 3, we see that we
have proved the existence of a homomorphism of $,(AH, GIH)
onto the subgroup of $,(A, G) which splits on H. We shall now
prove that this is an isomorphism. We sum up our results in
Let {a,) be an element of $,(A,, GIH) which is mapped into
Theorem 9: The second cohomology group $,(AH, GIH) is
the identity of $,(A, G). We may choose a representative a,,,,, of
{a,) such that a,,, = 1. Suppose a,,,,, is mapped into the isomorphic to the subgroup of $,(A, G) whose elements split
on H.
cocycle a,,, of (A, G); then a,,, = 1, and by hypothesis
We conclude this section with the following theorem:
Set p = r V,and take the product from v = 1 to n, using the fact CHAPTER SEVEN
that a,,, = a,, . We obtain
T h e First and Second Inequalities
where
1. Introduction
Thus a:,, af,; i.e. at,, E {I). Let k be a complete field with discrete valuation and a finite
residue class field of characteristic p. Let C be the separable part
of the algebraic closure of k, r the Galois group of C 1 k.
Roughly stated, the aim of Local Class Field Theory is to give
a description of the subfields of C by means of certain objects in
the ground field k. So far it has not been found possible to give
such a description except for subfields K of C whose Galois group
is abelian. In this abelian case we shall show how to set up a well-
determined isomorphism between the Galois group and the
quotient group of k* modulo a certain subgroup. When K I k
is finite, this subgroup consists of the norms of non-zero elements
of K ; when K , k is infinite we extend our definitions in a natural
way so that the subgroup may still be considered as a norm group.
Let E be an extension of k of finite degree n. Let S(E ( k) be
the subgroup of B,(C, r ) which splits on E; denote the order of
this subgroup by [E : k]. Our immediate task is to study S(E I k);
in this chapter we shall show that for any extension of degree n,
S(E I k) is a cyclic group of order n.
2. Unramified Extensions
Galois group of the residue class field extension. In the case under Now let E, be a unit of k such that E, E 1 mod pm; we shall
consideration the residue class field is finite, and of characteristic p. construct a unit Em of T such that
Let h have q = pr elements; it is well-known that for every integer
n there exists one, and (up to an isomorphism) only one extension E, = 1 mod pm and E, = NE, mod pm+l.
E I k of degree n, namely the splitting field of d"- x. The Galois
group of E I & is cyclic, and has a canonical generator a: a(a) = aq Such a unit Em, if it exists, will have the form Em = 1 rmYm, +
for all a E E. We immediately deduce where Y, is an integer of T, and rr is a prime in k (hence in T).
Let en, = 1 $ rrmxm,where x, is an integer of k. If
Theorem 1 : If h is a finite field, then all unramified extensions
E, = NEmmod pm+l,
of k are cyclic.
Next we extablish the we have
Lemma: Every element a in & is the norm of an element x in E. N(l + amY,) = (1 + vmym)l+~+...+~n-l1 + +nx, mod pm+l.
Hence
Proof: nmS(Y,,) = amxmmod pm+l,
S(Ym)r x, mod p.
The mapping x -+ N(x) is a homomorphism of E* into A*. The Now not all elements of T have trace zero. Suppose x is an
kernel consists of these elements for which element of T such that S(x) = a # 0 in &; let 5, denote the residue
class of 6 which contains xm . Then S(Z,x/a) = 5, . Hence if Y, is
any integer of T in the residue class gmx/a,then S(Ym)E X, mod p.
From these remarks it follows that we can construct a unit E, in T
Thus the order of the kernel is < (qn - l)/(q - 1). such that
Hence
order of E*
Em = 1 + amYm= 1 mod pm and E, = NE, mod pm+l.
number of images obtained =
order of kernel 2 4 - 1 .
The theorem now follows easily. We have
Since R* contains only q - 1 elements, the equality sign must
NEo mod p; -!.- -
-
hold. Hence every element of &* is a norm. E 3
NEo - '
Theorem 2: If T I k is an unramified extension, then every Then we construct a unit El 1 mod p such that
unit in k is the norm of some unit in T.
€1 -
el = NEl mod p2; -
NEl - E2 '
Proof: Let E be a given unit in k.
By the preceding lemma, the residue class of A containing E
is the norm of a residue class in T;this residue class will contain Similarly we construct a unit E2 r 1 mod p2 such that
a unit Eo . Since the formation of the norm in T 1 & is the same as
in T I k, we see that E 3 NEo mod p. Hence CINE, is a unit el , e2 3 NE2 mod pa,
and 3 1 mod p. and so on.
130 7. THE FIRST AND SECOND INEQUALITIES 3. THE FIRST INEQUALITY 131
Let p, rr be the prime ideal and a prime in k. First we consider (E: vl). Since
Let Q,l7be the prime ideal and a prime in K. v1 = plNE 3 p1rz,
Let II, be an element of K in Vs;i.e. ord 17, 2 s.
Let j3, be the generic element of k which is r 1 mod n. we have
Let v, be the generic element of k of the form v, = &NE (hence (€ : VJ < (€ : plE1).
V, E N E mod pn: vn is a norm residue mod pn).
Finally, we denote the index of a group G, in Gl by (GI : G2). Mapping the units E into their residue classes modulo p , and
First we prove the group-theoretical applying the lemma, we have
In general, if $,(a) is a polynomial of the type described, so is where 3 is the different. Let 3 = 'pm;we have shown earlier how m
< <
oi$,(u) for all indices i (0 i 1 - 1). For v < I, all the ai$,(u) may be calculated. Then
are distinct. Indeed, if ai+,(o) = aA$,(a), we have ai-j$,(u) = $,(a).
Let k be the minimum exponent such that ok$,(a) = $,(a); since s ( F ) = pr 0 'p8"-1r c D ,d $D
vfm-(l+l)c
S ( p ) = pr e p-'S((PL) = o and p-('+l S('P" # 0 This means that T / I, and hence, since I is a prime, I = p.
e S ( P - ~ D '=
~ ~o ) and S(p-(?+l)D'p8)# o We now consider the three cases in turn.
e S(D(PL-lr) C o
+ 'pa-1r C 3-1
and
and
S(D!$P-(T+l)l) 4o
'pa- (r+l)Z 4 B-l,
Case I: (n +
1) (I - 1) > m.
Letusdefines=(n+ 1 ) l - m - 1.
140 7. THE FIRST AND SECOND INEQUALITIES 5. THE SECOND INEQUALITY CONCLUDED 141
Then s n + 1; hence When I is not equal to the characteristic p of the residue class
N(P8 = pS C pn+l. field, this result holds for all n 1. Thus
Also, (E :NE) = (E:v,) (v, :NE) = ( E : v,).
m+s=(n+ 1)l- 1;
hence
We have already proved that when I # p, (E : v,) < I, and hence
( a : N A ) = ( E : NE) < I.
and Thus we have proved the second inequality in this case.
For cases 2 and 3 we have I = p.
Case 2: (n + 1) (1 - 1) < m.
Thus Then
S((PS)= pn and S ( p + l ) = pn+l. (n+l)(I-1)+1 =(n+ 1)l-n<m, and (n+ 1)1<m+n.
Hence there is an element 17, with ordinal exactly s such that Hence
S(l7,) = e r n . If x is an integer of k, we have
Every element Pn may be expressed as 1 EXT"; hence every+ On the other hand, N('pn) = pn. Hence if 17,is any element of p,
is congruent to the norm of a unit modulo pn+l. Now and x is any integer of k, we have
and hence lies in the group pn+,NE. 5 = pno+l is called the conductor of the extension, and we see that
It follows that
4
@n : Pn+lNE) = -
r < 1;
where 3 is the different.
We have now proved the second inequality for the case I =pa
For we have
(E :vN) = (E: vl) (vl :v2) "' (vN-1 : vN).
When I = p,
(E : vl) = 1.
1. THE TEMPORARY SYMBOL
Then
then f ( ~ E
) k, for
But
since
Hence
Hence
[f(.)lp = n
mc
aw = JJa,., =
EG
f(7).
and define
Now as a runs through a complete system of coset representatives,
so does &; hence
We shall show that d,,, is a cocycle for ( K O ,G/H)
Thus we have
(2) Let KObe any subfield of K , not necessarily normal. Let us (4) I n order to describe the fourth important property of
write as before, G = U (TH. our symbol [(c,K I k ) / ~we
] must first introduce a group-theoretical
By the symbol ResKo(c) we shall mean the equivalence class of notion. Let G be a group, H a subgroup of finite index; let G',
cocycles obtained by restricting to H the subscripts of each a,,, H' be the commutator subgroups of G and H respectively.
in c. Let T be an element of H ; then we can form the symbol Let us choose fixed representatives ai for the cosets of G
modulo H : G = U Ha,; define 6 = ad for every element a E H o d .
Consider the element ~ ~ r o i 7where
-l T is any element of G ; since
-
Let a , ~ - l= a,; as i runs through all possible indices, so does m.
(3) Let h be an isomorphic map of K onto K" under which k We have ad+ E H a , , hence a, E Hu,T, and so u,7 = a, Hence,.
is mapped onto kL. If c is an element of & ( K ) represented by finally,
a,,, , we define the element c q n &(K" to be the class of cocycles V*(T)= r ]:U ~ T U ~ T - '=H V(T).
v
'
represented by a:,, = bAoL-l,LTA-l. It is easily seen that Om
Thus we may define the transfer by using either left or right coset
representatives.
1 50 8. THE NORM RESIDUE SYMBOL 1. THE TEMPORARY SYMBOL
It is fairly clear that the transfer is a homomorphic map of G But D yu;~,,G-I lies in NKkK0.Hence
into H / H f . For
since cosets modulo H' are commutative. Thus the kernel under
the transfer map contains the commutator subgroup G'; hence the But 17,a~~i,,,, . Hence
lies in NKIKo
transfer defines a homomorphism from GIG' into H / H f .
Now let G be the Galois group of the extension K 1 k, and let H
be the subgroup corresponding to an intermediate field K O .We
shall study the symbol
we have immediately
Thus when K I k is cyclic of order n, a/NA is cyclic of order n. and we now write c as c,(T, I k). Obviously the invariant r can be
Let c be a generator of B,(K, G); then, if o is a generator of G, any one of the fractions 0, lln, 2/n, ..., (n - I)/n.
Proof: Let a be the canonical generator for the group G of By the previous theorem, we need not refer to the extension field
Tns I k. Let H be the subgroup (1, on, -.., corresponding explicitly, provided its degree is divisible by the denominator of r;
to Tn . Then the group of Tn I k is (H, uH, on-lH), and the hence we can write the element simply as c,(k). I t is easy to show
canonical generator is obviously OH. that
Now the element c,(Tn I k) of sj,(Tn, GIH) can be represented 4 4 cdk) = cr+,(k).
by a cocycle
Hence we have proved Theorem 5 of Chapter 7, namely that
4i2(C,r)is isomorphic to the additive group of rational numbers
modulo 1. Furthermore, we have now given a description of the
where a E k. Then isomorphic mapping between the two groups.
Before introducing the norm residue symbol we have one more
theorem to prove.
Consider next the cocycle for (T,, , G), defined by writing Proof: (1) First let E = Tf be an unramified extension of
degree f. Let Tn be a further unramified extension, of degree n,
such that c,(k) splits on Tn; that is to say, the denominator of r
divides n, and c, may be regarded as an element of sj2(Tn).
This defines an element c of sj2(Tn,, G), for which we have Let a be the canonical generator of Tn I k. Then c,(k) may be
represented by a cocycle
where
(2) Next we consider the case where E / k is a totally ramified
extension of degree e. Let T, be an unramified extension of k, ord, a
a ~ k and --
n
= r mod 1.
of degree n, such that c,(k) splits on T, . Let C be the separable
part of the algebraic closure of k, I' its Galois group, and H and U
The restriction of c,(k) to E is then represented by the cocycle
the subgroups corresponding to E and T, respectively. Let the
canonical generator of the group of T, / k be aU. When we con- -
a o v u ~ ,-
~ ua o~ v ( ~ n, o~P)( u n H )
sidered this situation earlier (Theorem 3), we saw that there is no
loss of generality if we take a E H , in which case
which may be regarded as a cocycle for (ET, I E). Then
, = a.
We have seen also that ETn I E is an unramified extension of
degree n; the cyclic group of this extension is obviously u(U n H).
Hence the invariant of Res, (c,(k)) is given by
corresponding to K and KOrespectively. This is consistent with our previous definition, for if E is normal
our definition is identical with Property 1 above.
( 1 ) If KOI k is normal, of degree m, and T E r , we have
We must now show that the new symbol is well-defined, i.e.
that it is independent of the choice of K .
Consider first another normal extension K' containing K . Then
Hence since N K I kC N E l k.
Next, if K and K' are any normal extensions, each containing E,
we have
KK' ( k Kt ( k
(2) If KOI k is any extension, and T E Ho , we have (T)K I k NE, k = (PT-) NE k = NE k -
Hence (E I k / ~is) well-defined.
The mapping T -+ (E I KIT) is obviously a homomorphism from
the Galois group r of C I k into the group cr/N,,,A. We now list
the properties of this general norm residue symbol and the map-
ping it defines.
For let K be any normal field containing E. We have Thus 7 acts on the residue class field E = TIby sending
CY where m = ord -
+ CYQ' = dm,
("1 .
(2) Let T be an element in the subgroup corresponding to E, . This is well-defined since orq' = a.
Then Our next task is to prove
(4) The property of the norm residue symbol involving the Proof: Let a be a given element of k, aNEzlk its coset modulo
transfer does not necessarily hold for non-normal extensions. NEllk.We have to construct an element 7 E r which is mapped
onto this coset. We can, by hypothesis, find an element 7, such that
( 5 ) If K I k is a cyclic extension, the mapping
Then let
is one-to-one and onto between the Galois group G of K I k and
the factor group ol/NKlkA.
(6) Let E I k be an arbitrary finite extension, T j its inertia
field. Let T be an element of I'; if T acts on Tt= E (and hence on Multiplying by the group NEllkwe obtain
Tf)like a%,where a is the canonical generator for the Galois group
of TfI A, we define the ordinal of 7 to be
ord r = i.
Hence alb E NEllk;say alb = NEllk(al)where arl E El . By hypoth-
Now, by property 1, esis, we can find an element 7, such that
T (k T, I k
(
Elk
), = ( ) =(
O'd'
) = +rd'N~,lk .
Take norms from El to k,
-
Hence we have
CHAPTER NINE
hence r ' H C ro. Now let Ea be the maximal abelian subfield of
E : Ea = A n E, and Ea corresponds to the group I"H. By The Existence Theorem
Theorem 5 we have
with one component for each rational prime. We impose the usual
165
166 9. THE EXISTENCE THEOREM 2. THE INFINITE PRODUCT SPACE f 167
Cartesian product topology on 1; hence, by Tychonoff's Theorem, We have to find an element r of I lying in the "f-neighborhood"
f is compact. of m; i.e. we must find a rational integer r such that
I forms a ring under componentwise addition and multiplication,
and it is easily verified that the ring operations are continuous in r = mPimod pli .
the product topology. A fundamental system of neighborhoods of
zero in f is given by the ideals f1,where f E I. For suppose
But, by the Chinese Remainder Theorem, this set of simultaneous
congruences always possesses a solution. Hence our theorem is
proved.
then ff consists of all vectors m with m, 5 fIp; fIp= I, if p does not
divide f, while fIpi= piviIpi. Thus fI describes the Tychonoff Theorem 2: The closed ideals of I are principal ideals.
neighborhood of zero given by the local neighborhoods piuiIpi
(i = 1, --.,r). Proof: Let a be a closed ideal of I.
If m is any vector of 1, the index of mf in I is the product of the Then a 3 alp; alp is an ideal in I,, which is a principal ideal
indices of mpIp in I, . Hence this index is finite only if m, # 0 ring. Hence alp = mpIp !here m, is either zero or a prime power
for all p, and m, = I for all but a finite number of p. It follows that pv. It follows that a C mI where m = (..., m, , On the other
m . 0 ) .
The usual rules for exponentiation may be easily verified: Let r be any element of G; let TV be a neighborhood of T:
V is a subgroup of G which leaves fixed a certain finite subfield E.
Hence every element of rV, especially 7, acts on E like an element
of its Galois group, i.e. like some power uv of o.
It follows that T - ~ Uleaves
~ E fixed, i.e. r-lov E V; hence ovE TV.
Thus H is everywhere dense in G; hence R = (a) = G.
Since the map o + omis continuous from 1' to G, and I is compact,
For our second application let k be a complete field with discrete
its image is closed, and hence contains (a); on the other hand, all
valuation and finite residue class field of characteristic p. The
the om lie in (a), so the image space is precisely (0). The kernel
of the map is the inverse image of the identity; hence it is a closed
ideal in 1'. Since closed ideals are principal, the kernel is of the form
d1', where d = (ma-, d, , ...), d, = pvp; od = 1, and ov= 1 + v I d.
We call d the period of a, and we have (a) Ild1'.
-
multiplicative group k* of non-zero elements is a topological
group in which the fundamental system of neighborhoods is given
by the subgroups U, of elements a 1 mod pr (r 2 1). Let Uo
be the group of all units; the subgroups Ur are all of finite index
in Uo , and form a fundamental system for Uo . U, is complete in
We may describe the mapping o -t om more explicitly.
this topology, and hence compact.
Case 1: G is a finite group. We shall apply the technique developed above to describe the
In this case G is discrete, and (o) is the ordinary cyclic group group (6) where e is a unit in Ul .
generated by o. Since (o) r1'/d1', it follows that d lies in I , and is First we notice that if E lies in Ul , then ep" lies in Uv+, , and
the ordinary period of o; hence om = 1 o d I m. Since I is every-
-
hence epV+ 1 as Y -+a. This result follows from the fact that if E
where dense in 1, given any m there exists a rational integer r lies in Uv, we can write
such that r m mod d1'; then om = or.
Case 2: G is any group.
Let V be a neighborhood of the identity. Then omVis a continu-
Then
ous extension of ordinary exponentiation in the factor group G/V.
This group is finite; hence omV = urVv,where Y,EI and m r r,
mod d v I (d, denotes the ordinary period of o in G/V). Since
omE o r V v for all V, we see that om E fl, orVv.Since the topology
which lies in UV+,since rr divides p. Next we remark that if m €1
in G is assumed to be HausdorfT, we have finally om = fl, orVv.
has coordinate 0 at p, and has arbitrary coordinates elsewhere,
We shall now make two important applications of the technique
we have just developed.
First let k be a finite field containing q elements. Let 9 be the
algebraic closure of k, G the Galois group of 9/k. If E I k is any
finite extension, E I k is normal, and has a cyclic Galois group
In particular, I -
then em = 1. For let j = pvc, where (p, c) = 1; then we may find
an integer I E I lying in a j-neighborhood of m, i.e. I = m mod j.
0 modpv; hence eqies in UV+,. As j becomes
"highly divisible" and hence v +a, el -+em; but by our previous
remark el-+ 1. Hence our result is proved. From this it follows
generated by the mapping o : a -+an. This mapping u may be
that the period ideal of ( E ) will be generated by an element
considered as an automorphism of 9. d = (..., 1, l,pv, 1, 1, -.-) where v may be infinite, i.e. pv= 0.
We now show that v is finite if and only if l is a pv-th root of
Theorem 3: G = (0).
unity. Clearly
Proof: Let H be the ordinary cyclic subgroup generated by a;
we shall show that H is everywhere dense in G.
170 9. THE EXISTENCE THEOREM 3. THE NEW TOPOLOGY IN k* 171
lies in the period ideal d1; hence epv = 1. On the other hand, for U, . Clearly U is not the whole of V, since Uo is not of finite index
any E we have in k*:
group &.Since n has period zero modulo Uo , the cosets nVUo(V€1) We may therefore take as a fundamental system of neighborhoods
are all distinct, and the set k, defined by of the identity the subgroups
4. The Norm Group and Norm Residue Symbol We must show that this intersection is non-empty; this follows
for Infinite Extensions from the compactness of our space &. For the cosets ( E I k / ~ have
)
the finite intersection property: if El , E2 , E, are finite exten-
a * - ,
We notice that & has lost the field structure of k, and is now sions of k, let
merely a multiplicative group. I t is clear, however, that a field
isomorphism of k which preserves the valuation can be extended
E = E,E2 ... I&;
to give a group isomorphism of &. Let E 1 k be a finite extension, then
and let oi be the isomorphic maps of E into the algebraic closure
of k; then each ai can be extended to give a map of .?? onto KE.
We can therefore define the norm of an element & in .?? to be
T o find the kernel we must determine the set of T such that Conversely, let a be an element of k. We form the inverse image
( K I KIT) = NKIk. For such an element T, we observe that of a under the mapping NEI,, where E is a finite extension con-
NKIk C (E I KIT) for every finite subfield E. Multiplying by the taining k; this consists of elements AE such that NElkAE = a.
norm group N E l k ,we obtain Since a is a closed set and NE,, is a continuous mapping, the set
of all AE is closed, and hence compact, in I?.
The set NEIKJAE)is the continuous image of a compact set,
and hence is compact in KO; a = NKOlk(NELKJAE)). For different
fields E the sets NEIKJAE)have the finite intersection property;
Hence (E I KIT) = N E l k .It follows that T lies in the kernel HEY indeed
for every finite subfield E; the converse is clearly true also. Hence
the kernel of our map is nE HEP. This certainly contains HKY. E, 3 *NE~IE~(A an~ )A E ,~
is E
On the other hand, if we interpret H K P , HErfas the groups
corresponding to the maximal abelian subfields of K, E respectively,
we see at once that
Hence there is an element B in nE
NEIKo(AE) C NKIKo , and
NKoIk(B) # 0.This completes the proof.
We can now show that the properties enjoyed by the norm
Thus the kernel is HKrf. residue symbol for finite extensions are carried over to this new
Next we require the following result on the transitivity of the symbol.
norm group. (I) Let k C KOC K where KO is an arbitrary intermediate
field. Then
Theorem 7: Let K I k be any extension, KO a finite subfield
of K. Then
ECK
N K~ N C JNEIR .
I KIK for every E' C KO
Hence
Taking the intersection over all such E, we obtain
178 9. THE EXISTENCE THEOREM 4. THE NORM GROUP AND NORM RESIDUE SYMBOL 179
But ( K I k/r)NKolkand (KO/ k/r) are both cosets of modulo Now we have
NKolk;hence they are equal, and we have the result
ECT ECT
Thus we have
for all finite extensions E between KOand K.
Hence
ord (T)K l k = m = ord r .
K 1 KO
)7( nE
c such (7)
Elk
=
Klk
(--) .
Let A be the maximal abelian extension of k; let G be its Galois
Now ( K I KO/r)is a coset of KOmodulo NKIKo; by the transitivity of group. Let K I k be any abelian extension, corresponding to the
the norm NKoIk(K I KO/r)is a coset of 21 modulo N K l k .SO also is subgroup H of G. We know that the mapping of G into KINKlk
( K I KIT); hence we have the relation given by
(3) Again let KO be a finite extension. Then, replacing K by is an onto homomorphism, with kernel H. Thus the mapping
KKo in the result just obtained we have defines an onto isomorphism from the Galois group of K 1 k
(which consists of the cosets of G modulo H) onto &/N,~,. We
now assert that this is an isomorphism not only algebraically, but
also topologically; i.e. that the mapping is bicontinuous.
Multiplying by the norm group N K l kand applying the first result Let HE be a neighborhood of the identity in the Galois group;
we have HE leaves fixed a subfield E. Then
(4) Let K I k be an arbitrary extension, T the inertia field. since HE is the whole Galois group of K I E, and hence
The group of T I k is isomorphic to the group of the residue class ( K I E/HE)= e.Now NElkis an open subgroup of finite index
field T I which consists of symbolic powers of the canonical in A, and hence is a neighborhood of the identity in the new topo-
generator o:a + aq. If 7 acts on T(=E) like am(m E I), we define logy. Thus we have established that the inverse map, from K / N ~ ~ ~
ord T = m. to the Galois group is continuous. But this is a ( I , 1 ) continuous
180 9. THE EXISTENCE THEOREM
map from the compact space &/N,,, to the Hausdorff space G. Conversely, let us examine the polynomials in k[x] of this form;
Hence, by a well-known theorem in topology, the mapping is a so let f(x) = x P - x - a. Let K be the a splitting field of f(x), and
homeomorphism. let or be a root. Then oiP - a = a, and hence
Let E denote the generic finite subfield of KM; let HE be the Case I : p is not the characteristic of k.
Galois group of K I E. Clearly H, C 0 HE.On the other hand, if
TE nE H E , then T leaves every finite subfield E fixed; but every
element of K, lies in some finite subfield, hence T leaves K M fixed.
Let k, = k(5), where 5 is ap-th root of unity. Since
is the norm group N,,,, . Clearly the construction leads to a our assumption on a, a is also a norm for this extension. Hence y
unique abelian subfield K M , since its HMis given by
is a norm for the extension k ( 4 - cry) 1 k.
-
9
Corollary: If M and N are two closed subgroups containing (k(.ir/;;) : k ) = (k* :N k & j l k ) = 1 .
NKlk, corresponding to subfields K, and K, , then
Thus A(&) = k; i.e. a is a p-th power of an element of k.
(1) M n N corresponds to the compositum KMKN,
(2) MN corresponds to the intersection K M nK, . Case 2: p is the characteristic of k.
Since a is a unit which is a norm for every finite extension, in
We shall use the first part of this Corollary in the particular it is a norm for every cyclic extension of degree p.
Proof of Part 2: We must show that if a is an element of k Let q = pS be the number of elements in the residue class field
which lies in the norm group NEIkof every finite extension E I k, of k; then or may be written in the form
then a = 1.
First we can prove that a is a unit in k. For if a E N E I k where
, E
is the unramified extension of degree f, we have f I ord a. Since Hence if is a p-th power, so is a. But we have
this holds for every positive integer f, we must have ord a = 0,
i.e. a is a unit. ar=orppmodp
Next we prove that for any prime p, a is a p-th power. We have and, of course,
to distinguish two cases: or E aq mod p.
184 9. THE EXISTENCE THEOREM
Hence IS = 1 mod p ; and clearly /I is a norm from every extension. These equations generate respectively the fields
There is therefore no loss of generality if we assume to start with
that a =-- 1 mod p.
Suppose now that it is possible, for every positive integer n,
to express ol in the form
a. = 13:yn,
where
y, = 1 mod pn.
Then y, -t 1, as n +GO; and hence /I,p -+ a. But since p is the
characteristic of k the convergence of the sequence {p,p) entails
that of {IS,), say /I, -t /3. Then a = P P and our assertion is proved.
We have therefore to show that for every n we can express ol as
K , is contained in the compositum
a = /3,py, where y, = 1 mod pn . Suppose that this is not possible;
then there is a maximal n for which it is possible. The corres-
ponding y, is, like a, a norm in all cyclic p-extensions, and is of
the form
+
y,, = 1 A+, We see that 8/(1 - y,) E N K I I ksimilarly
;
But by assumption y, E N K s l khence
;
By,/(l - y,) E NKSlk.
where E is any finite extension, we have a = N,,$ where /3 E N C I E . where E runs through all finite subfields of C. We can obviously
For any prime p we can express a as a = yp; by the same argu- restrict these fields E to be finite normal extensions K of k, con-
ment we have /3 = Sp. Then taining K O . Then
YZ nNEIk = Z(E)
7. Uniqueness of the N o r m Residue Symbol
is non-empty and compact. Clearly the family {Z(E)), as E ranges
over all finite extensions, has the finite intersection property. We now sum up our results so far:
Hence the total intersection is non-empty. That is to say, there Let A be the maximal abelian extension of k. Then we have
is ap-th root of unity 5, in k such that shown the existence of a mapping T -t (A I KIT) with the following
properties:
(I) The mapping is an isomorphism, both algebraic and
topological,
- of the Galois group of A I k onto k.
Hence a = yP = yOp, with yo E NClk . We may now repeat our -
We contend that these three properties specify the mapping Hence if a = errv is any element of k,
completely. So let 4 be a mapping of the Galois group of A I k
onto such that:
( I ) 4 is both an isomorphism and a homeomorphism.
(2) If M is a closed subgroup of k, K M the fixed field under which proves our assertion that ( A I KIT) is uniquely determined
+-l(M), then M = NKMllc . by the three properties listed above.
(3) ord r = ord 4(r).
We shall show that $(r)= ( A I KIT).
Certainly if
In particular, if a = T, we have
1. Fields with Perfect Residue Class Field Thus the representatives ci are multiplicatively isomorphic to the
residue classes of k. Further, the ci are uniquely determined by this
Let k be a complete field under a non-archimedean valuation; property; for let &, p,
... be another set with the same property.
let R be its residue class field. We consider the case in which A
is perfect and of characteristic p > 0; this certainly includes the
case we have been discussing in the previous three chapters, since
Then
- -
&. = lirn ([alp-')PY= lirn ([alp-")PV= lim & = &.
all finite fields are perfect. We make a slight change in our usual
notation: We now make the additional assumption that the representatives
6 form a field. We shall show that this field must be isomorphic to A.
a shall denote the generic element of k.
+p= 7, and let a , /3, y be elements of k such that
-
For let G
[a] shall denote the generic element of h; namely the residue a E [a], /3 E [PI, y E [y]. Then a r G, /3 r f?, y = 7 mod p ; hence
class to which a belongs. a + +
j3 y mod p, and therefore [a] [/I] = [y]. I t follows that
We shall construct in k a particular system of representatives, to the representatives &. can form a field only if k has the same charac-
be denoted by G, of the residue classes [a]. teristic as K. On the other hand, suppose k has characteristic p.
First we notice that if a = /3 mod pv, then ap = ,l3p mod pV+l. Then
+
For if a = /3 y r V , then
[a] + @] = a-
+ p = limYFv,
where
Now consider the residue class [ a ] ;since is perfect, the residue
class [alp-" is well-defined. Let a , be any element of [alp-", and
consider the sequence {a:'). We have a , = a::, mod p, so that
pV - pv+p
f f v = a'+P mod p v + p ; hence {a:') is a Cauchy sequence. Since
Thus we may write y , = a , + /3, where a, E [alp-", /?,E [/3]p-';
hence
all the terms of this sequence lie in the residue class [a] so does its
limit; we denote this limit by G.
The limit & is independent of the choice of the elements a,;
for if is another such sequence with limit &', we have
99' -
a, = a:' mod pv,and hence 6 = &'. We choose G as representative We can now sum up our discussion by giving a precise description
in k of the residue class [a]. of fields of characteristicp with perfect residue class field. We recall
190
192 10. APPLICATIONS AND ILLUSTRATIONS 2. THE NORM RESIDUE SYMBOL 193
that if T is a prime element in k, then k consists of all power series Hence, since k is complete, it contains a subfield isomorhic to the
C C?(~)T". Hence we have p-adic numbers R, . k also contains the (q - 1)-th roots of unity;
hence k contains k ( 5 ) where ( is a primitive (q - 1)-th root. Let T
Theorem 1 : Fields of characteristic p > 0 with perfect be a prime element in k; then k consists of all elements of the form
residue class field are isomorphic to fields of formal power series
over the residue class field as field of constants.
We now restrict ourselves to the case in which the residue class
field K is finite, containing q = pr elements.
Let p = me. Then we may write
Theorem 2: k contains the (q - 1)-st roots of unity, and no
other roots of unity with period prime top.
Proof: The non-zero elements [a] of k form a cyclic group of
order q - 1. Hence the representatives (Y in k also form a cyclic
group of order q - 1; these representatives are therefore the i.e. every element a Ek may be expressed as
(q - 1)-st roots of unity. This proves the first assertion of our s-1
theorem. a= d m (d,, E R,(5)).
Suppose, next, that 5 is a primitive m-th root of unity in k, u=O
where (m,p) = 1. Then there is a positive integer 1 such that
I Hence k is a finite extension of R,: k = R,((, T).
q E 1 mod m, i.e. (g = 5. Suppose 5 lies in the residue class [a];
the representative of [a] is given by
6 = lim a:"; % any element of .
[ol]pv 2. The N o r m Residue Symbol
for Certain Power Series Fields
Clearly we obtain the same limit if we restrict ourselves to the
= {a?} where a,, E [a]q-'f We may obviously
subsequence(a~~,l'} Let k be the field of formal power series over a field F of charac-
choose or, = 5@. teristic p > 0; let F, be the prime field. If C is the separable part
Hence of the algebraic closure of k, r the Galois group of C I k, then the
= iim ( ~ Q - ~ W ) Q ' , , = 5. mapping T -t (C I k / ~ is) a (I, 1) correspondence between r and k.
We denote the inverse mapping by 4, i.e., if a = (C I k / ~ ) ,then
Now (Y is an element of a cyclic group of order (q - 1). Hence
+(a) = T . We study expressions of the form
5q-I = 1, i.e. m divides (q - I).
This completes the proof.
The structure of complete fields k of characteristic zero with
perfect residue class fields k of characteristic p > 0 has been
investigated by Witt (Crelle's Journal, 176 (1936), p. 126). We where we choose the same value for (xylg) for both terms. Clearly
consider here only the case in which the residue class field is if (xyl p), is another value,
finite, containing q = pf elements.
k contains a subfield isomorphic to the rational numbers;
and the valuation of k induces the p-adic valuation on this subfield.
194 10. APPLICATIONS AND ILLUSTRATIONS 2. THE NORM RESIDUE SYMBOL
where v is an element in the prime field. The expression We have, for every u E k,
lies in the prime field, since both terms are roots of the equation
tp- 5 = xy, and these roots differ only by elements of the prime
field.
Now let x and y be fixed elements of k, u any element of k.
Consider the mapping
= f uydz + f uady,
since $uydz lies in the prime field, and hence is unaffected by
We shall denote this map by xdy and call it a differential. The image +w
of u under the differential xdy will be denoted by $uxdy, i.e.
xdy = xldyl y,9 f uxdy = f uxldyl for all r E k. From this result we deduce at once the formulas
dyP = 0,
The sum of two differentials is defined by the relation dy% =y%h.
This follows from the linearity of the operator l / g and the fact
that +(y) is an isomorphism. Since
we must show that (y/p)d(Y)= ( y l p ) . This is obvious if y / p lies Set 6 = (clg);since c is an element of F, F(6) I F is a cyclic exten-
in k. If y / p = 8 is not in k, 8 satisfies the irreducible equation sions of the residue class field. Hence k(6) I k is an unramified
f* - 5 - y = 0; hence y E N k ( e ) ,., From the properties of the extension. Thus
norm residue symbol we deduce that 4 ( y ) acts like the identity on
k(8); hence 4; dy = 0 in this case also.
I n particular we have 4 d(yz) = 0, so $ ydz = - 4; xdy. Then
Thus the differential map ydz is linear in its arguments. We can now raise this result to the q-th power; SFlF0(c)
remains
We now evaluate some special "integrals". unaltered. Hence
,
f cyndr = f (cym)pr,
d~
=f cy,dy using (1) above Hence (xy/g) E k, and so (xyl p)+(Y)= (xyl p). This proves the
required result.
We notice that this result implies the continuity of the integral
= f d ( -mye m ) =O. in both its arguments, for
(b) If n = 0,
(4) If 1 y 1 c 1, and x is developed as a power series in y I n particular, if v and y are any elements of k, and t is a uniformi-
with coefficients in F: x = Z: cVyY,
then zing parameter, we have
d ~dt.
f vdy = f v 2
Since Z: cVyvconverges, there exists an index N such that
Specializing v to be x, we obtain
Thus
Rewriting these integrals, we obtain
We may call c-, the residue of x with respect to y, and write This describes the action of $(y) on the cyclic p-extensions.
c-, = Res, x. We shall now discuss the conditions under which a differential
I n particular, if y = t is a uniformizing parameter, and v is any ydx is zero. Clearly if y = 0, then ydx = 0, so we shall assume
element of k, we have $vdt = S,,,o(Res, a), since ord t = 1. y # 0. Let t be a uniformizing parameter, and write x = C cVtu.
Again let 1 y 1 < 1, and let x be written as X cVyY. Then we Then
define formally the derivative dxldy to be the series Z: vc,y+l. We
shall show that dx = (dxldy) dy.
Consider
Now ydx = 0 means that $ uydx = 0 for all u E k. We may take
u = atT/y(a E F). Then
zero). Hence x contains only powers of t*, and since F is perfect, If y and z are any elements of k, and dxldt # 0, we may define
this implies that x is a p-th power.
We can now give the condition for y to be a norm for all cyclic
p-extensions k(x/p) I k. For y is a norm for k(x/p) I k e +(y) acts
like the identity on (xlp) o $ xdy = 0. Thus if y is a norm for all
such extensions, then $xdy = 0 for all x; hence dy = 0, and so This clearly does not depend on the choice of the parameter t.
y is a p-th power. We define the residue of y = C cvtvwith respect to t to be
that is, P(a2 ,a , , .-.)is a universal polynomial of the a, with rational i.e. suppose there are two possible generators a, p such that
integer coefficients. P(a2 ,a,, is thus the same for all fields,
- - a )
ap-a=@, 8"--/3=b.
and contains only a finite number of the coefficients a,.
But we have just seen that for fields of characteristic zero this We may choose the generator o of the Galois group such that
polynomial is the zero polynomial. Hence it is the zero polynomial
also in fields of characteristic p > 0. This completes the proof.
To rid ourselves of the dependence of the residue on the uniform-
izing parameter, we introduce the notion of a diferential ydz; Then UP = /3 + r, where 0 <r < p - 1, and so
this is purely formal. We say that ydz = yldx, if and only if
dzldz, = yl/y. We now define the residue of a differential:
dz dt
Res, (ydz) = Rest We have
( dl)
= Res tl y - = Restl (ydz).
204 10. APPLICATIONS AND ILLUSTRATIONS
of an extension k(o/p) j k where is a constant. An extension of which is also an integer of K. Hence (1 - <)/(I - 5') is a unit;
this type, however, is unramified, and so f = = D. so 11 - 5 1 = I 1 - 5' 1. This shows that
Now if (.and 5. are two primitivepr-th roots of unity, we have Repeating the process, we obtain
1 + ups" = (1 + ups), (I + bpS+l)"(1 + CP"+~),
and so on; finally we arrive at the result
which is an integer of K. (1 + upsf1) = (1 + alps)*,
Since we can write 5 = (5;)~for some p, we have
and hence Us+, = Usp. By iteration we obtain
208 10. APPLICATIONS AND ILLUSTRATIONS 6. COMPUTATION OF THE INDEX (a:an) 209
Hence we may write Let k be a complete field, either (1) archimedean, or (2) non-
1 - ups = (1 + apS)pl (1 + bp8+l). archimedean with finite residue class field. We define normal
forms for the valuation in k as follows:
By repetition of this process we finally reach the result that Case I : (a) k is the field of real numbers. Let the normal
u%1=u,. Hence we have valuation be the ordinary absolute value.
(b) k is the field of complex numbers. Let the normal valuation
be the square of the ordinary absolute value.
Hence Ur = NKIkUl,and therefore U,V , But . Case 2: If the residue class field of k contains q elements, we
(U : U,) = &') = (U : V,), define the normal valuation by prescribing I .rr 1 = l/q.
For use in a later chapter we prove the following result:
and so U, = V , .
When p = 2 we notice that Theorem 5: Let k be a field of the type described above.
If n is prime to the characteristic of k, and if all the n-th roots of
unity lie in k, then (a : an) = n2/1n I where I n 1 is the normal
since a number which is congruent to 1 mod 4 is congruent to 1 valuation.
or 5 mod. 8. Hence we have
Proof: We must consider the two cases separately.
Case I : k archimedean.
If k is the real field, the only possible values for n are 1 and 2
Since u:-' C Vr , by the same argument as we used when p is odd, (the real field contains only the first and second roots of unity).
it will follow that U pC Vr if we can show that 5"'- is a norm. I t We see at once that
+
is easily verified that 52r-2= NKIk(2 2). Hence U pC V,., and 12
( a : al) = 1 = -
it follows as before that U , = Vr . 111'
In all cases, then, we have
If k is the complex field, n may have any value, and every element
If we adjoin all pr-th roots of unity, we obtain an extension which of k is an n-th power. Hence
we may call KD,, for which the norm group is UVElpv,since
n, u, = 1.
210 10. APPLICATIONS AND ILLUSTRATIONS 6. COMPUTATION OF THE INDEX (a: an)
Hence
,
in X x Y, we have
We may therefore regard the elements of X x , Y as being those
of V, where equality is now defined to be congruence modulo N.
Hence in X x k Y we have for all linear maps 1of X; hence X$ = 0.
This completes the proof.
for all maps I and A, our second assertion is proved. We may construct maps li ,Aj such that l,(xv) = a,, ,Ai(y,) = aiP .
From these remarks it follows that we may operate formally Hence
with the pairs (x, y) as if they were products xy-provided we c,,l,(x) Xj(y)= ci* = 0.
21 8 XI. PREPARATIONS FOR THE GLOBAL THEORY 3. COMPOSITE EXTENSIONS 219
Corollary: If X and Y have finite k-dimension, then so does a pair of isomorphic mappings a, T which have the same effect
X x, Y; in fact, on k, and which map A and B respectively into some field F. The
composite extension is then the smallest subfield of F which
contains both aA and TB; we denote this subfield by aA TB.
Suppose now that X and Y are rings with unit elements, con- In general UA . TB will not be merely the product of oA and TB
taining k in their centers. We may introduce a multiplication opera- (i.e. the set of finite sums of products of elements from aA and
tion in the vector space V by defining TB); oA . TB will be the smallest subfield containing this product,
in fact its quotient field.
Two pairs of isomorphisms (a, T) and (a,, 7,) are said to be
and extending the definition to V by requiring that the distributive equivalent, or to yield equivalent composite extensions if there
law be satisfied. I t is easily verified that Y forms a ring under this .
exists an isomorphism h of aA TB onto olA . T,B such that
multiplication. Xu = u1 , AT = T, .
N is a two-sided ideal of this ring. For if 2 or,(x,, y,) EN, then There is a very intimate connection between these composite
Z: a,l(x,) h(y,) = 0 for all linear maps. Consider in particular the extensions and the Kronecker product A X, B which we shall
maps l(x) = Z'(ax), X(y) = A'(by), where l', A' are arbitrarily given now investigate. Suppose first we are given a composite extension
linear maps. We obtain defined by isomorphisms (a,7). Then we may map R = A X , B
2 % l1(axV)hl(by,) = 0 into aA TB by mapping
Multiply by ~(b,'), and sum over v, replacing a(#&,,) by T(&) where the fields B' are the finite subfields of B, it suffices to con-
(a = T on k); this yields sider the case where B / k is a finite extension. Let p be a prime
ideal of R = A x k B; then R' = R/p may be considered as an
integral domain of finite dimension over A. Suppose
sum of the fields R/pi as a space over A. If the degree By the same argument as above there are exactly mi1 distinct
maps A, and hence mi1 maps 7 . e uivalent to T~ . Thus XI mi1 = no ,
3.4
we have where the summation is restricted to the isomorphisms T, which
yield inequivalent composite extensions. Finally, since si ,< s, we
$mr=dim~/r)pi<(~:~)=n. have
i=l
T o show that there may exist fields A and B for which A x, B Let k be a field with a valuation, not necessarily complete, and
has a non-zero radical, we consider the case where k = Ip(x) let E be a finite extension of k.
(I, is the field with p elements), and let A = k(a), B = k(p) where Suppose first that we have obtained an extension of the valuation
a p = /3p = X. Then in the Kronecker product a - ,5l is clearly
of k to E. The completion I? of E under this valuation will contain
nilpotent: the completion h of k under the original valuation; I? also contains
(a - j?)" = a" - j?" = 0.
E, and hence the compositum E&.This field E&is a finite extension
Now let 2 be the algebraic closure of A, and restrict the iso- of &; hence (Theorem 2 of Chapter 2) it is complete. I t follows
morphisms T to be mappings of B into A. Certainly A contains &, that E& contains I?; hence E& = I?.
the algebraic closure of k. Let B, be the separable part of B ; On the other hand, if an extension to E is not yet known, we
may construct the algebraic closure C of & (any sufficiently high
no = deg (B, I k); n = nopS where p is the characteristic of k.
Then it is known from Galois Theory that there are precisely no finite extension would suffice); we can extend the valuation of KC.
distinct maps T of B into &. Hence there are no maps of B into A. Since C contains the algebraic closure of k, there exist isomorphic
If two of these maps T ~ T~, yield equivalent co~npositeextensions
maps a of E I k into C I k. The valuation of C induces a valuation
on aE which is an extension of the valuation of k. We may then
A . riB and A . T ~ Bthen
, A . T ~ is
B isomorphic to A . r j B under
an isomorphism X which leaves A fixed. Now A . T ~ B ,is in the define a valuation in E by writing I a I = I oa I for a E E. We notice
separable part of A . T ~ over
B A. Since B j B, is purely inseparable that the completion of aE will be oE . &.
of degree pS, A . T ~ Bis purely inseparable over R T ~ B ,with - There are several different maps of E into C, and we may ask
when two of these maps give rise to the same extended valuation
degree psi <pa. Thus A . riBO is precisely the separable part of
on E. So suppose a and T are maps of E into C which yield the same
A riB over A; if
valuation. Then TO-I is a map of oE onto T E which preserves the
deg (A riBO1 A) = m; , valuation of aE; this map can be extended to the completions of
224 XI. PREPARATIONS FOR THE GLOBAL THEORY
-
oE and TE, that is to the composita oE k and T E k. Since TU-1
is identity on k, this extension is identity on A. Hence if a and T
yield the same valuation on E, then they are equivalent.
Conversely, suppose a and T are equivalent; let h be the map of
oE . 6 onto T E such~ that h is identity on k and T = ha. Then o CHAPTER TWELVE
induces the valuation I a ,1 = I ua I and T induces the valuation
I a l2 = 1 TCY1 = 1 how I. But ua and hoar are conjugates over a Characterization of Fields by the
complete ground field 6; hence they have the same valuation-
Iorl1= Ia12.
Product Formula
Referring to our previous discussion, we see that there is exactly
one extension of the valuation of k to E for each prime ideal in the
Kronecker product 6 X, E. Furthermore if we call the degree of
oE . k over k the local degree, we see that the sum of the local
degrees for all extensions is not greater than the degree of E I k.
We saw in Chapter 1, Section 5, that the field of rational numbers
and fields of rational functions over arbitrary ground fields satisfy
a product formula ITp( a , 1 = 1 for all non-zero elements a. We
shall now study arbitrary fields with a product formula of this type.
More precisely, let k be a field satisfying
Axiom 1: There is a set 9-R of inequivalent non-trivial valuations
I ,1 of k such that for every non-zero element or of k, I a ,1 = 1
for all but a finite number of I ,I and n, I a ,1 = 1.
We denote by p the equivalence class of valuations defined
by I ;,I and we call p a prime of k. In this chapter I ,1 shall always
denote the special valuation in the equivalence class p which occurs
in the product formula of Axiom 1.
For each non-archimedean prime p in 9-R we may form a ring
o, of p-integers, consisting of those elements of k for which
<
I or ,1 1. The elements a for which I a ,1 < 1 form a prime
ideal of 0,; we shall denote this ideal by p-no confusion will arise
from this notation. Finally we denote the residue classjeldat p by K p :
(I) rn contains no archimedean prime. Then k, is a field, (1) If q is archimedean, and the completion of k under p is
for if j a l p = I p l p = l for all p ~ m ,then I a f j ? I , < l , the real field, we define 11 a [Ip to be the ordinary absolute value of a.
I ap 1, = 1 and I a-l 1, = 1 for all p E %I. k, is the largest subfield
of k on which all the primes of % ' R are trivial: we call k, the field (2) If q is archimedean, and the completion of k under q is 1he
field of complex numbers, we define 11 a 11, to be the square of the
of constants. It is easily seen that k, may be isomorphically mapped
ordinary absolute value of a.
into every residue class field A,; under this map we may consider k,
as a subfield of all K, . The degree of Kp I ko will be denoted by f(p). (3) If q is discrete, we define 11 a 11, to be (Nq)-Ordq~.
We may now write the special valuation occurring in the product
(2) rn contains an archimedean prime q. Then k, is not a field, formula of Axiom 1 as a power of 11 1 ,: I a 1, = 11 a!
+
for 1 ~ k , , b u t l 1 = 2 $ k o , s i n c e 121,>1.
p(q) > 0.
where
Since ( 2 1, > 1 for all archimedean primes q, we conclude that
there can be only a finite number of archimedean primes in XR.
We now introduce a second axiom, which guarantees the
existence of at least one "reasonable" prime in m. 2. Upper Bound for the Order of a Parallelotope
Axiom 2: There is at least one prime q of 'D of one of the Consider the set S consiting of elements a such that I a 1, x, <
following types: for a11 p E where the x, are fixed real numbers. We may think of S
(1) q is archimedean, as a parallelotope in the space obtained by forming the Cartesian
product of k with itself as many times as there are primes in 'D.
(2) q is discrete and A, is finite, We wish to find an upper bound for the order M of S.
(3) q is discrete and f(q) = deg ( R , I k,) is finite. First we prove
Henceforth primes of these types will be called reasonable. Fields
which satisfy Axioms 1 and 2 will be called Product Formula Theorem 1: Let q be a reasonable prime. Let S be a set of
Fields, or PF-Jields. elements of k with order M > 1. If I a 1, <
x for all a E S, there
We shall have to consider sets S which will be arbitrary when k, exists a non-zero element 8 E k, which is either an element of S
is not a field and k,-vector spaces when k, is a field. For such sets S or a difference of two elements of S, such that I 8 1, <
A,X/M~(~);
we define the order of S as follows: A, is a constant depending only on q.
(1) If there are archimedean primes, or if k, is finite, the order Proof: We must consider several cases:
of S shall be the number of elements of S.
Case 1: q is archimedean and the completion is real. In this
(2) If k, is an infinite field, the order shall be cr where c is a
fixed number, c > 1, and r is the maximal number of elements of S case the order M is the number of elements of S.
which are linearly independent with respect to k, . Since I a 1, ,< x, we have 11 a 11, <
~ l l p (for ~ ) a11 a E S. Hence
For example, let S be the set of residue classes modulo q if we decompose the interval [- x l l ~ ( ~ )l l, p ( ~on) ]the real line into
where q is a reasonable prime. If S is a finite set, then k, (if it is M - 1 equal parts, then, by the Pigeon-holing Principle, at least
a field) is finite (k, C S), so we have to use the first definition; one of these parts must contain two elements of S.
if not, we have the order of S = cf'q). For reasonable non-archi- Hence there is a non-zero element 8 E k, the difference of two
medean primes we define the norm Nq to be this order of the elements of S, such that
residue classes.
We introduce a normal valuation 11 11, for reasonable primes q:
228 XII. CHARACTERIZATION OF FIELDS
Since M 3 2, we have M - 1 2 M/2, and hence There are now two cases to distinguish:
W/P(Q) (a) Residue class field is finite. Then the ring oq/qr has (Nq)"
Il e ll. G 7 . elements. I t follows from the Pigeon-holing Principle that there is
a non-zero element 8 in k such that Olor, is the difference of two
Finally we have 1 8 1, < A , ~ / M P (where
~ ) A, = 4p(Q). elements of S' and
Case 2: q is archimedean, and the completion is complex. B/a, = 0 mod qT.
Here also M is the number of elements of S.
<
If I or 1, <
X, we have the ordinary absolute value of a ~ ~ l ~ p ( ~ ) ; Hence ord 8/al 2 r, and so
hence a lies in the square (in the complex plane) with center the
origin and side 2 ~ l f ~ p If ) . decompose this square into N2equal
' ~we
squares, where N <M < < +
N I, i.e. N2 < M ( N < +
then at least one of these smaller squares must contain two elements
of S. Hence there is a non-zero element 8 E k, the difference of two whence
elements of S such that the ordinary absolute value of
and
Now
where
A, = (Nq)P(Q'.
hence ordinary absolute value of (b) Residue class field Kq is a finite extension of k, , of degree f.
Then if a is any element of D,
Therefore, with ai E K,; thus there cannot be more than f~ elements linearly
independent over k, modulo qr. But M = cairns, and (Nq)" = cfr;
hence cfr < cairns', i.e. dim S' >fr. Thus there are more than fr
elements of S' linearly independent with respect to k,; these cannot
where A, = 27~'"'. be linearly independent modulo qr. Hence there is a non-zero
-
Case 3: q is discrete. element 8 of S such that O/a, is a linear combination of more than fr
Let or, be an element with maximal I a, 1, in S. We replace linearly independent elements of S', such that this combination is
<
the set S by S' = Stor,; then every element of S' satisfies I or' I 1, non-trivial modulo qr and hence such that 8/al 0 mod qr.
As in case (a) we deduce that 1 0 1, < A,x/M~(~).
i.e. the elements of S' lie in the ring of q-integers oq. We can find
an integer r such that This completes the proof of Theorem 1 in all cases.
We can now give the desired bound for the order of the elements
in a parallelotope:
230 XII. CHARACTERIZATION OF FIELDS 3. DESCRIPTION OF ALL PF-FIELDS 23 1
Theorem 2: Let S consist of elements a such that I a ,1 < x, Case 2: When there is a field of constants k, , let z be a fixed
for all p E a , where the x, are fixed real numbers. Let q be a fixed element of k which does not lie in k,; define R = k,(z). This is a
reasonable prime in W. Then if M is the order of S, transcendental extension of k, , for k, is algebraically closed in k ;
namely, all primes are trivial on k, , and hence on any algebraic
extension k , , i.e. k, C k , .
I n both cases we have already determined all the valuations of R
where D, is a constant depending only on q. (see Chapter 1, Section 5); we denote the equivalence classes of
Proof: By Theorem 1 there is an element 8 in k such that valuations of R by Latin letters, p , q, ... .
Each prime p in W induces on R a valuation p ; we say that p
divides p , and write p I p. We restrict our attention to these primes
p in '%Tl which induce non-trivial valuations in R. A given prime p
in R may have several divisors p in a ; but there can be only a
Next we estimate / 8 1, for p # q. finite number, for if I a ,1 > 1, then I a 1, > 1 for all p dividingp,
If p is archimedean, there is no constant field k,; hence 8 must and by Axiom 1 this is possible only for a finite number of p .
be a difference a - b of elements of S. One easily finds a constant p p , divide p, all the valuations I are equi-
Clearly if p , , p , ,
such that 18 1, < px,. valent in R, and 17,,,,,ESn I ,1 is a valuation in the equivalence
If p is non-archimedean, whether 8 is a difference of two elements class p.
of S or is itself an element of S , we may conclude that I 8 ,1< x, . Let p , denote the infinite prime in R. Then contains primes
Using the product formula, we obtain p , which divide p , :
Case 1: If R is the field of rational numbers, the archimedean
primes in XR divide p, .
Case 2: If R = k,(z), not all primes are trivial on R ; hence
where k is the number of archimedean primes p # q. Finally we there is at least one prime p , such that I x > 1. This prime
obtain p , divides p, .
We now give a description of all PF-fields.
Theorem 3: A PF-field is either
3. Description of all PF-Fields independent over R. We shall show that r is necessarily finite.
T o this end we consider the set S consisting of elements
Let k be a PF-field.
We define a rational subjield R of k:
where the v, range over all integers of the rational subfield R (i.e.
Case 1 : When there are archimedean primes in m, R shall rational integers or polynomials) such that I vi lpm <
I A 1,-
denote the field of rational numbers. where A is a given integer of R. Let M be the order of S.
232 XII. CHARACTERIZATION OF FIELDS 3. DESCRIPTION OF ALL PF-FIELDS 233
We first obtain a lower bound for M, namely we prove that Thus r is bounded; hence k is a finite extension of R. This com-
M > 1) A 117pm. To do this we must consider two cases- pletes the proof.
Case I : R is the field of rational numbers. Here there are
+
exactly 2 11 A llPm 1 possible values for each vl; hence there are Corollary 1: No prime in YJI can induce a trivial valuation on R.
in all M = (2 I/ A (I, + 1)' elements of S. Clearly M > I/ A llGm. Proof: Suppose p e W induces a trivial valuation on R. Then p
Case 2: R = k,(x). In this case S is a vector space over k, . also induces a trivial valuation on every finite extension of R,
<
If the degree of A is d, each v, has degree d. I t follows that the in particular on k itself. This contradicts Axiom I.
+
dimension of S over k, is r(d I), and hence M = ~ ~ ( ~ +but l);
11 A [Ipm = cd. Hence M > (1 A . Corollary 2: Every prime in YJI is reasonable.
We now estimate the size of the parallelotope containing the
set S. For all primes pw , we have I a 1,- <
BPmI A IPm, where Proof: All the primes in R are reasonable. It follows from the
BPmis a constant depending on the elements a, , a,, ..., a,. For local theory that an extension of a reasonable prime to a finite
the remaining primes p (which are certainly non-archimedean), we extension is reasonable.
have Let n be the degree of R. By raising the product formula to a
suitable power, we may assume that E h(pw)= n: from now on
we shall assume that the product formula of Axiom 1 already has
<
this property. Now set r = n in (*); we see that ~ ( q ) 1 where q
since ( A 1, ,< 1; this value, max I a, 1, , is 1 for all but a finite <
was a reasonable prime. By Corollary 2, p(p) 1 for all p E YJI.
number of primes p. Let q be a fixed reasonable prime; then by Let p be a non-archimedean prime of m, which induces a (non-
Theorem 2 we have trivial) prime p of R. Let k*(p), R*(p) denote the completions of k
and R respectively. Let n, , e, , f, denote respectively the degree,
ramification and residue class degree of the extension k*(p) I R*(p).
Then we have the following statements:
where E is a constant, depending on q and the or, but not on I A Ipm.
We now compare the upper and lower bounds for M, and obtain
n I I,=n(n'
a I I,)=n(nl
11 a a~:vp(v))
4. Finite Extensions of PF-Fields
Proof: It follows at once from the Local Theory that an Theorem 6: Let k be a PF-field with no archimedean primes.
extension of a reasonable prime to a finite extension is also reason- Let E be a finite extension of k . Then, if E, , k, are the constant
able. Hence Axiom 2 holds in E. fields of E, k respectively, Eo is the algebraic closure of k, in E.
It will be sufficient to prove that Axiom 1 holds in E when E is an
automorphic extension; for if Axiom 1 holds for an automorphic Proof: Clearly every element of E which is algebraic over k,
field containing E, then, by the Lemma, it holds in E also. lies in E,. On the other hand, k I k , has transcendence degree 1,
So let E I k be automorphic, with defect pZ and automorphisms and since E is a finite extension of k , E I k, also has transcendence
a, T, -... If a E E, then degree 1. Thus if c is an element of E transcendental over ko ,
E I ko(c) is an algebraic extension. Hence if c E E, , E I Eo is alge-
N (a)= IT (Q" = a E k. braic; and therefore, since all valuations of m ( E ) are trivial on E, ,
a they are also trivial on E contrary to Axiom 1. Hence E, cannot
contain any element transcendental over k, .
F , = F nk,.
Proof: Clearly F n k, C F, .
On the other hand, if I a ,1 < 1 for a E Fand all p ER, then
clearly I a ,1 < 1 for all p E %X which divide primes of %. Since
the other primes in % arelltrivial on F, we have I a 1,< 1 for all
p E %, and hence a E F n k, .
form a multiplicative subgroup I of V; the element of this subgroup
are called idiles. I contains a subgroup isomorphic to the group of
non-zero elements of k.
We define a topology in the ring of valuation vectors by means
CHAPTER THIRTEEN of the iddes. If a is an idkle, we define the parallelotope 17, of V
to consist of the vectors 5 in V for which 1 5 1, <
/ a I,. These
parallelotopes are taken to form a fundamental system of neigh-
Differentials in PF-fields borhoods of zero in the additive group of V. This defines the so-
called restricted direct product topology on V; this is not the same
as the topology induced by the ordinary Cartesian product topology
in P.
1. Valuation Vectors, Iddes, and Divisors We recall the definitions of some topological notions:
Ajilter in V is a family 5 of sets such that:
Let k be a PF-field. We form the completions k*(p) for all the
primes p in the set XJt. Let P be the Cartesian product of all these (1) Every set containing a set of 5 is itself a set of 5.
completed fields; P consists of vectors (2) Every finite intersection of sets of 5 belongs to 5.
(3) 5 does not contain the empty set.
8 is a Cauchy jilter in V if, in addition, given any IT, , there exists
with one component Ep from each k*(p). P forms a ring under a vector ( , such that 5, $ I?, is a set of 5.
component-wise addition and multiplication. I t is easy to see that A Cauchy filter 5 is said to be convergent, with limit (, if there
the mapping +
is a vector 5 such that 5 17, is a set of 5 for all parallelotopes 17,.
a+ (a,a, a, "') Finally, V is complete if every Cauchy filter converges.
is an isomorphism of k into P. If 5 is any element of P, we define Theorem 1: V is complete in the restricted direct product
I 5 Ip to be I E p ,I topology.
We now define the subset V of P consisting of vectors 4 for
which Proof: Let 5 be a Cauchy filter in V; let 5, be the filter induced
(by projection) on the component space k*(p). Since each k*(p) is
I [ ,1 < 1 for almost all primes p. complete, each filter 5, is convergent, with limit a, .
This subset is a subring of P , and it contains the isomorphic We show first that / a, 1, < 1 for almost all p. Let 17, be a fixed
replica of k. V is called the ring of valuation vectors: we shall parallelotope with ~rojectionN, on k*(p); let 5, be a vector of V
sometimes write V(k) instead of V when it is necessary to empha- such that 5, + +
is a set of 5.Then (5,) N , is a set of 5, , and
size that we are dealing with the valuation vectors associated with a hence contains a, . By the definitions of parallelotopes and valuation
particular field k. vectors, N, is the unit circle for almost all p, and I <,1, ,< 1 for
T h e vectors a of V, for which almost all p. Hence, for almost all p, the unit circle is a set of 5,
and therefore I a, ,1 < I for all but a finite number of p. T h u s
for almost all primes p, a = ('-., ap , .") is a valuation vector.
IaIp=1
We claim now that a is the limit of 5. Let 17, be a fixed parallelo-
I a ,1 #0 for all primes p, tope, and let +
be so chosen that U b 17, C17,. Let 5 be a
238
240 XIII. DIFFERENTIALS I N PF-FIELDS 2. VALUATION VECTORS IN AN EXTENSION FIELD 241
+
vector such that 6 lIbis a set of 5 ; then (t), +
(lib), contains A divisor (or ideal) a = n p r p is said to be integral if p, >0
+ +
a, . It follows that a E 5 Db, and so 6 E a lib . Now we have for all p. Let b = n p v v be any divisor (ideal), and define
+
a set of 5.Hence a lI, is a set of 5 ; i.e. 5 converges.
If a is an idkle, we may define its absolute value Then b = b1b;l = blib,; we naturally call bl the numerator and
b, the denominator of b. Thus any divisor (ideal) can be expressed
as a quotient of integral divisors (ideals).
Then I a ( may be regarded as the volume of the parallelotope 17, . 2. Valuation Vectors in an Extension Field
If a is an idkle, a = a, , ...), then aa = ( - - - ,aa, , ...) is also
(..a,
+(ti 2 52 ...,5,) =5 +
1 ~ 1 + +
6 2 ~ 2 4 n ~ n
Proof: Let X be an element of V(K), ITa' any parallelotope; We now show that if k is any field in which the lemma holds,
we have to prove that there is an element Y in q3(Vn) such that then it holds also in any finite extension K of k. Suppose therefore
X- Y E 172r'To . this end we construct a non-empty set S' of that in k we have V(k) = k nb. Then +
primes p in k, containing at least (1) all archimedean primes, (2)
all primes p which possess an extension '$ in K for which either
l X I @ > lor lal,# 1.
Let S be the set of all primes of K which are extensions of the But q3(nbn)is contained in a parallelotope 17,' of K, for
primes in S'.
S contains only a finite number of primes, so by the Approxima-
tion Theorem we can find an element a E K such that
where MIJ depends only on the w , . Since q3(Vn) is everywhere
I-XIrpG IBI@ dense in V(K) we have V(K) = +(Vn) 17,and hence +
for all !l3 in S. Let
where II,' 317,' + 17,' . This completes the proof of the lemma.
then define vectors tl, t, , ..., tnin V(K) by writing (ti)@= ai
for '$ E S, and (ti)$ = 0 for '$ 6 S. Then Lemma 3: The mapping + is bicontinuous.
Proof: We have already remarked that 4 is continuous. Let
l7: be a fixed parallelotope in V(K) and let X be an element of
is a vector of V(K) such that X - Y E &'. q3-l(C fl +(Vn)); i.e. X E Vn and $(X) en,'. We have to show
This completes the proof. that X is contained in 17: where nais a parallelotope of V(k).
Since V(k) = k +
, we can write X = Y Z where Z E kn +
Lemma 2: There exists an idtle 6 such that l7, + k = V(k). and Y E IIbn,so that +(Y) is in a fixed parallelotope nB1.
Now +(Z)
lies in K, and
Proof: We prove the theorem first for the rational subfield R.
Let [ be a valuation vector; then tPE k*(p). We have seen that
tPmay be written as a power series in p with integral coefficients
(when p is non-archimedean); when R is the field of rational where n2'is a parallelotope of V(K) independent of X. We have
numbers, tPm =m + <
7, where m is an integer and 0 17, < 1. seen, however, (Cf. Ch. 12, Thm. 2) that the totality of all such
#(Z) is either finite, or else a finite dimensional vector space over
We define the principal part of $. at a prime p to be
K O ,hence over k, . It follows that Z lies in a fixed nCn and hence
( p non-archimedean), X =Y +Z C l I ~ f l 7 ~ C s o m e L f ~ .
Thus if
81% + ... + 5,w.n en;,
Write a = 2, Prp(t). Then a E R. If = a + 7 we see that r] then 6, , tn~ l . 7Finally
~ let c be any idhle; we see that if
+ Ill. This proves
a*.,
Let X be a vector space over an arbitrary field KO. Let Y be a for all 5 contrary to hypothesis. Now we have
subspace of X. The KO-dimensionof the factor space X / Y will be
denoted by (X: Y ) k o .When we may do so without causing
confusion we shall omit the subscript k, .
+
Proof: We map A onto (A C)/C by mapping or E A onto
+
the coset a C . The kernel of this mapping is A n C. Hence
( A :B + ( A n C ) )= ( ( A + C)/C : ( B + C)/C)
=(A + C : B + C). This completes the proof.
Further,
+ + +
( A : B) = ( A : B ( A n C ) ) ( B ( A n C ) : B)
4. Differentials in the Rational Subfield of a PF-Field
=(A+C:B+C)+(AnC:Bn(AnC)) Let k be a PF-field. Then by Theorem 3 of Chapter 12, k is
=(A+C:B+C)+(AnC:BnC). either:
246 XIII. DIFFERENTIALS IN PF-FIELDS 4. DIFFERENTIALS IN THE RATIONAL SUBFIELD 247
(a) a finite extension of the field of rational numbers (briefly, Proof: Let p(1/2") = an/2,, where - & < an/2" < and a,
a number jield); or is real. Since p is continuous,
(b) a finite extension of the field of rational functions in one a, = 0.
lim -
variable x over a constant field k, (briefly, a functionjield). n+m 27'
We introduce the following notation: R shall denote (a) for Now,
number fields, the field of rational numbers and (b) for function
fields the field k,(x). (In both cases we shall call R the rational
subJield as in Chapter 12.) = p (0) =- 0 (mod 1).
P shall denote (a) for number fields, the field of real numbers;
and (b) for function fields, the completion of ko(x) at p, . Thus (a,,, - an)/2, is an integer. But
r shall denote (a) for number fields, the additive group of real
numbers modulo 1, with the natural topology; and (b) for function
fields, the constant field ko with the discrete topology.
-
N shall denote (a) for number fields, a fixed sufficiently small Hence a,,, = a, for all n some fixed N. We write a, = - a
neighborhood of zero in r. For definiteness we take (- 3, 4). for n > N. Then p(1/2n) = - a/2%, and by the additivity,
(b) for function fields, the zero element of k, . p(r/2") r - ar/2" for all n 2 N. Hence we have , ~ ( 1 / 2 ~ )- (1112"
A differential of k is now defined to be a continuous linear map h for all n. It follows that p(x) E - ax for all rational dyadic frac-
of the ring V(k) into r such that h vanishes for elements in k. tions x, and hence by continuity
When k is a function field, h is further required to be ko-homo- p(x) - ax (mod 1)
geneous.
I n both the number field and function field cases this definition for all real numbers x.
implies the existence of a parallelotope 17, in V(k) such that
A(&) C N. I n the number field case the elements of a parallelotope Lemma 6: In the function field case, let p(5) be a continuous
& do not form an additive group. We therefore define the set linear, KO-homogeneousfunction of P into r such that p(5) = 0
if 5 is an integer of R. Then p(5) = Residue at p, of (f(x) 5)
where f(x) is a fixed polynomial.
Proof: The continuity of p implies that p(x4) vanishes for all
where 5, is the valuation vector with component 1 at all non- large enough n, say n > N.
archimedean primes and component zero at all archimedean primes Let
(thus for function fields 172 = K ) . The set 1 7 , O is an additive
group. Its image h(naO)is also an additive group, and is contained
in N. But N contains no subgroup of r other than the zero element,
so h(17,0) = 0.
We must now prove separately for the number fields and
function fields two lemma concerning the linear maps of P into r.
Set p ( ~ - ~=) - ci . Then
Lemma A: In the number field case, let p(x) be a continuous
linear map of P into r.
Then p(x) E - ax (mod I), where a is p(t) = cl Res, a (6) + c, Res, a (xt) + + c, Res, a (xn-lt)
a fixed real number. = Re%,,, ( f ( 4 0,
248 XIII. DIFFERENTIALS IN PF-FIELDS 4. DIFFERENTIALS I N THE RATIONAL SUBFIELD 249
where 1 vp' Ip < 1. Hp(5) = 0 for all but a finite number of Clearly p(R;O) = 0 and hence p(v) = 0. Since a ER and p is a
primes p. Thus a = 2 H,(() is an element of R. We define for differential, p(a) = 0. Hence
each finite prime p
where m' has component m at every finite prime and component Then A is a differential. It is easily seen that A vanishes on field
zero at the infinite prime, while m" has component m at the elements, and the continuity of A is proved as follows:
infinite prime and zero component elsewhere. I t follows that the
mapping (a) For the number field case, consider the parallelotopell,, ,
where E' is the idde with component 1 at all finite primes and
5+ 5, component E at the infinite prime. For f E flE, we have
is defined uniquely modulo 1.
250 XIII. DIFFERENTIALS IN PF-FIELDS 5. DIFFERENTIALS I N A PF-FIELD 25 1
Then A([) = h(5,), which can be made as small as we please by tion to the statement that 6 E 17.: Thus we must have ord, a = 0
suitable choice of E . Thus h is continuous. for all finite primes. Hence 17, C a O (0,0,+ E ) where E is
a*.,
(b) In the function field case, h clearly vanishes on the paral- chosen so that A(&) C N. In the number field case, I E 1 <
lelotope 17,., where E' has component 1 at all finite primes and and in the function field case ord,, E 2 2. Thus in the function
ord,, E' > 2. field case 17, C17,: . This proves Property 11.
We have therefore proved the existence of differentials for the
rational field R. We now deduce two important properties: Corollary: There is a maximal parallelotope 17, such that
h(I7,O) = 0.
Property I: The differentials of R form a 1-dimensional R-space.
Let p be any differential; then we have
5. Differentials in a PF-Field
where m is an integer and a E R. Thus p([) = h(m/a [). This Now let k be a PF-field. We shall prove the existence of differen-
proves Property I. tials in k, and shall show that the differentials in k also satisfy
Properties I and 11. The proofs do not use the special properties of
Property 11: There is an upper bound to the parallelotopes 17, PF-fields, and hold for any finite extension k of a field R in which
for which p(l7,) C N, where p is any differential of R. differentials exist and satisfy the two properties.
By Property I, it is clearly sufficient to consider the special So let k be a finite extension of R. In the function field case we
differential A. Suppose A(&) C N. Then, since h(L!lo) = 0, we assume that k and R have the same constant field. Let w, , w,,
have h(n, + +
G o ) C N. Now if [ E 17, 1&0, then ord, [ min > .a-, w, be a basis for k/R. Then if X E V(k) we can write
(0, ord, a) for all finite primes. Thus we may already assume that
<
o r 4 0 for all finite primes.
Suppose ord, a < 0 for a certain finite prime. Then clearly,
if m is any integer of R, the vector where the tiare valuation vectors of V(R). Let p be a differential
of k. Then
in the function field case. In the first case we can certainly choose m
a.
such that m/p > In the second case Res xf-l/p(x) # 0 where f is a differential of k. Indeed p is certainly a linear map, and clearly
is the degree of p(x). In both cases we have obtained a contradic- vanishes for elements of k. p is continuous since the topology on
252 XIII. DIFFERENTIALS IN PF-FIELDS 5. DIFFERENTIALS I N A PF-FIELD 253
are of this type. When k/R is separable we have even an invariant all i, where R;' denotes the unit parallelotope in V(k). It follows
map of this type, the trace Ski, . that
Let I be any linear R-homogeneous map of k into R. Then by X(l,(XG)) = Xi(L!:li(X)) = X(rr,'[J C N.
Theorem 4, we have I(a) = lo(@) were /?is an element of k depend-
ing on I. Suppose that l(w,) = a, . Then Now 17,' & is a parallelotope in V(R).From our previous investiga-
tion it follows that & is contained in a fixed parallelotope of V(R).
Hence
We can now extend I to a linear, V(R)-homogeneous map of V(k) x=~&Wtcl7~,
into V(R), which we still denote by I. We define
where 23 is fixed. We have now
Let p be a differential of k. Then we define p,(() to mean vanishes for field elements, for if = a E k, we have A(a(,) = 0
~(5',). since 4 -+ A(a() is a differential. Hence there is an element fl E k
such that A(to() = A(/3(). By the previous theorem,
Theorem 7:
that p(I7,) C N and hence p(17,0) = 0. We may write for all p and hence ( t o - B), = 0. So to= fl.
Now
where the & are valuation vectors of V(k). Let A be a fixed non
trivial differential of k. Then if p is any differential of K, there
exists a continuous linear V(k)-homogeneous map I of V(K) into
This completes the proof. V(k) such that 1(K) C k and
Let p be a fixed prime, and suppose p,([) = p((J = 0 for all f
having ord, (, 2 v, . Changing the p-component of a to pl'v we
obtain a set lAOon which p ( G o ) = 0. Since the parallelotopes 176 Since K is also a PF-field we may write
such that p ( a 0 ) = 0 are bounded, it follows that v, is bounded
from below. Thus p,(f) is not identically zero. From this we deduce
(which has zero component for q # 9). But since the representation Hence a@?,is a fractional ideal in K*(p), namely V'Copvp. We
of XI, in this form is unique, it follows that all the & have compo- can now define the 1-9-dilgerent Dpt:
nent zero except at p. Now
XI, E z),$ if and only if I(XqDcp)C o, . hence % = aDl. We have therefore proved
Now let P(X) = h(I(X)). Let 17,-1 ,17,-1 be the maximal parallelo-
topes in V(K), V(k) such that p(17&1) = 0, and A(17:-1) = 0. Theorem 10: If P(X) = h(l(X)) as above, and if 17& .l7:-1
(It will become clear in a moment why we denote the parallelotopes are the maximal sets of this form on which p, h respectively vanish,
by lI,,-, &-, rather than IT, 17,). Let 'U = 17VW, a = ll pvv. then % = aD,.
Then We now consider the case of a separable extension K/k. The trace
SKlk is here a non trivial linear map of K into k and may be extended
to V(K).We now show that the S-9-different, defined as above,
This statement defines precisely the power 9 % of 9 occurring in is identical with the different of the local extension K*(p)/k*(p)
3. We have now as we defined it in Chapter 5. T o this end we denote SK*('4)lk*(p)
by SS,and prove
We notice first that if the result holds for extensions Elk and Hence
K/E then it holds for KIA. We denote the primes in E by q,
by Sg , and SK*(q)/E*(rg)
SE*(g)lk*(p) by S,'. Then we have [S(X)]= 2 (53,
i @IP
~,(%)
Proof: If
then we define
1. PARALLELOTOPES IN A FUNCTION FIELD 26 1
where o, denotes the ring of integers, n a prime element in k*(p). We must first show that 1(b) is finite for all divisors b. T o this end
It follows that we use the result (see Chapter 13, section 2) that there exists an
(17, :17,) = (ord, b - ord, a)f(p) +
idble a, such that no, k = V . We select a divisor a such that
= n(b) - n(a).
17. = + l7, . Then certainly a divides b and we have, by for-
mula (*)
We now define the function m(a) to be the dimension over k,, +
n(b) - n(a) = m(a) - m(b) (V : nb k ) +
of the space 17,n k . It follows from Chapter 12 that m(a) is finite +
= m(a) - m(b) l(b).
for all divisors a. We shall now show that m(a) is an invariant of the
divisor class of a. We have Thus l(b) is finite, as we set out to prove. We may therefore rewrite
the formula (*) as follows:
m(aa) = dim ( n u , n k ) = dim ( d o n ak)
= dim (l7,n k ) = m(a),
Lemma 2: If n(a) > 0, then m(a) = 0. Now let a and b be any two divisors, b their greatest common
Proof: If there is a field element or # 0 in the parallelotope divisor. Since b ( a and b I b we have
lIa , then ord, a 2 ord, a for all p . Hence n(a) 2 n(a). But by the
product formula, n(a) = 0. If n(a) > 0 it follows that there can be
no non-zero field element in the parallelotope 4 ,i.e. m(a) = 0.
Now let a divide b, so 3 lib . We apply Theorem 3 of Chap-
ter 13 to the case where A = &, B = I& and C = k . This yields
We see that the value of n(a) + m(a) - l(a) must be an invariant
of the field k. We write
2. First Proof +
whence g = l ( 1 ) = ( V :17, k ) . This shows in particular that
the genus is a non-negative integer.
For each divisor b we define the function I@): +
Since m(a) 2 0, we have l(a) 2 n(a) g - 1. Hence by choosing
a such that n(a) is large enough we can make l(a) as large as we
+
Z(b) = (V :nb k). please.
264 XIV. THE RIEMANN-ROCH THEOREM 3. SECOND PROOF
where
we have the desired result:
All such elements a are contained in the parallelotope l7, . Among Corollary 2: For every divisor b, l(b) is finite.
these elements there are n(s +
1) linearly independent over k, . We now use the same procedure as in the first proof to show
Hence m(a) 2 n(s + I). that n(a) +
m(a) - l(a) is an invariant of the field:
Next we must find an approximation for n(a). We have
.(a) + m(a) - l(a) = 1 - g,
where g is the genus. We also use the method of the first proof to
interpret l(a) as the dimension over k, of the space of differentials
where e' is a suitable constant. Since l/x is a prime at p, which vanish on 17,.
It is clear that differentials exist, for if not, l(a) = 0 for all
1 divisors a, and hence n(a) < 1 - g which is certainly impossible.
ordPa = - ord,, x = e(pm). As in the first proof we see that every linear map of V/(IT, + k)
gives rise to a differential which vanishes on 17,.
Further f(pm) =fPa (the relative residue class degree) and hence If A ( [ ) is a differential and or is any non zero element of k, then
)((or[) is also a differential. T o show this let a be a divisor such that
n(3 2 - s 2 e(p,) fpm - e' = - sn - e'.
268 XIV. THE RIEMANN-ROCH THEOREM 3. SECOND PROOF 269
Then Hence the number of linearly independent a such that X(a 17,) = 0
is at least equal to m(l/aD). Similarly the number of linearly
h(aa-'(17, + k ) ) = A(a(17a-la+ k ) ) = 0 independent a such that p(a na) = 0 is at least equal to m(l/ac).
We have therefore
and so h(a5) is a differential. It follows that the differentials form a
vector space over k. Scalar multiplication is defined by setting
a ( [ ) = A(&). We now prove
Replacing a in turn by l / a 9 and ljac we obtain
Lemma 4: The differentials form a 1-dimensional k-space.
Proof: Let p ( t ) be a differential which is not of the form A(&).
Suppose (a1 , a2 , .--,a,) and (/3, , /3, , ..., ps) are sets of elements
linearly independent over ko . We shall show that X(a,f), .-.,
)((aZ.$, p(&.$) ..-,p(/3&) are linearly independent over k, . A relation
of linear dependence would be expressible in the form
+
We can write this X(af) p(/3f) = 0 where a = X cp* and Adding, we obtain
/3 = Z dipi. Then if /3 # 0 we can replace .f by /3-?$ obtaining
contrary to our assumption on p. Hence /3 = 0 . This implies This gives a contradiction since n(a) may be chosen so large that
a =0 also and hence all ci , d j = 0. Thus the A(ait), p(/3jt)
are this inequality cannot hold.
linearly independent. Thus every differential p(() can be written in the form X(a0
Suppose and our lemma is proved.
We have now the inequality l(a) 2 m(l/aD). Replacing a by
1/aD we have l(l/aD) >, m(a). Hence
Adding, we have
We do not yet have the reverse implication. However,
270 XIV. THE RIEMANN-ROCH THEOREM
CHAPTER FIFTEEN
I t follows that l(a) = rn(lla3) where is the special divisor.
As in the first proof we can show that D belongs to a fixed divisor Constant Field Extensions
class W. We have therefore proved again the Riemann-Roch
Theorem:
We call the exponent m ( K / k ) the ejfective degree of K / k . I t is We shall need two lemmas about the rational case:
necessarily finite, but need not be an integer. We shall see that in a
certain sense it measures the size of the extension K / k , the con-
stant field extension being disregarded.
Putting n(K/k) = m(K/k) deg (Ko/ko),we see that If K / k is not necessarily finite we prove
Theorem 5:
that
Since m(K,(x)/ko(x))= 1, we have the desired result,
276 XV. CONSTANT FIELD EXTENSIONS 1. THE EFFECTIVE DEGREE 277
K = K,k.
sufficiently large). The fact that the w, form a basis means that the
Such constant field extensions of k may be obtained in the fol- xYwpare linearly independent over k, as well as over K O . If the
lowing way. Let K l be any extension of k, and Klk a composite ai are independent, then r of the basis elements xvwp may be
field such that Klk is of transcendence degree 1 over K l . The replaced by the a , . Going over to K Othe dimension of the whole
primes of Klk are to be taken as those valuations of Klk which are space does not change, so the % must remain independent over K O.
trivial on K l . They are then trivial on k, but not all of them are
trivial on k (if x E k not in k, we may take any extension to K,k (3) If m ( K / k ) < 1, then w1 , w, , w, become linearly depend-
a*.,
of a prime in K l ( x ) associated with the polynomial x). The field ent over K,(x). Clearing denominators we obtain a relation (non
K = K l k and k are then in the relation that we have considered. trivial)
This field K will have a constant field K O3 K , since the primes fl(4~1 + ... +fn(x) % =0
are trivial on K l . Therefore K = Klk = Kok is a constant field with coefficients in K,[x]. This means a non trivial relation between
extension. One might expect K l = K O but this is not always the certain xVwpover K Owhereas these elements are linearly independ-
case. A part of our investigation will consist in deriving conditions ent over k, .
under which it can be stated that K l = KO.
Theorem 6: If K is a constant field extension of k, then Theorem 7: If for one prime p, f(p) = 1, then m(K/k)= 1 for
<
m ( K / k ) 1, the equality holding if and only if K O and k are any constant field extension K .
linearly disjoint over k, (i.e. if elements of k that are linearly Proof: Theorem 1 shows that m ( K / k )is an integer # 0. Theo-
independent over k, are also linearly independent over KO). rem 6 shows it is < 1, whence m ( K / k ) = 1.
Proof: ( 1 ) We have In particular if k, is algebraically closed, f(p) = 1 for all p,
hence m ( K / k ) = 1. Theorem 1 shows that there is only one q I p
and that e~ = f ( p ) = 1 .
since elements of k linearly independent over k,(x) may become Theorem 8: If K = Kok = Klk, where K l C K O and
independent over K,(x). m(K/k) = 1, then K O = K l .
(2) Suppose Proof: We have
m(K/k)= 1, deg (KIK,(x))= deg (klk,(x)).
If wl , w, , ..., w, is a basis for k/k,(x), then it is also a basis for
KIKo(x).
278 XV. CONSTANT FIELD EXTENSIONS
This suggests to map the primes p of k into the divisors of K by nk (numerator of x) = deg (k/ko(x))n,,(,,(po)
the correspondence
= deg (klko(x))
I t is to be remarked that different primes p will have factorizations 3. Finite Algebraic Constant Field Extensions
without common factor.
If we denote by n,(a) and nK(a)the degrees of a divisor in k and K In the beginning of this section we prove algebraic theorems for
respectively, we contend more general fields.
280 XV. CONSTANT FIELD EXTENSIONS
Theorem 11: Let k be any field, k, a subfield algebraically But in spite of the fact that k,(a) is algebraically closed in F(a)
closed in k. If a is an element of an extension field of k that is it is not true in general that k,(a) will be algebraically closed in
algebraic over k, , then k(a). We now seek conditions under which this additional result
will hold.
Suppose /3 E k(a), /3 algebraic over k,(a). Then
Proof: Let f(t) = Irr (a, k, , t). We must show that f(t) remains
irreducible in k[t].
Suppose +(t) is a factor of f(t) in k[t] with highest coefficient 1. Let us assume that k,(a, 8) can be generated by a single element:
The other coefficients of +(t) are symmetric functions of the roots
of +(t). These roots are also roots of f(t) and therefore algebraic k,(% B) = ~O(Y).Then
over k, . It follows that the coefficients of +(t) are algebraic over k, .
Since they lie in k, they must already lie in k, and +(t) E k,[t].
Since f(t) is irreducible in k,[t] it follows that +(t) = f(t) and the
Theorem is proved.
Theorem 12: Let k, be algebraically closed in k, a as before and we see that F(a, B) = F(a). This means that /3 lies already in
and F a field between k, and k such that deg (k/F) is finite. Then F(a). Since /3 is algebraic over k,(a) and k,(a) is algebraically closed
in F(a), it follows that /3 lies in k,(a), i.e. k,(a) is algebraically
closed in k(a). Now k,(a, /?) can be generated by a single element
when either a or /3 is separable over k, (see van der Waerden,
Proof: k, is then algebraically closed in F as well as in k and Modern Algebra, section 40). It follows that k,(a) is algebraically
Theorem 11 gives closed in k(a) in the following two cases:
(I) a is separable over k, ;
(2) k is separable over K (i.e. k is separably generated over k,).
In the second case we conclude as follows: k/F separable 3
k(a)/F(a) separable => /3 separable over F(a). Now /3 was algebraic
over k,(a). k,(a) is algebraically closed in F(a). +(t) = Irr (/3, kO(a),t)
and our theorem follows. then +(t) remains irreducible in F(a) according to Theorem 11.
We specialize now the field F. It is well known that k, So +(t) is separable, therefore /3 is separable over k,(a). A certain
is algebraically closed in a pure transcendental extension k,(x). power jgpv will be separable over k, and still generate the field
By induction one shows that k, is algebraically closed in KO(%B) over k,(a).
F = k,(x, , x, , x,) where the xi are algebraically independent Summing up we have
over k, . For an a algebraic over k, it follows from the same fact
that k,(a) is algebraically closed in F(a). Let now k be an algebraic Theorem 13: With the notation as described, k,(a) is algebraic-
extension of such an F for which it is known that k, is still alge- ally closed in k(a) if one of the following conditions is fulfilled:
braically closed in k. The preceding theorems show that (1) k,(a)/k, is separable ;
(2) k is separably generated over k, .
282 XV. CONSTANT FIELD EXTENSIONS 3. FINITE ALGEBRAIC CONSTANT FIELD EXTENSIONS 283
We specialize now to the case of transcendence degree r = 1, If k e ) C kip), then
when k, is the constant field of a PF-field. Whenever k,(a) is
algebraically closed in k(a) it follows from earlier discussions that
k,(a) is the constant field KOof k(a) = K. Theorem 11 shows now
that m(K/k) = 1. On the other hand
Theorem 16: If m(Kfa)/k)= 1 for all a, then m(K/k) = 1. Theorem 18: Let K f a )by any C-family above k. There exists a
Proof: K F ) and k are linearly disjoint over k,. Therefore K(") such that m(K/k) = m(K(Y)/k).For any K'a) containing K(Y)
KO= U, K F ) and k are linearly disjoint over k, . Let 6, be the we have
algebraic closure of k, and A = &,k. Since A, is algebraically closed, m(K(a)/K(~))= m(K/K(y))= 1.
it is the constant field of k. Let k p ) stand for all finite algebraic
extension of k, and put K(") = k(a)k.o Then K(a) is a C-family Proof:
with k as union. < m(K@)/k).
m(K/k) = m(K/K("))~z(K(~)/k)
284 XV. CONSTANT FIELD EXTENSIONS
4. PURELY TRANSCENDENTAL CONSTANT FIELD EXTENSION 285
Since m(K(a)/k)= l/pv,there exists a K(Y)for which the minimum Suppose the strict inequality holds. Dividing g(t) by the x, with
value is achieved. For K(")3 K ( Y one
) has the maximal absolute value we obtain a new polynomial where
Max, 1 x, ,1 = 1, and where (g(t) 1, < 1 or g(t) r 0 (mod 9).
This congruence would mean that t (as element of the residue class
field 4) is algebraic over the residue class field K, . Since R,
whence is algebraic over k, , t would be algebraic over k, . But the residue
m(K(u)/k)= m(K(Y)/k) class field Kq contains an isomorphic replica of ko(t) where t is
transcendental over k, . We have therefore
and therefore
m(K(")/K(Y))
= 1.
We consider the case K = k(t) where t is transcendental over k. where x E k and g(t) and h(t) are relatively prime polynomials
' with highest coefficient 1.
The primes 9 of K are those that are trivial on k,(t). We have
to distinguish two kinds of primes: We first ask for those X that satisfy I X Iv < 1 for all 9 that
are trivial on k. If h(t) were divisible by an irreducible polynomial
(1) 9 is also trivial on k. They are then among the well-known p(t) with non constant coefficients, our condition would be violated
valuations of the rational field k(t) which come from irreducible at that prime since g(t) is relatively prime to h(t). This shows that
polynomials p(t) E k[t] (with highest coefficient 1. The infinite h(t) E k,[t]. If conversely h(t) E k,[t] it is a constant of K and our
prime would not be trivial on k,(t)). But we have to single out condition is obviously satisfied.
those p(t) which give rise to the trivial valuation on k,(t). T o find This allows us first to determine K O . If namely I X lv = 1
them, suppose 9 induces a non trivial valuation on k6[t] that comes for all 9 then both g(t) and h(t) have to be in k,[t]. Therefore
from the irreducible polynomialp,(t) E k,[t]. Since k, is algebraically , X 1, = I x ,1 = 1 which means that x E k, , so that X E k,(t).
closed in k we know from Theorem 11 that p,(t) remains irreducible This means KO= k,(t).
in k. Since p(t) I po(t), we have p(t) = po(t). Let now x, , x2 , ..a, x, be elements of k linearly independent
The primes 9 in question are therefore those irreducible poly- over k, . Suppose
nomials p(t) E k[t] with highest coefficient 1 that have at least one
non constant coefficient.
(2) The primes that are non trivial on k, 9 1 p. Consider first a Clearing denominators, we may assume that the fi(t) are polyno-
polynomial mials. Collecting terms we obtain an equation for t. Since t is
transcendental over k, all coefficients have to vanish. Since the xi
are independent over k, this means all f,(t) = 0. k and KO are
Since 9 is trivial on k,(t) we have I t Iv = 1 and therefore linearly disjoint over k,, and this means m(K/k) = 1.
Let now a be a divisor of k, lI, the parallelotope of V(k). a may
286 XV. CONSTANT FIELD EXTENSIONS 5. GENUS I N ARBITRARY CONSTANT FIELD EXTENSION 287
be viewed as divisor of K and let 17,' be the parallelotope of V ( K ) . 5. The Genus in an Arbitrary Constant Field Extension
We ask for the elements X E K such that X E 17,'.Then I X Iv 1 <
for all 'p that are trivial on k. Therefore X = g(t)/h(t)where h(t) We first consider the case where Ko/ko is a finite algebraic
is in KO. Let extension. Since K = Kok we can find a basis w l , w , , w, for -a*,
g(t) = xo x1t + + K/k that consists of constants. These wi need however not form a
basis for Ko/ko.
According to Chapter 13, section 2, we have
So g(t) E 17,' if and only if xi E 11,. Hence We denote the genus of k by g(k), that of K by g(K). Then
if we recall that n = m(K/k)deg (Ko/ko).An immediate conse- Since X €&KO and the expression of an element of V ( K ) in
quence is the inequality terms of the basis oi is unique, we conclude that all x5 €17,.
The converse is obvious. The linear disjointness of KO and k over
ko gives now
Thus the genus drops if m(K/k)< 1 (and g(k) # 0). But we shall
show that the genus may drop even if m(K/k)= 1 and if 5 is
separably generated. for all divisors a of k.
Suppose now m(K/k)= 1 .Then w, , w, , w, form a full
me., Consider next the more general case that KOis finitely generated
basis for Ko/ko. We may then write nl'= nlF0 . Since both (possibly by transcendental elements). If t, , t, , -..,t, is a basis of
Dl' + +
K and D,K0 K are KO-spaces the relat~on(2) takes on transcendency of Ko/koand we put Ki = ko(tl, a*., t,), K' = K,'k,
the simpler form then KO/Ko1 is a finite algebraic extension. Theorem 19 shows that
the inequality (3)holds in this case also. Should g(K) = g(k) then
f ( k ) = g(K) + dimKo(Ill + K :nlKo + K ) (4) m(K/k)= 1, mK(a)= m,(a) and the elements of n,' n K are linear
combinations of those of n,,n k with coefficients in K O .
Now from our lemma on vector spaces, Chapter 13, section 3, we Let now K/k be an arbitrary constant field extension. Let
have K(a) be the C-family of fields obtained from k by adjuction of
(I&': nlKo)= (I&'+ K :nlKo + K) + (n;n K :nlKo n K). a finite number of elements of KOto k. The union of the Kc.) is K.
We have 0 ,< g(K(cL)) - g(k). Let K ( Y )be a field with minimal
Butn,' n K = KO and nlK0 n K 3 KO so that the second term genus. If K ( a )3 Q Y ) , then g(K(=)),< g(K(Y)on one hand, whence,
is zero. We have therefore since g(K(a))is the minimum, we have g(K(u))= g(K(Y)).
An element X E nu'n K will be in some K ( u )3 K ( Y )Denoting
.
Theorem 20: If K/k is a finite algebraic constant field exten- by l7:) the parallelotope for K(a) we have X ~ n t ' K(a). n
sion and m(K/k)= 1, then Therefore it is a linear combination of elements in K ( Y n ) K(Y).
with coefficients in K 2 ) C K O . Since m(K(a)/K(Y)) = 1 we have
also m(K/K(Y)) = 1. This linear disjointness shows
o form a proper ideal of o. Let a, #? E o, and let a f #? be a unit of o. a E D , s E S therefore forms a ring, the quotient ring of o with
Either a/#?or #?/alies in o, say a/#?E o. Then +
respect to p. It is easily verified that can be extended to o' by
defining +(a/s) = +(a)/+(s).
This extended map carries o' onto a subfield F of P. Since F
is subject only to the condition that it contain F, we may replace
it by any field extension of F, in particular by the algebraic closure
+
Hence, since (a #?)-I E o we have l/#?E 0, i.e. p is a unit. Hence, of F. From now on we assume P to be algebraically closed.
+
if a and #? are non units, then a #? is a non unit also. Similarly, Now let x # 0 be an arbitrary element of k. We shall attempt to
if a, #? E o, and a#? is a unit, then a/a#?= 1/43 and #?/a#?= l/a lie
in o. Hence a and #? are units. Hence if a is a non unit, #? any element
+
extend to the ring of o[x], consisting of polynomials in x with
coefficients in o. Let
of o, then a#?is a non unit. Thus the non units form an ideal p.
Since all proper ideals are contained in the set of non units, p is * ( t ) = a,, +q t + "' antn
the unique maximal ideal of o. We now map k onto o/p +a in the
obvious way. Namely if a E o, we set +(a) = residue class of a be a polynomial in o[t] and write
modulo p, and if a # o, we set +(a) =a.This mapping is known to
be homomorphic on the elements of o. We must verify that it is
homomorphic on the whole of k. If a E o, b 4 o, then
+
In order to extend to o[x] we must define +(x) = x, EEand then
write +($(x)) = fix,). The element x, must be selected so that the
since a +b is not an element of o. If a #o, then +(a)=a.But extended mapping is well defined, i.e. so that if $(x) = 0 then
a-l E o, and since a is a non unit of o a lies in p. Hence $(x0) = 0. The set of polynomials $(t) such that $(x) = 0 is an
ideal in o[t]. Hence the images $(t) form an ideal in Fit], and since F
is a field this is a principal ideal ($,(t)). In order, therefore, that
our extended mapping be well defined, xo must be a zero of $,(t).
Thus + is a place of k and we have proved. It follows that we can extend 4 to o[x] provided $,(t) is not the
polynomial 1.
Theorem 1: There is a 1 - 1 correspondence between the +
Suppose it is impossible to extend to o[x]. We shall now show
places and valuation rings of a field. that it is possible to extend4 to o[y] where y = Ilx. Since $,(t) = 1,
+
Now let o be any ring contained in a field k. Let be any homo- x is a zero of a polynomial
morphism of o into any field E, with kernel p. We shall prove that +
may be extended to a valuation ring of k. Should it happen that
+
p = 0, then is an isomorphism of o into E and can be extended to
an isomorphism of k into an extension field of P that contains an where the p, lie in p. Thus
isomorphic replica of k. Henceforth we exclude this trivial case.
We now prove
Theorem 2: + can be extended to a valuation ring of k. Suppose it is impossible to extend + to o[x]. Then we have a
similar equation for y:
Proof: The set S of elements of o, which have non zero images
under +, forms a semigroup. The set o' of quotients a/s with
296 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM 2. ALGEBRAIC CURVES 297
with pif in p. Suppose these equations are of minimal degree, 2. Algebraic Curves
and let m < n. The element (1 $- pof)has an inverse in o, so (2)
yields An algebraic variety whose function field is of transcendence
degree 1 over k, is called an algebraic curve. We shall see that in
and hence this case there is an intimate connection between the places of the
function field and the valuations.
First let k be any field, o a valuation ring. We shall define an
This relation may now be used to shorten (I), contrary to the
minimal nature of n. Hence m = n = 0. But this is impossible, -
equivalence relation in the group of non zero elements of k.
We say that a is equivalent to b (a b) if both a/b and b/a lie in
+
since 1 p, # 0. It follows that we must be able to extend 4 o, i.e. if a o = bo. This relation is easily seen to be reflexive, sym-
metric and transitive. We denote the equivalence class of a by j a 1,
to one at least of o[x], o[x-l]. We now consider the set of extensions
of 4 to rings containing o. If we define an ordering in this set by and define a multiplication between the equivalence classes by
letting 4, > 4, whenever 4, is an extension of 4, we see that the
set is inductively ordered. By Zorn's Lemma there exists a minimal
extension 4, of 4 to a ring o, containing o. Since 0, is maximal,
that if a- - -
writing I a / I b 1 = I ab I. To justify this definition we must show
a' and b b' then ab a'b'. This is easily verified.
Under this multiplication the equivalence classes form a group
o, = olf and o, contains at least one of the elements x, x-l for every in which the identity element is the equivalence class consisting
x E k. Thus o, is a valuation ring. This concludes the proof of the of units of o.
theorem. We may define a total ordering of the equivalence classes. We
We now explain the application of this theorem to algebraic write
geometry. Let k, be any field, R = k,[x, , x, , x,] the ring of
..a,
p is finitely generated, say where 4 is the place corresponding to o. It is easily shown that this
relation is independent of the choice of representatives for the
equivalence classes. We can verify that
where we write f,(x) as an abbreviation for f,(xl, x 2 , ..., x,). The
ideal p defines an algebraic variety. A point (a, , a, , a,) is said
em.,
Now let k be a PF-field, that is k is either an algebraic number the mapping I or I -+ I a! In' is 1 - 1 and order preserving, and so
field or an algebraic function field of transcendence degree 1 over $1 = v , . Thus vk is a cyclic group of positive real numbers.
its constant field. Thus we include as a special case the function Hence we may regard the mapping or + I or I as a valuation of k.
field of an algebraic curve. In particular, we have
Let # be a non trivial place of k. In the case of a function field
we restrict ourselves to those places # which set like the identity Theorem 4: To every point on an algebraic curve corresponds
map on the constant field k, . I n this case we select an element a valuation of its function field.
x E k, x 6ko such that #(x) #a. (This can always be done, for if Let k = k,(x, y) where x and y are connected by the polynomial
$(x) =CO, then #(l/x) = 0, # a . ) relation F(x, y) = 0 (not necessarily irreducible). k is then the
Let R be the rational subfield. R is the field of rational numbers function field of the curve defined by F(x, y). Let (x, , yo) be an
if k is an algebraic number field and R = k,(x) where #(x) #a algebraic polnt on an irreducible constituent of this curve, i.e.
in the case of a function field. Then #(a) #a where a is any integer an algebraic zero of an irreducible factor of F(x, y). Then (x, ,yo)
of R. I n the number field case this follows from the fact that gives rise to a valuation of k.
#(I) = 1. I n the function field case it follows from our choice of x.
We now show that # is not the identity on the integers of R. Since #
Theorem 5: If aF/ax and aF/ay are not both zero at (x,, yo),
is non trivial there is an element n- # 0 such that #(T) = 0. This T
then the valuation induced by (x, ,yo) is unique and the residue
satisfies an irreducible equation
class field under this valuation is ko(xo,yo).
Proof: Suppose aF/ay (x, ,yo) # 0. Let p(x) = Irr (x, , k, , x).
with integral coefficients in R. Applying the homomorphism 4
If # denotes the mapping defined by (x,, yo), i.e. the mapping
we obtain #(a,) = 0, since #(T) = 0. But a, # 0 since the equation
described by
is assumed to be irreducible. Hence # is not the identity on the
integers of R. $(a) = a! for a E KO,
It follows that # maps the integers of R into a field. The kernel
is a non zero prime ideal (p) of R. If a is any element of R, and
a = pvb,wherep does not divide the denominator, or the numerator
of b, then I a I = I p Iv. Hence the value group v, of I I over the then #Cp(x)) = p(x,) = 0. Hence if p denotes any valuation induced
rational field R is cyclic. by #, we see that I p(x) ,1 < 1. Thus p induces on R = k,(x) the
Now let or be any integer of k. or satisfies an equation valuation defined by p = p(x). The map # can be extended to
each completion k*(p) and hence also to R*(p).
Let F,(x, t) be the irreducible factor of F(x, t) in R of which y
Since I f(or) I = 0, two of the terms must have maximal absolute is a root. Then the different inequivalent completions k*(p) are
value, say I a,& I = I a& I. Then I or$-j I = I aj/a, I = I p Im since obtained by adjoining to R*(p) roots of the distinct irreducible
the a* lie in R. Since i - j may vary as or varies, we introduce a factors of Fl(x, t) in R*(p). Suppose f,(t) is Irr (y, R*(p), t). Then
uniform exponent by writing fl(t) is one of these factors. Since y -+ yo f a , we have I y 1 ,< 1,
so y is an integer and hence all the coefficients of fl(t) are integers
(cf. Chapter 2, section 5). Since y is a root of F(x, t) = 0 we have
Hence if vk is the value group of I I over k, we see that v;' is a
subgroup of the cyclic group v, . But since vk is an ordered group,
300 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM 3. LINEAR SERIES 301
and g ( t ) has integer coefficients. Then are divisors of f we have a,/ao = a, where ai is an element of k .
We define the expressions
The set of expressions (*) constructed using all the integral divisors
Thus we have the required result that 6, = ko(xo, y o ) . We notice of f is called a complete linear series. The dimension of f is defined
also that the residue class field is separable over k,(x,). The to be the dimension of the integral divisors of f, i.e.
extension ko(xo)/komay however be inseparable.
dim f = m(ail).
3. Linear Series The Riemann-Roch Theorem,
Let k be an algebraic function field in one variable. Let f be a
fixed divisor class of k , a, a fixed divisor in f. Then if a,, a , , ... or
302 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM 4. FIELDS OF GENUS ZERO 303
lie in 1, x, y, x2, xy, and y2. But m(a-') = 5; hence there Suppose the function field k is rational, with constant field k, .
must be a relation of linear dependence between these six elements: Then there are three primes of degree one (cf. Theorem 7). Let
them be pl , p2 , p, . If a is the denominator of y, n(a) = 2. Hence
ay2 + (b + cx) y + (d + ex +fx2) = 0. at least one of the pi, say p1 is not in the denominator of y. Hence
This completes the proof. ordvly 0. From the equation of the conic ordPl x 2 0 also. I t
In order to distinguish between the two types of field of genus follows that in the homomorphic map of k into k, +a defined
zero, we prove the following result: by pl (see section I), both x and y have images in k, . This the
conic contains a rational point.
Theorem 7: A function field of genus zero is rational if and Conversely, suppose (x, , yo) is a rational point on the conic. If
only if there exists a divisor of odd degree. we write x = x, f u, y = yo f v we obtain a new equation of the
form
Proof: If k = k,(x), the denominator of x is a prime of degree 1.
In addition, the numerator of x and the numerator of x + 1 are
+
au2 buv + + +
cv2 du ev = 0.
deg (k/kO(x))= n(p) = 1. Theorem 9: In a field of genus zero, every divisor of degree
Hence k = k,(x). zero is a principal divisor.
Consider the algebraic curve C defined by an ideal a in the Proof: Let a be a divisor such that n(a) = 0. Then m(a) = 1,
polynomial ring k,[x, y]. The algebraic points of C are the sets so & contains a single function a. Hence contains 1. It follows
(xo,yo) where x,, yo lie in ko or some algebraic expression of k,, that aa-l is integral. But n(a-la) = 0, and so a-la = 1. Hence
and are such that a is annihilated by (x, ,yo). A point (x, ,yo) on a = a.
C with coordinates in k, is called a rationalpoint. Finally we prove the well-known
Theorem 8: The function field of a conic is rational if and Theorem 10: The only admissible generators of the field k,(x)
only if the conic contains a rational point. are elements of the form (a + +
bx)/(c dx) where a, b, c, d lie in k, .
Proof: Let the conic be Proof: Let p1 , p2 , be divisors of degree 1. Then x = p,/p,
a*.,
Since n(p,) = 1, w is a generator of ko(x), and conversely, each closed fields, because then all primes are of degree 1. We shall
generator is of this form. show later that it is true for function fields over finite fields.
Since n(a) = 1, we have m(a-l) = 1 so 1 7 , - 1 contains a function a.
Hence 17,-1,-1 contains 1; thus aa is integral and n(aa) = I. I t
5. Elliptic Fields follows that we may assume our original a to be integral. Now
m ( r 2 ) = 2 so 1 7 , - 2 contains two linearly independent functions I
Fields of genus 1 are called elliptic jields. and x. Now xa2 is integral; hence if ko is the constant field of k,
For such fields the Riemann-Roch Theorem has the form deg (k/ko(x)) = n denominator of x) = 2. We see that a2 = p,
the infinite prime in ko(x).
Since m ( r 3 ) = 3, Ra-3 contains three linearly independent
functions 1, x, y. Now y is integral at all finite primes dividing x.
where b belongs to the canonical class, n(b) = 2g - 2 = 0, Hence if y is a rational function of x, this function is a polynomial.
m(b-l) = g = 1. There are several possibilities for the values of But 17,-s contains no power of x higher than x itself, and y is not a
m(a) : linear polynomial in x since it is linearly independent of I and x.
It follows that y does not lie in ko(x). Hence k = ko(x,y). T o find
(I) If n(a) > 0, then m(a) = 0. the equation which defines this extension, we consider the parallelo-
(2) If n(a) < 0, then m(a) = - n(a). tope 4 - 6 . This parallelotope contains the functions 1, x, x2, x3,
(3a) If n(a) = 0, and a is a principal divisor, then m(a) = 1. xy, y, y2. But m(c6) = 6, so there must be a relation of linear
(3b) If n(a) = 0, and a is not principal, then m(a) = 0. dependence between these 7 functions. Thus
(I) has already been shown for all fields (Lemma 2 to the
Riemann-Roch Theorem). T o prove (2) we notice that If the characteristic of k is unequal to 2, 3, we can reduce this
equation to the familiar Weierstrass form
Hence m(a) = - n(a). In case (3), we see that if n(a) = 0 and We consider the following situation now: Let k be the field
m(a) > 0, then the parallelotope 17, contains at least one function a. ko(x,y) where y2 =f(x), deg f(x) = 3, the characteristic of k is
Hence 1 lies in 17+, . It follows that aa-l is integral. But unequal to 2, and f(x) is separable. Then k is the function field of
n(acl) = 0. Hence aa-l = 1, a = a. the curve C
Since m(b-l) = 1 and n(b-l) = 0, it follows that b-l, and hence
b, is a principal divisor. Thus the canonical class is the unit class. F(x, y) =y2 -f(x) = 0.
A field of genus g # 1 has a divisor of degree 2g - 2. For fields aF/ay = 231, hence aF/ay (x, ,yo) # 0 provided yo # 0, if yo = 0
of genus 1, the minimal positive degree of a divisor can be arbi- then
trarily large, (S. Lang, J. Tate, Principal homogeneous spaces over
abelian varieties, Amer. J. Math., July, 1958, remark at end of
introduction).
Case I : There exists a divisor a with degree 1. since f(x) is assumed to be separable. It follows that aF/ax and
This is certainly true for function fields over algebraically aF/ay never vanish together on the curve. Hence by Theorem 5,
308 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM 5. ELLIPTIC FIELDS 309
each algebraic zero (x, ,yo) of F(x, y) gives rise to a unique place. We now examine the multiplication of divisor classes of degree
The residue class field under the corresponding valuation p is zero. Let (x, ,y,), (x, ,y,) be rational points corresponding to the
ko(xo,yo), and f(p) = deg (ko(xo, yo)lko). In particular if (xO, yo) classes defined by divisors p,/p, ,p,/p, respectively. Let the inverse
is a rational point on C, f(p) = 1 = n(p). of the product of p,/p, and p,/p, be represented by p,/p, . Thus
Conversely let p be any prime of k of degree 1. Let 4 be the
homomorphism defined by p. Then if
Lemma: There is a 1 - 1 correspondence between the primes Thus we may interpret a geometrically as the straight line joining
of k of degree 1 and the rational points of C (including the point at (x, ,yl) and (x, ,y,). Unless (x, ,y,) and (x, ,y,) coincide, these
infinity). two equations are sufficient to determine a up to a constant factor.
Now let a be a divisor such that n(a) = 1. Then m(a-1) = I. When they do coincide, the argument must be modified slightly:
Thus contains a single function a, unique up to constant a becomes the tangent to the curve C at (x, ,y,). Clearly p, cor-
factors. Hence aa is integral and n(aa) = n(a) = 1. That is to say, responds to the point (x, ,y,) in which the straight line or meets the
cia is a prime p. Thus every divisor class of degree 1 contains a prime. curve again.
This prime is clearly unique, since m(a-l) = 1. Further, if a Case 2: There exists a divisor a of degree 2.
defines a divisor class of degree 1, then alp, defines a divisor class Since n(a) = 2, m(a-l) = 2, so 17,-1 contains two linearly inde-
of degree 0.If a defines a divisor class of degree 0, then ap, defines pendent functions a, p. Hence, writing x = p/ci we see that
a divisor class of degree 1. Hence we have: 11,-1,-1 contains 1 and x. I t follows that cia is integral. So, since
n(aa) = 2, we may assume our original a is integral, and that
Theorem 11: There are 1 - 1 correspondences between the n,-, contains 1, x. Since xa is integral, we see that
elements of the following sets:
The rational points on C and the point at infinity. deg (k/ko(x))= n(a) = 2,
The primes of degree 1.
The divisor classes of degree 1. where ko is the constant field.
The classes of degree 0. Now m ( r 2 ) = 4, so lIa-2 contains 1, x, x2 and a function y.
By the argument of Case 1 (with the obvious modifications), we
Corollary: The class number (= number of divisor classes of see that y does not lie in k,(x), and hence k = ko(x,y). To find the
degree 1) is one more than the number of rational points on C. defining equation, we must consider a parallelotope containg y2
Clearly the point at infinity corresponds to the unit class. so we examine l7,-4 . This parallelotope contains the functions 1,
310 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM
7. Hyperelliptic Fields
< <
It follows that 0 n(c) g. These results enable us to give simple
examples of parallelotopes which can be shrunk, and other which
cannot.
Let k be any function field, and let l7, be a parallelotope, with
First we show that if b is a divisor of the canonical class, then
m(a) > 0.
a = b-l cannot be shrunk. Suppose b = cb-l and m(a) = m(b).
Thus
Lemma 1: If / 3 ~ kand / 3 a ~ l 7 ,for all a ~ 1 7 , , n k , then /?
lies in the constant field k, .
First Proof: Suppose a,, a,, a*.,a n form a KO-basis for the
Hence n(c) = 0. Since t is integral, it follows that c = 1. Thus
elements of k in 17,. Then /3af = 2 ci,a, (ci, E k,). It follows that
b-l cannot be shrunk.
det (C - PI) = 0 (C denotes the matrix [cij] and I the unit
On the other hand let p be a prime of degree 1. We shall show
matrix). Hence /3 is algebraic over k, . But k, is algebraically closed
that b-lp-l can be shrunk to b-l. We have
in k, and therefore /3 E k, .
Second Proof: Let IIbbe the smallest parallelotope containing
al, .--, a n . Then /3nbis also the smallest. It follows that /3b = b. since n(p) > 0 implies m(p) = 0. Hence
Hence, considered as a divisor, /3 = 1, i.e. /3 is a constant.
Suppose now that 17, C 17,.Then a ( b and b = at where t is an
integral divisor. If a and b have the property that m(a) = m(b) # 0,
i.e. if every field element which lies in 17,already lies in IIbwe may Thus
say that a can be shrunk to b. m(b-lp-l) = g = m(b-l).
Lemma 2: If a can be shrunk to b, and b = ac, then m(c-l) = 1. This shows that b-lp-l can be shrunk.
It is easily seen that if a is an integral divisor of degree > 1,
Proof: Since t is an integral divisor, 17,-1 contains the elements then b-lp-l cannot be shrunk.
of k, . We must show it contains no other elements of k. Suppose We shall now use these results to describe hyperelliptic fields:
/? E n k. Then /3c is integral. Let a be any element of II, A k. A function field of genus 2 2 is called hyperelliptic if it is a quadra-
Then ab-l is integral. It follows that a/3b-lc is integral and so tic extension of a field of genus zero.
a/3 E 17bc-1= 17, . By hypothesis, ajl E 176 , and hence, by Lemma 1, Let k be a function field with genus g 2 2. If b is a canonical
/3 E ko . This completes the proof. divisor, IIb-lcontains linearly independent elements x, , x, , xg
..a,
We apply the Riemann-Roch Theorem to this divisor c-1 of k. If or is any element of k, norb-l contains ax,, ax2, .a-, axg.
obtaining Since the divisor class of b is an invariant of k, it follows that the
subfield
Thus
is an invariant subfield of k.
Proof: Let deg (klk') = p 2. The effective degree m(k/k') = p Lemma: If k is any field of genusg 2 2, and k' is a subfield of
also since k and k' have the same constant field. By choosing genus zero, then
cu = xyl we may assume 1, x2, xg E 17D-land so k'x, k'x, + +
... + k'x, # k.
k' = kO(x2, ---,
x,). Proof: Since
Now b-l is the greatest common divisor of 1, x, , xg in k, i.e.
em.,
dim,, (V' :l7; + k') = Z'(1) =g' = 0,
ord, b-l = mini ord, xi; otherwise we could shrink b-l, which is
impossible. It follows that b-l is also a divisor in k'. Now let
we see that V' = 17,' + k. Now
ml(a), nl(a), g', b' have the obvious meanings for kt. We see that
Hence
q x1 + -..+ 17; x, cn,-, .
Hence
From this we obtain
xlV' + x,V' + ... + x,V' f v.
But if
xlk' + x&' + .--+ xgkl= k,
Hence some of the x, , say x, , x, , -a-, x, form a basis for klk', and hence
by Chapter 13, Theorem 2
familiar arguments we can show that y does not lie in k,(x) and
hence k = k,(x, y). We have then ordPmy2 2g 2 for at least +
one p , dividing p, . T o find the defining equation of the extension
k/kl, which is quadratic, we must find a parallelotope containing y2.
since deg (k/kf)= 2. If we adjoin to k' any element of k, not already Hence we choose i such that - g +
1 - i = - 2g - 2, i.e.
in k', then we obtain all of k. It follows that xJx1 E k' for all i. Hence +
i = g 3. The parallelotope contains 1, x, x2, -.-,~ ~ gY+9 ~ ,
xy, ---, d+ly, y2. But m(ag+,) = 3g +
5. Hence between these
+
3g 6 functions there is a relation of linear dependence, which we
may write
Proof: The proof proceeds by induction on r. The result is Proof: If q o - 1 , IIbo-1 are the smallest parallelotopes containing
clearly true when r = 0, since the polynomials fi are then non zero all elements of 17,-1 n k , IIb-1 n k respectively, then
constants.
Consider the polynomials fi as polynomials in x, with coeffi-
cients in k,[x, ,x, , ...,x,-,I. Let the non zero coefficients of all
thef, be denoted b y g , ( x , , x,-,). By induction hypothesis there Further,
exists an N such that if k , contains more than N elements we can
achieve simultaneously gv(al , a,-,)
a*., + 0 for all v, with elements
ai E ko . Suppose k , contains enough elements for this result. Then
whence
consider the polynomials fi(al , ...,a,-, , x,). Clearly if k , contains
enough elements, we can choose x, = a , so that fi(al , am-, a,) = 0
(i = 1, m). This completes the proof.
Consequently if the theorem is proved for a, and b, we have
Lemma 2: Let x, , x, , ..., x, be elements of a field k linearly
independent over its constant field k , . Let 17, be the smallest
parallelotope containing all the xi; a = Qvv. Let pl , ..., p, be a
finite set of primes. Then if k , contains enough elements, there
exists a linear combination x = clxl + +
.-. c,x, (ci E k,) such that
ordp, x = vPi (i = 1, m).
me-,
We may therefore assume at the outset that 17,-1 and Ub-1are the
smallest parallelotopes containing &-I n k and nb-1 n k.
Proof: Suppose If k , is an infinite field we have already enough constants for
Lemma 2. If k, is a finite field, a sufficiently high separable exten-
min ordprx,, = vpt = ordPi X3. . sion will provide us with enough constants. Since m(a-l), m(b-l)
Ir
do not change under a separable constant field extension, (see
We write y , = x , / x j . Then ord,<y, 2 0, i.e. the y, are local Theorems 21, 22, Chapter 15) we may assume that k , already
integers at p i , and y j = 1. The lemma will be proved if we can contains enough elements.
find elements ci E k , such that y = c,y, + + cry, has ordinal According to Lemma 2 we can find an element a ~ 1 7 ,n- ~ k
zero at pi for i = 1, ..., m. such that ord, a = ord, a-l for a11 primes p dividing a and for
Let yv(pi) denote the homomorphic map of y , at the prime p, . all primes p dividing b. If cu. = al/a we see that a, is relatively prime
Then we must find ci E k , such that to a and b. We also see that
and
According to Lemma 1 this can be accomplished if k , contains
enough elements.
Theorem 15: If a and b are integral divisors, then Hence we may assume that a and b are relatively prime, i.e
320 XVI. APPLICATIONS OF THE RIEMANN-ROCH THEOREM
Finally we have
+
Hence if a ED,-, f3 k, /3 ED,-, n k, and a /3 = 0, then a and fi CHAPTER SEVENTEEN
+
are constants. The dimension of the set(&-I n k) (Ub-1 n k)
is therefore m(a-l) +- m(bW1) - 1. But this set is contained in Differentials in Function Fields
17,-16-1 n k. Hence its dimension is at most m(a-lb-l). This gives
the required result.
If f is a divisor class, a any divisor in it, m(a-l) is the dimension
of f. In the cases where m(a-l) = 0 or m(aib) = 0, the Riemann- 1. Preparations
Roch Theorem gives a complete description of the dimensions of f
and W/f . If m(a-l) # 0 then f contains integral divisors and we In this chapter we shall be dealing with function fields in the
may assume that a is integral. If Wif contains an integral divisor 6 sense of Chapter 13, i.e. with fields of algebraic functions in one
then W contains b = ab. Since m(b-l) = g we obtain the following variable. In the present section we prove some preliminary results
complementary result to the Theorem of Riemann-Roch: which will be used in the sequel.
As usual, k shall denote a function field of our type; k, its field
Theorem 16: (Cliflord's Themem). If b is an integral divisor of constants. R = k,(x) shall denote a rational subfield.
of the canonical class W, and b = ab where a and b are also integral,
then Theorem 1: There are infinitely many separable irreducible
polynomials in k,[t].
First Proof: We may prove the theorem directly by considering
Since by the Riemann-Roch Theorem two cases. If k, is an infinite field, all the linear polynomials
t - a (a E k,,) are separable. If k, is finite, the existence of such
polynomials is well known.
we obtain Second Proof: It is possible to give a unified proof for both cases
by adapting Euclid's proof that the number of primes is infinite.
Suppose p, , p, , ..., p, are separable polynomials. Let
An equivalent statement to Theorem 16 is therefore
f =P1Pz ...P, + 1.
Corollary: If m(a-l) > 0 and m(a/b) > 0, then Then
f' is not identically zero since the first term is not divisible by p,
and p,' # 0, and the remaining terms are all divisible by p, .
Therefore f has an irreducible factor p,,, which is separable.
Now let p(x) be a separable polynomial of R = k,(x). Then
321
322 XVII. DIFFERENTIALS IN FUNCTION FIELDS 2. LOCAL COMPONENTS OF DIFFERENTAILS 323
2. Local Components of Differentials (the development of H,(S) at p,) where a is the coefficient of
xmr-I in $(x) (r = degp(x)), we have
In Chapter 13 we defined for a rational subfield R the normed
differential A([), describing A([) by its infinite component
Let k1 be a finite extension of k, in which p(x) splits completely:
Further,
where deg rj$(x) < deg p(x). We consider the principal part
Hence
where k2/kl is separable, and hence k,/k, is separable. We may write Hence p induces on R' = ko(y) the valuation defined by q(y). We
can define a normed differential dRty in k,(y) as we did before for
k,(x), and then we define dky by the relation
Then
The differential dky is non trivial since AIR' is separable and dRly
is non trivial. For our chosen prime p we can argue as before and
Hence we have obtain
f P
Xpdk~ = Skalko (Rest (x, $))
We compare this result with the previous one:
(Res4X
jPXPdkx= SkzIko P "3).
-
Then F,(x, y) # 0 since x is separable over k,(y) by hypothesis. and we saw that this was independent of the choice of local uni-
Suppose also that FJx, y) f 0. Then y is separable over k,(x) formizing parameter t. We have therefore for regular primes p
and hence k is separable over k,(x) contrary to our assumption.
Hence dxldy = 0, and (*) is satisfied.
330 XVII. DIFFERENTIALS IN FUNCTION FIELDS 4. DIFFERENTIALS OF THE FIRST KIND
If p is a prime of degree 1 (in particular, if k, is algebraically closed), Hence, since dx dyldx = dy, we have
where a, # 0. Then we see that said to be of the Frst kind if it vanishes on the unit paralleotope Ill
in k. Hence A(a[) is a differential of the first kind if and only if
Ul C 17,-lb-1 , which is equivalent to or E Ub-l. Since m (b-l) =g,
we have
Hence if ord, 5, >
- m we shall have $, 5,ydx = 0. On the
Theorem 3: There are precisely g linearly independent dif-
other hand, if ord, [,= - m - 1, say 5P = crrn-l, we have
ferentials of the first kind in a field of genus g.
As an example we shall find the differentials of first kind in the
field k = k,(x, y) where y2 = f(x), f(x) being assumed square-
free. We assume also that k has genus g >, 1 and that the charac-
which is not always zero. Hence if 17,is the maximal parallelotope teristic of k is not 2.
on which ydx vanishes, we see that ord, a = - m. If m 2 0 we Let R = k,(x). We must find the different D, of k/R. Let p(x)
say that ydx is regular at p. If m = - r < 0 we say that ydx has a be an irreducible polynomial in R. Clearly p(x) is unramified and
pole of order r at p. If the maximal parallelotope on which ydx makes no contribution to 2), if p(x) does not divide f(x). On the
vanishes is 17, where a = l7pVp,then we shall sometimes say that other hand, if p(x) divides f(x) then p(x) is ramified and the rami-
fication number is 2. Hence the ramification is tame. If p in k
ydx = a-' = np-'p. dividesp(x) thenp(x) = p2, and the p-contribution to D, is pe-l = p .
Thus the contribution made to D, by the finite primes is exactly
Let dx be defined as in section 3. Then the maximal parallelotope
in k,(x) on which dx vanishes isup;. By Theorem 10 of Chapter 13,
equal to that of y = m). T o find the contribution made by the
infinite prime, we replace x by I/x and obtain y2 = f(l/u); multi-
the maximum parallelotope in k on which dx vanishes is I I P 2 g plying by ~ ~ we g obtain
+ ~ ( y ~ g + l=
) ~f(l/u) ~ ~ g pm
+ ~ will
. make a
where D, is the different. Writingp, = u, , to denote the divisor in contribution if and only if u is a divisor of the polynomial
k which is the denominator of x, we see that we have the factoriza-
tion
< <
Now let x = p,/p, . Then for 0 v g - 1, xVdx/y= ~,,"pg;l-~ Hence
is a differential of first kind. But since the xvdx/y are g in number,
it follows that a basis for the differentials of first kind is given by
since n(a) > 0 implies m(a) = 0. Hence Rap, (ydx) = - Resp, (ydx).
independent differentials with the required property. But the given elements of k, such that C c, = 0. We shall show how to
differentials of first kind have this property (they have no poles construct a differential which has simple poles at the given primes
at all). Hence only the differentials of first kind have the required with residue ci at pi. T o this end we construct differentials yidx
property. Thus there are no differentials which have exactly one (i = 2, r ) such that
..a,
happens exactly one, namely for Pi = P. All other terms in (3) are
divisible by p. (3) shows (GIN,) E 1 (modp).
Pm , 13,231
P,238, 246
p, 54, 86, 136, 225, 271, 293
8, 54
pm , 231
PIP, 231
Subject Index
Conjugate sets (in a group), definition - of a field, 246, 325 Euler, 90 Field extension(s)
334 - of the first kind, 331 Existence theorem, 181 - c-family of, 282
Conservative field, definition, 291 - residue of a, 202 Extension - see Field or Group Exten- - composite, 218
Constant field extensions, 271 Dimension sion - conductor of a, 143
- c-family of, 282 - of a divisor (class), 262 Extension of a valuation, 21 - constant, 271,276
- definition, 276 - of a Kronecker product, 218 - archimedean case, 24 - defect of a, 63
- finite algebraic, 279 - of a linear series, 301 - of a non-archimedian field, 28, 37, - degree of an element of a, 60
Constants, field of, definition, 226 Discrete valuations, definition, 56 43 - divisors in a, 278
Continuous - ramification theory for, 82 - of a non-complete field, 223 - Eisenstein, 93
- cochain, 117 'Divides' - ramification of an extended valua- - finite algebraic constant, 279
- cocycle, 117 - a divides a, 260 tion, 53 - Galois Group of a, 103
Convergence - a divides b, 260 - t o k(i), 23 - genus in a, 284, 287
- of a Cauchy filter, 239 - p divides p, 23 1 - to the completion of a field, 17 - infinite separable, 291
- of a power series, 48 Divisor(s) - normal, 103
- of a series. 47 - absolute value of a, 261 f, definition, 54 - of PF-fields, 235
Curve - see Algebraic curve - canonical divisor class, 264 Factor set, definition, 110 - purely ramified, 83
- class, 240 - relations (Brauer), 124 - tamely ramified, 67
Dedekind, 293 - definition, 240 Field - unramified, 65, 127
Defect of an extension, definition, 63 - degree of a, 261 - complete, 17 - valuation vectors in a, 241
Degree - denominator of a, 241 - completion of a, 17 - with degree equal to the charac-
- effective, 272 - dimension of a, 262 - conservative, 291 teristic, 180
- local, 224 - in an extension field, 278 - differential of a, 246, 325 Filter
- of a divisor (class), 261 - integral, 241 - elliptic, 306 - Cauchy, 239
- of an algebraic curve, 311 - numerator of a, 241 - function field - see Function - definition, 239
- of an element of an extension field, Dual field - convergent, 239
60 - group, 71 - genus of a, 263 Finite intersection property, definition,
- of a residue class, 60 - space, 245 - hyperelliptic, 312 106
- residue class degree, 54 Dyadic square, definition, 35 - inertia, 66 First countability axiom, 108
Denominator of a divisor (ideal), defini- - normed, 24 f-neighborhood, definition, 166-7
tion, 241 e, definition, 53 - number, 246 First inequality, 132
Derivative of a power series, 198, 200 Effective degree, definition, 272 - of constants, 226 Fractional ideal, definition, 86 (see ideal)
- in function fields, 324 Eisenstein - of formal power series, 47 Function Field, definition, 246
Different, definition, 87 - criterion, 93 - of genus zero, 302 - derivatives in a, 324
- for cyclic p-Extensions, 203 - extension, 93 - of p-adic numbers, 18 - differentials in a, 321, 324
- inverse, 86 - polynomial, 93 - place of a, 293 - hyperelliptic, 313
- inverse 1-13, 256 Element - product formula - see Product - of a conic, 302
- 1-9,257 - %(a, E), 95 formula fields - of a variety, 296
- 1,257 - of EIF, 84 - ramification, 70 - paralletopes in a, 262
- S-different, 259 Elliptic field, definition, 306 - rational p-adic number, 206 Fundamental theorem of Galois theory
Differential(s) Equivalent - rational subfield, 230 (Infinite extensions), 105
- class of, 264 - composite field extensions, 219 - residue class field, 54
- definition, 194, 202 - elements of k ,297 - splitting field (of a cocycle), 119 Galois
- equality of, 194 - extensions of a group, 112 - valuation of a, 3 - cohomology theory, 114
- in a power series field, 200 - subsets of a group (s-equivalence), - valuation ring in a, 293 - group, definition for infinite exten-
- in function fields, 321, 324 334 - value group of a, 53 sions, 103
- in PF-fields, 245, 251 - valuations, 3 - with perfect residue class field, 190 - theory for infinite extensions, 103
- local components of, 322 Euclid, 321 - withseparable residueclass field, 93 .
- t o ~ o l-.o mon a. 104
346 SUBJECT INDEX
SUBJECT INDEX 347
Genus of a field, definition, 263 Inertia
- in field extensions, 284, 287 Nilpotent element of a ring, definition, - in the ring of valuation vectors,
- field, 66 215 239
Group(s) - group, 72 Noether's equations, 118, 119 - upper bound for the order of a, 227
- abelian - see abelian group Infinite prime
- center of a, 335 Non-archimedianvaluation,definition, 6 Period, definition, 168
- completion at the, 18 - triangular inequality, 7 - ideal, 170
- character of a, 71 - definition, 13
- cohomology, 114 Non-critical part (of a value group), PF-field - see Product Formula field
Infinite product space, definition,
- dual, 71 definition, 76 p-group, definition, 335
I65
- extensions, definition, 108 Norm - for reasonable non-archime- Pigeon-holing principle, 227, 229
Integral
- equivalent, 112 dian primes, 226 p-integers, definition, 225
- properties of integrals, 196
- group, definition, 127 Place of a field, definition, 293
- Galois, 103 - divisor (ideal), 194
- for infinite extensions, 174 Point at infinity, definition, 308
- inertia, 72 Inverse
- norma, definition, 127 - on a linear space, 19 Pole at p, definition, 330
- different, 86
- for infinite extensions, 174 - on E, 174 Polygon, Newton's, definition, 38
- I-SP different, 256
- normalizer, 334 - residue, 13G Polynomials
- pairing operations on, 71 Kernel (G and H), definition, 71
- residue symbol, 158, 159, 175 - Eisenstein, 93
- p-group, 335 Krasner, 44
- for power series fields, 193 - universal, 51
- ramifications, definition, 72 Kronecker product
- uniqueness, 187 Power series
- higher ramification groups, 77, - dimension, 21 8
- topology induced by a, 19 - convergnece of, 48
82, 85 - of rings, 218 Normal - derivative of, 198, 200
- splitting, 116, 119 - of vector spaces, 216
- extension of a field, 103 - field of formal, 47
- Sylow subgroup, 337 - forms (for the valuation in a field), Prime, definition, 225
- value, 53 Lang, S. 306 209 - reasonable, 226
I-q different, definition, 257 - valuation - regular, 329
Hensel's lemma, 29 - inverse, 256 - at p, 14 Principal part (of a valuation vector at
Herbrand, 83 I-different, definition, 259 - for reasonable primes, 226 P), 242
Higher ramification groups, 77 Limit Normalizer of a group, definition, 334 Product Formula field(s)
Hilbert, 84 - of a cauchy filter, 239 Normed - axioms for a, 225-6
Homomorphism, canonical, of b,(A, ) -of a sequence with respect to a - field, 24 - definition, 226
b&4, H), 112 valuation, 8 - linear space, 19 - description of all, 230
- differentiation in, 245, 251
-+
Hyperelliptic function field, definition, Linear series, 300 Null sequence with respect to a valua-
313 - complete, 301 tion, definition, 17 - finite extensions of, 235
- definition, 301 Number field, definition, 246 Prolongation, definition, 95
Ideal, definition, 240 - dimension, 301 Numerator of a divisor (ideal), defini- Purely ramified field extension, 83
- denominator of an, 241 Linear space(s) - see Vector space tion, 201
Radical of a ring, definition, 215
- fractional, 86 - dual, 245 Ramification, definition, 53
- ideal class, 240 - Kronecker product of, 216 order (of S),226
- integral, 241 - normed, 19 ordering of classes in k*, 297 - field, 70
- numerator of an, 241 Local ordinal (see 'ord') - group, 75
- period, 170 - class field theory (aim of), 127 - of a at p, 13 - higher ramification groups, 77,
Idkle - components of differentials, 322 - of ar, 172 82, 85
- absolute value, 240 - degree, 224 - of 7 , 160 - of a subfield, 95
- definition, 239 'near zero', 166 p-adic numbers, definition, 18 - theory, 64
- Index of (a : an), 209 - rational p-adic field, 206 Rational-p-adic number field, definition,
Inequality 206
Newton('s)
- First, 132 - diagram, 37
Pairing operation, definition, 71 - point (on an algebraic curve), 304
- Second, 133 Parallelotope, definition, 227 - subfield, 230, 245
- polygon, 38 - in a function field, 260 Reasonable prime, definition, 226
SUBJECT INDEX SUBJECT INDEX 349
Reducibility Criterion, 36 - group (of a cocycle), 116, 119 - trivial, 3 - function field of a, 296
Regular Sylow subgroup, definition, 337 - vectors, 238 Vector space - 244 - see Linear space
- prime, 329 - theorems about, 337 - in an extension field, 241 (valuation) Vector, definition, 238
- ydx is, 330 Value group, definition, 53 Verzweigungskorper, definition, 70
Residue, definition, 198, 201 Tamely ramified field extension, defini- - non-critical part, 76 Vorlagerung, definition, 149
- of a differential, 202 tion, 67 Van der Waerden, 281
Residue class Tate, 292, 306 Variety, algebraic, defined by an ideal, Witt, 192
- degree (f), 54 Tempory symbol (c, K/k/r),144 296
- field, 54 Topology
- at p, 225 - in a Galois group, 104
- ring, 54 - induced by a norm, 19
Restricted direct product topology - induced by a valuation, 5
(on V), 239 - in the ring of valuation vectors,
Riemann part of a Riemann-Roch 239
theorem, 265 - new topology in K*, 170
Riemann-Roch Theorem, 264 Trace, 86
- applications, 293 Tragheitslrorper, definition, 66
- first proof, 262 Transfer, definition, 149
- for elliptic fields, 306 Transform of a subgroup, 338
- second proof, 265 Triangular Inequality, 7, 44, 297
Ring(s) Trivial valuation, definition, 3
- Kronecker product of, 218 Tychonoff's theorem, 166
- nilpotent element of a, 215
- of integers, 53 Ultrametric spaces, definition, 44
- of p-integers, 225 Unit class, 309
- of valuation vectors, 239 Universal polynomial, definition, 51
- complete, 239 Unramified field extension, d e f i ~ t i o n ,
- radical of a, 215 65. 127
- residue class, 54
- valuation, 293 Valuation(s)
- archimedian, 6
S-different, definition, 259 - cauchy sequence with respect to a,
Second-Inequality, 133 17
- cohomology group, 116 - classification of, 6
Sequence - definition, 3
- Cauchy, with respect to a valua- - discrete, 56
tion, 17 - equivalent, 3
- limit, with respect to a valuation, 8 - extension of a - see Extension of
- null, with respect to a valuation, 17 a valuation
S-equivalent (subsets of a group), 324 - limit of a sequence with respect to
Series a, 8
- convergence of a, 47, 48 - non-archimedean, 6
- derivative of power series, 198,200 - normal, 14,209,226
- linear, 300 - null sequence with respect to a, 17
- power, 47 - ramification of an extended, 53
'Shrunk' (a can be shrunk to b), 312 - ring, 293
splitting-field (of a cocycle), 119 - topology induced by a, 5