Harold M. Edwards (Auth.) - Divisor Theory-Birkhäuser Boston (1990) PDF
Harold M. Edwards (Auth.) - Divisor Theory-Birkhäuser Boston (1990) PDF
Harold M. Edwards (Auth.) - Divisor Theory-Birkhäuser Boston (1990) PDF
Harold M. Edwards
Divisor Theory
9 8 7 6 5 4 3 2
Preface
Preface .............................................................................. v
References 165
Part 0: A Theorem of Polynomial Algebra
j+k=i
O:5j:5m,O:5k:5 n
where
g(x)
j=# i=O j=j:. i
where the product on the left is over all (n + 1)2 - (n + 1)
factors tj - tk in which 0 ~ j ~ n, 0 ~ k ~ n, j k, where t=
9(ti) = Ej=o bjt~-j E R, where the products on the right are
over all n factors x - tj in which 0 ~ j ~ n, j i, and where t=
Co, CI, ... ,Cm+n with coefficients in Z for all sets of indices in
the ranges 0 ::; j ::; m, 0 ::; k ::; n, 0 ::; p ::; T, 0 ::; u ::; T.
PROOF: Each ajbkMp is a coefficient of g(x) n:=o f(ti).
Therefore, it has the desired form by Lemma 3.
CONCLUSION OF THE PROOF OF THE THEOREM: For fixed
indices j and k, 0 ::; j ::; m, 0 ::; k ::; n, let Ajk be the
TXT matrix whose entries are the >'jkpcr of Lemma 4. Then
(ajbkI - Ajk)M = 0, where I is the TXT identity matrix,
where M is the column matrix with entries M I , M 2 , ••• , M r ,
and where the 0 on the right represents a column matrix of
length T whose entries are all O. Since M is nonzero with
entries in the integral domain Rand ajbkI - Ajk is a square
matrix with entries in R, it follows that det( ajbkI - Ajk) = O.
In other words, ajb k is a root of the polynomial det(XI - A jk )
in the indeterminate X. Since this polynomial has the form
xr +Plxr-l +P2xr-2 + ... +Pr, where the Pi are polynomials
in the >"s, the Theorem follows.
An equivalent theorem somewhat closer to the theorem Kro-
necker states is:
ALTERNATE THEOREM. As before, let R = Z[ao, aI, ... , am,
bo, bl , ... , bnl and let Ci = L:j+k=i ajbk. Let G be (aoxo +
alXI + ... + amxm)(bOYO +.bIYI + ... + bnYn), a polynomial in
xo, Xl, ... , x m , Yo, YI, ... , Yn with coefficients in R. Then,
for some positive integer p, GP can be expressed as a linear
combination of lower powers of G with coefficients which are
polynomials in the c's, x's, and y's with coefficients in Z.
Example: (Kronecker [Kr2, p. 424]) When m = n = 1,
G2 - PG + Q = 0 where, with G' = (boxo + bl XI)( aoYo + al YI),
P = G + G' and Q = GG'. That P and Q are polynomials in
co, CI, C2, Xo, Xl, Yo, YI can be verified as follows. G = coxoYo+
aoblxoYI + alboxlYo + C2XIYl. Thus P = 2coxoYo + CI(XOYI +
xIYO)+2c2XIYI and Q = (coXOYO+C2XIYI?+(COXOYO+C2XIYJ)'
(CIXOYI +CIXI Yo)+( aoblxoYI +al bOXIYO)( al bOXOYI +aoblxIYO)j
Part o. A Theorem of Polynomial Algebra 9
coefficients). Define aI, a2, ... , am, bl , b2, ... , bn , Co, CI, ... ,
Cm+n E RI by the equations
m m
i=O i=l
n n
i=O i=l
m+n m+n
L Xm n i
Ci + - = aobo (1 II + Ui X).
i=O i=l
§1.1 Introduction.
The general theory of divisors, as it is developed in this
first part, applies to algebraic extension fields of rings that are
natural in the sense defined in the next article. The case of
number theory in Part 2 is the case of the natural ring Z, and
the case of algebraic curves in Part 3 is the case of the natural
ring Q[x).
The objective of the theory is to define divisors and divisibil-
ity of elements by divisors in such a way that, given a natural
ring r and given a (finite) set of elements, all of which are alge-
braic over r, there is a divisor which is their greatest common
divisor. Divisors form a multiplicative group in which there
are integral elements (a divisor is integral if it is the greatest
common divisor of a set of elements all of which are integral
over the ring) and in which there is consequently a notion of
divisibility (A divides B if BfA is integral). To say that a di-
visor A is the greatest common divisor of the set of elements
ltl, lt2, ... , ltv algebraic over r means simply that A divides
lti for all i and is divisible by any divisor which divides lti for
all i.
The core of the theory is presented, after a few preliminaries,
in §1.5-§1.12. The remainder of Part 1 is devoted to various
developments of the theory that can be carried out in the case
of a general natural ring.
§1.6 Definitions.
Let K be an algebraic extension of r. A polynomial f, in
any number of indeterminates and with coefficients in K, is
said to divide another such polynomial 9 if 9 = f q, where q is
a polynomial whose coefficients are elements of K integral over
r.
We will say that a polynomial f (in any number of indeter-
minates and with coefficients in K) represents a divisor, and
will denote the divisor it represents by [f]. If f and 9 are such
polynomials, we will say that the divisor represented by f di-
vides g-in symbols [fllg-if there is a primitive polynomial7r
with coefficients in r such that f divides g7r. In other words,
[J]lg means that g7r = fq, where 7r is a primitive polynomial
with coefficients in rand q is a polynomial with coefficients
integral over r.
The divisor represented by ft will be said to divide the di-
visor represented by h-in symbols, [ft]l[h]-if [12] Ig implies
[ftllg·
Two polynomials fl and 12 with coefficients in K will be
said to represent the same diviso~in symbols, [ftl = [hl-if
[ftll[hl and [hJl[ftl·
§1.7.
The contemporary style of mathematics trains mathemati-
cians to ask "What is a divisor?" and to want the answer to
be framed in terms of set theory. Those trained in this tradi-
tion will want to think of a divisor as an equivalence class of
polynomials, when equivalence of polynomials is the property
of representing the same divisor. I believe, however, that in-
stead of asking what a divisor is one should ask what it does.
It divides things. Specifically, it divides (or does not divide)
polynomials with coefficients in K. The definition of what a
divisor does involves a given polynomial, and two polynomials
represent the same divisor if the corresponding divisors do the
20 Divisor Theory
same thing.
§1.8 First Propositions.
PROPOSITIONS. (1) If [fllgl and [fllg2, then [fll(gl ± g2).
(2) If [1]1,8 for all coefficients 13 of g, then [fllg.
(3) If [llig and [g]lh, then [fll h.
(4) [f] Ig if and only if [f]l[g 1·
(5) If f has coefficients in r, if f =1= 0, and if d is a greatest
common divisor of the coefficients of f, then [fl = [d].
(6) If [fdl[h]' then [flhll[hh] for all polynomials h with
coefficients in K.
PROOFS: (1) If fql = gl 7rland fq2 = g2 7r2, then f(ql 7r2 ±
q27rJ) = (gl ± g2)7r 1 7r2. The coefficients of ql7r2 ± q27rl are
integral over r because the coefficients of ql, q2, 7rl, 7r2 are, and
because the elements of K integral over r form a ring. The
product 7rl7r2 of two primitive polynomials with coefficients
in r is itself primitive, as was proved above. Therefore, (1)
follows. (2) [fl LB implies fq = ,87r for 7r primitive and for q with
coefficients integral over r. If this equation is multiplied by any
monomial with coefficient 1, it shows that any monomial with
coefficient ,8 is divisible by [fl. Therefore, (2) follows from (1).
(3) If [lllg, say fql = g7rl, and if [gllh, say gq2 = h7r2, then
fqlq2 = g7rlq2 = h7rI7r2, which shows [fllh. (4) Since [gllg (set
q = 7r = 1), [l11[gl implies [f1Ig. Conversely, if [f1lg and if
[gllh then [l11h by (3); thus [f11[g]. (5) f jd is primitive (§1.4).
Therefore, [llid (q = 1, 7r = f jd) and [d]lf (q = f jd, 7r = 1),
so [f] = [d] by (4). (6) If hq = h7r, then hhq = hh7r for
all h, and (6) follows.
§1.9.
PROPOSITION (7). Ifa,f3 E K, and a =1= 0, then [a]l,8 if and
only if ,8 j a is integral over r.
PROO F: If 13 j a is integral over r, then a . (13 j a) = ,8 . 1 shows
that [a] 113. Conversely, suppose [a]lf3, that is, aq = j37r. With
§1.9 First Propositions 21
vides [j, g] = [1] and f and 9 are integral, [j, g, h] = [1], [jh,
gh, h2 ] = [h] by (16) and [f, h][g, h] = [fg, h] by (15).
§1.16 Ambient fields.
Up to this point, the field K has remained entirely in the
background. Kronecker deliberately structured his theory (see
the beginning of §17 of [Krl]) in such a way that K plays no
role. Division of polynomials is a rational operation, in that
if F = G H, where F, G, and H are polynomials, in any num-
ber of indeterminates, with coefficients in a field K, then the
coefficients of H are determined as rational functions of the co-
efficients of F and G. (For polynomials in one indeterminate,
this follows from the division algorithm. The proof for poly-
nomials in several indeterminates is then a simple induction.)
Therefore, if f and 9 are polynomials with coefficients in K
and if 7r is a primitive polynomial with coefficients in r such
that flg7r-that is, g7r = fq, where q has coefficients integral
over r-then the same is true (with the same 7r and q) when
K is replaced by any larger or smaller field K', provided K'
contains all coefficients of f and g. Therefore, any statement
about divisors represented by polynomials with coefficients in
K is true for divisors represented by polynomials with coeffi-
cients in any algebraic extension K' of r such that the divisors
involved can all be represented by polynomials with coefficients
in K'.
The above formulation of the theory is even more inde-
pendent of the ambient field than was Kronecker's, because
Kronecker used norms in defining the basic concept [f] Ig.
(Specifically, for a linear polynomial f with coefficients in-
tegral over r, he sets [Krl, §14] N f = P . Fm(f) , where
PEr and where Fm(f) is a primitive polynomial with co-
efficients in r, and defines [f] Ig to mean that (f I Fm(f)) Ig;
since f I Fm(f) = P fiN f, [f] Ig then means that P divides
g. (Nfl!), which is equivalent to the meaning given to [f]lg
in §1. 6, as Corollary (12) shows.)
28 Divisor Theory
be a subtler question than the ones dealt with here. For this
reason, the question of factoring arbitrary integral divisors into
divisors prime (irreducible) in a given field is avoided in what
follows. Although factorization into primes has generally been
regarded since Dedekind's time as the cornerstone of the the-
ory, the lack of such factorizations does not seem to be any
impediment at all. In fact, it forces one to rethink the funda-
mentals of the theory and to base proofs on more elementary
and more constructive arguments.
§1.19 Two Basic Theorems.
THEOREM 1. Let a tinite number of divisors [h]' [12]' ... ,
[fp] be given. There exist relatively prime integral divisors
[gd, [g2], ... , [gv] such that each [Ii] is a product of powers
of [g) 's; that is, [gi, gj] = [1] whenever i =I- j, and there exist
integers (Jij such that [fi] = [gl]U i1 [g2]Ui2 ... [gvr'v for i = 1,
2, ... , p.
PROOF: The [f)'s can be expressed as quotients of integral
divisors, say [fd = (fn/(fI']. Since a set of [g)'s for the 2p
integral divisors [fn, [fI'J will serve as a set of [g)'s for the
given [f)'s, there is no loss of generality in assuming that the
given [f)'s are integral. Consider the integral divisor which
is the product [fl][h]'" [fp] of the [f),s. If, for some pair of
indices, [fi, fj] is a proper divisor of [fi]-that is, [Ii, fj] is
neither [1] nor [fi]-then the factorization [h][h]'" (fp] can
be refined by replacing [fd with two factors [fi, fj][h], where
[h] = [Ii][fi, fjt 1 =I [1]. To find a set of [g]'s for the factors
of [f1][h]'" [fp], it will suffice to find a set of [g)'s for the
factors of the refined factorization. Let this construction be
repeated. It will produce greater and greater refinements of the
factorization [h][h]'" [fp] unless a refinement is reached in
which any two factors are either relatively prime ([fi, Ii] = [1))
or identical ([h, Ii] = [fi] = [Ii))· Let [gIl, [g2], ... , [gv] be the
distinct factors in such a factorization. Then [h ][12]' .. [fp] =
§1.19 Two Basic Theorems 33
[gILt!', where the [gd are relatively prime integral divisors =I [1]
and the O"i are positive integers. Let [g] = [gl][g2]· .. [gIL]. For
each i = 1,2, ... ,p, let hi be a polynomial with coefficients in
J{ such that [hi] is the product of [f] and all the [gj] other than
[gil; in other words, let [hd = [f][g][gd- 1 . Then (Corollary
(10), §1.12) (f][g][gd- 1 is the greatest common divisor of the
coefficients of hi. At least one of these coefficients must not
be divisible by [f][g] since otherwise [f][gJl(f][g][gi]-I, [gdl[l],
[gil = [1], contrary to assumption. Thus, for each i, there is a
(3(i) E J{ integral over r such that [f][g][gi]-l divides (3(i) but
[f] [g] does not.
Again by Theorem 1, there are integral divisors [1h], ['lfJ2],
... , ['lfJr] such that [f]' all the divisors [gi], and all the divisors
[(3(i)] are products of powers of the ['IfJ]'s. If one of the ['IfJ]'s is
a proper divisor of [gd, then a refinement of the factorization
of [g] has been achieved. Otherwise, [gd is equal to one of
the ['IfJ],s. In the expression of the integral divisor [(3(i)] as
[f][g][gd- 1 times a product of powers of the ['IfJ],s, the product
of powers of the ['IfJ]'s cannot include [gil because (f][g] t [(3(i)].
Therefore, [f][gi] does not divide [(3(i)]. Since the same is true
for each i, if this procedure does not produce a refinement of
the factorization of [g], then [f][gi] does not divide [(3(i)] for i
= 1, 2, ... , p.
n
the order of G. IT P = [I], then S(P) = [n
S(f)] , which is a
divisor represented by a polynomial with coefficientsin K (be-
n
cause the coefficients of S(n are invariant under G). Since
this divisor divides Qn, and since Q is prime in K, Corol-
lary (3) of §1.19 implies that n
S(P) = QA for some integer
A > 0 (n S( P) is divisible by P and is therefore not [1 D. Since
n S(P) is a product of divisors prime in L, the same corollary
implies Q = P:l p;2 ... p;1'
for some integers VI, V2, ••• , VI" all
~ O. Each Pi occurs in n
S(P) exactly nj Jl times. Therefore,
n
Pi divides the left side of S(P) = QA exactly nj Jl times,
and divides the right side exactly AVi times. Therefore, by the
uniqueness of factorization into primes, Vi = nj JlA for all i, as
was to be shown.
Note that PI P2 ••. PI' is invariant under G (because elements
of G permute the P's), but is not a divisor in K when V > 1
(because its vth power is prime in K). Since V > 1 can occurt,
divisors in L invariant under G need not be divisors in K.
However, as is shown in §1.32, V = 1 for all but a finite number
of divisors P prime in L, so most divisors in L invariant under
G are in K.
To study factorization in extensions L :::> K which are not
normal, it is best to find a larger extension L' :::> K which
is normal and to apply the above proposition to the normal
extensions L' :::> L and L' :::> K.
§1.23 Rings of Values.
Given an algebraic extension K of a natural ring r, there is
a way of associating to each nonzero integral divisor A in K a
certain ring, which we will call the ring of values of K at A.
Every nonzero divisor can be written as a quotient of integral
divisors (§1.14). Since the greatest common divisor of numer-
from which it follows that F' (a) = IT~:II (a - a( i)). If F' (a) =
0, then a = a(i) for some i = 1, 2, ... , n - 1, that is, one of
the conjugations K ~ L other than the identity carries all the
coefficients aI, a2, ... , a v of a to themselves; therefore, * the
a's cannot generate Kover k. Conversely, if the a's do not
generate Kover k, they generate a proper subfield of Kover
k, call it K'. As follows easily from the definition of the norm,
NK(x - a) = NK,(x - a)[K:K'J, that is, F(x) = Fo(x)j, where
Fo(x) = NK'(X - a) and j = [K: K'] > 1. Since F(a) = 0,
Fo(a) = o. Thus, F'(a) = jFo(a)j-1 F~(a) = 0, so [F'(a)] =
[0], as was to be shown.
(Note that [F'(a)] = IT:-{[a-a(i)] gives difK(al, a2, ... ,
a v ) as a product of divisors in L.)
(2) Replacing each ai with cai in each of the n - 1 factors
of F'(a) = IT(a - a(i)) gives cn - I IT(a - a(i)).
(3) If F'(a) is the polynomial which by definition represents
difK(al, a2, ... , a v ), the polynomial which by definition rep-
resents difK(aI, a2, . .. ,av-I) is obtained by setting U v = 0 in
F' (a). Therefore, its coefficients are a subset of the coefficients
of F'(a), so the divisor it represents is divisible by difK(aI,
a2, ... , a v).
(4) Suppose,8 = 'ljJ (aI, a2, ... , a v), where'ljJ is a polynomial
with coefficients in r. If S is an automorphism of Lover k,
then ,8-S,8 = 'ljJ(al, a2,· .. ,av)-'ljJ(Sal, Sa2, ... ,Sav) can
be expressed as a linear combination of al - Sal, a2 - Sa2,
... , a v - Say in which the coefficients are polynomials in the
a's and the Sa's and are therefore integral over r. Thus, for
an indeterminate v, the coefficients of (a + ,8v) - S(a + ,8v) =
(a - Sa) + (,8 - S,8)v are all divisible by [a - Sa] (a divisor in
L, namely, the g. c. d. of the ai - Sai). Therefore, [(a + ,8v)-
S(a+,8v)] = [a-Sa]. Use this identity in [F'(a)] = IT[a-Sa]
to find difK(al, a2, ... , a v ,,8) = difK(al, a2, ... ,av). Thus,
*This argument is valid only when the extension is separable. (Note added
in second printing.)
48 Divisor Theory
and bij are in r, then discK(')'I, ,2, ... , ,,,) = discK(,L ,~,
... , ,~).
·
t o dISCK ( ,I, ,2, ... , ,,,,'I, '2, ... , 'v .
DEDUCTION: By the proposition, both discriminants are equal
I I ')
§1.30.
Any ring of the form ROt = r[al, a2, ... , a v ], where the
ai E K are integral over r, is a finitely-generated r-module.
Indeed, if r is an integer such that, for each i, af is a linear
combination of lower powers of ai with coefficients in r, then
the rV monomials, of the form a~l a~2 ... a~" with 0 ~ ei < r
span ROt over r. By the above Corollary, the discriminant of
these ,'s depends only on ROt. It will be denoted discK(ROt).
PROPOSITION. As in §1.25, let K = k(a), where a is integral
over r. Then the discriminant of ROt = r[a] with respect to K
is NK(difK(a)).
PROOF: As was seen in §1.27, difK(a) = Il[a-a(i)], where
a(l), a(2), "', a(n-l) are the roots, other than a, of F(x) =
N( x - a) in a splitting field of F. Then, by Proposition 2
of §1.25, N(difK(a)) = [N(Il(a - a(i»))] = [Il(a(j) - a(i»)],
where the product is over all n( n -1) pairs of roots a(j) , a( i) of
F( x) in a splitting field (a = a(O), n = [K: kD for which a(j) =f
a(i). Therefore*, N(difK(a)) = [Ili<j(a(j) - a(i»)]2. Now
Ili</ a(j) - a(i») is the determinant of the matrix whose ith
column is 1, a(i+1) , (a(i+l)?, ... , (a(i+l»)n-l (a Vandermonde
determinant). Let A denote this matrix. Then N(difK(a)) =
[det(A)]2 = [det(AAt)]. With ,i = ai-I, the entry in the ith
row of the j th column of AAt is tr( ,i,j)' Since the ,'s span
ROt, discK(R Ot ) = [det(U AAtU t )], where U is an n X n matrix
°
since [a] f [f3]' bj < aj for at least one j (Proposition, §1.19).
The inequalities 2aj > 2bj ~ aj ~ imply first 2aj > 0, then
aj > 0, then 2b j > 0, then bj > 0, then bj ~ 1, then 2aj > 2,
and finally aj > 1. Therefore, Q;I[a].
§1.32.
Let K be an extension of finite degree of a natural ring r.
Let p be a prime element of r. The ring V[Pl of values of K at
(P] contains the ring of values of k (the field of quotients of r)
at (P]. This latter ring is a field ((P] is prime in k), call it kp,
so lipl is a vector space over the field k p • We will say that K
is p-regular if there is a basis of Kover k whose elements are
finite at (P] and whose image in V[Pl is a basis of V[Pl over kp •
As will be shown in §2.7, when r = Z, every K is p-regular for
every p. I do not know of an example r, K, p in which K is
not p-regular.
PROPOSITION 1. Let K be p-regular and let (P] = C;l .
C;2 ... C;p., where the Ci are relatively prime integral divi-
sors. Let tp denote the natural map from elements of K finite
at (P] to V[pl' and let f be a polynomial with coefficients in K
finite at (P]. Then
P.
tp(NKf) = II(Nd)e;
i=l
e
Let E K be divisible by Ci- I [P] with a quotient relatively
prime to C i (Theorem 2). An element of V[Pl has image 0 in
Vc; if and only if its product with tp(e) is zero. With respect to
the basis tp (f3i) of lipl over kp, this gives a set of homogeneous
linear conditions on k; which describe the kernel of V[Pl -+ Vc;.
Therefore, by linear algebra, one can find a subset of V[Pl whose
image in Vc; is a basis of Vc; over k p • Let (I, (2, ... , (0' E K
represent such a subset of V[pl' so that the ('S are finite at [P]
and their images in Vc; are a basis over kp • Let." E K be
integral over r and have divisor CiQ, where Q is integral and
relatively prime to Ci . Then the images in Vc~; of (s."t, for
•
1 ~ s ~ (J, 0 ~ t < ei, is a basis of Vc~; over kp (by (5)
•
of §1.24 and induction on ei). The matrix which represents
multiplication by f relative to this basis is a (Jei x (Jei matrix
of (J x (J blocks, which is zero in blocks below the main diagonal
and on the main diagonal is ei copies of the (J x (J matrix whose
determinant is Nd. Therefore, the determinant is (Nd)e;, as
was to be shown.
PROPOSITION 2. Let K = k(o:), where 0: is integral over r,
and let F(x) = NK(x - 0:). If [P]2 does not divide N[F'(o:)],
then K is p-regular. In fact, 1, 0:, 0: 2 , ... , o:n-I is a basis of
Kover k whose image in V[Pl is a basis of V[Pl over kp, where
n = [K: k].
PROOF: Let tp denote the natural map from elements of K
finite at [P] to V[pl. The dimension of lipl as a vector space
over kp is at most n, because, given any n + 1 elements of V[pl,
there exist elements 1'1,1'2, ... , I'n+I of K finite at [P] such that
tp(,t), tp(1'2), ... , tp( I'n+t) are the given elements, and, since
n = [K: k] and k is the field of quotients of r, there exist aI,
a2, ... , an+I E r such that aII'I + 0:21'2 + ... + an+II'n+l = 0;
one can assume without loss of generality that [aI, a2, ... ,
a n+l] = [1], in which case t p( at)tp(,I) + t p( a2)t p(,2) + ... +
tp(an+t)tp(I'n+d = 0 and the tp(ai) are not all zero, which
shows that the given classes are linearly dependent over kp •
58 Divisor Theory
is the column matrix (1, (2, ... , (0' and when the coefficients
of entries of M are regarded as representing elements of VCi .
Therefore, det( M) is zero as a polynomial with coefficients in
Vc ;, or, what is the same, 9i is divisible by x - a when both
are regarded as polynomials with coefficients in Vc;. There-
fore, (x-a? divides F when both are regarded as polynomials
with coefficients in VCl ::) kp • In other words, the remainder
when N(x - a)j(x - a) is divided by x - a has all coefficients
divisible by GI , which is precisely what it means to say that
GIl difK(al' a2, ... , a v ). Since GII[P] and GI =1= [1], it follows
that [p, difK(Ra)] =1= [1], as was to be shown.
COROLLARY 1. In an extension K of r of finite degree, at most
a finite number of primes ramify.
DEDUCTION: Let K = k(a), where a is integral over r. By
. Proposition 2, K is p-regular for all but a finite number of
primes p in r. By Proposition 3, of the primes p for which K
is p-regular, p ramifies for at most a finite number.
COROLLARY 2. In the proposition of §1.22, for fixed L and
K, v is greater than 1 for at most a finite number of P. In
other words, if P is a divisor p:r;ime in L which divides a divisor
prime in K, then, with at most a finite number of exceptions,
the product of the distinct conjugates of P over K is a divisor
in K. (As §1.22 shows, if the product of the distinct conjugates
of P over K is a divisor in K, it is prime in K, because v is
the smallest power of this divisor which is in K.)
DEDUCTION: If v > 1, then P21Q and QI[P] shows that p is in
the finite set of primes which ramify, so P is in the finite set
of divisors which divide such [Pl.
Part 2: Applications to Algebraic Number Theory
factorization of (P] is
2x 1 -1 x 1 -1
1
- -4 x-I 0 -2 x-I 0
2
0 -4 x-I 0 -4
x-I
which shows that f3 is integral over Z and that Ret does not
absorb division by 2. Since a·l = a, a· a = a 2, and a· a 2 =
8 + 2a + a 2 ,
x -u + Iv
2
_Iv
2
N(x-au-f3v)= -4v x-v -u
-8u - 2u - 4v x - u- v
68 Divisor Theory
x -2u + v -v
-2v x- v -u
-4u -2u - 4v x - u- v
1=1
P = -1 + 30l
p2 = 901 2 - 60l + 1 = 9(2{3 + Ol) - 60l + 1
= 1 + 30l + 18{3.
1 0 0
d= -1 3 0 = 2 . 33 ,
1 3 18
as tbe ,'s, tbat is, for wbicb f3i = L:: bij,j and
wbere tbe bij and Cij are integers.
,i
f3I, f32, ... , f3n of J{ over Q wbicb spans tbe same Z-module
= L:: Cijf3j,
,i
using the following algorithm of Kronecker [Krl, §7].
,i
Since the span J{, some subset of n = [J{: Q] of the are a
basis of J{ over Q. The discriminant of a basis is =f [0], because
if it were [0], then, by the theorem of §1.30, the discriminant of
every basis would be [0], contrary to the proposition of §1.30
and (1) of §1.27. Therefore, some subset of n of the ,'s has
a nonzero discriminant. Moreover, if a subset of n of the ,'s
has nonzero discriminant then it is a basis of J{ over Q, by the
theorem of §1.30.
Step 1. Among the (~) discriminants of subsets of n of the
,'s, there is a smallest nonzero one. Therefore, the ,'s can be
70 Divisor Theory
,i
Step 2. Since 1'1, 1'2, ... , 1'n is a basis, every,i for i > n
= 2:}=1 bij,j where
(if any) can be written in the form
bij E Q. By subtracting multiples of ,1, ,2, ... , ,n from ,i,
one can put all the coefficients bij in the range 0 ~ bij < 1
without changing the Z-module spanned by the ,'so
,n
If, after step 2, the coefficients bij are all reduced to 0, then
,I, ,2, ... , span the same Z-module as the original ,'s and
the algorithm terminates. Otherwise, return to step 1. At
step 1, d must be decreased, since if, for example, bn+l,l =1= 0,
then disc(,n+l, ,2, ,3, ... , ,n) = [bn+I,I]2disc(,I, ,2, ... ,
,n) by the theorem of §1.30, and 0 < bn+I,1 < 1. Since d can
only be decreased a finite number of times, the algorithm must
terminate.
COROLLARY. Tbere is a basis WI, W2, .•. , Wn of Kover Q
witb tbe property tbat an element (3 of K is integral over Z
if and only if its representation (3 = E biWi in tbe basis bas
integer coefficients bi .
DEDUCTION: Apply the theorem to a set ,I, ,2, ... , ,,, as in
the lemma of §2.1.
Such a basis of Kover Q is called an integral basis of K.
§2.7 Proof of the Theorem of §2.4.
Let the notation be as in §2.4. As was seen in §1.32, V[pj,
the ring of values of K at [P] (see §1.23), is a vector space over
kp, the ring of values of Q at [Pl. The field kp is the field of
quotients of the integral domain Z mod p, which is Z mod p
itself, that is, the field F p with p elements.
LEMMA 1. Tbe image in V[p] of an integral basis of K is a
basis ofV[p] over Fp. In particular, K is p-regular (§1.32).
§2.7 Proof of the Theorem of §2.4 71
Vp ::> F p , let g(x) be the norm of lp(X -a), and let Ra absorb
division by p. Then 9 is irreducible over Fp and P = fp, g(a)].
K). Let P' be written in the form P' = fp,,8] (Corollary (1),
§1.20). Since,8 is integral over Z and since Ra absorbs division
by p, b,8 = <p( 0;) ERa, where b E Z is not divisible by p. By
Fermat's theorem, <p( o;)P - <p( o;P) is of the form p . h( 0;), where
h( 0;) E Ra. Therefore, P' divides <p( o;)P - <p( o;P) = (b,8)P -
1](b,8) = bP,8P - b1](,8). Since P'I,8, it follows that P'lb1](,8),
and, since P' is prime and does not divide b, that P'I1](,8).
Thus, P' divides fp,1](,8)] = 1](P'). Since 1](P') is prime in
An and therefore irreducible in An, P' = 1](P'), as was to be
shown.
§2.11.
COROLLARY 1. Let K be a subfield of the cyclotomic field An.
The form of the factorization fp] = (PI P2 ••• PIl )1I of fp] in K
depends only on the class of p mod n. If p f n, then v = 1 and
J1 = [K: Q]/ A, where A is the least positive integer for which
0; f---+ o;pA is the identity on K.
DEDUCTION: If pin thenp is the only prime in its class mod n,
and there is nothing to prove. If p f n, then, by the theorem,
fp] is a product of distinct prime factors, and the number J1 of
these factors describes the form of the factorization of fp]. Since
A depends only on the class of p mod n, the second statement
of the corollary implies the first. By the proposition of §1.22,
the Galois group of K acts transitively on the Pi. Since this
group has [K: Q] elements, the second statement says simply
that A is the order of the subgroup leaving PI fixed, which is
immediate from the theorem.
COROLLARY 2. (Kummer's definition of ideal prime factors of
cyclotomic integers [K u, p. 322]) Let p, n be positive integers,
with p prime, n > 2, p f n. Let K be the subfield of An in-
variant under the automorphism 0; f---+ o;p. There is an element
.,p E K whose norm, as an element of K :::> Q, is divisible by
p but not by p2. For any such .,p, let .,pI, .,p2, ... , .,pe, where
e = [K: Q], be its conjugates in K, and let Wi = TIj#i .,pj.
§2.12 Quadratic Reciprocity 83
Then [P] = IT~=I [p, ¢i], the divisors [p, ¢i] are prime in An,
and [p, ¢d l1 divides j( ex) E An if and only if pl1lj( ex )Wr.
DEDUCTION: By the choice of K, A = 1 in Corollary 1. There-
fore, lP] is a product of [K: Q] = e distinct divisors prime in
K, say lP] = p}pz ··· P e , and the Pi are conjugate under the
Galois group of K ::) Q. By Theorem 2, PI = [p, ¢] for some
¢ E K. When Corollary 1 is applied with An in place of K,
A is the least positive integer, Kummer denotes it by j, for
which pI _ 1 mod n. In other words, j is the order of the sub-
group of the Galois group of An ::) K generated by ex f---t ex p •
This subgroup corresponds to the subfield K of Corollary 2,
so j = [An: K] by basic Galois theory. It follows from Corol-
lary 1 that [p] is a product of [A: Q]/[An: K] = [K: Q] = e
divisors prime in An. Therefore, the factors of lP] = ITi[P, ¢i]
are prime in An and the remaining statements of the corollary
follow easily.
§2.12 Quadratic Reciprocity.
Let q be a prime integer greater than 2, and let Aq be the
splitting field of x q - lover Q. Since the Galois group G of
Aq over Q is cyclic of order q -1 (that is, there ist a primitive
root mod q), Aq contains a unique quadratic extension K of
Q, namely, the subfield of Aq corresponding to the subgroup
of squares in G. By the Corollary of §2.11, the factorization
of [P] in K for p a prime, p ::J q, contains two factors if p is a
square mod q (so A = 1); otherwise, [p] is prime in K.
tGauss, D. A., §356. Let 00 = L:O'i, where j runs over all nonzero
squares mod q and let 01 = L: O'i , where j runs over nonsquares. Then
1 + 00 + 01 = 1 + 0' + 0'2 + ... + O'q-l, which is 0 because z - 0' divides
=
zq -1 but not z -1, so it divides (zq -l)/(z -1) zq-l + zq-2 + ... + 1.
Both 00 and 01 are elements of K integral over Z, so 0001 is integral
over Z. 00 01 is invariant under the Galois group and is therefore in
Q. Thus, 0001 E Z. Both 00 and 01 are sums of (q - 1)/2 terms, so,
before terms are combined, 0001 is a sum of (q - 1)2/4 terms, each a
power of 0'. If 0'-1 is a term of {;Io-that is, if -1 is a square mod
q-then 1 does not occur among the (q - 1)2/4 terms of BoB!, and, by
symmetry, each of the (q - 1) other powers of 0' occurs (q - 1)/4 times.
Therefore, 0001 = =
(B o+Bt)(q-1)/4 (1-q)/4. In particular, in this case
q == 1 mod 4. If 0'-1 is a term of(lt, then 1 occurs (q -1)/2 times in OOBl,
and the remaining (q-1)2/4)-(q-1)/2 = (q2-4q+3)/4 = (q-1)(q-3)/4
terms of BOOI are evenly distributed among the other q - 1 powers of 0'.
Thus, BOOI = =
(q-1)/2)+(Oo+Ot)(q-3)/4 (2q-2-q+3)/4 (q+1)/4. =
In particular, in this case q == -1 mod 4. Thus, (z - Oo)(z - Bt) =
=
z2 + z + BoB 1 (2z + 1)2 + 400Bl - 1)/4 = (2z + 1)2 - q*)/4, where
= =
q* q if q == 1 mod 4 and q* -q if q == 3 mod 4. Since Q( H) and K
are both splitting fields of (z - Oo)(z - Bd, they are isomorphic.
Part 3: Applications to the Theory of Algebraic Curves
*Function fields are also extensions of finite degree of the natural ring
Z[x]; consequently, divisor theory applies in another way to them. These
two divisor theories are different-for example, integers greater than 1
are units in Q[x] but not in Z[x]. Only the theory stemming from Q[x]
will be considered.
tA "rational function" in indeterminates Xl, X2, •.. , Xn is an element of
the quotient field of the natural ring Q[XI, X2, ..• , Xn]. In the case of
one indeterminate, such a quotient of polynomials can be regarded as a
function of a complex variable in the set-theoretic sense, provided 00 is
admitted as an element of the range. This interpretation depends on the
fact that no complex number is simultaneously a root of two relatively
prime polynomials in one indeterminate.
86 Divisor Theory
§3.7.
PROPOSITION. The restriction map from VK to Vx has as its
kernel the divisors concentrated at the denominator of [x].
polynomial whose coefficients are at, a2, ... , avo Then [f]x =
Bfl B~2 ... B~"', where Cj = min(b1j , b2 j, ... , bvj ) (because
this is the g. c. d. of the [ai]x). Thus, the numerator of [!]x
is BtlB;2 ... B;"', where dj = max(Cj, 0), and the numerator
of [ai]x is B;i1 B~i2 ... B:i'" , where eij = max(bij, 0). Because
AI{ ad, aj :5 eij for all i. For fixed j, if some bij < 0, aj :5
e··
') -
- I) >
0 -< d·) follows·, if all b·· _0 ) -< e··
, then a· I) -
- I) , and
b··
aj :5 Cj = dj follows. Thus, Ax divides the numerator of [f]x.
On the other hand, since Cj :5 bij for all i, dj :5 eij for all i,
that is, the numerator of [f]x divides the numerator of [ai]x
for all i.
§3.10.
PROPOSITION (Analog of Theorem 2). Given two integral di-
visors A and B in a function field K, there is a parameter x
of K, supporting both A and B, such that AI{x} and A-1{x}
is relatively prime to B.
PROOF: Let u be a parameter of K which supports AB. By
Theorem 2, there is an x E K integral over Q[u] such that
Au divides [x]u and A;;l[x]u is relatively prime to Bu. Since
the denominator of [x]u is [1]u, the denominator of [x] is con-
centrated at the denominator of [u] (§3.7), that is, {1/x} di-
vides a power of {1/u}. Since AB avoids {1/u}, it therefore
avoids {1/x}, which implies that x supports both A and B.
The denominator of A-I {x} has restriction [1] u to u (Au I[x] u)
and is supported by u (it divides A), so the denominator of
A- 1{x} is [1] (§3.7, Corollary), that is, AI{x}. In the same
way, [A -1 {X }, B] has restriction [1] u to u and is supported by
u, which implies [A-1{x},B] = [1].
COROLLARIES. (1) If A is an integral divisor in a function
field K, and if x is a parameter of K for which AI {x }, then
A = {x, y} for some y E K. (2) Any divisor in a function field
K can be written in the fonn {x,y}/{u,v}, where x, y, u, v
are nonzero elements of K.
§3.11 Numerical Extensions 97
Folium of Descartes
°
let n be the degree of the highest order terms of the polynomial
F( X, Y) in the relation F( x, y) = which x and yare assumed
to satisfy. Let a, b, e, d be rational numbers to be determined
later, and let x' = ax + by, y' = ex + dy. Then x' and y'
satisfy G(x',y') = 0, where G(X,Y) = F((dX - bY)/(ad-
be), (-eX + aY)/( ad - be)). The coefficients of xn and yn
in G(X, Y) are nonzero polynomials in a, b, e, d divided by
(ad-bet, and there are no terms in G(X, Y) of degree greater
than n. Choose a, b, e, d to make these coefficients nonzero and
to make ad f. be. Since Q(x, y) = Q(x', y') (by assumption,
ad - be f. 0, so the expression of x' and y' in terms of x and
y is invertible), since the constant term of G is zero, and since
the linear terms of G are not both zero (because the linear
terms of F are not both zero), it follows that one can assume
without loss of generality that the polynomial relation satisfied
by x and y contains xn and yn with nonzero coefficients, and
102 Divisor Theory
8(x,y)
z - -.:......;,...;:.....:...
- 1](x,y)'
°°
where 11 (0,0) and 1]m(O, 0) are nonzero. With j = Il- m, and
a = 11 (0, O)/1]m(O, 0), this relation can be written in the fonn
z
-
xi
- a-
0ll(x, y)4>(y)N-1i
- 11
°
(0,0)
-
6(x, y)
- 1]m(x,y)4>(y)N-m 1]m(O,O) - c+c(x,y)'
--'----'-'~
§3.16.
COROLLARIES. (1) A place in a function field K is prime in
K and in any numerical extension of K. (2) Let x be a local
parameter at a place P in a function field K. If z is any
nonzero element of K and if v = ordp(z), there is an infinite
sequence a", a,,+l, a,,+2, ... of constants of K with a" =1= 0,
such that, for all N ~ v, z = a"x" + ... +aNx N +o(xN), that
is, (z - a"x" - a,,+lx,,+l - ... - aNxN)x- N is zero at P.
DEDUCTIONS: (1) Let A be an integral divisor in K such that
P f A. Then B = P/[P,A] is integral, BIP, and B =1= [1].
Let u, v E K be such that B = {u,v}. Since B =1= [1] and B
divides both {u} and P, [P, { u }] =1= [1], which is to say that
l/u is not finite at P. Thus, ordp (l/u) < 0, ordp(u) > 0, so
u is zero at P, that is, PI{ u}. For the same reason, PI{ v}.
Thus, PI{u,v} = B, which implies P = B = P/[P,A], that is,
[P, A] = [1]. Since P f A implies [P, A] = [1], P is prime.
(2) For N = v, v + 1, v + 2, ... , let qN = (z - a"x" -
a,,+!x,,+l _ ... - aNxN)/x N , where the ai are constants in K
to be determined. The theorem provides the unique nonzero
a" such that q" = zx-" - a" is zero at P. Then ordp(q,,) > 0,
ordp(q,,/x) ~ 0, and the theorem provides a constant a,,+l
(zero if q,,/x is zero at P) such that q,,+! = (q,,/x) - a,,+l is
zero at P. In the same way, once a", a,,+l, ... , aN-l have
been found, aN is determined by the condition that qN =
(qN-dx) - aN be zero at P.
It is a corollary to the proof of the theorem that if a place
in a function field K is given, then the field of all constants in
K can be constructed. All constants in the computation of a,
starting with the coefficients of </J, "p, 6, TJ, are in the algebraic
§3.17 Relative Norms 105
{y - k}{l/x}
[Yl] = [y - kJl[x] = {l/(y _ k)}{ x}
and when the common factor A in numerator and denominator
of this quotient is cancelled the denominator becomes {l/(y-
k)}A-1{x}, which is relatively prime to A (because {l/(y-k)}
is relatively prime to {y - k} and therefore. to A, whereas
A-I {x} is relatively prime to A by the choice of x). As before,
either A has a proper divisor of the form [A, {Yl - k'}] where
k' is a constant in a numerical extension of K, or A divides
{x, Yl - k'}, where k' is a constant in a numerical extension of
K. In the first case, the construction terminates. In the second
case, the construction terminates if {x, Yl - k'} is a place, but if
{ x, Yl - k'} is not a place the construction continues by setting
Y2 = (Yl - k')/x and iterating.
If, after m iterations, the construction has not terminated, it
has produced a sequence k, k', k", ... , k(rn-l) of constants in
a numerical extension of K, say in L = K(k, k', ... , k(rn-l»),
and a sequence y, Yl, Y2, •.. , Yrn of parameters of L such
that AI{ x, Yi - k(i)} for i = 0, 1, ... , m - 1, such that Yi+l =
(Yi - k(i»)/x for i = 0, 1, ... , m-1, and such that {x, Yi - k(i)}
is not a place in L. The theorem will be proved if it is shown
that these ~onditions imply an upper bound on m.
As above, let F E Q[X, Y] be an irreducible polynomial
with rational coefficients such that F( x, y) = 0 in K. Since
{x, Y - k} is not [1] and not a place in L, when F is written as
a polynomial in X and Y - k, it contains no terms of degree
less than 2. Substitution of XY for Y - k in this polynomial
therefore gives a polynomial in which all terms are divisible
by X 2 , say F(X,k+XY) = X 2 G1(X,Y). Then G1(x,Yt) =
x- 2 F(x, k + xyt) = x- 2 F(x, y) = 0 in K, and therefore in L.
In the same way, since {x, Yl - k'} is not [1] and not a place,
§3.18 A Fundamental Theorem 111
[ ] _ [ao(x)x,ao(x)y]x
x, y x - [ao(x )]x
al(x) m-l
m
NKjKo(x)(V-y)=V +-(-)V
ao x
+ ... + am(x)
().
ao x
Therefore,
( ) [K:K'j
NK/Ko(x)P= NK'/Ko(x)P .
tions to x are equal, and for this it will suffice to prove that
NL/Lo(x)! = NK/Ko(x)! for any polynomial f with coefficients
in K. By Lemma 1, [L: K] = [Lo: Ko] = [Lo(x): Ko(x)]. Since
[L: K][K: Ko(x)] = [L: Ko(x)] = [L: Lo(x)][Lo(x): Ko(x)]' it
follows that [K: Ko(x)] = [L: Lo(x)]. A basis of Kover Ko(x)
spans both K and Lo over Lo( x), and therefore spans Lover
Lo(x). Since [K: Ko(x)] = [L: Lo(x)], it follows that a basis
of Kover K 0 ( x) is a basis of Lover Lo ( x). When such a ba-
sis is used to compute NL/Lo(x)! and NK/Ko(x)! for f with
coefficients in K, the results are identical, as was to be shown.
LEMMA 3. If K, L, and M are function fields witb K c L c
M, tben NM/KA = NL/K(NM/LA).
PROOF: This follows immediately from the same formula for
norms of polynomials with coefficients in M, a basic algebraic
identity which can be proved by expressing the norm as a prod-
uct of conjugates under the Galois group (see Proposition 2 of
§1.25).
PROOF OF THE THEOREM: Clearly it will suffice to prove that
(3)
where
°
fore, if x-V I: Bi(X)yn-i is integral over Q[l/x], /-l must be::; 0,
that is, -v + degBi + j(n - i) ::; for all i.
In summary, if Alz, then, provided v is large, z =
I:Bi(X)yn-i + I:ai(i, where degBi ::; v - j(n - i). Con-
versely, every element z of K of this form is integral over
Q[x] and has the property that z/x v is integral over Q[l/x];
thus, if z =1= 0, the restrictions of {l/x }"[z] to both x and
l/x are integral, which implies that Alz. Since the expres-
sion of z in this form contains l:?:I(v - j(n - i) + 1) + k =
nv-j G)+n+k constants, this is dimK(A). On the other hand,
degK(A) = -vdegK{l/x} = -vndegQ(x){l/x} = -vn, so
dimK(A) + degK(A) = -j G) + n + k. Let
g=j(;) -n-k+1
§3.24 The Genus of a Function Field 125
(1) t 1~i
,=1 Q.
f (x, y) dx = J
rational differential in the a's
where QI, Q2, ... , Qp. and PI, P2, ... , Pp. are the zeros on
C of the B's corresponding to two different sets of values of
the parameters a, a', a", .... When the Q's are fixed, the
left side of this equation is of the form ~'IjJ(Pi) + const. and
the equation says that ~ 'IjJ(Pi ) is an indefinite integral of a
rational function of the a's, when the P's are the zeros of the
B corresponding to some set of values of a, a' ,a", ... .
For any set of values of the parameters a, a', a", ... , the zero
set PI, P2, ... , Pp. of B is equivalent, as a divisor, to the pole
set, which is the same for all sets of values of the parameters.
Therefore, the condition on the P's implies that the divisors
PI P2 ··· Pp. are all equivalent. When the a's provide enough
degrees of freedom, the only condition on the P's is that these
divisors be equivalent. Thus, when PI P2 ... Pp. is equivalent
to a fixed divisor, ~ 'IjJ( Pi) can be expressed as an indefinite
integral of a rational function of the a's.
From this point of view, the essence of Abel's original the-
orem is the statement that, given a set of places QI, Q2, ... ,
Q p. on an algebraic curve C, the nearby sets of places PI, P2,
... , Pp. such that the divisors PI P2 ··· Pp. and QIQ2··· Qp. are
equivalent can be described by 9 algebraic conditions, for some
g. The minimum value of 9 is the genus of C, and the desired
conditions can be derived from "Abe1's Theorem" above as fol-
lows. Given PI, P2, ... , Pp._g, there is, by "Abel's Theorem",
an integral divisor of degree g, call it R I R 2 ••• R g , which is
equivalent to (QIQ2···Qp.)/(PI P2 ···Pp.-g). The R's depend
on PI, P2, ... , Pp.-g, and the 9 conditions are Pp.-g+i = Ri
for i = 1, 2, ... , g.
128 Divisor Theory
(1) AB", CO
that is, the product of the elements of the divisor class group
represented by A and B (relative to 0) is represented by any
integral divisor C for which (1) is satisfied. Abel's theorem
implies that for integral divisors A and B of degree g, and for
a divisor 0 of degree g, there is an integral divisor C for which
(1) holds.
§3.29 Examples.
IT K = Q(x) and A = {llx}, then z E K is divisible by
A -v if and only if z is a polynomial of degree v, at most, in x.
The genus of this K is therefore equal to 1- dimK( {llx} -V)_
degK({llx}-V) = 1- (v + 1) - v = 0, as is the genus of any
numerical extension of Q( x).
Let K be a function field of genus O. Let P and Q be distinct
places in a nu~nerical extension L of K. By Abel's theorem,
PI Q is equivalent to an integral divisor, say [z] = PI QR,
where R is integral. Then {z} = P, which gives
1 = degL{z} = [L:Q(z)][Lo:Q]-ldegQ(z){z}
= [L: Lo(z)][Lo(z): Q(z)][L o: Qr l = [L: Lo(z)]
§A.1.
Let PI, P2, ... , Pk be places in a function field K. The
poles of an element z of K will be said to be concentrated at
Pl P2 ·· ,Pk if {liz} is concentrated at Pl P2 ",Pk (see §3.6).
Let Ui be a local parameter at Pi (i = 1, 2, ... , k). The
condition "z = 7]i + a~i)uil + a~i)ui2 + ... where 7]i is finite
at Pi" determines a polynomial a~i) X + a~i) X 2 + ... = <pi(X)
in X with coefficients in the field of constants Ko of K and
with constant term zero. If the poles of z are concentrated
at Pl P2 ... Pk, the polynomials <Pl(X), <P2(X), ... , <Pk(X) are
called the principal parts of z (relative to the parameters Ui).
The problem dealt with in this appendix is: Given a set of
polynomials <Pl(X), <P2(X), ... , <pk(X) (with coefficients in
the field of constants Ko of K and with constant terms zero)
when are they the principal parts (relative to the Ui) of an
element of K with poles concentrated at Pl P2 ··· Pk? Using
differentials one can find conditions on k-tuples (<PI, <P2, ... ,
<Pk) which are necessary and sufficient for them to be principal
parts. The Riemann-Roch theorem is a simple corollary of this
description of the principal parts.
§A.2 Definitions and First Propositions.
Let K be a function field. Differentials in K are represented
by expressions of the form Xldx2 + X3dX4 + ... + X2k-ldx2k,
where k is a positive integer and Xl, X2, ... , X2k are elements
of K. Such an expression represents the zero differential, de-
noted xldx2+X3dx4+" '+X2k-ldx2k = 0, if, at every place P
of every numerical extension of K, either (1) one of Xl, X2, ... ,
X2k is not finite at P, or (2) they are all finite at P, and, for
a local parameter t at P, when constants ai, bi are defined by
Xi = ai+bit+O(t), the equation al b2+a3b4 +.. ·+a2k-lb2k = 0
holds. (The equation Xi = ai + bit +o( t) means, of course, that
(Xi -ai - bit)lt is zero at P.) If al b2+a3b4 + .. ·+a2k-lb2k = 0
138 Divisor Theory
holds for one local parameter t at P, then it holds for all, be-
cause, if s is another, s = 'Yt+o(t), t = 'Y-ls+o(s) where 'Y is a
constant of K, 'Y =f 0, and Xi = ai+ bi('Y- 1s + 0(s))+0(s) = ai+
'Y-IbiS + o(s), so that the desired relation is Ea2i-l'Y-lb2i =
'Y- 1 Ea2i-lb2i = 0, which holds whenever Ea2i-Ib2i = o.
Two expressions E X2i-l dX2i and E Y2i-1 dY2i represent the
same differential, denoted E X2i-I dx2i = E Y2i-IdY2i, if
E X2i-1 dX2i + E( -Y2i-l )dY2i represents the zero differential.
PROPOSITIONS. (1) EX2i-ldx2i = EY2i-ldY2i is an equiva-
lence relation consistent with addition and with multiplication
by elements of K.
(2) If X E K is constant, then dx = O.
(3) d(x + y) = dx + dy.
(4) d(xy) = xdy + ydx.
(5) Let a parameter x of K be given. There is an integral
divisor C in K such that, for every place P in every numerical
extension of K, either x is not finite at P or x - a is a local
parameter at P for some constant a of K or PIC.
(6) If dx = 0, then x is a constant of K.
(7) Given Xl, X2, ... , X2k and Y in K, where Y is not con-
stant, E X2i-l dX2i = z dy for a unique z in K.
(8) If K and L are function fields with K C L, and if
E X2i-l dX2i = E Y2i-1 dY2i holds in K, then E X2i-l dX2i =
E Y2i-1 dY2i holds in L.
Note that Proposition (7) gives an algorithm for determining
whether a given differential is zero; one need only write it in
the form zdy, where y is not constant, and note that, by (1),
(2), and (6), z dy = 0 if and only if z = O.
PROOFS: (1) These properties are all easy to deduce from the
definition. (2) IT X is constant then x is finite at all places P
in all numerical extensions of K and its expansion in terms of
any local parameter t at P is x = x + 0 . t + 0, so E a2i-1 b2i in
the case of 1· dx is 1· 0 = 0 for all P. (3) and (4) At any place
P in any numerical extension of K at which x and yare both
§A.2 Definitions and First Propositions 139
of places. Then
L resp(u dx) = 0
PIB
°
gral divisor, and if Yl is zero at Qi then Qi divides {l/x }"[Yl].)
Therefore, if Yl =f is in the kernel, [YdY] is integral, which
§A.4 A Fundamental Theorem 145
where tru is the trace ofu relative to the extension K :::> Ko(x)
(Ko is the field of constants of K) and where TJ has order at
least 0 at the place {x} in Ko(x).
PROOF: (Dedekind-Weber [D-W]) By Theorem 2, there ex-
ists, for each i, an element Yi of K which is integral over Q[x)
and divisible by the restriction to x of {x}N Pi- N but not di-
visible by the restriction to x of Pi. Then ordp(Yi) ~ N for
P = Pj with j t- i, while ordp(Yi) = 0 for P = Pi. A set of
elements YI, Y2, ... , Yn E K obtained in this way is a basis of
Kover Ko (x), as can be shown as follows.
By the theorem of §3.21,
I'
<:.i = ( Vii - U) + ( U- ( i)
a_Nx - N ( i) x -1 )
- ... - a_I = ( Vii - U) + 'fJi
is finite at Pi. Thus Vii = a~~x-N + ... + a~~ x-I + (i where
(i is in Ko(x) (all other terms of the equation are in Ko(x)).
Therefore, (i is in fact finite at {x}. In conclusion, then, tr U =
LVii = (La~~)x-N + ... + (La~Dx-I +(, where (= I:(i
is finite at {x}, as was to be shown.
PROOF OF THE THEOREM: By Lemma 2, there is an x in a
numerical extension Kif of K' such that {I / x} is a product of
distinct places in Kif including all places in Kif which divide B.
Let U E Kif be such that U dx represents the given differential.
For each place Pi dividing {l/x}, x-I is a local parameter at Pi
and the residue of U dx = u( -x 2 )d(x- I ) at Pi is the coefficient
of x = (x- I )-1 in the expansion of -x 2 u in powers of x-I at
Pi. When constants a;i) in Kif are defined by u = a<;}x N +
148 Divisor Theory
a <;}-1 X N -1 + ... + a~i) + a~~ x -1 + 77i, where 77i has order greater
than 1 at Pi, the residue of u dx at Pi is -a~~. By Lemma 3,
tr( -x 2 u) = (- E a<;})x N +2 + ... + (- E a~~)x + 77, where 77
has order at least 0 at {x -1 }, is the expansion of tr( - x 2 u) in
powers of the local parameter x-I at {x-I}. By Lemma 1,
tru is a polynomial in x. Therefore, tr( -x 2 u) is a polynomial
in x with no terms of degree 0 or 1. By the uniqueness of
expansions in the form bN +2 x N +2 + ... + b1 x + 77, it follows
that 77 = 0, Ei a~~ = 0, and - Ei aji) is the coefficient of xi
in tr u for j ~ o. Since a~~ is the residue of u dx at Pi in K'
as well as in Kit, E a~~ = 0 is the equation that was to be
proved.
§A.5 Holomorphic Differentials.
A differential in a function field K is holomorphic if it has
no poles, that is, if its order at any place in any numerical
extension of K is nonnegative.
The holomorphic differentials in K obviously form a vector
space over the field of constants of K.
THEOREM. The dimension of the holomorphic differentials in
a function field K as a vector space over the field of constants
of K is equal to the genus of K.
The proof, which will be given in §A.I0, will include a con-
struction, following [D-W], of the holomorphic differentials in
K.
§A.6 Integral Bases.
PROPOSITION. Let x be a parameter of a function field K.
There is a basis Yl, Y2, ... , Yn of Kover Ko(x), where Ko
is the field of constants of K, such that an element z of K is
integral over Q[x] (or, what is the same, integral over Ko[x])
if and only if its unique representation in the form z = VIYl +
V2Y2 + ... + VnYn with Vi E Ko(x) has Vi E Ko[x] for all i.
§A.6 Integral Bases 149
§A.9.
PROPOSITION 1. Let Yl, Y2, ... , Yn be an integral basis of a
function field K witb respect to a parameter x of K, and let
Zl, Z2, ... , Zn be its dual basis. Let Dx be tbe different OfYl,
Y2, ... , Yn witb respect to K as an extension of tbe natural
ring Ko[x]. Tben Dx[Zi]x is integral for all i = 1, 2, ... , n.
(Here [Zi]x is the restriction to x of the global divisor [Zi].)
PROOF: In the notation of §1.28, Dx = [F'( a)], where F'( a)
is as defined in §1.26 with r = Ko[x] and (}i = Yi (i = 1, 2,
... , n). Since Zi has the property that trK/Ko(x)YZi E Ko[x]
whenever Y is integral over Ko[x], trK/Ko(x) (Ziq(X)) = <p(X)
has coefficients in Ko[x], where the notation of §1.28 is modi-
fied by setting X in place of x so that q(X) = F(X)/(X - a).
As in §1.28, <p(ii) = ZiF'(ii). Thus, [ZiF'(ii)]x is integral over
Ko [x], as was to be shown. '
PROPOSITION 2. (Cf. §2.8.) Let Dx be as above, let P be a
place in K at wbich x is finite, and let a be tbe value of x at
P. Tben tbe numerator of [x - a]x/Dx is divisible by P x . In
fact, if e is tbe multiplicity witb wbicb P x divides [x -a]x, tben
e - 1 is tbe multiplicity witb wbicb P x divides Dx.
PROOF: Assume, without loss of generality, that a = 0 and
that {x} is a product of places, say {x} = pr p;2 ... pr. Let
V be the ring of values of K at [x]x, and let '- be the natural
map of elements of K finite at [x]x to V. Then Ko is included
in V in a natural way and '-(yd, '-(Y2), ... , t(Yn) are linearly
independent over Ko because alt(Yl)+a2'-(Y2)+·· ·+ant(Yn) =
o for ai E Ko implies (alYl + a2Y2 + ... + anYn)/x is integral
over Q[x], which in turn implies, because the y's are an integral
basis with respect to x, that the ai are aliO. Therefore, as in
Lemma 1 of §2.7, the t(Yi) are a basis of V over K o, K is p-
regular for p = x, and, by Proposition 1 of §1.32, the image in
V[X, Ul, U2, ... , un] of F(X) = NK/Ko(x)(X -UIYI-U2Y2-
... - unYn) is rr7=1 Ni(X - UIYl - ... - unYnYi where Ni is
154 Divisor Theory
a + bx + cy dx
3y2 + x 3