Basic Number Theory - Andre Weil PDF
Basic Number Theory - Andre Weil PDF
Basic Number Theory - Andre Weil PDF
After
studying mathematics at the Ecole Normale
Superieure and receiving a doctoral degree from
the University of Paris in 1928, he held professorial
positions in India, France, the United States and
Brazil before being appointed to the Institute
for Advanced Study, Princeton in 1958 where he
is now Professor Emeritus.
Springer
Andre Wei!
Institute for Advanced Study
Princeton. NJ 08540
USA
This work is subject to copyright. All rights are reserved, whether the whole or part of the material is
concerned. specifically the rights of translation. reprinting. reuse of illustration, recitation. broadcasting.
reproduction on microfilm or in any other way. and storase in data banks. Duplication of this publication
or parts thereof is permitted only under the provision of the German Copyright Law of September 9. 1965.
in its current version. and permission for use must always be obtained from Springer-Verlag. Violations are
liable for prosecution under tbe German Copyright Law.
@Springer-VerlasBerIinHeideiberg 1995
The use of general descriptive names, registered names. trademarks. etc. in this publication does not imply.
even in the absence of a specific statement, that such names are exempt from the relevant protective laws
and regulations and therefore free for general use.
All rights, especially that of translation into foreign languages, reserved. It. is also
forbidden to reproduce this book, either whole or in part, by photomechanical
means (photostat, microfilm and/or microcard) or by other procedure without
written permission from Springer-Verlag
© 1973 by Springer-Verlag New York Inc.
Library of Congress Catalog Card Number 73-75018
Foreword
)tPI(}jlOV, e~oxov (10CPUljlr1.'CWV
goes without saying that the function-fields over finite fields must be
granted a fully simultaneous treatment with number-fields, instead of
the segregated status, and at best the separate but equal facilities, which
hitherto have been their lot. That, far from losing by such treatment,
both races stand to gain by it, is one fact which will, I hope, clearly emerge
from this book.
It will be pointed out to me that many important facts and valuable
results about local fields can be proved in a fully algebraic context,
without any use being made of local compacity, and can thus be shown
to preserve their validity under far more general conditions. May I be
allowed to suggest that I am not unaware of this circumstance, nor of
the possibility of similarly extending the scope of even such global results
as the theorem ofRiemann-Roch? We are dealing here with mathematics,
not with theology. Some mathematicians may think that they can gain
full insight into God's own way of viewing their favorite topic; to me,
this has always seemed a fruitless and a frivolous approach. My intentions
in this book are more modest. I have tried to show that, from the point
of view which I have adopted, one could give a coherent treatment,
logically and aesthetically satisfying, of the topics I was dealing with.
I shall be amply rewarded if I am found to have been even moderately
successful in this attempt.
Some of my readers may be surprised to find no explicit mention of
cohomology in my account of classfield theory. In this sense, while my
approach to number-theory may be called a "modern" one in the first
half of this book, it may well be described as thoroughly "unmodern" in
the second part. The sophisticated reader will of course perceive that a
certain amount of cohomology, and in fact no more and no less than is
required for the purposes of classfield theory, hides itself in the theory
of simple algebras. For anyone familiar with the language of "Galois
cohomology", it will be an easy and not unprofitable exercise to translate
into it some of the definitions and results of our Chapters IX, XII and
XIII; in one or two places (the most conspicuous case being that ofthe
"transfer theorem" in Chapter XII, § 5), this even makes it possible to
substitute more satisfactory proofs for ours. For me to develop such an
approach systematically would have meant loading a great deal of
unnecessary machinery on a ship which seemed well equipped for this
particular voyage; instead of making it more seaworthy, it might have
sunk it.
In charting my course, I have been careful to steer clear of the arith-
metical theory of algebraic groups; this is a topic of deep interest, but
obviously not yet ripe for book treatment. Partly for this reason, I have
refrained from discussing zeta-functions of simple algebras beyond what
was needed for the sake of classfield theory. Artin's non-abelian L-func-
Foreword VII
tions have also been excluded; the reader of this book will find it easy
to proceed to the study of Artin's beautiful papers on this subject and
will find himself well prepared to enjoy them, provided he has some
knowledge of the representation theory of finite groups.
It remains for me to discharge the pleasant duty of expressing my
thanks to David Cantor, who prepared from my lectures at Princeton
University the set of notes which reappears here as Chapters I to VII
of this book (in many places with no change at all), and to Chevalley,
who generously allowed me to make use of the above-mentioned manus-
cript and expand it into Chapters XII and XIII. My thanks are also
due to Iwasawa and Lazard. who read the book in manuscript and offered
many suggestions for its improvement; to H. Pogorzelski, for his assis-
tance in proofreading; to B. Eckmann, for the interest he took in its
publication; and to the staff of the Springer Verlag, and that of the
Zechnersche Buchdruckerei, for their expert cooperation and their
invaluable help in the process of bringing out this volume.
The text of the first edition has been left unchanged. A few correc-
tions, references, and some brief remarks, have been added as Notes at
the end of the book; the corresponding places in the text have been
marked by a * in the margin. Somewhat more substantial additions will
be found in the Appendices, originally prepared for the Russian edition
(M. I. R., Moscow 1971). The reader's attention should be drawn to the
collective volume: J. W. S. Cassels and A. Frohlich (edd.), Algebraic
Number Theory, Acad. Press 1967, which covers roughly the same
ground as the present book, but with far greater emphasis on the cohomo-
logical aspects.
§ 3), Zp for the ring of p-adic integers (i. e. the closure of Z in Qp). The
fields R, C, H, Qp are always understood to be provided with their usual
(or "natural") topology; so are all finite-dimensional vector-spaces over
these fields. By Fq we understand the finite field with q elements when
there is one, i. e. when q is of the form pn, p being a rational prime and
n an integer ~ 1 (cf. Chapter I, § 1). We write R+ for the set of all real
numbers ~O.
All rings are assumed to have a unit. If R is a ring, its unit is written
l R , or 1 when there is no risk of confusion; we write R x for the multi-
plicative group of the invertible elements of R; in particular, when K is
a field (commutative or not), K X denotes the multiplicative group of
the non-zero elements of K. We write R~ for the multiplicative group
of real numbers >0. If R is any ring, we write MiR) for the ring of
matrices with n rows and n columns whose elements belong to R, and
we write In for the unit in this ring, i.e. the matrix (OJ) with oij= lR or 0
according as i = j or i =f. j. We write I X for the transpose of any matrix
X E M n(R), and tr(X) for its trace, i. e. the sum of its diagonal elements;
if R is commutative, we write det(X) for its determinant. Occasionally
we write Mm.n(R) for the set of the matrices over R with m rows and n
columns.
If R is a commutative ring, and T is an indeterminate, we write R[T]
for the ring of polynomials in T with coefficients in R; such a polynomial
is called monic if its highest coefficient is 1. If S is a ring containing R,
and x an element of S commuting with all elements of R, we write R[x]
for the subring of S generated by R and x; it consists of the elements of
S of the form F(x), with FER[TJ. If K is a commutative field, L a field
(commutative or not) containing K, and x an element of L commuting
with all elements of K, we write K(x) for the subfield of L generated by
K and x; it is commutative. We do not speak of a field L as being an
"extension" of a field K unless both are commutative; usually this word
is reserved for the case when L is of finite degree over K, and then we
write [L: K] for this degree, i. e. for the dimension of L when L is regarded
as a vector-space over K (the index of a group g' in a group g is also
denoted by [g:g'] when it is finite; this causes no confusion).
All topologies should be understood to be Hausdorff topologies,
i. e. satisfying the Hausdorff "separation" axiom ("separated" in the sense
of Bourbaki). The word "homomorphism", for groups, rings, modules,
vector-spaces, should be understood with the following restrictions:
(a) when topologies are involved, all homomorphisms are understood to
be continuous; (b) homomorphisms of rings are understood to be .. uni-
tary"; this means that a homomorphism of a ring R into a ring S is assumed
to map lR onto Is. On the other hand, in the case of groups, homo-
morphisms are not assumed to be open mappings (i. e. to map open sets
Prerequisites and notations xv
onto open sets); when necessary, one will speak of an "open homo-
morphism". The word "morphism" is used as a shorter synonym for
"homomorphism"; the word "representation" is used occasionally, as a
synonym for "homomorphism", in certain situations, e. g. when the
homomorphism is one of a group into C x , or for certain homomorphisms
of simple algebras (cf. Chapter IX, § 2). By a character of a group G, com-
mutative or not, we understand as usual a homomorphism (or "represen-
tation") of G into the subgroup of C x defined by z z= 1; as explained
above, this should be understood to be continuous when G is given as
a topological group. The words "endomorphism", "automorphism",
"isomorphism" are subject to the same restrictions (a), (b) as "homo-
morphism"; for "automorphism" and "isomorphism", this implies, in
the topological case, that the mapping in question is bijective and bi-
continuous. Occasionally, when a mapping f of a set A into a set B,
both with certain structures (usually fields), determines an isomorphism
of A onto its image in B, we speak of it by "abuse of language" as an
"isomorphism" of A into B.
In a group G, an element x is said to be of order n if n is the smallest
integer ~ 1 such that x"=e, e being the neutral element of G. If K is a
field, an element of K x of finite order is called a root of 1 in K; in
accordance with a long-standing tradition, any root of 1 of order divid-
ing n is called an n-th root of 1 in K; it is called a primitive n-th root of
1 if its order is n. Thus the n-th roots of 1 in K are the roots of the
equation X" = 1 in K.
If a, b are in Z, (a,b) denotes their g.c.d., i.e. the element d ofN such
that dZ=aZ+ bZ. If R is any ring, the mapping n-+n'l R of Z into R
maps Z onto the subring Z·lR of R, known as "the prime ring" in R;
the kernel of the morphism n-+n-lR of Z onto Z'lR is a subgroup of Z,
hence of the form m' Z with meN; if R is not {O} and has no zero-divisor,
m is either 0 or a rational prime and is known as the characteristic of R.
If m=O, n-+n'lR is an isomorphism of Z onto Z·lR' by means of which
Z' 1R will frequently be identified with Z. If the characteristic of R is a
prime p> 1, the prime ring Z·1 R is isomorphic to the prime field Fp.
We shall consider left modules and right modules over non-commu-
tative rings, and fix notations as follows. Let R be a ring; let M and N
be two left modules over R. Then morphisms of Minto N, for their
structures as left R-modules, will be written as right operators on M; in
other words, if IX is such a morphism, we write it as m-+mIX, where meM;
thus the property of being a morphism, apart from the additivity, is
expressed by r(mIX)=(rm)IX for all reR and all meMo This applies in
particular to endomorphisms of M. Morphisms of right R-modules are
similarly written as left operators. This notation will be consistently
used, in particular in Chapter IX.
XVI Prerequisites and notations
Table of notations
Chapter I.
§ 2: modG' mod y , mod K •
§ 3: Ixlp, Ixl oo ' Qoo=R, lxiv, Qv (v = rational prime or 00).
§ 4: K (any p-field), R, P, n, q, ordK , ord, M", M.
Chapter II.
§ 3: 1 + P" (as subgroup of K" for n ~ 1).
§ 5: (g,g*)G' (g,g*), G*, H*, V*, L*, Y, [v,v']y, [v,v'], X, ord(x).
Chapter III.
§ 1: (for a place v of an A-field k) lxiv, kv, rv, Pv (for qv, see Chap. VII-I);
00 (as a place ofQ), wlv, Ev=E®kkv, ev, d v, (Xv.
§ 3: End(E), TrJilI'" NJilI'" Tr"'I'" N"'I"·
Chapter IV.
§ 1: P, P00' kA(P), kA' X, Xv, EA(P,e), E A, d A' d A(P,(X), (k'/k)A' (E/k)A.
§ 3: Aut(E), d;, d A(P, (x)" , lalA.
§ 4: kl, M, Q(P) = kA(P) x ,Ol(P), E(P).
Chapter V.
§ 2: koo' E oo , t, Lv.
§ 3: Vv, I(k), idea), P(k), h, 91(a).
§ 4: Idx /\ dxl, R, c".
Chapter VI.
deg(a), a ~ b, div(a), D(k), P(k), Do(k), g, div(x).
XVIII Table of notations
Chapter VII.
§ 1: qv, Ck(cf. § 6).
§ 2: n n
<P*, <Pv , (XV'
§ 3: Q(G), Q1' w•.
§ 4: n
Gk=kAx /k x , Q(GJ, w 1, w., G~, Q1' M, N, w v , w v , Z(w,<P).
§ 6: G1(s), G2 (s), Ck (cf. Chap. V-4), Gw(s), Ck(s), Zk(S).
§ 7: n
f(v), Sv' A, B, N v, <Pm, K= Kv' a=(a v), b=(bv), Gw , l(v), n v, U.s,w),
f,A (s,w). .
§ 8: Gp , l(P), D(P).
Chapter VIII.
§ 1: K, K', n, q, R, P, n, q', R', P', n', J, e, Tr, N, 91, d, D(K'/K), D, r'.
§ 2: 11.
§ 3: v(l), 9".
§ 4: n, r, 91k 'lk' 91, :no
Chapter IX.
§ 1: A L , A®B, AO.
§ 2: T, v.
§ 3: CI(A), B(K), K, K sep , (D,~, K', K', K;ep, (D', p, H(K).
§ 4: {X,O}, [L/K; X,OJ.
§ 5: Xn,~, g,O}n' Xp,~, g,O}p-
ChapterX.
§ 1: Hom(V, W), Hom(V,L; W,M), End(V,L), Aut(V,L).
§ 3: l:, l:', l:"; l:, U.
Chapter XII.
§ 1: Kab> (D(1), m:, X g, p, Gg, (X,g)K' n, Gi, U g, X 0' m: o, K o·
§ 2: h(A), 11, (x,O)g (for K =R,C); rol, Ko, ~o, K n, CPo, X o, cP, 11, (X,O)g,
n, h(A).
§ 3: Ug, ~o.
Chapter XIII.
§ 1: K", ksep, k",sep, kab' kv,ab' (D, m:, (D", ~'" p", Xk, x,,, (x",Z)v, (x,Z)k'
k,
n, k::' +, F, q, ko, ~o, X 0, kn , m: o, CPo, cp, Q, e, ~m' g, ~.
§ 3: hv(A), Uk'
§ 5: (X,Y)n,g, (z,z')n, Q(P) (cf. Chap. IV-4), Q'(P).
§ 7: (X,Z)p,K' <P, Q'(m,K), (x,z)p, Q'(m).
§ 9: ~(L), N(L).
§ 10: k', g,~, U,~, U", ~'" 'Y, 'Y", f(w), :no
§ 11: Gp, G'p, L p, lp, pr, Up, J(U,P).
Chapter I
where the sum is taken over a full set of representatives of the classes of
non-central conjugate elements of FX. Now assume that n> 1, and call
P the "cyclotomic" polynomial n
(T - 0, where the product is taken
over all the primitive n-th roots of 1 in the field C of complex numbers.
By a well-known elementary theorem (easily proved by induction on n),
this has integral rational coefficients; clearly it divides (1"'-1)/(1""-1)
whenever b is a divisor of n other than n. Therefore, in (1), all the terms
except q -1 are multiples of P(q), so that P(q) must divide q -1. On the
n
other hand, each factor in the product P(q) = (q - 0 has an absolute
value > q -1. This is a contradiction, so that we must have n = 1 and
F=Z.
2 Locally compact fields
We can now apply to every finite field the following elementary result:
In fact, let r be such a group, or, what amounts to the same, a finite
subgroup of the group of all roots of 1 in K. For every n ~ 1, there are at
most n roots of xn = 1 in K, hence in r; we will show that every finite
commutative group with that property is cyclic. Let IX be an element of r
of maximal order N. Let Pbe any element of r, and call n its order. If n
does not divide N, there is a prime p and a power q=pv of p such that q
divides n and not N. Then one verifies at once that the order ofIXpn/q is
the l.c.m. of Nand q, so that it is > N, which contradicts the definition of
N. Therefore n divides N. Now x n= 1 has the n distinct roots lX iN/ n in r,
with O:::;i<n; as p is a root of x n = 1, it must be one of these. This shows
that IX generates r.
THEOREM 2. Let K be an algebraically closed field of characteristic
p> 1. Then, for every f~ 1, K contains one and only one field F = Fq
with q = pI elements; F consists of the roots of x q = X in K; F x consists
of the roots of x q - 1 = 1 in K and is a cyclic group of order q-1.
If F is any field with q elements, lemma 1 shows that F x is a cyclic
group of order q -1. Thus, if K contains such a field F, F x must consist
of the roots of X q - 1 = 1, hence F of the roots of x q - X = 0, so that both
are uniquely determined. Conversely, if q = pi, x -+ xq is an automorphism
of K, so that the elements of K which are fixed under it make up a field F
consisting of the roots of x q - X = 0; as it is clear that X q - X has only
simple roots in K, F is a field with q elements.
COROLLARY 1. Up to isomorphisms, there is one and only one field
with q = pI elements.
This follows at once from theorem 2 and the fact that all algebraic
closures of the prime field Fp are isomorphic. It justifies the notation Fq
for the field in question.
COROLLARY 2. Put q = pI, q' = pI', with ~ 1, f ~ 1. Then Fq • contains
a field Fq with q elements if and only if f divides /'; when that is so, Fq.
is a cyclic extension of Fq of degree /'/ f, and its Galois group over Fq is
generated by the automorphism x-+xq•
We have already said that, if F q• contains F q , it must have a finite
degree dover F q , and then q'=qd and f=df Conversely, assume that
t.
f = df, hence q' = and call K an algebraic closure of Fq'; by theorem 2,
the fields F q , F q., contained in K, consist ofthe elements of K respectively
§ 2. The module in a locally compact field 3
invariant under the automorphisms IX. Pof K given by x .... xq• x .... xq' ; as
P=lXd• F q , contains F q • Clearly IX maps F q , onto itself; if cp is the auto-
morphism of F q' induced by IX. F q consists of the elements of F q' invariant
under CPo hence under the group of automorphisms of F q' generated by cp;
this group is finite. since cpd is the identity; therefore. by Galois theory.
it is the Galois group of F q' over F q and is of order d.
COROLLARY 3. Notations being as in corollary 2. assume that f' = df.
Then. for every n~ 1. the elements of Fq ,. invariant under x .... x q ". make
up the subfield of Fq , with qr elements. where r=(d,n).
Let K be as in the proof of corollary 2; the elements of K, il!va-
riant under x .... x q", make up the subfield F' of K with qn elements; then
F' n F q' is the largest field contained both in F' and Fq ,; as it contains
Fq , the number of its elements must be of the form qr, and corollary 2
shows that r must be (d,n).
§ 2. The module in a locally compact field. An arbitrary field. provided
with the discrete topology, becomes locally compact; thus the question
of determining and studying locally compact fields becomes significant
only if one adds the condition that the field should not be discrete.
We recall the definition of the "module" of an automorphism, which
is basic in what follows. For our purposes. it will be enough to consider
automorphisms of locally compact commutative groups. Let G be such
a group (written additively), A an automorphism of G, and IX a Haar
measure on G. As the Haar measure is unique up to a constant factor, A.
transforms IX into CIX, with cER~; the constant factor c, which is clearly
independent of the choice of IX. is called the module of A and is denoted by
modG(A). In other words, this is defined by one of the equivalent formulas
(2) oc(A.(X») = modG(A.)oc(X), Jf(A -l(x»)dlX(X)= modG(A) Jf(x)dlX(x),
where X is any measurable set. f any integrable function. and
O<IX(X)< + 00, JfdlX fO; the second formula may be written symbolical-
ly as dlX(A(x»)=mod G(A)dlX(x).IfG is discrete or compact, the first formula
(applied to X={O}, X=G, respectively) shows that the module is
1. Obviously, if A, A' are two automorphisms of G, the module of AOA'
is the product of those of A and A.'. We shall need the following lemma:
LEMMA 2. Let G' be a closed subgroup of G, and A an automorphism
of G which induces on G' an automorphism A' of G'. Put G" = G/G', and
call A" the automorphism of G" determined by A modulo G'. Then:
modG(A) = modG,(A')modG·(A").
In fact, it is well-known that one can choose Haar measures IX,IX',IX"
on G, G', G" so as to have, for every continuous function f with compact
support on G:
4 Locally compact fields
here x denotes the image of x in G", and the function f(x+ y)drx'(y), J
which is written as a function of xe G, but is constant on the classes
modulo G' in G, is to be understood as a function ofX on Gil in the obvious
manner. Applying A. to both sides, one gets the conclusion of the lemma.
Now, if K is any topological field, and aeK x , x-+ax and x-+xa
are automorphisms of the additive group of K; if K is locally compact,
we may consider their modules. Similarly, if V is a topological left vector-
space over K, v-+av is an automorphism of V for every aeKx; if V is
locally compact, we may consider the module of this automorphism;
this will be denoted by mody(a); we also define mody(O) to be O. In other
words, if JI. is a Haar measure on V and X any measurable subset of V
with o<JI.(X) < + 00 (e.g. any compact neighborhood of 0 in V), mody(a)
is defined, for all ae K, by
JI.(aX)
mody(a) = JI.(X) .
of K" onto V' is an isomorphism for the structures of K" and V' as topological
left vector-spaces; V' is closed in V and locally compact.
Let f be the mapping defined above; it is bijective, K-linear, and
continuous by the definition of a topological vector-space. In order to
6 Locally compact fields
compact, and take ae K such that 0 < modx(a) < 1. Then, by corollary 2
of prop. 2, lima"=O, hence mody(a) < 1. Let V' be a subspace of V of
finite dimension (); by tho 3, it is closed in V; put V" = VIV'. By lemma 2
we have then
mody(a) = mody,(a)mody.(a) = modx(a)"mody.(a),
and therefore, since mody.(a) also must be < 1 if V" 4= {O}, and is 1 if
V"={O}:
mody(a) ~ modx(a)".
This gives an upper bound for fJ. valid for the dimension of all finite-
dimensional subspaces of V; therefore V itself has a finite dimension.
If V is a left vector-space over K, of finite dimension n, topologized
as we have said above, Fubini's theorem shows at once that every sub-
space of V of dimension n' <n is of measure O. Now let A be any K-linear
mapping of V into V; if it is of rank n, it is an automorphism of V also in
the topological sense, and we may consider its module mody(A). If it is
of rank n' < n, it maps V onto a subset of V of measure 0, and we define
mody(A) to be O.
COROLLARY 3. Let A be an endomorphism of a left vector-space Vof
finite dimension over K. If K is commutative, then mody(A) = modx(detA).
Call n the dimension of V. If A is of rank < n, the assertion is clear.
If not, identify V with K" by choosing a basis for V. It is well-known that
every automorphism of K" can be written as a product of automorphisms
of the following three types: (a) permutations of the coordinates;
(b) mappings of the type
For type (a), the assertion is obvious; for types (b) and (c), it follows
from a straightforward application of Fubini's theorem, just as in classi-
cal analysis (where one proves the theorem for the case K = R).
PROPOSITION 3. The function modx induces on K x an open homomor-
phism of K x onto a closed subgroup r of R ~ .
Call r. r' the images of K X and of K under the mapping modK ;
clearly r r
is a subgroup of R ~, and r' = u {O}. For every m> 0, the
intersection of r' with the closed interval [O,m] is the image of Bill under
modx; by prop. 1 and 2, this is compact; therefore r' is closed in R+,
8 Locally compact fields
and r is so in R~. Now call U the kernel ofmodK in K X , i.e. the set
{xEKlmodK(x) = I}. Let V be any neighborhood of 1 in K X , and V'its
image under modK; in order to prove the openness of the homomorphism
modK of K x onto r, we have to show that V' is a neighborhood of 1 in r.
Assume that this is not so; then there is a sequence (YII) in r - V' such
that limYII= 1. For each n, let a"EK x be such that YII=modK(a ll ). By
prop. 2, the sequence (an) has at least one limit point a; clearly modK(a) = 1,
i.e. aE U. But UV is a neighborhood of U, and so there must be some n
such that ailE UV, hence YIIE V'. This contradicts the assumption.
THEOREM 4. There is a constant A> 0 such that
(3)
for all xEK, YEK. If (3) is valid for A= 1, then the image r of K X
under
modK is discrete in R~. Morever, (3) is valid for
A = sUPxeK. modK(x)" 1 modK(1 + x),
and this is the smallest value of A for which it is valid.
Define A by the last formula; clearly I~A< +00. For x=y=O, (3)
is obvious; otherwise we may, after interchanging x and y if necessary,
assumethatx+OandmodK(y)~modK(x), Putz= yx-l;thenmodK(z)~ 1,
hence mod K(1 +z)~A, and therefore
modK(x+ y)=modK(1 +z)modK(x)~AmodK(x).
This proves (3). Also, taking y= 1 and xEB l in (3), with Bl as in prop. 2,
we see that the value we have chosen for A is the smallest for which (3)
can be valid. Now assume A= 1. Then the image of 1 +Bl by mod K is
contained in the interval [0, 1]; as this, by prop. 2 and 3, must contain a
neighborhood of 1 in r, r must be discrete.
COROLLARY. If (3) is valid with A=I, then modK(x+y)=modK(x)
whenever modK(y) < modK(x).
As (_1)2=1, we have modK(-1)=1, hence modK(-y)=modK(y).
As x = (x + y) + (- y), our assumptions imply
modK(x)~sup(modK(x+y),modK(y»)~modK(x),
(4)
Now let m, n be integers ~2; m may be expressed in the form
r
m= i..J
~ e·nI
i
,
i=O
mOdK(tl x0 ~A"suPi(modK(xi»)'
Replacing some of the Xi by 0, one sees that this same inequality remains
valid whenever N ~ 2". Applying this to the relation
(x+yf"= I
;=0
(2~)Xiy2"-i,
I
we get
°
this may be expressed by saying that Zp is the "projective limit" of the
finite groups Zip" Z for n-+ + (0); as it is a neighborhood of in Qp, Qp
is locally compact; clearly it is not discrete.
On the other hand, we shall write Ixl <Xl whenever convenient, instead
of lxi, for the "ordinary" absolute value on Q and on R. As R is nothing
else than the completion of Q for the distance function Ix - yl <Xl' we shall
sometimes write Q<Xl for R. Thus the symbol Qu, where v may be either 00
or a rational prime, denotes anyone of the completions Q <Xl = Rand
QpofQ.
THEOREM 5. Let K be a non-discrete locall.v compact field; put
F(m)=modK(m '1 K) for meN. Then: either (a) K is of characteristic
p> 1, and then F(m)=O for m==O (mod. p) and F(m) = 1 for (m,p) = 1; or
(b) K is a division algebra of finite dimension 15 over a field Qu, and then
F(m)=lml~·
By prop. 1 and tho 4 of § 2, F satisfies the assumptions in lemma 3;
hence, by that lemma, it is of the form m -+ mA with A. > 0, or it is ~ 1.
Assume that we are in the latter case; with Bl as in prop. 2 of § 2, this
means that the sequence (m·l K ), for meN, is contained in B 1 ; as Bl is
compact, it must have at least one limit point a. Then, by corollary 1 of
prop. 2, there are, for every 8>0, infinitely many meN such that
modK(m' 1K-a)~8. Let m, m' be two such integers, with m<m'. Since
F ~ 1 implies, by lemma 4, that modK is ultrametric, we have then
modK(m' '1 K-m '1K)~8,
i. e. F(m' - m) ~ 8. In particular, this shows that there are integers n ~ 1
such that F(n) < 1; let p be the smallest of such integers. Since F(mn) =
=F(m)F(n) for all m, n, clearly p must be a prime. For any xeN, we have
F(P x) < 1, hence F(1 + Px) = 1 by the corollary of tho 4, § 2. For any
integer m ~ 1, prime to p, we have mP - 1 == 1 (P), hence F(m P - 1 ) = 1 by
what we have just proved, and therefore F(m) = 1. If K is of characteristic
p' > 1, then F(P') = 0, so that p' can be no other than p; then F is as stated
in case (a) of our theorem. If K is of characteristic 0, F(P) cannot be 0,
12 Locally compact fields
and we may put F(P)=p-A with A>O; then F(m)=lml; for all m, as one
sees at once by writing m=p"m' with (m',p) = 1. Accordingly, whenever
K is of characteristic 0, F must be of the form m-Iml~ with A>O. The
mapping n -+ n . 1K of Z onto the prime ring Z . 1K of K is then an algebraic
(not necessarily a topological) isomorphism, which can be extended to
an isomorphism of Q onto the prime field in K; to simplify the language,
identify the latter with Q by means of that isomorphism. From what we
have found about F, it follows at once that mod K induces the function
x -+ Ixl! on Q; therefore, by corollary 1 of prop. 2, § 2, the topological
group structure induced on Q by that of K is the one determined by the
distance function Ix- Ylv. As the closure of Q in K is locally compact,
hence complete for that structure, it follows that this closure is isomorphic
to the completion Qv of Q for the valuation v. As the prime ring, hence
also the prime field, are clearly contained in the center of K, the same is
true of Qv. Now K can be regarded as a vector-space over Qv; as such,
by corollary 2 ofth. 3, § 2, it must have a finite dimension J, and we have,
for every XEQv, modK(x) = modQ.(x)". To complete the proof, it only
remains to be shown, in the case V= 00, that modR(m)=m for mEN,
which is clear, and, in the case v = p, that modQp (P) = p -1; this follows
at once from the fact that Zp is a compact neighborhood of 0 in Qp, and
that its image p. Zp, under x-px, is a compact subgroup of Zp of
index p, so that its measure, for any Haar measure IX on Qp, is p - 1 IX (Zp).
It will be convenient to formulate separately what has just been proved:
COROLLARY. In the case (b) of theorem 5, modK(x)=lxl~ for XEQv·
DEFINITION 2. A non-discrete locally compact field K will be called
a p-field if p is a prime and modK(p· 1K) < 1, and an R-field if it is an algebra
over R.
By lemmas 3 and 4 and tho 4 of § 2, the image r of K x under mod Kis
discrete when K is a p-field, so that such a field cannot be connected; this
shows that a topological field is an R-field if and only ifit is connected and
locally compact. It is well known that there are no such fields except R,
C and the field H of "ordinary" (or "classical") quaternions; a proof for
this will be included in Chap. IX-4.
P={xEKlmodK(x)< 1}.
§4. Structure of p-fields 13
a prime element of K. For any xeKx, the integern such that modK(x) = q-n
will be denoted by ordK(x). For each neZ, one writes pn=nn R=Rnn.
We will write ord(x), instead of ordK(x), when there is no danger of
confusion. We also put ord(O)= + 00; then pn is the set of the elements
x of K such that ord(x)~n. With these notations, we can state as follows
some corollaries of theorem 6:
COROLLARY 1. Let (xo,x 1 , ...) be any sequence with the limit 0 in K.
+00
Then the series Lo Xi is commutatively convergent in K.
For each ne N, put
en = SUPi > n modK(xi )·
Our assumption means that limen=O. Let now S, S' be two finite sums
L
of terms in the series Xi' both containing the terms xo, Xl' ... , Xn and
14 Locally compact fields
x= Lai,i
N
(p"(N+l»
i=O
for N = 0,1, ... This is equivalent with the assertion in our corollary.
COROLLARY 3. Every automorphism of K (as a topological field)
maps R onto R, Ponto P, and has the module 1 when it is viewed as an auto-
morphism of the additive group of K.
COROLLARY 4. For every aeKX, the automorphisms x-+ax and
x -+ x a of the additive group of K have the same module.
This follows at once from corollary 3, applied to the automorphism
x-+a- 1 xa. As the same fact is easily verified for the field H of "ordinary"
quaternions, it holds for all locally compact fields.
with ajje A for 0 ~ i ~ e -1, j ~ v, or, what amounts to the same in view
e-l
of corollary 2 ofth. 6, as L (ljn,j with (ljer for O~i~e-1. This shows
j=O
that K' =K(1t'), and, for v=O, it shows that R' =R[1t']. As K is contained
16 Locally compact fields
in the center of K', n' commutes with all elements of K; therefore K' is
commutative.
COROLLARY 1. Let K be a commutative p-field of characteristic p;
call KP its image under the endomorphism x-+xP, and let n be a prime
element of K. Then K is a fully ramified extension of KP of degree p, and
K=KP(n).
Put K'=KP; x-+x P is an isomorphism of K onto K', which we may
use to transfer to K' the topology of K; K may then be regarded as a
topological vector-space over K'; as such, by corollary 2 of tho 3, § 2, it
must have a finite dir-lension. This shows that K is of finite degree over
K'. As K and K' are isomorphic, they have the same module, so that
the modular degree of Kover K' is 1. By proposition 4, this implies
that K=K'(n); as nPeK', the degree of Kover K' must be p or 1. As
ordK(n) = 1, n is not in KP, so that K =1= K'. Therefore K is of degree p
over K'.
COROLLARY 2. Let K be as in corollary 1, and let K be an algebraic
closure of K. Then, for every n;;:::O, K contains one and only one purely
inseparable extension of K of degree p"; this is the image Kp- n of K
under the automorphism x-+xrn oiK.
It follows at once from corollary 1 that Kr 1 is of degree p over K;
by induction on n, one sees then that Kp- n is of degree p" over K. On
the other hand, it is well-known, and easily proved, that, if K' is purely
inseparable of degree ~p" over K, it must be contained in Kr". Our
conclusion follows from this at once.
THEOREM 7. Let K be a p-field; call q its module, R its maximal com-
pact subring and P the maximal ideal of R. Then K x has at least one
subgroup of order q - 1; every such subgroup is cyclic; if M x is such a
subgroup, the set M =Mx u{O} is a full set of representatives of the
classes modulo P in R, and there is a prime element n of K such that
nMx =Mx n. If K is commutative, there is only one such group M X ;
it is the group of the roots of 1 of order prime to p in K.
The construction of M x depends upon the following lemma:
LEMMA 5. For all n;;:::O, (1 +P)p nc 1 +p,,+1.
for all Jl.EM x , and therefore n' M X =M x n'. This completes the proof.
One could show, by a similar argument, that, if M x and N x are two
subgroups of K x of order q -1, there is a prime element n of K such
that nMx =Nxn.
COROLLARY 1. If K and M are as in theorem 7, and K is of charac-
teristic p, then M is a subfield of K. If at the same time K is commutative,
M is the algebraic closure of the prime field in K.
Let ko be the prime field in K, and let JI. be a generator of the group
MX. Then ko(JJ.) is a commutative field of characteristic p in which the
equation x q - X = 0 has q roots, viz., the elements of M; therefore, by
tho 2 of § 1, M is a field. If K is commutative, every element, other than 0,
of the algebraic closure of ko in K is a root of 1 of order prime to p,
again by tho 2 of§ 1; therefore, by theorem 7, it must be in M.
COROLLARY 2. Let K be a commutative p-field, q its module, and K'
an extension of K of finite degree, generated by roots of 1 of order-
prime to p. Then K' is unramified and cyclic over K, and its Galois group
over K is generated by an automorphism qJ which induces the permutation
JI.~Jl.q on the group of roots of 1 of order prime to pin K'.
with JlieM for all i~n. One verifies at once that the rules for the addition
and multiplication of such series are the usual ones for formal power-
series in algebra (or for convergent power-series in classical analysis).
Moreover, this is an isomorphism also in the topological sense if the
field of formal power-series is provided with its usual topology, that for
which the ring Ro of "integral" power-series (those containing no power
of the indeterminate with an exponent < 0), and the ideals generated
in it by the powers of the indeterminate, make up a fundamental system
of neighborhoods of O. We recall that, for this topology, the ring Ro of
integral formal power-series in one indeterminate over any finite field F
is compact, since the additive group of Ro is clearly isomorphic to the
product of enumerably many groups isomorphic to F; therefore the
corresponding field is locally compact. Thus theorem 8 shows that the
commutative p-fields of characteristic p are all of that type, so that (up
to an isomorphism) they are in a one-to-one correspondence with the
fmite fields Fq , with q=p", n~1.
By a local field, we will understand a commutative non-discrete
locally compact field. We have thus obtained a complete list of the local
fields of characteristic p> 1, while those of characteristic 0 are given by
theorem 5 of § 3; they are R, C and the finite algebraic extensions of the
fields Qp, for all p.
Using the same idea as in the proof of theorem 8, we give now one
more result for the non-commutative case.
PROPOSITION 5. Let K be a p-field, commutative or not, with the
maximal compact subring R. Then the center Ko of K is a p-field; if d
§ 4. Structure of p-fields 21
+00
(5) X= L lLi1t i
i=n
multiple of d. Now take XE K and ILE M)(; write x in the form (5). Then we
have
+00
1L-1XIL= LlLi 1ti
i=n
In this last formula, the last factor on the right-hand side belongs to
M)(, so that Il; is in M. In view of the unicity of the expansion (5) for
xe K, this shows that x = 1l- 1 X Il, i. e. that x commutes with Il, if and only
if Il; = Ili for all i. Now clearly, for each i, Il; = Ili ifand only if either Ili = 0
or ni commutes with Il. Consequently, x commutes with all elements of
M)( if and only if ni does so whenever III =/= O. In view of what has been
proved above, this is so if and only if lli=O whenever i is not a multiple
of d; we have then
here all the terms in the right-hand side are in the maximal ideal P of
R, so that lEP, which is absurd. Conversely, let x be any element of R.
By corollary 2 of tho 3, § 2, K has a finite dimension over Ko; therefore,
if we put K' = Ko(x), this is a commutative field and a finite extension of
Ko. Call F the irreducible monic polynomial, with coefficients in K o, such
that F(x)=O; in some algebraic closure of K', call K" the field generated
over Ko by all the roots of F, so that F splits into linear factors in K". As
K', K" are finite extensions of K o, they are p-fields; call R', R" their maxi-
mal compact subrings. Then R' = K' nR = K' nR"; as x is in R, it is in R'
and in R". As F is irreducible, every root x' of Fin K" is the image of x
under some automorphism of K" over Ko; as such an automorphism
maps R" onto R", all such roots are in R". Therefore all the coefficients
of F are in R"; as they are in K o, they are in Ro. This completes the proof.
If K is commutative, proposition 6 may be expressed by saying that
R is the integral closure of Ro in K.
Chapter II
°
COROLLARY 3. Let f be any linear form on V, and N a K-norm on V.
Then there is VI f in V, such that
(2) N(V)-I modK(f(v)) ~ N(VI)-I modK(f(v l ))
for all v fO in V.
This is a special case of corollary 2, that corollary being applied to
the left-hand side of (2). If one denotes by N*(f) the right-hand side of (2),
then N*(f) is the smallest positive number such that
modK(f(v)) ~ N*(f) . N(v)
for all VE V, and f --. N*(f) is a K-norm on the dual space of V, i.e. on the
right vector-space made up of the linear forms on V (where the addition
is the obvious one, and the scalar multiplication is defined by putting
(fa)(v) =/(v) a when I is such a form, and aEK).
By a hyperplane in V, one understands a subspace of V of codimen-
sion 1, i.e. any subset H of V defined by an equation l(v)=O, where I
is a linear form other than 0; when H is given, I is uniquely determined
up to a scalar factor other than 0. Now, if (2) is valid for all v f 0, and for a
given norm N, a given linear form f fO and a given VI fO, it remains so
°
if one replaces f by la, with aEK x , and VI by bV I with bEKx; in other
words, its validity for all v f depends only upon the hyperplane H
defined by 1=0 and the subspace W of V generated by vI; when it
holds for all v f 0, we shall say that Hand Ware N -orthogonal to each
other.
26 Lattices and duality over local fields II
The first assertion is a special case of the fact that X-+X" is an auto-
morphism of 1 + pv whenever a is an invertible element of Zp; it implies
that (K X)" is open in K x • Moreover, as we have seen above, K x is the
direct product of the group II, which is isomorphic to Z, of the cyclic
group M X of order q-l, and of l+P; therefore the index of (KX)" in
K X is the product of the similar indices for II, M X and 1 +P; clearly,
these are respectively equal to n, to the g.c.d. (n,q-l) of nand q-l,
and to 1. This proves our proposition.
We will now determine the structure of the Zp-module 1 +P; this
depends upon the characteristic of K. If K is of characteristic 0, it is
a finite algebraic extension of Qp, so that, as we have observed, its
maximal compact subring may be regarded as a Qp-Iattice in K; tho 1
§ 3. Multiplicative structure of local fields 33
For any XER and aEN, the binomial formula may be written as:
(l+x)Q=I+ax+ ax t (~=l)
1=2
xi-lli.
(pv+2 R),
and therefore:
d
f1 (l+p2 Vi )pV-I Q; =1+pv+l L a;vi
d
(4) (pv+2R).
;= 1 i= 1
(5) 1+ Xl = n(l + p
i
2 V;)b i
34 Lattices and duality over local fields II
n
j=l
(l +lX j 1t"t iPV = n(1+pj~)aj==1 +a:ajpa~
j I
(p N + 1)
YN = n(1 +
j
IXj1t"tjPV == 1 +XN (p N + 1),
which can be done in one and only one way in view of the foregoing
remarks, and put then
1 +X N + 1 =(1 +XN)y;l.
One sees at once, putting these formulas together, that they give for
1 + X 1 an expression as a convergent infinite product of factors of the
form (1 +lXj1t"t, with 1 ~i~f, n prime to p, and beZp • Moreover, the
above calculations show also that this expression is unique, which proves
our assertions.
here we have put g= lP(g), and the integrand in the right-hand side,
which is written as a function of g but is constant on cosets g r, is to
be understood as a function of g. This, in fact, is clear ifthe support of f
is contained in any set g U, and the general case follows from this at
once; also, as well known in integration theory, the validity of (6) for
continuous functions with compact support implies its validity for all
integrable functions, and for all measurable functions with values in R+.
Clearly, 0(' is invariant under the action of G on Gjr if and only if 0( is
left-invariant; this will be so, in particular, whenever Gjr is compact,
since then Gjr is a set of finite measure which is invariant under the
action of G. Then, if at the same time r is normal in G, (1.' is a Haar measure
on Gjr.
Things being as above, 0(' will be called the image of 0( in Gjr; we will
denote this image simply by 0( when no confusion is likely. The following
lemma (which takes the place of what was known as Minkowski's theo-
rem in classical number-theory) is now obvious:
LEMMA 1. Let G be a locally compact group with a Haar measure 0(;
let r be a discrete subgroup of G, such that Gjr is compact; let X be a
measurable subset of G such that O(X)> O(Gjr). Then there are two
distinct elements x, x' of X such that x - 1 x' e r.
One should only note that, since Gjr is compact, any right-invariant
measure on G is also left-invariant; therefore the Haar measure 0( is
bi-invariant, and its image in Gjr is well-defined.
LEMMA 2. Let G, 0( and r be as in lemma 1, and let r l be a discrete
subgroup of G, containing r. Then r has a finite index [rl :r] in r l , and
this is given by
§ 4. Lattices over R 37
for all ge G. Then the function f = fo/f1 is continuous on G, has the same
support as fo, and is such that Lf(gy), where the sum is extended to
all yer, is 1 for all g; this implies that the similar sum, extended to all
yer1, has the constant value [r1 :r]. If now we apply (6) to G, f and r,
and also to G, f and r 1 , we get the result in our lemma.
From these facts, we now deduce the following classical result about
R-Iattices:
(7)
defines a bijective mapping v' -+ v* of the algebraic dual V' of V onto V*;
if x(x y) = x(y x) for all x, y in K, this mapping is an isomorphism for the
structures of V', V* as right vector-spaces over K.
for v* =0 means that X([v,v']v) is I for all VE V, hence also that X(x[v,v']v)
is I for all XEK and all VEY; as X is not trivial, this implies [v,v']v=O for
all v, hence v' =0. As V' and V* have the same dimension n over K, an
IX-semilinear mapping of V' into V* cannot be injective without being
bijective; this completes the proof. For purposes of reference, we formu-
late separately the result about the characters of K:
Places of A-fields
§ 1. A-fields and their completions. By an algebraic number-field, it
is customary to understand a finite algebraic extension of Q. One main
object of this book, and of number-theory in general, is to study algebraic
number-fields by means of their embeddings into local fields. In the last
century, however, it was discovered that the methods by which this can
be done may be applied with very little change to certain fields of charac-
teristic p> 1; and the simultaneous study of these two types of fields
throws much additional light on both of them. With this in mind, we
introduce as follows the fields which will be considered from now on:
The first assertion follows at once from corollary 3 of prop. 2, Chap. 1-2.
Then, by corollary 2 of tho 3, Chap. 1-2, K must have a finite degree over
K o, so that, by tho 3, Chap. 1-2, every vector-space over Ko in K is closed
in K. The field Kl generated by A(k) over Ko is such a vector-space; on
the other hand, the closure of A(k) in K is clearly a field, and it contains
A(ko), hence K o, and A(k); therefore it i8 K 1.
The last assertion is obvious; the others are a special case of tho 1,
since clearly a place of an A-field of characteristic 0 is infmite if and
only if it lies above the place 00 of Q.
Now we proceed to the determination of the places of F p(T); more
generally, we will determine those of Fq(T), where Fq is any finite field.
46 Places of A-fields III
THEOREM 2. The field k=Fq(T) has one and only one place v for which
ITlv > 1; for this place, T - 1 is a prime element of kv, and the module
of kv is q. For each prime polynomial x in Fq[T], k has one and only one
place v such that Ixl v< 1; for this place, x is a prime element of kv, and
the module of kv is qli if ~ is the degree of x. All these places are distinct,
and k has no other place.
Let v be a place of k. Assume first that ITl v:s:;;1; then Fq[T] is con-
tained in r V. Call p the canonical homomorphism of r v onto the finite
field rv/pv; it induces on Fq[T] a homomorphism of F'l[T] onto its
image, whose kernel PvnFq[T] is clearly a prime ideal in Fq[T]. As
Fq[T] is infinite, and rv/pv is finite, this ideal cannot be {O}; therefore
it is the ideal x . Fq[T] generated in Fq[T] by some prime polynomialx.
Then Ixl v< 1, and we have Iexl v = 1 for every polynomial ex prime to x
in Fq[T]. Every eek x can be written in the form e=x"ex/ex' with neZ
and a., ex' in Fq[T] and prime to x; when e is so written, we have lelv=lxl:;
in particular, e is in r v if and only if n ~ 0, i. e. if and only if it can be written
as e = PIex with ex, Pin Fq[T] and ex prime to x. As F q( T) is dense in kv,
the range of values taken by Ixl v is the same on Fq(T) as on kv; this im-
plies that x is a prime element of kv. Now let ~ be the degree of x. The
image of Fq[T] in rv/pv is isomorphic to Fq[T]/x· Fq[T], which is an
extension of Fq of degree ~, hence a field with q6 elements; clearly the
image of every element of rvnFq(T) must then be in that same field,
which is therefore no other than rv/pv, since Fq(T) is dense in kv; this
shows that q6 is the module of kv, and we have Ixl v=q-6. Consequently,
the function lelv on k is uniquely determined by x, so that, when x is
given, there can be at most one place v of k with the properties we have
described. Assume now that ITlv > 1; then IT- 11v < 1, and we may proceed
exactly as before, substituting the ring Fq[T-1] for Fq[T], and T- 1
for x; then it is easily seen that, if e = Plex with polynomials ex,p in Fq[T],
other than 0, of respective degrees a,b, we have lelv=qb-a. It is now
clear that, if x is any prime polynomial, Ixl v cannot be < 1 except for the
place v described above, if there is such a place, and that the same holds
for T - 1. In order to show the existence of those places, take first the
case X= T; then the ring Fq[T] can be embedded in an obvious manner
<Xl
into the ring offormal power-series rai Ti with coefficients in Fq; clearly,
o
if we extend this to the corresponding fields, we get a place of k, corre-
sponding to x = T. Exchanging T with T- 1, we get the same result for
T- 1 • Now take a prime polynomial x of degree ~; then FiT) contains
§l. A-fields and their completions 47
the field Fin) and is algebraic over it; its degree d over Fin) is ~b. As
we have just proved, there is a place w of Fq(n) for which Inlw=q-l.
By tho 1, Fq(T) has a place v lying above w. By corollary 2 ofth. 3, Chap. 1-2,
we have then Inlv = Inl~ = q-d. This completes our proof, and shows also,
incidentally, that d = b.
e
This is clear for k = Q, since we can then write = alb with a, b in Z
and b+O, and lelp~1 for all the primes p which do not divide b. Now
let k be an A-field of characteristic 0, i. e. an algebraic number-field.
e
Then satisfies an equation
Let B be the direct sum of the fields KI, ... ,Kr ; put ei= l K;. Then
Ki=eiB, and B has the unit-element IB= Lei' Clearly the solutions of
the equation X 2 = X in B (the "idempotents" of B) are the partial sums
of the sum Lei; consequently the ei are uniquely characterized as those
among the solutions of X 2 =X in B which cannot be written as e+e',
where e, e' are solutions of X 2 = X, other than O. If f is a homomorphism
of B into a field K', it must map each ei onto a solution of X 2 =X in K',
hence onto 1 or O. If f(ei) = 1, then f(ej)=O for all j=/=i, since eiej=O
for i =/= j; this implies that f is 0 on K j •
in K[X] such that F-l=LPjF,-l; this implies, for all i and allN=i:
(1) pjFj- l F:1 (Fj); pjFj-lF:O (Fj ).
Take r polynomials fl""'/' in K[X]; for each i, call ]; the image of
J; in Bj; put f = LP,Fj- 1 F J;, and call 1 the image of f in A'; then 1 is
uniquely determined by the ];, so that (]1,"" 1.)-+ 1 is a mapping '"
of B into A'. Clearly "'ocp is the identity on A', and (1) shows that cpo",
is the identity on B. Therefore cp is an isomorphism of A' onto B.
Let k, k' and K be as in proposition 2. Clearly an isomorphism A of
k' into an extension K' of K induces the identity on k if and only if it
is k-linear. Such an isomorphism will be called proper above K if K' is
generated by A(k') over K;, then (A, K') will be called a proper embedding
of k' above K. Two such embeddings (A,K'), (A.',K") will be called equi-
valent if there is a K-linear isomorphism p of K' onto K" such that
A.' = pOA. One will notice that these are the algebraic concepts under-
lying definition 2 and proposition 1 of § 1.
n NK;/K(Il;(a)).
r r
Trk'/k(a)= L TrKi/K(Il;(a)),
;= 1
Nk'/k(a) =
;= 1
This proves our first assertion. The formula for the norm can be proved
in exactly the same manner.
§ 3. Traces and norms 55
For the sake of completeness, we will also deal briefly with the
trace and the norm for inseparable extensions. Let k' be any algebraic
extension of k of finite degree; it is well known that it contains a unique
maximal separable extension ko of k, and that it is purely inseparable
over it; let q = pm be the degree of k' over ko, p being the characteristic;
e
it is easily seen that x'lEko for all xEk'. Take a basis {el' ... , q} of k'
over ko; take aEk'. Then k', as a vector-space over k, is the direct sum of
the subspaces eikO for 1 ~i~q, and these are invariant under x-+aqx
since aqEk o. Therefore we have
N",/,,(a~= N"o'l,,(aq)q,
which obviously implies
N k'/k(a) = N "o'/daq).
Call no the degree of ko over k, so that the degree of k' over k is n=noq.
If K is an algebraically closed field containing k, each k-linear iso-
morphism of ko into K can be uniquely extended to one of k' into K;
therefore, by corollary 3 of prop. 3, § 2, there are no such isomorphisms
A.i (1 ~i~no), and the above formula for N",/", together with corollary 3
of prop. 4 applied to ko and k, gives, for all xEk':
N",/,,(x) = n
i
A.i(X)n/no.
Now let k" be any finite extension of k'. Proceeding exactly as in the
proof of corollary 4 of prop. 4, we get again
N""/"=N",/"oN,,"/,,,,
which is therefore valid, whether k' and k" are separable over k or not.
As to the trace, the elementary properties of the determinant, and
the definition of the trace and the norm, show that, if d is any algebra
over k, 1t.w'/"(x), as a linear form on d, is the sum ofthe terms of degree 1
in the polynomial function N .w'/,,(1 + x) when the latter is expressed as a
polynomial in the coordinates of XEd with respect to some basis of d
over k. This, applied to the present situation, shows that 1t",/,,(x) is the
sum of the terms of degree 1 in N"'/A:(l+x). As the latter is equal to
N"b/A:(1 +xq), it contains only terms whose degree is a multiple of q.
This shows that 1t",/"=0 if q> 1, and therefore, in view of corollary 1 of
prop. 4, that 1t"'/k=l=O if and only if k' is separable over k.
PROPOSITION 5. Let k' be a separably algebraic extension of k of
degree n, and let {a 1 , ••. , an} be a basis of k' over k. Then the determinant
of the matrix
is not O.
56 Places of A-fields III
M =(Tr(aia))1.,.i,j"'n;
A is in k, and, by prop. 5 of § 3, it is not O. Applying tho 3 of § 1 to A and to
A -1, we see that IA Iv = 1 for almost all V. On the other hand, if U is ~ny
element of A v, Tr(u) is the trace of x~ux in Av; writing u· uv,i= Ldijuv,j
with dijEk v for 1 ~i,j~n, we get Tr(u) = Ldii • As Pv is a ring, all the dij
are in rv if UEpv; this shows that Tr maps Pv into rv' Therefore, if we write
N v for the matrix (Tr(Uv,iUv)), N v is in Mn(rv). Substituting now
LCv,ijUv,j for ai in the matrix M, we get M=CvNv'C v, hence A =
=det(N v) det(Cy. Here N v is in Mn(r v), and so is Cv if v is not in P;
and IAlv= 1 for almost all V. Clearly this implies that Idet(Cv)lv = 1 for
almost all v, as was to be proved.
In Chap. VIII, it will be shown that theorem 4 remains valid even
if k' is not assumed to be separable over k.
'fr"'I"(X) = L'fr"UdJ.Li(X»),
i
N"'I"(x) = nN"udJ.Li(X»),
i
Adeles
where the second product is taken over all the places of k, not in P.
With the usual product topology, this is locally compact, since the kv
are so and the rv are compact. On kA(P), we put a ring structure by
defining addition and multiplication componentwise; clearly this makes
kA(P) into a topological ring. Set-theoretically, kA(P) could be defined
n
as the subset of the product kv consisting of the elements x = (xv) of
that product such that IXvl v:::; 1 for all v not in P. If P' is also a finite set
of places of k, and P'~P, then kA(P) is contained in kA(P'); moreover,
its topology and its ring structure are those induced by those of kA(P'),
and kA(P) is an open subset of kA(P').
Now we define a locally compact topological ring k A , the "ring of
adeles" of k. Set-theoretically, this is to be the union of all the sets kA(P);
in other words, it consists of the elements x = (xv) of the product kv n
which satisfy IXvl v:::; 1 for almost all v. The topological ring structure of
kA will be defined by prescribing that each kA(P) is to be an open sub ring
of kA- This means firstly that, if x=(x v) and y=(Yv) are in k A, then
x+ y=(xv+ Yv) and xy=(xvYv); it is clear, in fact, that these are both in
k A • Secondly, we get a fundamental system of neighborhoods of 0 in the
additive group of kA by taking such a system in anyone of the kA(P), for
instance inkA(P 00) which is the smallest one ofthe sets kA(P); equivalently,
we get such a system by taking all the sets of the form n U v' where U v
is a neighborhood of 0 in kv for all v, and U v= r v for almost all v.
60 Adeles IV
the product here is taken over all the places v of k; for each x=(xv) in kA'
almost all the factors are equal to 1.
e
Let be an element of k. In view ofth. 3 of Chap. III-I, we define an
e
adele x = (xv) by putting Xv = for all v; we write this qJ(e), and call qJ the
canonical injection of k into kA ; we will frequently identify k with its
image in kA by means of qJ when there is no danger of confusion.
Let E be a vector-space of finite dimension n over k. For each place
v of k, we will write Ev=E®tkv; as usual, we take E to be "naturally"
embedded in Ev by the injection e-+e®l tv ' On the other hand, since k
has been embedded in kA by the canonical injection qJ defined above, we
may consider the tensor-product EA =E®tkA' and regard E as being
"naturally" embedded in it by the mapping e-+e®qJ(l). We define the
§l. Adeles of A-fields 61
Then there is such a set Po with the property that dA(P,cx) is an open
subring of .91A whenever P => Po; and dAis the union of these subrings.
This follows at once from corollary 2 ofth. 3, Chap. 111-1, and from
proposition 1.
Take now an algebraic extension k' of k, of fmite degree. As k' is an
A-field, we may apply to it our general construction, obtaining thus its
adele ring k A. On the other hand, we may regard k' as an algebra over k
and apply to this algebra the construction given above; this gives a ring
which we write as (k'/k)A; as we have seen, it is an algebra over kA' and
contains the closed subring kA ·l k ., which we identify with kA in the
obvious manner. It is a central fact in the theory of adeles that the rings
kA' (k'/k)A defined in this way are canonically isomorphic; this will be
proved now, but only for the case where k' is separable over k. The
inseparable case will be treated in Chap. VIII-6.
This follows at once from the fact that cP(1)= 1 and that cP v is kv-linear
for every V.
From now on, kA will usually be identified with its image in k~ by
means of the isomorphism, induced on kA by cP, which is described in
corollary 1. Clearly kA is thus a closed subring of k~.
for every place v of k, the sum and the product being taken over all the
places w of k' which lie above v.
This is an immediate consequence of prop. 4, Chap. 111-3, and th.l.
§ 2. The main theorems. In view of lemma 1 of Chap. 111-2, every
A-field is a separably algebraic extension of one of the fields Q and
Fp(T). Theorem 1 of § 1 enables us now to prove properties of adele
spaces by dealing first with the special cases k=Q and k=Fp(T). This
method will presently yield some important results; in stating them, we
simplify notations by identifying A-fields, and vector-spaces over such
fields, with their natural images in the corresponding adele spaces, as
explained in § 1; in the proofs, we shall again use cp to denote the canonical
injection of an A-field k into kA-
The first assertion follows at once from corollary 2 ofth. 6, Chap. 1-4,
applied to Qp, to the prime element p and to the set of representatives
{O, 1, ... ,p-l}. The second one is obvious.
With the notation of (1), § 1, Aoo is the same as QA({ 00 }); it is there-
fore an open subring of QA' The second assertion in the lemma is obvious.
Now take any x = (xv) in QA; call P the set ofthe primes p such that xp
is not in Zp; it is a finite set. For each PEP, the first part of lemma 1
shows that we may write xp=ep+x~ with ~EQ(P) and X~EZp- For p not
in P, put ep=O and x~=xp- Put now e= l.3p, the sum being extended
to all p, and y=x-qJ<e). If y=(yv), we have, for every prime p:
yp=xp-ep- L ep'=x~- L ep"
P''i' p P''i'P
By the definition of Q(p), all the terms in the right-hand side are in Zp.
This shows that y is in A oo ' hence x in qJ(Q)+Aoo.
We can now prove our theorem for E=k=Q. As Aoo is open in QA'
the first assertion will be proved if we show that qJ(Q)nAoo, i.e. qJ(Z),
is discrete in Aoo; this is clear, since its projection onto the factor R of
the product Aoo is Z, which is discrete in R. Now callI the closed interval
n
[ -1/2, 1/2] in R, and put C = I x Zp- Clearly Aoo = qJ(Z) + C, hence
QA = qJ(Q) + c. As C is compact, this completes the proof.
For E=k=Fp(T), the proof is similar but simpler. For each place v
of k, call k(v) the set of the elements e of k such that lelw~ 1 for all the
places w of k, other than v.
LEMMA 3. For every place v of k, kv=k(v)+ rv and k(V)nrv=Fp-
the value at a point e of E of the linear form determined by a point e' of E',
and we use the same notation for the extension of this bilinear form to
EA x E;'. As the additive group of EA is a locally compact commutative
group, we may consider its topological dual, which we denote by E1;
and we write (e,e*) for the value at eeEA of the character determined
by e* e E1. With these notations:
THEOREM 3. Let k be an A-field and X a non-trivial character of kA'
trivial on k. Let E be a vector-space of finite dimension over k; let E'
be its algebraic dual, and E1 the topological dual of EA' Then the formula
(e,e*)=x([e,e']) for all eeEA (e'eE;',e*eE1)
determines an isomorphism e' ~e* of E;' onto E1- Moreover, if e' is such
that x([e,e']) = 1 for all eeE, then e'eE'.
The last statement amounts to saying that the isomorphism e' ~e*
of E;' onto E1 defined in our theorem maps E' onto the subgroup of E1
associated by duality with the discrete subgroup E of EA'
We begin by treating the case E=k=Q. Use again the same nota-
tions as in the first part of the proof of tho 2. In view of lemma 2, every
character of A oo , trivial on q>(Z), can be uniquely extended to a character
ofQA' trivial on q>(Q). We get such a character X by putting x(x)=e( -xoo)
for x=(xv)eAoo (we recall that we write e(t) = e2 "it for teR). If we extend
this to a character X of QA' trivial on q>(Q), and call Xv, for every place v
of Q, the character induced by X on the quasifactor Qv of QA' then X
is obviously characterized by the following facts: it is trivial on q>(Q),
Xp is trivial on Zp for every prime p, and Xoo(x)=e( -x) for xeR. In order
to calculate XP' consider again the group Q(p) defined in the proof of
tho 2, and take any ~ e Q(p). Then ~ e Zp' for all primes p' =1= p, so that we
have, by (2) of § 1 :
n
into r. Conversely, let b be such that Xber. As in the proof of th.2
for Q, put C =1 x Zp with 1 = [ -1/2,1/2]' We have shown there that
QA =<p(Q)+C; therefore we may write b=<p@+c with ~eQ, ceC, and
then Xeer. Writing c=(cv), we have now, since cpeZ p for all p:
1 = Xc(<p(1)) = X(c) = Xoo(coo)=e( -coo),
° n
hence Coo = since Coo e 1. Therefore Xc is trivial on Aoo = R x Zp; as
it is trivial on <p(Q), lemma 2 shows that it is trivial on QA' so that c=O,
hence be<p(Q). Therefore a-+Xa maps <p(Q) onto r. Finally, as <p(Q) is
discrete in QA' and QAi<p(Q) is compact, the duality theory shows that r
is discrete in G and that G/r is compact. Consequently a-+Xa determines
a bijective morphism of the compact group QAi<p(Q) onto the compact
group G/r; it is well-known that this must be an isomorphism. As G is
"locally isomorphic" to G/r, and QA to QAi<p(Q), this implies that
a-+Xa is bicontinuous, so that iris an isomorphism. This completes the
prooffor E=k=Q.
Now take E=k=Fp(T). In analogy with Q, call 00 the place of k
for which T- I is a prime element (although this is of course not an
infinite place). Then IT-lloo=p-l. We may now apply corollary2 of
th.6, Chap. 1-4, to koo' to the prime element T- I and to the set of re-
presentatives Fp , and therefore identify koo with the field of the formal
power-series
+00
(3) X= L ajT- i
i=n
where neZ and ajeFp for all i~n. Call I/J the character of the additive
group ofFq given by 1/J(1)=e(1/p); call XOO the character of koo defined by
putting Xoo(x) = I/J (- al ) when x is given by (3); for xeFp[T], we have
a l =0, hence Xoo(x) = 1. Now put Aoo =koo x nrv, the product being taken
over all the places v of k other than 00; with the notation of (1), § 1,
this is kA({ oo}); it is an open subring of kA and contains the set Ao defmed
in lemma 4, so that, by that lemma, kA=<P(k)+Aoo. When ~ek, <p@ is
in Aoo if and only if 1~lv~ 1 for all the places v of k attached to prime
polynomials in Fp[T], hence if and only if ~ is in Fp[T]. This means
that <p(k)nAoo = <p(Fp[T]). Accordingly, every character of A oo ' trivial on
<p(Fp[T]), can be uniquely extended to one of kA' trivial on <p(k). Applying
this to the character X of A oo' given by X(x)=Xoo(x oo ) for x=(xv)eAoo'
68 Adeles IV
hence on kA by lemma 4. This gives c=O, hence beqJ(k). The proof can
now be completed just as in the case of Q.
§ 2. The main theorems 69
It is also clear that H(n) is compact ifn(v)~O for almost all V; conversely,
by corollary 1 of prop. 1, § 1, and with the notation of (1), § 1, every
compact subset of kA is contained in one of the sets kA(P), so that H(n)
cannot be compact unless n(v)~O for almost all V; therefore this is
necessary and sufficient for the compacity of H(n). Now prop. 12 of
Chap. 11-5, combined with the fact that Xw is not trivial for any infinite
place of k, shows that the set of elements x of kA such that X(x y) = 1 for
all yeG(O) is H(-v), and that the set of elements x such that X(xy)= 1
for all yeH(O) is G( -v). If we identify kA with its topological dual by
means of the isomorphism described in theorem 3, this means that
H( - v) and G( - v) are the subgroups of kA respectively associated by
duality with G(O) and H(O). As G(O) is open and H(O) is compact, duality
theory shows that H( - v) must be compact and G( - v) open. As we have
seen, this implies that -v(v)~O for almost all V and that -v(v)~O for
almost all v.
COROLLARY 2. Let E be a vector-space of finite dimension over k,
and let v be any place of k. Then E+Ev is dense in EA'
If this is true for E = k, it is clearly true for E = kn and therefore for
every E. If k + kv were not dense in kA' there would be a non-trivial
character of kA which would be trivial both on k and on k v ; this contra-
dicts corollary 1.
As in the case of local fields, it is frequently convenient, having chosen
once for all a "basic character" X with the properties described in theo-
rem 3, to identify the topological dual of EA with the space E~ by means
of the isomorphism in that theorem, for all vector-spaces E of finite
dimension over k. For every quasifactor k" of kA' one will then take as
"basic character" the character Xv induced by X on k", and use this to
identify the topological and algebraic duals of vector-spaces over kv as
explained in Chap. 11-5. This being understood, we have:
One can give an alternative definition of the idele group of .91, equi-
valent to definition 2, by using corollary 2 of th.3, Chap.III-1, and
corollary 2 of prop. 1, § 1. As in these results, take a finite subset IX of .91,
containing a basis of .91 over k, and call lXv, for each finite place v of k,
the rv-module generated by IX in d v • By corollary 2 ofth.3, Chap. III-1,
there is a finite set Po of places of k, containing P00' such that, for all v
not in Po, IXv is a compact subring of d v (containing the unit element).
For each v, as we have seen, .91: is an open subset of d v, and x-+x- 1
is continuous on it; therefore x-+(x,x- 1 ) maps it homeomorphically
onto its image in d v x d v • For v not in Po, IX: is the set ofthe elements
of .91: which are mapped into IX" x IXv by x-+(x,x- 1 ); therefore it is an
open compact subgroup of .91: and an open compact subset of IXv. We
shall now prove the following result, analogous to corollary 2 of prop. 1,
§ 1:
PROPOSITION 2. Let .91, IX, IXv and Po be as explained above. Let P
be any finite set of places of k, containing Po. Then the group
(4) dA(P, IX) = n .91: x nIX:
x
VfliP v,p
the product being taken over all the places v of k; in view of the corollary
of prop. 2, almost all the factors of that product are equal to 1 whenever
a is in k~ . Usually, when there is no danger of confusion about the field
of reference, we will write lalA instead of lalk. for this product; it is some-
times called the module of a.
Take a basis 8 for E over k; we will use it to identify E with k" and
.lII with M,,(k). Then a basis (X for A over k is given by the "matrix units"
a..I' for 1 ::::;:;A.,J-t::::;:;n, where a..I' is the matrix (xij) given by x"1'= 1 and
Xjj=O for (i,j) =1= (A.,J-t). For every place v of k, an element av of Mikv) is
invertible in M,,(kv) if and only if det(a v) =#=0; for every finite place v of k,
an element av of M,,(rv) is invertible in M,,(rv) if and only if det(a v) is
invertible in rv, i.e. if and only if Idet(av)lv= 1. With the notations of
prop. 2 and its corollary, this amounts to saying that a is in .lIIA(p,(Xr
if and only if det(a) is in kA(Pr; clearly this implies the equivalence of
(i) and (ti) in our proposition, and it also shows that the mapping
a--+det(a) of .lII~ into k~ is continuous on .lIIA(P,(X) x for every P, hence
on .lII;'. As it is clear that the mapping z--+ IzlA of k;' into R~ is continu-
ous on kA(P) x for every P, hence also on k')., a--+ Idet(a) IA is a continuous
morphism of.lll'). into R~. If a is in .lII')., it has an inverse a-I in .lilA,
and then the endomorphism e--+ae of EA has the inverse e--+a- 1 e, so
that it is an automorphism. Conversely, take any a = (a v) in.lll A; prop. 1
of§ 1, applied to.lll and (x, shows that av is in Mikv) for all v and in M,,(rv)
for almost all v. The same proposition, applied to E and 8, shows that a
fundamental system of neighborhoods of 0 in EA is given by the sets
n
U = Uv' where Uv is a neighborhood of 0 in Ev = (k v)" for all v, and
Uv= (r v)" for almost all v. If e --+ ae is an automorphism of EA' it must map
every neighborhood of 0 onto a neighborhood of 0; this implies that av
is invertible in M,,(kv) for, all v, and that, for almost all v, the image of
(r v)" under av contains (rv)", i. e. that a;; 1 is in M ,,(rv) for almost all v. As
we have observed above, this is the same as to say that a is in .lII').. Let
then P be a finite set of places of k, containing P <Xl' such that av is in M lI(rv) x
74 Adeles IV
for all v not in P. As the set EA(P,e) is open in EA and invariant under
e-+ae, the module of e-+ae in EA is the same as its module in that set;
this, in view of the definition of that set in prop. 1 of § 1, is the product
of the modules of the automorphisms ev-+ave v of its factors; these, by
corollary 3 of tho 3, Chap. 1-2, are respectively equal to Idet(av)lv, which
completes our proof.
COROLLARY. Let .91 be an algebra of finite dimension over k, and
let a be an element of .91A' Then the following assertions are equivalent:
(i) a is in d~; (ii) N Jt'lk(a) is in k~; (iii) x-+ax is an automorphism of the
additive group of .91A' When that is so, the module of that automorphism is
IN Jt'lk(a)IA' Moreover, a-+NJt'lk(a) and a-+IN Jt'lk(a) IA are morphisms of d~
into k~ and into R~, respectively.
As we are always assuming that .91 contains a unit, (iii) implies (i).
All our other assertions follow at once from proposition 3, applied to
the underlying vector-space E of .91 over k and to the embedding of .91
into End(E) given by the regular representation p.
Of course all that has been said about the endomorphisms x -+ a x of
an algebra .91 applies equally well to the endomorphisms x-+xa; the
determinant N'(a) of the latter, sometimes called the "coregular norm"
on .91, is again a polynomial function, of degree equal to the dimension
ofd over k, and the module of the automorphism x-+xa of d A, for
aEd~, is equal to IN'(a)IA' Obviously N' = Nrllk when .91 is commutative;
the same is known to be true for all semisimple algebras and will be
proved in Chap. IX for simple algebras and in particular for division
algebras; this will not be needed here.
THEOREM 4. Let D be a division algebra of finite dimension over k.
For every real number Jl~ 1, call DI' the set of the elements d of D~ such
that the modules of the automorphisms x-+dx and x-+xd of DA are
respectively ~ Jl and ~ Jl- 1. Then DI' is a closed subset of D~ whose image
in D~/Dx is compact.
* Write N for the regular norm N Dlk' and N' for the "coregular norm"
as defined above; by the corollary of prop. 3, d-+IN(d)IA is continuous
on D~, and the same is true of d-+ IN'(d)IA for similar reasons; in view
of that same corollary, this implies that DI' is closed. By tho 2 of § 2, D is
discrete in D A, and D AiD is compact; therefore there is a Haar measure
a on DAsuch that a(D AiD) = 1, this being defined in the manner explained
in Chap. 11-4. As DA is not compact, we can choose a compact subset C
of D A such that a( C) > Jl. Call C' the image of C x C under the mapping
(x,y) -+ x - y of D A X D A into D A, and C" the image of C' x C' under the
mapping (x,y) -+ x y of DAx D A into DA; as these mappings are continuous,
§ 4. Ideles of A-fields 75
C' and C" are compact. Take any deD,.; as the module of x--+xd is
;;?; p,- 1, it maps C onto a set Cd whose measure is > 1; therefore, by lemma 1
of Chap. II -4, there are two elements x, y of C such that x d - y d is in D
and is not 0, i.e. such that it is in DX. Write Cl =x- y and b 1 =c1d; then
C 1 eC' and b 1 eDx. Similarly, x--+d- 1 x, being the inverse ofx--+dx, has a
module ;;?; p,-1, so that it maps C onto a set d- 1C of measure > 1; as
before, we conclude that there is C2eC' such that b2 =d- 1 C2 is in DX.
Then b 1 b2 = c 1 C2' so that b 1 b2 is in D x' nC", which is a finite set since D is
discrete and C" compact in DA' Call Yh ... , YN all the distinct elements of
DXnC"; C 1 C2 is equal to one of these, say Yi' so that Yi 1 c 1 C2 =1. This
shows that C2 is invertible in DA and has the inverse c;1=Yi 1 c 1 • As
db 2 =C2' we see that db 2 belongs to the set X of the elements x of D~
whose image under the mapping x --+ (x, x - 1) is in the union of the sets
C' x (Yi 1 C') for 1 ~ i ~ N. In view of deC. 2, X is a compact subset of D~;
as D,. eX' D X, the image of D" in D~/D x is contained in that of X,
which proves our theorem.
D 1 (P)=D(P)nkl;
here we may take P = 0 if k is of characteristic p> 1, and then we have
D 1 (fi)=D(fi).
Take any non-empty pi, and take a full set of representatives Z 1' •.. , Z N
for the classes in k~ modulo k X .Q(P'). As k~ is the union of all the
groups .Q(P), one can choose P::::> pi so that all the' Zj are in .Q(P). Then P
has the required property.
In the case when k is an algebraic number-field, and P = P00' theorem 7,
as will be seen in the next Chapter, is in substance the classical theorem of
the finiteness of the number of ideal-classes in k.
This consists of the elements e of k X such that lelv= 1 for all v not in P.
Obviously E(P) contains the group E defined in theorem 8. As k x is
78 Adeles IV
and consisting of the elements e of k such that lelv ~ 1 for all v not in P.
In order to determine the structure of E(P), we need an elementary
lemma:
LEMMA 5. Let G be a group, isomorphic to Rr x zs+ l-r, with s~r~O.
If r>O, let A be a morphism of G into R, non-trivial on Rr; otherwise
let A be a non-trivial morphism of G into Z. Let Gibe the kernel of A,
and let r be a discrete subgroup of G1 , such that Gt/r is compact. Then
r is isomorphic to ZS.
We may assume that G=Rr x zs+l-r; then every element x of G
can be written as (xo, ... , x s), with XjE R for 0 ~ i< rand XjE Z for i ~ r,
and A can be written as
with ajER for all i, if r>O, and ajEZ for all i, if r=O; in both cases, in
view of our assumptions about A, we may assume that ao f 0, and in the
former case we may assume that ao= 1. Consider G as embedded in the
obvious manner in the vector-space V=R s + 1 over R; then the above
formula defines A as a linear form on V; let VI be the subspace of V defined
by l(x)=O, so that G1 =GnVl • For l~j~s, call ej the point (Xj) in V
given by Xo= -aj' xj=a o, and xj=O for if 0 and ifj. As {e 1 , ... , es}
is a basis for VI, it generates an R-Iattice H in VI, so that V1/H is compact;
as He Gl' and G 1 is closed in VI' this implies that Vt/G 1 is compact.
Consequently, if r is as in the lemma, vt/r is compact, so that r is an
R-Iattice in VI' hence isomorphic to zs by prop. 11 of Chap. 11-4.
THEOREM 9. Let P be any finite set of places of k, containing Pro;
e
let E(P) be the subgroup of k x consisting of the elements of k x such
that lelv= 1 for all v not in P. Then E(P) is the direct product of the group E
of all roots of 1 in k, and of a group isomorphic to ZS, with s=O if Pis
empty, and s = card(P) -1 otherwise.
If P is empty, this is contained in tho 8; therefore we may assume
Pf0. Call v the morphism ofQ(P) into R~ induced by z-+ IzIA; its kernel
is Ql(P) and is open in kl. The canonical morphism of kl onto kl/e
induces on Q 1 (P) a morphism of Q 1 (P) onto its image in k)jk x , with the
§ 4. Ideles of A-fields 79
for 1 ~h,j~N. Substitute a for T, multiply to the right with aj' and
sum over j for 1 ~j~N; we get D(a)ah=O for all h, hence D(a)x=O for
all X; for X= 1, this gives D(a)=O, which proves our first assertion since
D(T) is monic. By corollary 1 of prop. 1, we may assume that we have
taken for {al, ... ,aN} a basis ofd over Q; then Trd/k(a) and Nd/k(a) are
the trace and the determinant of the matrix (c;j), so that they are integers.
§ 2. Lattices over algebraic number-fields. From now on, until the end
of this Chapter, k will denote an algebraic number-field. We keep the
notations explained in Chapter IV. In particular, if v is any place of k,
kv is the completion of k at v; if v is a finite place, rv is the maximal
compact subring of kv, and Pv the maximal ideal ofrv' We write kA for the
adele ring of k, and q> for the canonical injection of k into kA • We will write
q>E for the canonical injection of any finite-dimensional vector-space E
82 Algebraic number-fields v
over k into its adele space EA, this being defined by e-+e®<p(1) as
explained in Chap. IV-I.
Consider now the algebra k ®QR over R; this is the same as (kIQ)oo
in the notation ofth.1, Chap. IV-1, and it has an isomorphism fPoo onto
n
the direct product kw of the completions of k at its infinite places w,
this being fully characterized by the properties stated in tho 4 of
Chap. 111-4. We will simplify notations by identifying (kIQ)oo with that
product by means of fP 00' and by writing koo for both. Similarly, if E is
any fmite-dimensional vector-space over k, we will write Eoo for E ®QR,
which is the same as (EIQ)oo in the notation of coronary 2 of tho 1,
Chap. IV-1; as this is also the same as E ®kkoo, we identify it with the
product nEw taken over the infinite places w of k.
With this notation, the open subgroup kA(p00) of kA' given by for-
mula (1) of Chap. IV-1, can be written as koo x (n
rv), where the latter
product is taken over all the finite places v of k and is compact. Here,
and in similar situations, the following group-theoretic lemma will be
found useful:
LEMMA 1. Let G be a locally compact group with an open subgroup
G1 of the form G1 =G' x G", where G' is locally compact and G" is com-
pact. Let r be a discrete subgroup of G such that Glr is compact, and
call F' the projection of rnG 1 onto G'. Then F' is discrete in G', and
G'IF' is compact.
Let W be a compact neighborhood of the neutral element in G' (we
need not assume that G, G', G" are commutative, although only this case
will be used). As W x G" is compact, its intersection with r is rmite;
as the projection of that intersection onto G' is WnF', this shows that F'
is discrete. As G1 is open in G, G1 r and G-G 1 r are open, since they
are unions ofteft cosets for G1; therefore the image of G1 in GIr is open
and closed there, hence compact. As it is isomorphic to G1/r1 with
r1 =rnG t , this implies that there is a compact subset C of G1 such
that G t = C . r t • Then, if C' is the projection of C onto G', G' = C' . F',
which shows that G'IF' is compact.
THEOREM 1. Let k be an algebraic number-field; put t= C) (knrv),
v
where v runs thr~ugh all the finite places of k. Then t is an order of k;
it is the unique maximal order of k, and it is the integral closure of Z in k.
that lemma, r' is cpoo(r), and the lemma shows that this is an R-Iattice in koo .
As CPoo is also the same as the injection induced on r by the natural
injection of k into koo = k ®Q R, this implies that r is a Q-Iattice in k,
hence an order. Let r' be any subring of k whose additive group is finitely
generated; clearly the rv-module generated by r' in kv is a compact sub-
ring of k v ; it contains rv , since r' contains 1; therefore it is rv , so that
r' c rV. As this is true for all v, we get r' c r. By prop. 3 of § 1, r is con-
tained in the algebraic closure of Z in k. Conversely, if an element of k
is integral over Z, prop. 6 of Chap. 1-4 shows that it is in rv for all v,
hence in r.
The mapping IjJ of r into TI r v' defined in the proof of theorem 1,
will be called the canonical injection of r into TI rv; it maps every E r e
e
onto the element (xv) of that product given by Xv = for all v. It is a ring-
isomorphism of r onto ljJ(r), addition and multiplication in TI r v being
defined coordinatewise. With this notation, we have:
COROLLARY 1. Let k, rand IjJ be as above defined. Then IjJ (r) is dense
in TI r,,, and its projection onto every partial product of that product
is dense there. In particular, rv is the closure of r in kv.
n
write ev= Lx~)ei with coefficients x~) in rv' Put Xi=(X~») for l~i~N;
the Xi are elements of r v' By corollary 1 of tho 1, we can find elements ~i
of r such that, for every i, t/I (~i) is arbitrarily close to Xj; clearly, then,
t/lL(L~jei) can be made to be arbitrarily close to (e v)'
and aL; this makes it clear that (aL)v is the same as the subgroup avLv
of Ev generated by the elements IXe with IXea v, eeLv'
In particular, if a, b are two fractional ideals in k, ab is the subgroup
of the additive group of k generated by the elements IXP with IXea, peb;
it is a fractional ideal, and, for every finite place v of k, we have (ab)v=avb".
If Pv is the maximal ideal in rv, every kv-Iattice in kv is of the form p~
with neZ; in particular, we can write av=p~, bv=pt with aeZ, beZ,
and then it is obvious that avb v= p~+b.
a= n
that it determines a uniquely when that is so, a being then given by
(knp~(v»). If b corresponds similarly to v--+b(v), we have seen
above that a b corresponds to v--+a(v)+ b(v); it is also clear that a c b if
and only if a(v)~b(v) for all v; in particular, a is integral if and only if
a(v)~O for all v. For any given v, put a(v) = 1 and a(v')=O for all v'=!=v;
if we call Pv the corresponding ideal, we have pv=tnpv, and it is clear
that the fractional ideals make up the free abelian group generated by
the PV' As Pv is prime in rv, Pv is prime in t. As to the converse, take any a
in t, so that a(v)~O for all v; if it is neither t nor anyone of the Pv' we
can write it as a' a", where a', a" are ideals in t, other than t. Then a'
contains a and is not a, so that a' - a is not empty; the same is true
of a" - a. Take IX' e a' - a and IX" e a" - a. Then IX' IX" is in a, while neither
IX' nor IX" is in a, so that a is not prime. This completes the proof.
n
element 'I' of k has the same property if and only if 'I' - 'I e t. Write y = x - 'I,
and call Yoo the projection of y onto koo in the product koo x r v; then we
can write Yoo =O(u) with u=(u 1 , ... , un) in R". For each i, take ajeZ such
that aj~uj<aj+l, i.e. uj-aje1; put e='1-Lajej and xo=x-e. As
nrv; moreover, the projection of Xo onto koo is
j
e - 'I is in t, Xo is in koo x
Yoo - Lajej= L(uj-aj)ej
i i
and is therefore in 0(1"). It is also clear that the latter condition could not
have been fulfilled by any other choice ofthe integers aj. This proves our
assertion.
This will now be applied to the calculation of a.(k,Jk) for an explicitly
given Haar measure a. on kA • Such measures can be constructed as follows.
For each place v of k, choose a Haar measure a. v on k v; if a.v(rv) = 1 for
almost all v, the product measure n
a. v is well defined and is a Haar
measure on each one of the open subgroups kA(P) of kA given by for-
mula (1) of Chap. IV-I; clearly there is one and only one Haar measure
on kA which coincides with these measures wherever they are defined;
n n
this will be denoted by a. v' In particular, we will write P= Pv for the
Haar measure obtained by taking pv(rv) = 1 for all finite places v of k,
and proceeding as follows at the infinite places. If w is a real place, we
have kw=R and we take dPw(x)=dx, so that Pw is the Lebesgue measure
on R. Ifw is an imaginary place, we have kw=C, and we take dPw(x) =
=ldxJ\dxl; by this we mean that, if we put x=u+iv with u, v in R, so
that dXJ\dx= -2i(duJ\dv), Pw is the measure corresponding to the
differential form 2du J\ dv; in other words, Pw/2 is the Lebesgue measure
in the (u, v)-plane.
In order to calculate P(k,Jk), we need another definition. Notations
being as above, consider the matrix
(1) M = (1t k/Q(eje))l ""j,j"""'
and call D its determinant. By prop. 5 of Chap. III-3, D:j=O; by prop. 3
of§ I,MisinMnCZ), so that DeZ. Ifk=Q, wehavet=Z, so that we have
to take el = ± 1, hence D= 1. If {'II' ... , 'In} is another set of generators
for t, and N the matrix obtained by substituting the '1j for the ej in (1),
we can write '1j= Lajjej with ajjeZ for all i,j; then we have N =AM 'A,
where A is the matrix (a jj). Similarly we can write ej= Lbjj'lj with
§ 4. Fundamental sets 91
bijEZ for all i, j; calling B the matrix (b j ) , we have AB= In' hence
det(A)det(B) = 1; as det(A) and det(B) are in Z, this gives det(A)= ±1,
hence det(N) = det(M). In other words, the determinant D of M does not
depend upon the choice of the basis (~J This justifies the following:
n
Call Poo the measure npw on koo = kw, the products being taken
over the infinite places of k. By prop. 6, P(k.Jk) is the same as Poo((}(l"));
therefore our proposition will be proved if we show that
dPoo((}(u))=IDI 1/2du 1 .. · dUn.
Call r 1, r 2 the numbers of real and of imaginary places of k, respectively;
put r=r 1+r 2-1; let WO'''''Wr be the infinite places of k, ordered so
that Wj is real for i<r 1 and imaginary for i~r1' For each i, write kj for
n
the completion of k at Wj, Aj for the natural injection of k into kj, and J.lj
for the R-linear extension of Aj to k oo ; if we identify koo with kj as above,
tho 4 of Chap. III-4 shows that J.lj is the projection from koo onto kj.
By corollary 1 of prop. 3, Chap. III-2, every isomorphic embedding A.'
of k into C is of the form O'OA j , where 0' is an R-linear isomorphism of kj
into C; obviously 0' is the natural injection of k j into C if kj=R, i.e. if
i < r1, and it is one of the two mappings x -+ x, x -+ x of C onto C if kj = C,
i. e. j ~ T l ' Therefore, if we put A; = A; for 0 ~ i ~ T. and A~z + i = 1; for
T 1 ~ j ~ T, the A~ for 0 ~ h ~ n -1 are all the distinct isomorphisms
of k into C. Writing now J.l~ for the R-linear extension of A;' to koo' we have,
for u=(u 1, ... , un)ERn and O~h~n-1:
n
;=1
M =(LA;'(~j)A;'(~j))=tN' N,
h
places W of k above u, if there is more than one such place, and AO('1)
must be real if u is real and Wo imaginary; as this is not so, corollary 1 of
tho 4, Chap. III-4, shows that the degree of k over Q('1) cannot be > 1.
This implies that the A~('1), for O~h~n-l, are all distinct, so that
n(X -A~('1)) is the irreducible monic polynomial in Q[X] with the root
'1; its coefficients are obviously bounded in terms of IDI; they are all in Z
since 1'1lv~ 1 for all finite places v of k, which is the same as to say that '1 is
in t, i.e. integral over Z. Therefore the polynomial in question, hence
also '1, can take only finitely many values when D is given.
(3)
(4)
j=l
We have then l(F(t») = to, and also, for flEE and (n1' ... , n,) in Z':
(5) 1('1 neil)=F(O,n1, ... , n,).
PROPOSITION 8. Put 0 00 = k~ x nr:, and let I be the morphism of
0 00 onto R'+ 1 given by (3); let {ai' ... , all} be a full set of representatives
for the cosets modulo k X 0 00 in k~. Let E be the group of the roots of 1
in k; call e its order, {e 1, ... , e,} a set of free generators for rX modulo E,
and F the automorphism of R'+ 1 given by (4). Then, if I is the interval
O~t< 1 in R, the union of the sets ajl-1(F(R x r») for 1 ~i~h is a fun-
damental set of order e modulo k x in k~.
Take any Z = (zv) in k~; there is one and only one i such that ai 1 Z is
e e
in k x 0 00 , and then we can write z = aj z' with E k x , Z' E 0 00 ; moreover,
z' is uniquelydeterminedmodulok x nOoo ' i.e. modulo rX. PutF- 1 (I(z'»)=
=(to, ... , t,); for 1 ~i~r, take njEZ such that nj~tj<nj+ 1; put e= neil,
z"=e- 1z' and e'=ee. Then we have z=e' ajz", and, in view of (4) and (5),
l(z")EF(R x r). Moreover, it is clear that z" is uniquely determined
modulo E by these conditions. This proves our proposition.
easily by applying the same argument which we used for the discriminant.
As the same fact will emerge presently as a consequence of proposition 9,
we leave it aside for the moment.
PROPOSITION9. Let y= nyv be the Haar measure on k~ obtained
by taking yv(r~)= 1 for all finite places v of k, dYw(x)=lxl-1dx for each
real place w, and dYw(x)=(XX)-lldxAdxl for each imaginary place w.
For each m> 1 in R, call C(m) the image in k~/kx of the subset of k~
defined by 1 ~lzlA ~m. Then we have y(C(m)) = cklog(m), with Ck given by
ck=2"(21t)'2hR/e.
Here, as before, rl and r2 are the numbers ofreal and of imaginary
places of k, respectively; h is the number of ideal-classes; R is the regulator,
as defined above, and e is the order of the group E of roots of 1 in k, this
being always an even integer since ± 1 are in k. Clearly e = 2 if r1 > 0, since
R contains no root of 1 except ± 1.
We begin by modifying the representatives aj of the cosets modulo
e U oo in k~, introduced in prop. 8, by replacing, for each i, aj by ajbi 1
with bjEU oo and Ibjl A= lajlA; once this is done, we have lajlA = 1 for
1 ~i~h, and prop. 8 shows that ey(C(m)) = hy(X), where X is the inter-
section of 1-1(F(R x 1')) with the set l~lzIA~m in k~. As we have seen
above, if ZEU oo and F-1(l(z))=(t o, ... , t,), we have
10g(lzIA) = 2(/(z)) = 2(F(t)) = to.
Therefore the set X can be written as 1- 1 (F(J x 1')), where J is the interval
o~ t ~ log(m) of R. Now I is a morphism of Uoo onto R'+ 1 with the com-
pact kernel U; therefore, if Y is any compact subset of R'+ 1, r l(y) is a
compact subset of Uoo ' and Y --+y(l-l(y)) is a Haar measure on R'+ 1,
hence a multiple c tX( Y) of the Lebesgue measure tX on R' + 1, with some
constant c>O. This gives y(X) = ctX(F(J x 1')). By the definition of the
regulator R, it is the module of the automorphism F of R'+ 1; therefore
we get:
y(X) = ctX(F(J x 1'))=cRtX(J x l')=cRlog(m).
This gives c = 2"(21t)'2, which completes the proof. Our conclusion shows
that R is independent of the choice of the Gj, as had been stated above.
Chapter VI
Let a = (a v) be any element of k~; for each v, we can write avrv= p~(v)
with a(v) = ordv(av); for almost all v, we have lavl v= 1, hence a(v)=O, so
that La(v)· v is a divisor of k; this divisor will be denoted by div(a).
Clearly a--+div(a) is a surjective morphism of k~ onto D(k), whose kernel
is nr; and is the same as the group denoted by Q(~) in Chap. IV-4;
v
we may therefore use this morphism to identify D(k) with k~ /Q(~). The
definition of lal A shows at once that, if aEk~ and a=div(a), then
lalA =q-deg(a); therefore Do(k) is the image of kl in D(k) under the mor-
phism a--+div(a); in particular, the image P(k) of k x in D(k) under that
morphism is contained in Do(k). The group P(k) is known as the group
of the principal divisors. Clearly the morphism a--+div(a) determines iso-
morphisms of the groups kl!Q(~), kl!k x Q(~) and k~/kx Q(~) onto Do(k),
Do(k)/P(k) and D(k)/P(k), respectively; D(k)/P(k) is known as the group
of the divisor-classes of k, and Do(k)/P(k) as the group of the divisor-
classes of degree 0; tho 7 of Chap. IV-4 shows that the latter is finite, and
that the former is the direct product of the latter and of a group iso-
morphic to Z.
Now we consider vector-spaces over k; we have the following result,
a special case of which occurred already in Chapter IV:
If P is a finite set of places such that Lvcev for all v not in P, nLv is
a compact subgroup of EA(P,e), hence of EA ; the converse follows at
once from corollary 1 of prop. 1, Chap. IV-I. Now assume that this is so.
Then nLv is a subgroup of EA ; it is open if and only if it contains a
neighborhood of 0; prop. 1 of Chap. IV-l shows that this is so ifand only
if Lv:::) ev for almost all v, which completes the proof.
Choose one basis e, and take Jl. such that Jl.(n ev) = 1. If a is as in
n
corollary 1, U(L) is the image of U(Lo) = ev under e-+ae. Therefore
Jl.(U(L») is equal to the module of that automorphism, which is Idet(a)IA
by prop. 3 of Chap. IV-3; in view of our definitions, this is q-6(L), as
stated in our corollary. By corollary 1, this does not depend upon e;
therefore, replacing e by another basis e', we get a measure Jl.' such that
Jl.'(U(L») is the same as Jl.(U(L»); this gives Jl.' = Jl., so that Jl.(n e~) = 1.
As in Chap. IV-2, choose now a non-trivial character X of kA' trivial
on k, and call Xv the character induced by X on kv> which is non-trivial
for every v, by corollary 1 of tho 3, Chap. IV-2. Let E be as above, and
call E' its algebraic dual. As explained in Chap. IV-2, we use X to identify
E~ with the topological dual of EA by means of the isomorphism described
in tho 3 of Chap. IV-2, and, for each v, we use XI) to identify E;, with the
The theorem of Riemann-Roch 99
This shows that J.l(E,JE) is of the form q' with reZ. In particular, if we
apply corollary 2 of prop. 2 to E = k and to the basis. B = {1 }, we get a
Haar measure J.ll on kA' such that J.ll(n rv) = 1, and we see that we can
write J.ll(kAjk)=qY with yeZ. Now identify our space E with k" by means
of a basis B of E over k; it is.clear that the measure J.l in EA, defined by
corollary 2 of prop. 2, is the product (J.ll)" of the measures J.ll for the n
factors of the product EA=(k A)", and then that q'=(qY)", i.e. r=yn. This
100 The theorem of Riemann-Roch VI
Zeta-functions of A-fields
§ 1. Convergence of Euler products. From now on, k will be an A-field
of any characteristic, either 0 or p> 1. Notations will be as before; if v
is a place of k, kv is the completion of k at v; if v is a finite place, rv is the
maximal compact subring of kv, and Pv the maximal ideal in r v. Moreover,
in the latter case, we will agree once for all to denote by qv the module
of the field kv and by 7t v a prime element of kv, so that, by tho 6 of Chap. 1-4,
r v/Pv is a field with qv elements, and l7t v lv = q; 1. If k is of characteristic
p> 1, we will denote by q the number of elements of the field of con-
stants of k and identify that field with Fq; then, according to the defini-
tions in Chap. VI, we have qv = teg(v) for every place v.
By an Euler product belonging to k, we will understand any product
of the form
where SEC, OvEC and IOvl::s:; 1 for all v, the product being taken over all
or almost all the finite places of k. The same name is in use for more
general types of products, but these will not occur here. The basic result
on the convergence of such products is the following:
where CTE R and v runs through all the finite places of k, is convergent for
CT> 1, and tends to the limit 1 for CT tending to + 00.
v=l
I
+ 00
J
v
which shows that C«(1) is convergent for (1) 1 and tends to 1 for (1--+ + 00.
This proves our proposition when k is a number-field.
Now assume that k is of characteristic p> 1; then, by lemma 1 of
Chap. III-2, we may write it as a separably algebraic extension of Fp(n
of finite degree n. By tho 2 of Chap. III-I, Fp(n has one place 00 cor-
responding to the prime element T - 1, while its other places are in a
one-to-one correspondence with the prime polynomials 1t in Fp[T]. It
will clearly be enough if we prove the assertion in our proposition, not
for the product '1«(1), but for the similar product "«(1) taken over the
places v of k which do not lie above the place 00 of Fp(n. Then, just as
in the case of characteristic 0, we see that 1 <"«(1)~'i(1)n, where Cp«(1)
denotes the product
'p«(1) = TI (1- p-de g (n)a)-l = TI (1 + p-de g(7t)a + p-2de g(7t)a + ...)
taken over all the prime polynomials 1t in Fp[TJ. As every monic poly-
nomial in Fp[TJ can be uniquely written as a product of powers of prime
polynomials, this gives
'p(U) = LP-deg(I')a
where the sum is taken over all the monic polynomials Jl. in Fp[T]. As
there are p/J monic polynomials of degree (j for every (j ~ 0, we get
+00
Cp«(1)= L pll(l-a)=(l_ pl-a)- 1,
/J=O
Then E(s) is absolutely convergent, holomorphic in s, and =1= 0, for Re(s) > 1,
and it tends to 1, uniformly with respect to Im(s), for Re(s) tending to + 00.
104 Zeta-functions of A-fields VII
is called the Fourier transform of ~ with respect to ex; one verifies at once
that it is continuous on G*. Clearly, if one replaces ex by cex, with cER~,
this replaces ~* by c ~* .
Then we say that ~ is the inverse Fourier transform of ~*. The measure
ex* is called the dual measure to ex. Clearly, for cER~, the dual measure
to cex is c- 1 ex*. In particular, assume that G* has been identified with G
by means of some isomorphism of G onto G*; then ex*=mex with some
mER~, and, as the dual of cex is c- 1 mex, there is one and only one Haar
measure on G, viz., ml/2 ex, which coincides with its own dual for the given
identification of G and G*; this is then called the self-dual Hoor measure
onG.
If G is compact, G* is discrete. Then, by taking ~ = 1, one sees at
once that the dual of the Haar measure ex given by ex(G) = 1 on G is the
one given by ex*({O})= 1 on G*.
A function ~ on G will be called admissible for G if it is continuous,
integrable, and if its Fourier transform ~* is integrable on G*. Now let
r be a discrete subgroup of G, such that G/r is compact. Let r* be the
subgroup of G* associated by duality with r; as G/r is compact, r* is
discrete; as r is discrete, G*/r* is compact. Take for ex the Haar measure
on G determined by ex (G/r) = 1. The function ~ on G will be called
admissible for (G, r) if it is admissible for G and if the two series
L ~(g + y), L ~*(g* + y*)
yeT y·eT.
where, as usual, g is the image of gin Gjr under the canonical homo-
morphism of G onto Gjr, and the integrand, which is written as a func-
tion of 9 but is constant on cosets modulo r, is regarded as a function
of g. According to formula (6) of Chap. 11-4, this integral has then the
value tP*(y*), so that the Fourier transform of F, when F is regarded as
a function on Gjr, is the function induced by tP* on r*. Since tP has been
assumed to be admissible for (G,r), this is integrable on r*, so that we
get, by Fourier's inversion formula for Gjr and r*:
F(g)= L tP(g+y)= L tP*(y*) ( -g,y*).
yef y*ef.
As the last integral is clearly 0 unless the character e --+ <e, e*) is trivial
on M, i.e. unless e*EM*, we see that 11>* is 0 outside M*.
where IP v is, for every place v of k, a standard function on Ev, and, for
almost every v, the characteristic function of Ilv.
Let ll,ll' be bases for E and for E' over k; for each finite place v, let
llv be as before, and let e~ be similarly defined for E~. By corollary 3 of
th.3, Chap. IV-2, there is a finite set P of places of k, containing Poo ,
such that ll~ is the dual kv-Iattice to llv when v is not in P; in view of our
assumption on the (Xv, we may also assume that P has been so chosen
that (Xv(llv) = 1 for v not in P. Then, by corollary 1 of prop. 2, the Fourier
transform of the characteristic function of llv is the characteristic function
of ll~, and the dual measure (X~ to (Xv is given by (X~(e~)= 1, for all v not
n
in P. Now let ~= ~v be a standard function on EA ; for each v, call ~~
the Fourier transform of ~ v with respect to (Xv' From what has just been
said, and from propositions 2 and 3, it follows that ~' = ~~ is a n
standard function on E~; we will show that it is the Fourier transform
of ~. Replacing P if necessary by some larger set, we may assume that ~ v
is the characteristic function of llv for v not in P; in particular, the support
of ~ is contained in EA(P,Il), so that the Fourier transform ~" of ~ is
given by the integral
J
~"(e')= ~(e)x([e,e'])d(X(e)
moreover, when e' is given, the factor in the right-hand side corresponding
to v has, for almost all v, the constant value 1 on llv' In view of the defini-
tion of EA(P,Il) in prop. 1 of Chap. IV-I, this implies that ~"(e') is the
same as ~'(e').
Now, in order to prove that ~ is admissible for (EA,E), it is enough
to show that, for each compact subset C of EA , the series
(3)
'leE
L Inv ~v(ev+")1
L 1~(e+")1 = 'leE
is uniformly convergent for eEC. By corollary 1 of prop. 1, Chap. IV-I,
C is contained in some set EA(P,Il); take P such that this is so and that
EA(P,Il) also contains the support of ~. For each place v in P, call Cv
the projection of C onto Ev; for each finite place VEP, call C~ the support
112 Zeta-functions of A-fields VII
n
of cP,,; for v not in P, put C"=C~=B,,. As C" is compact and contains C,
n
it will be enough if we prove our assertion for C = C". Assume first
that k is of characteristic p> 1. Then cP is 0 outside the compact set
n
C' = C~, so that all the terms of (3) are 0 for eeC except those corres-
ponding to "eEnC", where C" is the image of C x C' under the mapping
(e,e')-e' -e; as C" is compact, EnC" is finite, and the assertion becomes
obvious. Now let k be of characteristic O. For each finite veP, take a
k,,-norm N" on E", and call L" the k,,-lattice given by N,,(e,,)~JI., where JI.
is an upper bound for the values of N" on the compact set C"uC~. For v
n
not in P, put L"=B,,. Put L= (EnL,,), where v runs through all the
finite places of k; by tho 2 of Chap. V-2, this is the k-Iattice in E with the
closure L" in E" for all finite v. Clearly, for e=(e,,) in C, cP,,(e,,+,,) is 0
unless" is in EnL", so that cP(e +,,) is 0 unless" is in L. Furthermore,
A Lin cPw(ew+,,)1
"eL w
(X = n n
(Xv by corollary 2 of tho 1; let P= Pv be as in prop. 7 of Chap. V-4.
Applying corollary 3 of prop. 2, and propositions 4 and 5, we get
(X = lal1'2 p. As (X(k.Jk) = 1 by corollary 2 of tho 1, and P(k.Jk) = ID11/2 by
where the notations have the following meaning. For Jl., we take a Haar
measure on k~; for w, we take a quasicharacter of Gk = k~/kx, regarded
as above as a function on k~. For q>, we take a standard function on k A •
By j, we denote the natural bijection of k1 onto the set of invertible ele-
ments of kA' which is a continuous mapping of k~ into kA' by prop. 2 of
Chap. IV -3. By abuse of notation, we will usually write q>(z) instead of
cPU(z)) in the future.
As to Jl., it has already been observed in Chap. V-4, in the case of
characteristic 0, that such a measure can be defined by choosing, for
every v, a Haar measure Jl." on k:, in such a way that Jl.v(r:) = 1 for
almost all v. Then we write Jl.= nJl.v for the measure on k~ which
coincides with the product measure nJl.v on everyone of the subgroups
kA (P) x • The construction of the measures Jl.v is contained in the following:
LEMMA 5. Let K be a local field and ex a Haar measure on K. Then the
formula dJl.(x)=mod K(x)-ldex(x) defines a Haar measure Jl. on KX;
moreover, if K is a p-field, q its module, and R its maximal compact subring,
then Jl.(R X)=(l-q-l)ex(R).
By the definition of modK , x-+ax leaves Jl. invariant for aeKx; this
proves the first assertion. The second one follows at once from tho 6 of
Chap. 1-4.
PROPOSITION 10. Let cP= n
cP v be a standard function on kA' W= Wv n
a quasicharacter of G" = k~/kX, and Jl. = nJl.v a H aar measure on k~.
Assume that Iwl = w" with (T > 1. Then the integral Z(w, cP) in (4) is absolutely
convergent, and its value is also given by the absolutely convergent product
For each finite place v of k, put I['v=lcPvl; for each infinite place w
of k, choose a standard function I['w on kw such that Y'w~lcPwl; then,
clearly, I[' = n I[' v is a standard function on kA' majorizing IcPl, and
Z(w,cP) is majorized by Z(w", Y'). Call [(P), J(P) the integrals of cPwdJl.
an~ of I[' w"dJl., respectively, on kA{P)x, Call I", J " the integrals ofcPl.wl,dJl."
and of I[' vlwvld Jl.v, respectively, on k~, and, for every finite v, call [~, J~
r:
the same integrals taken on instead of k:; Iv is the factor correspond-
ing to v in the right-hand side of (5). For almost all finite places v of k,
cP v is the characteristic function of rv' Wv is unramified, and Jl.v(r:) = 1 ;
let Po be a finite set of places, containing P00' such that this is so for v
not in Po. Then, for v not in Po, [~=J~= 1. This implies that we have, for
all P=>Po:
veP veP
120 Zeta-functions of A-fields VII
Therefore Z(w"" 1[1) is < + 00 provided all the integrals J v' and the infInite
product nJ
v , are convergent; moreover, if we show that this is so, it
will imply that Z(w, IP), the integrals I v and the product n
I v are all
absolutely convergent, and that Z(w, IP) is equal to that product, which
is what we have to prove. For any v, take a Haar measure IXv on k,,;
then, by lemma 5, dJlv(x)=mvlxl;l dlXv(x) with some mvER~. This gives
Jv=mvJ I[Iv(x)lxl~-ldlXv(X).
k~
n
Prop. 1 of § 1 shows now that J v is convergent, which completes the
proof.
The method of calculation which we have just given for J v can be
applied to Iv; we formulate this as follows:
PROPOSITION 11. Let K be a p-field, q its module, R its maximal
compact subring, and Jl the H aar measure on K x such that Jl(R X) = 1.
Call qJ the characteristic function of R. Then, for Re(s»O:
JqJ(x)modK(x)"djl(x)=(l-q-·)-l.
K"
which is absolutely convergent for Re(s»O and has the value stated
above.
and therefore:
ZI = J (L 4>'(~z-I)+4>'(O)-lzIA4>(O))
Gk ;Ek~
IzIA 1W (z)F1 (lzIA)dJl(z).
On the other hand, what we have proved above for Zo remains valid if
we replace £0 by £0 1£0- 1,4> by 4>' and Fo by the function t-+F1(t-I).
§ 5. The functional equation 123
this being absolutely convergent for u> 1, since Zl and Z~ are so. By
corollary 2 of prop. 7, § 3, we can write w = Ws t/J, where t/J is a character
of Gk , trivial on N. In view of our definition of Jl as the measure Jll x v
on Gk = Gl x N, our last formula can now be written:
Zl-Z~= (L t/JdJll)
k
. U(4)'(O)-n4>(O))n S - l Fl(n)dv(n)) .
is absolutely convergent for Re(s) > 1 and tends to a finite limit when s
tends to 1; if w 2 is not trivial, this limit is not O.
§ 5. The functional equation 125
=- I
n= 1
~
n
(6+4A n+4Xn+ A2n+X2n)
tn
L -
00
=- (2+A"+Xn)2<O.
n= 1 n
If now cp(A, t) is defined as in the lemma, we have
p(k,p,S)3 p(k,p,W,S)4 p(k,P,w 2 ,s)= n cp(A(V),qv-st
v,P
1.
By the lemma, this has an absolute value > 1 for sER, s> 1, so that it
°
cannot tend to for s tending to 1. For s tending to 1, as shown above,
p(k,P,w 2 ,s) tends to a finite limit if w 2 is not trivial, and p(k,P,w,s) is
the product of a factor, tending to a finite limit other than 0, and of
Z(wsw, <1», which is holomorphic in a neighborhood of s = 1; therefore,
if p(k,w,P,s) tends to 0, it must be of the form F(s)(s -1), with F bounded.
In view of corollary 1, this implies that the left-hand side of the last
formula tends to 0 for s tending to 1. This completes our proof. It is
an important fact that the conclusion of our corollary remains true
126 Zeta-functions of A-fields VII
* even if oi = 1; the proof for this, which requires quite different methods,
will be given in Chap. XIII-12.
COROLLARY 3. Let ko be an A-field contained in k; let V be a set of
finite places of k, such that, for almost all the finite places v of k, not
in V, the modular degree of kv over the closure of ko in kv is > 1. Then
the product
veY
is absolutely convergent for Re(s) > 1, and (s-l)q(k, V,s) tends to a finite
limit > 0 when s tends to 1.
Call V' the set of the places of k! lying above those of V. By corollary 1
of tho 4, Chap. III -4, if ve V, and w lies above v, we have J<., = kv, hence
q~=qv. For any place v of k, and any place w of k' above v, the modular
degree of J<., over the closure of ko in kv is at least equal to that of kv
over that closure; therefore, for almost all v, not in V, or, what amounts
to the same, for almost all w, not in V', that degree is > 1. We can now
apply corollary 3 to the products q(k, V,s) and q(k', V',s); as the latter is
equal to q(k, V,st, this gives n= 1.
COROLLARY 5. Let k be an A-field of characteristic p>l, and let P
be a finite set of places of k. Then there is a divisor m= Lm(v)· v of k
of degree 1 such that m(v)=O for all veP.
Call v the g. c. d. of the degrees of all the places v, not in P; we have
to show that v= 1. Let F=Fq be the field of constants of k; by th.2 of
Chap. 1-1, there is, in an algebraic closure of k, a field F' with qV elements,
and it is separable over F. Call k' the compositum of k and F', and n
its degree over k; k' is separable over k. Let v be any place of k, not
in P; let w be a place of k' above v; by prop. 1 of Chap. III-I, J<., is
generated over k,; by k', hence by F'. By the definition of v, the module
of kv is of the form qvr, where r is an integer; therefore, by corollary 1
§ 6. The Dedekind zeta-function 127
of tho 7, Chap. 1-4, combined with corollary 2 of tho 2,Chap. 1-1, kv con-
tains a subfield with qV elements. By tho 2 of Chap. 1-1, 1<. cannot contain
more than one field with qV elements; therefore F' c kv, hence 1<. = kv'
Corollary 1 of th.4, Chap. 111-4, shows now that there are n distinct
places of k' above each place v of k, not in P. Taking ko = k in corollary 4,
and taking for V the complement of P, we get k' = k, hence F' c F,
i.e. v= 1.
COROLLARY 6. Let k be as in corollary 5, and let Fq be its field of
constants. Then the value-group N of IzlA on k~ is generated by q.
n
Now consider the measure y = Yv on k~, given by taking yv(r:) = 1
for every finite place v, dYv(x)=lxl-1dx when v is real, and
dYv(x)=(XX)-lldx /\ dxl when v is imaginary; when k is of characteristic
0, this is the measure occurring in prop. 9 of Chap. V-4. The relation
between y and the measure JI. introduced at the beginning of § 5 is as
follows:
with c" as in prop. 12. By tho 2 of § 5, the left-hand side can be continued
analytically as a meromorphic function over the whole s-plane; as the
same is true of the factors Gw , it is also true of the last product in the
right-hand side. This justifies the following definition:
§ 6. The Dedekind zeta-function 129
taken over all the finite places v of k, is called the Dedekind zeta-function
ofk.
When tP is as above, its Fourier transform tP' is immediately given
by tho 1 of § 2 and its corollary 2, combined with corollary 3 of prop. 2,
§ 2, and propositions 4 and 5 of § 2. This gives
tP'(Y) = lali'2 tP(a y)
where a is a difTerental idele attached to the basic character X. In view of
the definition of Z(w, tP) by formula (4) of § 4, we have now:
Z(w,tP')=lali'2 w (a)-1 Z(w,tP),
hence in particular, for W=W., i.e. w(x)=lxIA:
(7) lali'2 -s Z(ws' tP);
Z(ws' tP') =
moreover, the value of lal A is that given in prop. 6 of § 2.
We are now ready to formulate our final results on the zeta-function.
COROLLARY. The Dedekind zeta-function (k(S) has the residue IDI- 1/2 Ck
at s= 1.
This follows from tho 3 and the well-known fact that G 1 (1)= G2 (1)= 1.
130 Zeta-functions of A-fields VII
/'P'(y)=0 in this case. Now take y=b-1u in (9), with ueRx; substituting
u-1x for x, we get /'P'(b- 1 u)=w(u)/'P'(b- 1). This proves that /'P' is of the
form c /'P(by) with ceC x • Applying to this Fourier's inversion formula
and lemma 1 of§2, we get cc=modg(b). As c=/'P'(b- 1), we get for"
the formula in our proposition. It would be easy to verify directly that
"K= 1 when" is defined by that formula; moreover, as the integrand
there is constant on classes modulo pI in R, we can rewrite the integral
as a sum over Rlpl; sums of that type are known as "Gaussian sums".
PROPOSITION 14. Let W be a quasicharacter of G... and «P", the standard
function attached to w. Then the Fourier transform of «P"" with reference
to the basic character X of kA' is given by
«P'(y) = "lbli'2 «P",(b y) = "lbli'2 «Pc;,(b y)
where "=n,,v, "veC and "vKv=l for all v, b=(bv)ek~, and "v' bv are
as follows. Let a=(a v) be a differental idele attached to X; then bv=av at
each infinite place v, and, for each finite place v of k, ordv(bva; 1) = f(v).
At every infinite place v of k, "v=i- Nv ; at every finite place v where
f(v)=O, "v= 1; at all other places:
"v= Ibvl; 1/2 Jwv(xt 1 xv(b; 1 x)dcxv(X),
r~
where P is the set consisting of the infinite places and of the finite places
whereJ(v»O.
For every place v of k, not in the set P which we have just defined, put
A(V)=q;Sv; these are the finite places where Wv is unramified, and the
definition of Sf' for such places shows that we can also write this as
A(V)=Wv(:n: v), where :n:v is a prime element of kv, or even as A(V)=W(:n:v)
if k; is considered as embedded as a quasifactor in k~. Clearly we have
IA(V)I = q; tr. .
L(s + t,OJ), this being also true for A(s, OJ). In view of corollary 2 of prop. 7,
§ 3, one may therefore always assume, after replacing OJ by OJ_tOJ with a
suitable tEe if necessary, that OJ is a character of k~, trivial on k x and
also on the group M defined in corollary 2 of tho 5, Chap. IV-4. The
latter assumption can be written as ~)ovsv-Nv)=O, where the sum is
taken over the infinite places of k, Sv and N v are as above, and ov= lor 2
according as kv is R or C. Since this implies that OJ is a character, we have
then (1=0.
On the other hand, if k is of characteristic p> 1, we introduce the
divisor f= L:f(v)' v, and call this the conductor of OJ. Then:
Put kp= 0 kv, the product being taken over the places VEP; write
Ap for the subgroup of kA consisting of the adeles (xv) such that x,.=O
for all VEP; then kA=kpxAp and k~=k;xGp, and our assertion
amounts to saying that the projection from k~ onto k; maps kX onto
a dense subgroup of k~. In fact, k; is an open subset of kp, and its
topology is the one induced by that of k p ; our assertion follows now at
once from corollary 2 of tho 3, Chap. IV-2, which shows that the pro-
jection from kA onto kp maps k onto a dense subset of kp.
From prop. 15, it follows at once that a continuous representation w
of k~ into any group r, trivial on k is uniquely determined when its
X
k:
,
I (P) (resp_ D(P»; therefore if we write cp 1 for the morphism cpo(id) (resp.
cpo(div» of Gp into r, its extensions to g' Gp are the morphisms of the
form 1/1-1 CPl' where 1/1 is any morphism of g into r. Writing I/Iv for the
morphism induced by 1/1 on gv, we get our conclusion.
Obviously, if the condition in proposition 17 is satisfied for some
choice of the groups gv and of the morphisms l/lpo it remains so when
one substitutes, for each gv' any open subgroup g~ of gv, and then for
I/Iv the morphism induced by I/Iv on g~. For instance, one may always
take gv = R: when kv = R, and take for gv one of the groups 1+ p': with
m ~ 1 when v is a finite place. The same idea gives the following:
group y = n
Instead of verifying the condition in proposition 17 for all ~ in the
(k x n gv), it is clearly enough to verify it for a set of gener-
ators of y; in this connection, the following result is occasionally useful:
n
is an algebraic number-field, and call t its maximal order. Then the group
y = (k x ngv) is generated by ynt.
Take any ~EY, and write ~t=ba-t, where a,b are two ideals in t,
e
prime to each other. For every finite place VEP, is in r~, so that Pv is
not a prime factor of a or of b. Apply corollary 1 of tho 1, Chap. V-2,
n
to the projection of k onto the product rv taken over the finite places
v of k which either belong to P or correspond to the prime ideals divid-
ing a; it shows that there is OCEt such that OCEgv for every finite VEP,
OCEa, and (X+O; then (X2 satisfies the same conditions and is in gv for every
infinite place v, so that it is in y, hence in ynt. That being so, also ~ (X2
is in ynt; this proves our proposition.
138 Zeta-functions of A-fields VII
(1)
In view of tho 6 of Chap. 1-4, this implies that x' e R' if and only if
N K'IK(x')eR, and x'eR' x if and only if N K'IK(x')eR x. As mod K(n)=q-l
and moddn')=q- f, (1) may also be written as follows, for x'=/= 0:
(2) ordK(NK'IK(x'»)=j-orddx').
From now on, we will write Tr, N instead of 'IrK'IK, N K'IK' except when
there are more fields to be considered than K and K'. For every veZ, we
will write m(p'V) = pfV; by (2), this is the R-module generated in K by the
image of p'v under N.
Let K be an algebraic closure of K' ; call Ai' ... , An the distinct K -linear
isomorphisms of K' into K; then, by corollary 3 of prop. 4, Chap. 111-3,
we have
(3) 7r(x') = ~);(x'), N(1 + x') = n(1 + A;(X'»).
; ;
Call K" the compositum of the fields A;(K'), which is the smallest Galois
extension of KinK, containing K'; define R", P" for K" as R, Pare
defined for K. By corollary 5 ofth. 6, Chap. 1-4, we have A;(R')cR" and
A;(P') c P" for all i, so that 7r(x') is in R" if x' e R', and in P" if x' e P' ; as
the same corollary shows that R=KnR" and P=KnP", this proves our
assertions concerning 7r. Now assume x'eR', x'+O, and put
y=N(1 + x')-I-7r(x');
by (3), this is a sum of monomials of degree ~ 2 in the A;(X'). As one of the
A; is the identity, and as the Ai' by corollary 2 of prop. 3, Chap. 111-2, differ
from one another only by automorphisms of K" over K, all the A;(X')
have the same order as x' in K", so that yx,-2 is in R" if x' is in R'. As
R' = K' nR", this proves our last assertion. In view of the fact that 7r =
if K' is inseparable over K, and of the remarks about that case in Chap.
°
111-3, our proposition is still valid (but uninteresting) in the inseparable
case.
COROLLARY. If x'ep,-e+l, 7r(x')eR.
As in tho 7 of Chap. 1-4 and its corollaries, call M' x the group of
roots of 1 of order prime to p in K' ; by corollary 2 of that theorem, K' is
cyclic of degree f over K, and its Galois group is generated by the Fro-
benius automorphism, which induces on M' x the permutation Jl. -+ Jl. q.
In view of corollary 2 of tho 2, Chap. 1-1, this amounts to saying that the
automorphisms of K' over K determine on k' = R'/P' the automorphisms
which make up its Galois group over k. Our conclusion follows at once
L n
from this, the formulas 'Ir(x') = Aj(X'), N (x') = Aj(X') and the similar
ones for k and k', i.e. from corollary 3 of prop. 4, Chap. III-3, applied
first to K and K', and then to k and k'.
PROPOSITION 3. Let K' be unramified over K. Then 'Ir maps P'v surjec-
tively onto Pv for every VE Z, and N maps R' x surjectively onto R x •
j=O
/-1
j=O
orddTr(x'))=e.ordK(Tr(x'))~ ordx-(x') +d -e + 1.
COROLLARY 4. Let K, K', K" be as above; let D=P'd, D' = p"d', D" = p"d"
be the differents of K' over K, of K" over K' and of K" over K, respectively.
Then D" = 1'(D)·D' and d" =e' d+d', where e' is the order of ramification of
K" over K'.
§ 2. Calculation of the different 143
Write CXi= Laijpj, with aijEK for 1 ~i,j~n. Multiplying both sides
with CXj and taking the trace, we get 'It(cxiCXj)=aij, hence M = (aij)' There-
fore the automorphism of the vector-space K' over K which maps
{Pl' ... , Pn} onto {CXl' ... , cxn}, hence the K-latticeD- l onto R', is represent-
ed by the matrix (aij) with respect to the first one of these bases, and its
module, by corollary 3 ofth. 3, Chap. 1-2, has the value mod K (L1). As the
mapping x'-+n'd x' also maps D- l =p'-d onto R', its module modK,(n,d)
must be the same as mod K (L1). This givesfd=ord K(L1), hence 9l(D)=L1R.
One will note that our corollary remains valid in the inseparable case,
since then 'It=O and D=O. Clearly our result implies that ordK (L1) is
independent of the choice of CX l , ... ,CXn ; this could easily be verified directly,
and justifies the following definition:
n (X -ei)=Xn+i=1L ai Xn - i.
n n
n (e-eJ
n
F'@=
i=2
In particular, in view of what has been proved above, we have K@=K'
ifand only if F'(e) +0. It is well known, and easily verified, that F(X)-1
has in K(X) the "partial fraction decomposition" given by
1 n 1
F(Xt t1 F'(ei)(X -ei)·
Considering the field K(X) as embedded in the obvious manner in the
field offormal power-series in X - 1 with coefficients in K, we get from this:
n n + ao
X-n(l +LaiX- i)-1 = L F'(e i)-1 L er X- v- 1
i= 1 i=1 v=o
which may also be written as
Assume first that x' e D - 1; then (7) shows, by induction on v for 0 ~ v ~ n -1,
that all Xi are in R, i.e. that F'<e}x' is in R[e], so that F'(e)D- 1 c:R[e].
On the other hand, assume that XieR for 0~i~n-1, i.e. that
F'(e)x'eR[e]; then (6), for v=O, shows that 1r(x')eR. Replacing X' by
x'y' with y'eR', we see that, if X' is such that F'<e}x'R'c:R[~], then
x' e D - 1. This proves our last assertion.
COROLLARY 1. Assumptions and notations being as in proposition 7, we
have D=F'(e)R' if and only if R' =R[e].
where n' is any prime element of K'. Then ordK(ai)~ 1 for 1 ~i~n,
ordK(an)= 1, and D=F'(n')R'.
e
Taking = n' in proposition 7, we get the first assertion; the second
one is obvious in view of formula (2) of § 1, since an = N ( -n'); the
last one follows at once from corollary 1, combined with prop. 4 of
Chap. 1-4.
§ 3. Ramification theory 147
polynomial X" + I aiX n - i in K[X] such that ordK(ai)~ 1 for all i and
i= 1
ordK(all) = 1, is called an Eisenstein polynomial over K.
PROPOSITION 8. Let F be an Eisenstein polynomial over K. Then F is
irreducible in K[X], and, if n' is a root of F in any extension of K, K(n')
is a fully ramified extension of K, having n' as a prime element.
Assume that F = G H, with G and H in K[ Xl Let a, b be the smallest
integers such that G 1 = 7t" G and H 1 = nb H are in R[ X], and put F1 =
=na+b F, so that F1 =G 1H 1. Put k=RIP, and call Fo, Go, Ho the poly-
nomials in k[X] obtained by replacing each coefficient in F1 , G1 , H 1,
respectively, by its image in RIP under the canonical homomorphism of
R onto RIP. By the definition of a and b, Go and Ho are not 0, so that
Fo=foO; this implies that a+b=O, F1 =F, and Fo = X"; consequently
there is v such that Go=XV, Ho=X"- v. Then the degrees of G1, H1
are at least v, n-v; as F1 =G 1H 1, they are v, n-v. If v>O, n-v>O,
call g, h the constant terms in G1, H 1; as Go=Xv and Ho=X"- v,
g and h are both in P; as the constant term of F is now g h, it is in p2,
which contradicts the definition of an Eisenstein polynomial. Now
let n' be a root of F in an extension of K, which we may assume to be
algebraically closed; as F is irreducible, the distinct K-linear isomor-
phisms of K' =K(n') into that extension map n' onto all the distinct roots
of F, so that F(X)=N(X -n'), hence, by the definition of an Eisenstein
polynomial, ord K(N(n'») = 1. By formula (2), § 1, this implies that f = 1
and that n' is a prime element of K'.
here, if we replace K' by any similar field K" containing K', orddx')
and ordK,(x) are both multiplied with the order of ramification of K"
over K', so that our definition of ordK(x') is independent of the choice of
K' ; of course one could take K' = K (x') in that definition. That being so,
ordKcoincides on K x with the mapping ord Kof K x into Z, as previously
defined, and determines a mapping of every algebraic extension of K into
Qu{ + oo}, with ordK(x') = + 00 if and only if x' =0.
As before, let K' be an extension of K of degree n, which we assume to
be separable; let notations be as in §§ 1-2; in particular, let D=p,d be the
different of K' over K. Call Kl the maximal unramified extension of K
contained in K', this being uniquely defined by corollary 4 ofth. 7, Chap.
1-4. Then K' has the degree e over K 1 , and, by corollary 5 ofprop.4, § 1,
it has the different Dover K l' Put
F(X)=NK'/K,(X -x');
v(A)=minx'eR,orddx'-x'A)=minx'eR,ordL(x' -x'A)/ordL(x').
Since orddx' - X'A) is an integer ~ 0 or + 00, this is well defined; it is + 00
if and only if A is the identity; the identity, i. e. the natural injection of K'
into L, will be denoted bye. By tho 7 of Chap. 1-4 and its corollaries 3 and
4, Kl is generated over K by the roots of 1 of order prime to p in K', and
these, together with 0, make up a full set of representatives for R'/P' in R';
therefore, if A does not induce the identity on K 1, there is such a root C
for which CA =1= C, and then C- CA is in K' and not in P', so that, taking
x' = C, we get V(A)=O. Now assume that A induces the identity on K t .
As K' is fully ramified over K 1, prop. 4 of Chap. 1-4 shows that R' = R 1 [x'],
R 1 being the maximal compact subring of K 1, so that every x' e R' can be
written as G(x') with GeRt[X]' This gives:
x' - X,A =G(x') - G(X'A) = (x' _X'A) H(x', X,A)
with H eRl [X, Y]. As we have already observed in the proof of prop.
1, X,A has the same order as x' in L; this implies that orddx'A) = ordK,(x') =
= 1, so that we have
ordx-{x' - X,A) ~ ordK,(x' _X'A) ~ 1
(8)
which implies that orddn'-n').) does not depend upon the choice of n'.
Now, F being as defined above, we have, by formula (4) of § 2:
where the product is taken over all the distinct K 1-linear isomorphisms
A of K' into L, and therefore
F'(n') = n (n'-n').)
).1'-
where the product is now taken over the same isomorphisms except the
identity. This gives
d=ordK,(F'(n'»= L v().),
).1'-
where the sum is taken over those same isomorphisms, and also, since the
number of such isomorphisms is e - 1 :
d-e+l= L (v().)-l).
).1'-
For v=O, this was proved above. Now put k'=R'/P'; this is a field
with q' elements. The canonical morphism of R' onto k' induces on Go a
morphism of Go onto k' x with the kernel G~, so that r1 is cyclic of order
q' -1. Similarly, for v ~ 2, the mapping x' -1 + x,y - 1 x' of R' onto G~ - 1
determines an isomorphism of R' jP' onto ry. Our assertions for v ~ 1 are
immediate consequences of these facts and of proposition 9.
We have G(n")=O. On the other hand, G" is the monic polynomial whose
roots are the images n'" of n" under the distinct isomorphisms r of K"
into L which coincide with (T on K~. In other words, we have
G"(n") = TI (n" - n"'),
where the product is taken over all the distinct isomorphisms r of K"
into L which induce A on K' and the identity on K 2 • Let now Y'(r) be de-
fined for K, K" and r, just as Y(A) has been defined for K, K' and A; in
other words, we put Y'(r) =0 if r does not induce the identity on K 2 , and
if it does, we put
Since ord K " = e'· ord K " we get now, by comparing the above formulas:
(11) e'v(A)=Lv'(r),
t
where the sum may be taken over all the isomorphisms r of K" into L
which coincide with A on K', since those which do not induce the identity
on K 2 make no contribution to the right-hand side; for a similar reason,
(11) remains valid when A is an isomorphism of K' into L which does not
induce the identity on K l ' Combining formulas (9) and (11), one gets
another proof for corollary 4 of prop. 4, § 1.
Let now L be a Galois extension of K, not necessarily of finite degree.
Call m its Galois group, topologized in the usual manner, i. e. by taking,
as a fundamental system of neighborhoods of the identity, all the sub-
groups of m attached to extensions of K of finite degree, contained in
L. Then m is compact, and (11) and (9), together with corollary 4 of
prop. 4, § 1, may be interpreted by saying that there is a finitely additive
function H, on the family of all open and closed subsets of m, with the
following property. Let K' be any extension of K of finite degree, con-
tained in L; let e be its order of ramification over K, and d its differental
exponent over K; call ~ the open and closed subgroup ofm, consisting
of the elements of m which induce the identity on K'. Then H(~) = die,
and, for every coset ~A of ~ in m, other than ~, we have H(~A) = - v(A)le,
where V(A) is as defined above. From this, we derive a linear form I -+ H(f),
i. e. a "distribution", on the space of all locally constant functions I on m,
by putting H(f)= H(~A) whenever I is the characteristic function of
~ A, where A. is any element of m, and ~ is as above; as all locally constant
functions on m can be written as finite linear combinations of such
characteristic functions, this determines H uniquely. We will call H the
* Herbrand distribution on m. In view of the foregoing results, it is clear
that its knowledge implies the full knowledge of the ramification pro-
§ 4. Traces and norms in A-fields 153
perties of K" over K' whenever K ' , Kif are of finite degree over K, and
KcK' cK" cL.
° °
IV-I, we have X~ = Xv o 'Jrk;"/k v ' By corollary 1 ofth. 3, Chap. IV-2, Xv is of
order for almost all v, and X~ is of order for almost all w; our conclu-
sion follows now immediately from this and from corollary 3 of prop. 4,
§1.
COROLLARY. Let assumptions be as in theorem 1; then Nk'/k is an open
morphism of k'; onto an open subgroup of kl.
By corollary 3 ofth. 1, Chap. IV-I, Nk'/k induces Nk;"/k v on k~x for all
places w of k'. By prop. 5 of § 1, this is, for all w, including the infinite
places, an open morphism of k~x onto an open subgroup of by k: ;
theorem 1, combined with prop. 3 of § 1, it maps r~x onto r: for almost all
w. In view of the corollary of prop. 2, Chap. IV -3, our assertion follows
immediately from these facts.
If kv and k~ are as above, k~, being generated over kv by k', is separable
°
over kv, so that, if v and hence ware finite places, its different over kv is
not and may be written as p~(w), with d(w)~O. Thisjustifies the following.
definition:
DEFINITION 3. Let k, k' be as in theorem 1; for every finite place w of k',
let p~(w) be the different of k~ over the closure kv of k in k~. Then, by the
n
different of k' over k, we understand the ideal p~(w) of k' if k, k' are of
characteristic 0, and the divisor Id(w)'w of k' if they are of characteristic
p> 1; it will be denoted by bk'/b or by b if no confusion can arise.
We will now consider separately the cases of characteristic
characteristic p> 1.
° and of
154 Traces and norms VIII
COROLLARY. If a' is any fractional ideal of k', the set of the elements
" of k' such that Tr", Ik( e ,,) is in t for all e e a' is the fractional ideal a' - 1 b - 1.
In fact, in view of proposition 10, this set consists of all the" such that
"a' cb- 1 •
Now we introduce two morphisms I, m
of the groups I(k), I(k') of
fractional ideals of k and of k' into each other, as follows. Consider again
the morphism a-+id(a) of k~ onto I(k), with the kernel Qoo=kA(P",»(,
which was defined in Chap. V-3; as pointed out there, we may use it to
identify I(k) with k~/Doo; we recall that Q oo is the group k~xnr:
consisting of the ideles (zv) such that IZvl v= 1 for all finite places v of k. If
the group Q:" is similarly defined for k', we may also identify I(k') with
k~)(/D:". Write now 1 for the natural embedding of k~ into k~)( ; by corol-
lary 1 ofth. 1, Chap. IV-1, this maps every z=(zv) in k~ onto the element
I(Z)=(Z~) of k~)( such that z~=zv whenever w lies above v; then IZvlv= 1
implies Iz~lw= 1, so that I(Z) is in Q:" ifand only if zeQ oo • This shows that I
determines an injective morphism of I(k) into I(k'), which we will call the
natural embedding of I(k) into I(k'), and which we will also denote by I;
with this notation, we have (id)ol=lo(id); this may be regarded as de-
fining the injection I of I(k) into I(k'). Clearly, if k" is an extension of k' of
finite degree, and if the morphisms z' of k~)( into k~)( and z" of kI into k~)(
§ 4. Traces and norms in A-fields 155
are defined just as I was defined for k~ and k~x , we have I" = I' ° I ; therefore
the corresponding relation holds true for the natural embeddings of I(k)
into I(k"), of I(k') into I(k") and of I(k) into I(k'). On the other hand, corol-
lary 3 ofth. 1, Chap. IV-I, combined with formula (1) of§ 1, shows that Nk'ik
maps Q'a, into Q oo ; therefore it determines a morphism of I(k') into I(k),
also known as the norm, which we will denote by 9lk'lk; we have(id)oNk'lk
=9lk'lko(id), and this may be regarded as defining 9lk'lk' If k" is as above,
we have 9l k "/k = 9lk'lko 9l k"lk" as an immediate consequence of the corre-
sponding relation for ordinary norms. Furthermore, if n is the degree of
k' over k, we have Nk'lk(X)=X n for all xEk, as an immediate consequence
of the definition of Nk'/k; this implies at once the corresponding relation
for the extension of Nk'ik to kA • For zEk~, we can write it as Nk'lk(/(Z)) = zn,
which implies that we have 9l k'lk(/(a)) = an for all aEI(k).
By tho 3 of Chap. V-3, I(k) and I(k') are the free groups respectively
generated by the prime ideals PV' p~ of r, r'. We will now describe the
morphisms I, 9l k'lk in terms of these generators.
PROPOSITION 11. For each finite place v of k, and each place w of k'
lying above v, call e(w) the order of ramification and f(w) the modular
degree of k~ over kv' Then we have;
l(Pv)= TI p~(w>, 9lk'lk(P~)=P[(W), Le(w)f(w)=n,
wlv wlv
where the product in the first formula, and the sum in the last one, are taken
over all the places w of k' lying above V.
The first formula follows at once from the definitions, and the second
one from the definitions, corollary 3 ofth. 1, Chap. IV-I, and formula (1)
of § 1. As to the last formula, since the degree of k~ over kv is e(w) f(w), it
is nothing else than corollary 1 ofth. 4, Chap. I1I-4; it is also an immediate
consequence of the first two formulas and of 9lk ,/k(1 (Pv)) = p~.
COROLLARY. Let k be an algebraic number-field, and a a fractional ideal
of k. Then 9l k /Q(a) is the fractional ideal9l(a) Z of Q, where 9l is the norm
as dejined in definition 5 of Chap. V-3.
This follows at once from the latter definition and from the second
formula in proposition 11, applied to the fields k and Q.
As every ideal in the ring Z is of the form mZ with mEN, every
fractional ideal of Q can be written in one and only one way as r Z with
rEQ, r>O; one may therefore identify the group I(Q) of fractional ideals
of Q with Q ~ = QX n R~, by means of the isomorphism r-+r Z of the
latter onto the former. Then the norm 9l of definition 5, Chap. V-3, be-
comes the same as 9lklQ as defined above.
156 Traces and norms VIII
where I' is the natural embedding of J(k') into J(k"), and n' is the degree of
kIf over k'.
The first formula follows at once from the corresponding local result,
i. e. corollary 4 of prop. 4, § 1. The second one follows from this and defi-
nition 4, combined with the transitivity property of norms.
Now let k be an A-field of characteristic p> 1, and k' a separable
extension ofk of finite degree n. As a-div(a) is a morphism of k~ onto the
Traces and norms in A-fields 157
TI
group D(k) of divisors of k, with the kernel r~, we see, just as in the case
of number-fields, that the natural embedding of k ~ into k~x determines an
injective morphism IOf D(k) into D(k'), which we call the natural embedding:
of D(k) into D(k'). Similarly, the norm mapping Nk'ik of k:: into k~ deter-
mines a morphism of D(k') into D(k), which we denote by 6 k 'lk (the
notation 91 would be undesirable here, since the groups of divisors are
written additively). The properties of 1 and 6 are quite similar to those of
1 and 91 in the case of number-fields. In particular, we have 6 k'lk(I(0))=
= n 0 for every divisor 0 of k, and, with the same notations as in proposi-
tion 11:
l(V)= L e(w)'w, 6 k 'lk(W) = f(w)'v, L e(w)f(w)=n,
wlv wlv
the proof being the same as there. Let F q' F q' be the fields of constants of k
and of k', and let fo be the degree of the latter over the former. Then the
definition of f(w), and that of the degree of a place, give fodeg(w) =
f(w)deg(v), and consequently, at first for places, and then for arbitrary
divisors:
(12) deg (6k'lk(o'))=fodeg(o'), deg(l(o))=(n! fo)deg(o)
PROPOSITION 14. Let k and k' be as above; let b be the different of k'
over k, and let c be a canonical divisor of k. Then the divisor 1 (c)+ b is a
canonical divisor of k'.
By the definition of a canonical divisor, there is a "basic character" X
for k, such that c =div(X). Then corollary 3 of prop. 4, § 1, combined with
corollary 3 of tho 1, Chap. IV-I, and with the definitions, shows at once
that the divisor of XO Trk'ik is I (c) + b.
COROLLARY. Let k, k' and b be as in proposition 14: let g be the genus of
k; let n be the degree of k' over k, and fo the degree of the field of constants
of k' over that of k. Then the genus g' of k' is given by
2g' -2=(n!fo)(2g- 2) +deg(b).
This follows at once from proposition 14, corollary 1 of tho 2, Chap. VI,
and the second formula (12). It implies that the degree of the different is
always an even integer; a more precise result will be proved in Chap.
XIII-12.
158 Traces and norms VIII
We may assume that L is the compositum of k' and kIf. Call W the
set of the places w of k' such that the place v of k which lies below w
splits fully in kIf and that kv = k~. Let u be a place of Labove w, and t
the place of kIf below u; Lu is generated over kv by L, hence by k~ and
k7; therefore, if weW, Lu=kv; this shows that all the places in W split
fully in L. Now take a place w of k', not in W; call v the place of k below
W. If then kv=k~, v is in X, so that it must be in the finite subset of X,
§ 6. An application to inseparable extensions 159
consisting of the places in X which do not split fully in k". If kv =1= k~,
the degree of k~ over kv is > 1; by tho 1 of § 4, this is the same as the
modular degree, except for finitely many places. We have thus shown
that the modular degree of k~ over kv is > 1 for almost all the places w
of k', not in W. Applying now corollary 4 of th.2, Chap. VII-5, to k,
k' and L (instead of ko, k and k' of that corollary), we get k' = L, i. e.
k"ck'.
COROLLARY. Let k', k" be two Galois extensions of k, contained in
some extension of k of finite degree. Let S', S" be the sets of the places
of k which split fully in k' and in k", respectively. Then k' contains k"
if and only if S" contains almost all the places veS'.
If k' => k", it is obvious that a place of k which splits fully in k' does
the same in k". Conversely, as k' is a Galois extension, S' is the same
as the set X in proposition 15; our conclusion is now a special case of
that proposition. In particular, we see that k' must be the same as k"
if S', S" differ by no more than finitely many elements.
smallest such integer, the degree of x' over k is p"; as this must be ~p,
n is 0 or 1. This shows that k'Pckck', hence, in view of lemma 1, that
k=k'p. For that case, we prove the following:
PROPOSITION 16. Let k' be an A-field of characteristic p> 1; put
k=k'p. Then, above each place v of k, there lies one and only one place
w of k'; it is the image of v under the isomorphism X-+Xl/p of k onto k';
we have kv = (k~)P, and the kv-linear extension ~ v of the natural injection
of k' into k~ to Av=k'®kkv is an isomorphism of Av onto k~. Moreover, if
(X is a basis of k' over k, and (Xv' for each v, is the rv-module generated by
(X in A v, then, for almost all v, ~ v maps (Xv onto the maximal compact
subring r~ of k~.
k'; let pm be the degree of k' over k~. If x' is any element of k', there is
n;;::O such that x,pnEk~, and, if n is the smallest such integer, x' is of
degree pR over k~, so that n~m; this shows that k'~k~~k,pm. Applying
lemma 1 to the sequence of fields k', k'p, ... ,k'pm, we see that each is of
degree p over the next one, so that k' is of degree pm over k'pm, which is
therefore the same as k~. Proceeding now by induction on m, we may
assume that theorem 4 of Chap. III-4 is valid for the extension k'P of
k, and we have to show that it is also valid for the extension k' of k. Put
kif = k'P; let v be a place of k; call w~, ... , w~ the places of kif lying above
v, and, for each i, call ki' the completion of kif at wi. By prop. 16, there
is, for each i, one and only one place Wi of k', lying above wi, and the
completion ki of k' at Wi may be identified with k'®k"ki'. By the in-
duction assumption, we have an isomorphism <P~ of A~=klf®kkv onto
the direct sum of the fields ki', with the properties stated in our theorem.
By the properties of tensor-products, the tensor-product Av = k' ®kkv
is canonically isomorphic, in an obvious manner, to k'®k"A~, hence to
the direct sum of the products k' ®k"ki' and therefore to the direct sum
of the fields ki; it is then easily seen that the isomorphism <Pv of Av onto
the latter sum which has been so defined has the properties required
by our theorem. As to the last part, it can be deduced in the same manner
from the induction assumption and prop. 16, by taking a basis a,' of kif
over k, a basis p of k' over kif, and taking for k' over k the basis a, con-
sisting of all the products a' b of an element a' of a,' and an element b of p.
Chapter IX
Simple algebras
§ 1. Structure of simple algebras. This Chapter will be purely algebraic
in nature; this means that we will operate over a groundfield, subject
to no restriction except commutativity, and carrying no additional
structure. All fields are understood to be commutative. All algebras are
understood to have a unit, to be of finite dimension over their ground-
field, and to be central over that field (an algebra A over K is called
central if K is its center). If A, B are algebras over K with these properties,
so is A ® K B; if A is an algebra over K with these properties, and L is a
field containing K, then AL = A ® K L is an algebra over L with the same
properties. Tensor-products will be understood to be taken over the
groundfield ; thus we write A ® B instead of A ® K B when A, B are algebras
over K, and A ® L or A L, instead of A ® K L, when A is an algebra over K
and L a field containing K, AL being always considered as an algebra
over L.
Let A be an algebra over K, with the unit 1A; all modules over A
will be understood to be unitary (this means, e.g. for a left module M,
that 1A • m = m for all mE M) and of finite dimension over K, when regarded
as vector-spaces over K by putting, e. g. for a left module M, ~ m = (~·1 A) m
for all ~ EK and mE M. IfM' is a subset of a left A-module M, the annihilator
of M' in A is the set of all XEA such that xm=O for all mEM'; this is a
left ideal in A. The annihilator of M in A is a two-sided ideal in A; if it is
{O}, M is called faithful.
DEFINITION 1. Let A be an algebra over K. An A-module is called simple
if it is not {OJ and has no submodule except itself and {OJ. The algebra A
is called simple if it has no two-sided ideal except itself and {O}.
For a given A, there are always simple left A-modules; for instance,
any left ideal of A, other than {OJ, with the smallest dimension over K,
will be such a module.
PROPOSITION 1. Let A be an algebra over K, with a faithful simple
left A-module M. Then every left A-module is a direct sum of modules, all
isomorphic to M.
We first prove our assertion for A itself, considered as a left A-module.
In M, there are finite subsets with the annihilator {OJ in A (e.g. any basis
§l. Structure of simple algebras 163
of Mover K); take any minimal set {m l , ... , mn} with that property.
For O~i~n, call Ai the annihilator of {m i+ l'"'' mn} in A; for i~ 1, put
Mi=Aim i. Clearly Ao={O}, An=A; for i~1, Ai~Ai-l' and Ai=fAi-l'
since otherwise xmj=O for j>i would imply xmi=O, and mi could be
omitted from {ml' ... , mn}. For i~ 1, Ai is a left ideal, Mi is a submodule
of M, and x ~ x mi induces on Ai a morphism of Ai onto Mi with the kernel
A i- l , so that it determines an isomorphism of AJA i - l onto Mi for their
structures as left A-modules. As Ai=fA i - l , Mi is not {O}; therefore it
is M. By induction on i for 0 ~ i ~ n, one sees now at once that
x~(xml' ... , xmi) induces on Ai a bijective mapping of Ai onto the
product Mi = M x .,. x M of i modules, all equal to M; this is obviously
an isomorphism for the structure ofleft A-module. For i=n, this proves
our assertion for A. Now take any left A-module M', and a finite set
{m'l' ... , m~} generating M' (e.g. any basis of M' over K). Then the
mapping of A' into M', given by (Xi)l"'i""~ L.xim;, is a surjective mor-
phism of left A-modules; as we have just proved that A, as such, is iso-
morphic to M n for some n, this shows that there is a surjective morphism
of Mnr onto M', or, what amounts to the same, a surjective morphism F,
onto M', of a direct sum of s=nr modules M;, all isomorphic to M.
Call N the kernel of F, and take a maximal subset {Mh , ... , MiJ of
{M l' ... , M.} such that the sum N' = N + L. M i" is direct; after renumber-
ing the Mi if necessary, we may assume that this subset is {Ml , ... , M h }.
Then, for j>h, the sum N'+ M j is not direct, so that N'nMj is not {O};
as it is a submodule of M j , which is isomorphic to M, it is M j • This shows
that MjeN' for allj>h. Therefore F maps N' onto M'; as its kernel is N,
h
it determines an isomorphism of L. Mi onto N'.
i= 1
°
PROPOSITION 3. Let A be an algebra over K; call A its inverse, and
put C=A(g)Ao. For all a, b in A, call f(a, b) the endomorphism x-+axb
of the underlying vector-space of A; let F be the K-linear mapping of C
§ I. Structure of simple algebras 165
algebra over L, other than L. Our conclusion follows now at once from
tho 1, combined with corollary 1 of prop. 3.
DEFINITION 2. Let (fj(m) be the product (fj x ... x (fj of m factors equal
to (fj; let ~ be an open subgroup of (fj. Then a mapping f of (fj(m) into
any set S will be called ~-regular if it is constant on left cosets in (fj(m)
with respect to ~(m).
This amounts to saying that f((11, ... ,(1m) depends only upon the left
cosets ~(11, ... ,~(1m determined by the (Ji in (fj. When that is so, f is
locally constant, or, what amounts to the same, it is continuous when S
is provided with the discrete topology. Conversely, let f be a mapping
of (fj(m) into S; if it is locally constant, it is continuous if S is topologized
discretely, hence uniformly continuous since (fj is compact; this implies
that there is an open subgroup ~ of (fj such that f is ~-regular.
172 Simple algebras IX
0= Lait' .. imxl(lXiJ"xm(lXiJ,
(i)
which clearly implies that all the ali) are O. As Y~ has the same dimen-
sion nm as X~, this shows that qJ is an isomorphism of Y~ onto X~. Now
take a basis {.fl"" ,f,,} of X lover K. Then the nm elements /;1 ® ... ® .hm
make up a basis of Ym over K, hence also of Y~ over K sep , so that their
images under qJ make up a basis of X~ over Ksep. This amounts to
saying that every element of X~ can be written uniquely in the form
(0" 1, ... , O"m)--+ Lx it ·· 'i m/;1 (0" 1)'" /;JO"m)
(i)
with coefficients Xli) in Ksw Writing now that this is in X m, Le. that
it is covariant, we see that this is so if and only if all the Xli) are invariant
under (fj, i. e. if and only if they are all in K. Therefore qJ maps Ym onto
X m • This completes the proof.
Let no~ K' be any field containing K, and let K~ K~ep, (fj' be defined
for K' as K, K sep , (fj have been defined for K. As K is determined only
up to an isomorphism, we will always assume, in such a situation, that
we have taken for K the algebraic closure of Kin K'. It is obvious that
Ksep is then contained in K~w Every automorphism 0"' of K' over K'
induces on K an automorphism 0" of Kover K (more precisely, over
KflK'); clearly the mapping 0"'--+0" is a continuous morphism p of (fj'
into (fj; this will be called the restriction morphism; it is injective if K'
is algebraic over K, since then K' = K; in that case one will usually
identify (fj' with its image in (fj, which is always a closed subgroup
of (fj, and is open in (fj when K' is of finite degree over K. If D is any
open subgroup of (fj, and L is the corresponding subfield of K sep , Le.
the one consisting of the elements invariant under D, the subgroup
D' = p - 1 (D) of (fj' is open, and the corresponding subfield of K~.p is the
one generated by Lover K'.
Let notations be as above, and let f be as in definition 2, i. e. a map-
ping of (fj(m) into some set S. We will write fo p for the mapping
(O"~, ... , O"~)--+ f(P(O"'I)"" ,p(O"~))
of (fj,(m) into S. This is obviously continuous, i.e. locally constant, if f
is so; if f is D-regular, it is D'-regular, with D' = P-l(D); if S =M,,(Ksep),
and f is covariant, fop is covariant. If K' is algebraic over K, (fj' is a
subgroup of (fj, and p is its natural injection into (fj; then fop is the
restriction of f to (fj,(m).
174 Simple algebras IX
(1) f(P, (1, -r) Y(p, -r) = Y(p, (1) Y((1, -r),
and this satisfies the condition
(2) f(p,(1, -r) f(v,p, -r)= f(v,(1, -r) f(v,p, (1)
for all v,p, (1, -r in (f;.
Take first two simple algebras A, A' over K; call n2, n,2 their dimen-
sions over K. Let L, F, Y and f be defined for A as in th.2, and let
L', F', Y', I' be similarly related to A'; call L" the compositum of L and
L'. We may identify M"(L")®M,,.(L") with M"".(L"). Then, if we put
A"=A®A', and if we write F"=F®F' for the K-linear mapping of A"
into M"".(L") given by F"(a®a')=F(a)®F'(a') for allaeA and a'eA',
F" is an L"-representation of A", and one sees at once that Y"= Y® Y'
and f" = fl' are related to A" and F" as in th.2. This shows that the
factor-class attached to A" is the product of those attached to A and
to A'. If A=M,,(K), one can take for F the identity mapping of A onto
M"(K) and then take Y = 1, hence f = 1; therefore the factor-class at-
tached to a trivial algebra is the trivial one, and the factor-classes at-
tached to A' and to M,,(A') are the same. This proves the first assertion
in our theorem and shows that the mapping J.l of B(K) into H(K) which
is thus defined is a morphism. It will now be shown, firstly that J.l is
injective, and then that it is surjective; this will be done in several steps,
which we formulate as lemmas.
LEMMA 3. Let ~ be an open subgroup of 6), and L the subfield of Ksep
corresponding to ~. Let Y be an ~-regular covariant mapping, of 6) x 6)
into M,,(K.ep)X, such that Y(p,r) = Y(p,O') Y(O', 1:) for all p, 0', 1: in <D. Then
there is ZeM,,(L)X such that Y(p,u)=(ZP)-l za for all p,u in 6).
§3. Factor-sets and the Brauer group 177
Now choose a basis {e!> ... ,ell} of Lover K, and call {'h, ... ,'7I1} the dual
basis to this when L is identified with its own dual by putting [e, '7] =
='IrL/K(e'7). As the elements IX of Q induce on L the n distinct K-linear
isomorphisms of L into K scp , we have, for every eEL, 'IrL/K(e) = Le'\
.
so that the definition of the '7i may be written as
Fp(x)=( L ei f(JJ,IX'P)X(IX,/3)'7~)l~i,j~II'
..,/lea
One can now verify at once that this, together with A and F, is as re-
quired by our lemma. We also note for future use that the reduced trace
r and the reduced norm v in A can be calculated by means of anyone of
the Kscp-representations ~p of A, e.g. from ~.; this gives, for all xEA,
r(x)=tr(~.(x)), v(x)=det(~.(x)), and in particular:
for all i > O. Take i = n ; as a" induces the identity on L, Fit" = F ; therefore
X /I must be ofthe form £I ·1/1 with £Ie If. Applying a to both sides of the
formula defining XII' we get X:=X- 1 XliX, hence 81t =fJ, so that £I is in
K". Take any ieZ and write it as i=nv+j with v,j in Z and 1 ~j~n; if
then we write X i =8vXi' one verifies easily that, for i>O, this coincides
with Xi as above defined, that X/lv=8 v·1 11 for veZ, and that Xi+i=XiXf
for all i, j in Z. Take now a locally constant function tP on <D such that
x(a)=e(tP(a»), hence ntP(u)eZ, for all u, and put Y(p,u)= (XII~(arl))P
for all p,a in <D. One verifies easily that Y, in relation to A and F, has the
properties required by tho 2 of § 3, and that the factor-set f determined
in terms of Y by (1) ofth. 2 is the one given by (5) and (6).
Then z(p, 0") = W(O" p-l)P. Write now that f(p,O",r), as given by (6), is equal
to the coboundary of z, as given by (3) of § 3, for p = e, 0" = ai, r = ai+ 1 ;
for 0~i~n-2, we get l=Wi(Wl)"IWi~L and, for i=n-l, we get
9=wn- 1 (w 1 )"n-l Wo 1. Therefore 9=N L/K(W 1 ), which completes the proof.
Let. X and L be as in propositions 9 and 10, ~ and a as in the proofs
of these propositions. If cP is chosen as in the proof of prop. 10, we have
f(a- j,a- i,e)=l or 9 according as i~j or i>j, and in particular
f(e, e, e) = 1. We now apply to this factor-set the construction described
in the proof oflemma 4, § 3, and define the algebra A as has been explained
there. As indicated above, the fact that here ~ is a normal subgroup of (fj
implies that every ~-regular covariant mapping of (fj x (fj into Ksep
maps (fj x (fj into L. For iEZ, define Ui as the mapping of (fj x (fj into L
given by Ui(p, 0") = lor 0 according as 0" p-l is in ~a-i or not; clearly UiEA
and Un + i = Ui for all i, and Uo is the same as the unit e = 1A of A. One finds
at once that, forO~i,j~n-l, UiUj=Ui+ j when i+ j~n-l and UiUj=9ui+ j
when i+ j~n. As in the proof of lemma 4, define ex, for eEL, XEA, as
e
given by the mapping (p, 0") ~ p x(p, 0") ; one finds at once that ex = (e·1A)X.
Similarly, define x e as given by the mapping (p, 0") ~ x(p, 0") ell"; then
x e = x( e . 1A)' Clearly e Ui = Ui e,,1 for all eEL and all i. As A has the dimen-
sion n2 over K, it has the dimension n over L when considered either as a
left vector-space, by (e,x)~ex, or as a right vector-space, by (e,x)~xe.
Moreover, {UO,Ul,""U n- 1 } is a basis for both of these spaces; in fact,
if we put X=IeiUi with eiEL for O~i~n-l, we have x(e,a-i)=ei' so
that x=o implies ei=O for all i, and a similar proof holds for A as a
right vector-space. Finally, as has been observed at the end of the proof
of lemma 4, § 3, one can use the isomorphism CPe of A into Mn(Ksep)
which was defined there, and which is now an L-representation of A,
for the calculation of the reduced trace r and of the reduced norm v in A.
Taking {e,a-I, ... , a- n+I} as the full set a of representatives of (fj/f) in G>
used in the definition of cP e' we get at once, for all eEL:
(8) r(e'l A )= 1r L/K(e); r(eui)=O (1 ~i~n-1),
(9) v(e'I A )= N L/K(e); v(u i)=( _1)i(n- il 9i (1 ~ i ~n-l).
As all this has been proved above for the algebra A which we con-
structed there, it only remains for us to show that the conditions (i) to (iv),
together with the associativity, determine the multiplication uniquely.
In fact, by induction on i, (iv) gives ~Ui=UiWiUO) for O~i~n-1. Then,
using (i) and the associativity of the multiplication, we get, for
o~ i, j ~ n -1 and for all ~, f/ in L:
(~Ui)(f/U) = (~UO)(Ui(f/UO»)Uj = (~UO)(f/",-1 Ui)Uj
=(~UO)(f/",-i uo)uiUj= ~f/",-I UiUj.
we see that it has a basis over C consisting of two elements Uo= 1 and UI ,
hence a basis over R consisting of 1, i,j=UI and k=iu l ; it is then trivial
to verify that the multiplication table for 1, i, j, k is the well-known one
for the "quaternion units" in the algebra of "classical" quaternions.
and therefore
which shows that, --+ Xn, ~ is a morphism of K x into the group of char-
acters of (D. It is obvious that Xn,~ is trivial if and only if the equation
X n=, has one root, hence all its roots, in K, i.e. if ,e(Kx)n; in other
words, (K7 is the kernel of ,--+ Xn,~. It would be easy to show that the
image of K x under that morphism consists of all the characters of (D
whose order divides n, but this will not be needed.
e
Now we put, for, and in K:
{Xn,~, e} = {" e}n;
186 Simple algebras IX
For C=O and C=I, this shows that -e and l-e are in NL/K(L). By
prop. 10 of§4, this gives:
(11)
these formulas being valid whenever they are meaningful, i. e. the first
one for all e e K x , and the second one for all e =1= 0, 1 in K. In the first one,
replace e bye" with e,,, in KX, and apply (10); we get:
g, - e},,' {e,,,},,' {", - e},,' {",,,},,= 1.
Here, by (11), the first factor is 1, and the last one is equal to {", -I},,;
applying (10) again, we get
(12)
which is known as "the law of reciprocity" for the symbol {e,,,},,. The
same could be proved by the explicit construction of the simple algebra
= ="
corresponding to the latter factor-class; we merely sketch the proof in
the case when the equations X" e, X" are both irreducible over K.
That being assumed, put L = K (x), where x is a root of X" = e; let A be
the cyclic algebra [L/K; X".~,"]. By prop. 11 of§4, where we write now y
instead of Ul' A has a basis over L consisting of the yi for 0 ~j ~ n -1, hence
§ 5. Special cyclic factor-sets 187
a basis over K consisting of the Xi yi with 0 ~ i,j ~ n -1, with the relations
xn = e, e
y" = '1, x Y = 8 1 Y X. If we exchange and '1, and also x and y, A is
clearly replaced by its inverse AO; this implies (12).
Now let K be of characteristic p> 1; identify the prime field in K
with Fp, and call t/I the character of the additive group of Fp given by
t/I(1)='e(1/p). Take any eeK, and let x be anyone of the roots of the
e;
equation X - XP = then x is in K sep , and that equation has the p distinct
roots x+a with aeFp • In particular, for each O"e~,x'" must be one of
these roots, so that x'" - x is in Fp. Now put
Xp,~(O")= t/I(x'" -x);
as the right-hand side does not change if we replace x by x + a with
ae Fp , it is independent of the choice of x. A calculation, quite similar to
the one given above for Xn,~, shows that Xp , ~ is a character of ~, and that
e ~ Xp , ~ is a morphism of the additive group of K into the (multiplicative)
group of characters of ~ ; the kernel of that morphism is the image of K
under the mapping ~ e e- e p of K into itself, and it would again be easy
Then we have:
algebra A = End(V) are the rings End(V,L), and the maximal compact
subgroups of AX are the groups Aut(V,L), when one takes for L all the
D-Iattices in V.
F(1)= 12 , . (i 0)
F(l)= 0 -i ' F(k)= (~ ~).
Then one finds at once, for x=t+ui+vj+wk, with t, u, v, w in R:
t(x)=x+x=2t,
This shows that v maps H X onto R~ ; by corollary 3 of prop. 6, Chap. IX-2,
the same is therefore true for A = Mm(H) for any m ~ 1.
and the proof of the lemma will be complete if one shows that the zij'
for 1~i<j~m, can be uniquely chosen in RD so that tjjEA(ej) for
1 ~ i <j ~ m. For each value of i, this can be verified at once by induc-
tion on j for i + 1 ~j ~ m.
LEMMA 3. The set l:" is a full set of representatives for those left
cosets of Mm(RDr in Mm(Dr which are contained in Mm(RD)'
where seC, is absolutely convergent for Re(s»d(m-1) and has then the
value
m-l
;=0
the sum being taken over any full set of representatives of those left
cosets of R~ in A x which are contained in R A , and for instance over
the set l:" supplied by lemma 3. If we identify now A with Mm(D) and
RA with Mm(RD) as before, l:" consists of the triangular matrices t=(t;j)
such that t;;=nri and tijeA(ej) for all i, j, the e; being integers ~O. By
corollary 2 of prop. 6, Chap. IX-2, we have then v(t) = nVD(tii)= vD(nD)E
with E = Le;, VD being the reduced norm in D; as we have seen in § 2,
vD(nD) is a prime element of Kif nD has been suitably chosen, and this
implies that the same is true for any choice of nD • This gives modK(v(t») =
=q-E. On the other hand, prop. 5 of Chap. 1-4 shows that the module of
D is qd, so that,for each e~O, the set A(e) consists of qde elements. Therefore,
for a given set of integers e1 , .'" em, there are qdN matrices tel:", with
N = L(i-1)e;. Thus we get:
;
198 Simple algebras over local fields x
Clearly this is absolutely convergent for Re(s»d(m-l) and has then
the value stated in our proposition.
every basis of V with that property will then be called orthonormal for
f. One sees at once that a basis {w 1, ... , wm} is orthonormal for f if and
only if f(wjo Wj) = ~ij for all i, j, or even if this is so merely for 1 ~ i ~j ~ m.
We topologize the space of all hermitian forms on V by the topology of
"uniform convergence on compact subsets" of V x V; in other words, for
each compact subset C of V x V, and each e > 0, the set of the hermitian
forms f' such that modD(f' - f) ~ e on C is to be a neighborhood of f,
and these make up a fundamental system of neighborhoods of f in the
space of hermitian forms.
n
m-l
1(s)=(n~d)-m~dS/2 r(~d(s-di)/2).
i=O
This gives:
l(s)lo(s)-l = y n (s-h)
O<h<n
h ;FO(2)
is absolutely convergent for Re(s) > n and is then given by the formula
n n
n-1
ZA(s)=CnZk(s-i)·n ( (1-q~-'»)'( (s-h»)p,
i=O v O<h<n O<h<n
h 1£ O(d(v)) h 1£0(2)
where Zk is the function defined in theorem 3 of Chap. VII -6, or the zeta-
function of k, according as k is of characteristic 0 or not, where p is the
number of real places v of k for which D(v)=H, and C is a constant >0.
For each v, choose a Haar measure Jl.v on A~, so that Jl.v(R:)= 1 for
all finite places v of k; we may then assume that we have taken JJ.= nJJ.v,
in the same sense as has been explained in Chap. VII-4 for the case
A =k. By following step by step the proof of prop. 10, Chap. VII-4, one
finds that the integral ZA(S) is absolutely convergent, and equal to the
infinite product
whenever the factors in that product, and the product itself, are absolutely
convergent. Those factors have been calculated in propositions 7 and 8
of Chap. X-3; the absolute convergence of Z A(S) for Re(s) > n is then an
immediate consequence of the latter results, combined with prop. 1 of
Chap. VII-1. The same results, combined with the definitions in Chap.
VII -6, give now the final formula in our proposition for the case A = Mn(k);
combining this with the corollaries of propositions 7 and 8 of Chap. X-3,
one obtains at once the general case of the same formula.
204 Simple algebras over A-fields XI
One should note that the middle product, in the formula for Z .is) in
proposition 1, is a finite one by th.1 of § 1, since that theorem shows that
d(v) = 1 for almost all the places of k. It should also be pointed out that
the computation of the constant C in that formula, for an explicitly given
Haar measure J.l on AA, offers no difficulty, and that it is important for
some purposes, e.g. for the determination of the "Tamagawa number" of
the subgroup A(l) of AX given by v(x) = 1. As this lies beyond the scope of
the present volume, it will not be pursued any further.
n
dual Haar measure on Dv; then, by corollary 1 ofth. 1, Chap. VII-2, the
measures IXv are coherent, and IX = IXv is the Tamagawa measure on DA.
n
Let again ~= ~v be the standard function on DA which was used
n
above in the construction of Z D(S), and let If' = If'v be any standard
function on D A • Call Z(If',s) the integral obtained by replacing ~ by If'in
the definition of ZD(S); with the present notations, this can be written:
Z(Y', s) = J Y'(z)ws(z)d Jl(z).
D~
§ 2. The zeta-function of a simple algebra 205
It will now be shown that this is absolutely convergent for Re(s) > d and
that it can be continued as a meromorphic function in the whole s-plane,
with no other poles than those mentioned in proposition 2 ; this will then
contain that proposition as a special case. As to the convergence, we have
'l'v = <P v for almost all v, by the definition of a standard function. For every
finite place v of k, the support Rv of <P v is an open subgroup of Dv' and the
support Sv of 'l'v is compact; then, choosing avEk~ such that avSvcR v,
and putting yv=sup I'l'vl, we have 1'l'v(x) 1:S;;Yv<Pv(avx) for all xEDv.
Similarly, the definition of standard functions shows at once that, for
any infinite place v, one can find Bv and Yv in R~ such that l'l'v(x)l:s;;
:S;;Yv<Pv(BvX) for all xEDv. This shows that there is aEk~ and YER~
such that 1'l'(x)1 :S;;y<P(ax) for all XEDA- Therefore the integral Z('l',s),
for Re(s) = a, is majorized by
y J<P(az)w..(z)d J.l(z) = yw .. (a-1)Z D(a),
D~
Exactly as in that proof(but taking now B > d), we see that Zo is absolutely
convergent for all s and defines therefore an entire function of s, and that
the same is true for the integral Z~ obtained by replacing 'l' by its Fourier
transform 'l", s by d-s and Fo by t -+Fl(C I ) in the definition of Z00 Just
as there, one can also apply Poisson's summation formula (i. <;. formula (1)
of Chap. VII-2), in combination with lemma 1 of Chap. VII-2, to the
function x-+ 'l'(z x) on DA; in applying the latter lemma, one has to use the
fact that the module of the automorphism x-+z- 1 X of DA , for zED~, is
I n view of theorems 3 and 4 of Chap. VII -6, this has poles of order 2 at
s = 1,2, ... , d - 1 if d> 1. By prop. 2, this cannot be. Therefore d = 1, and
D=k.
Actually the combination of propositions 1 and 2 allows one to dra w
stronger conclusions than theorem 2; for instance, it shows at once that,
if d> 1, D must be ramified at least at two places of k. This need not be
pursued any further now, since much stronger results will be obtained in
Chapter XIII.
n
Let G(X)= LbiXn - i be a polynomial of degree n-l in K[X]. Then,
i= 1
if all the coefficients of G are sufficiently close to 0 in K, the polynomial
F + G is irreducible over K and has a root in L.
It will be convenient to extend modg to a mapping x--+lxl of an
algebraic closure K of L into R+ by putting Ixl = moddx)l/v whenever
K(x)cK'cK., and K' has the finite degree v over K; by corollary 2
ofth. 3, Chap. 1-2, this is independent ofthe choice of K' when x is given
in K. TakeAER~ such that lail~Ai for l~i~n, and assume, for some
B<A, that Ib;l ~Bi for 1 ~i~n. Let" be any root of F+ G in K; then we
have
,,"=- n
L(ai+bi)",,-i
i= 1
and therefore
hence 1,,1 ~A. Call el, ... ,e" the roots of F; they are all distinct, since L is
e
separable over K, and they are the images of under the automorphisms
of Kover K. What we have proved for" can be applied to the ev, by taking
G=O, so that levi ~A for 1 ~v~n. Now put
so that there is v such that I" - evl < IX. Clearly this implies that I" - ell I ~ IX
for all Jl. =1= v. Let (J be an automorphism of Kover K, mapping ev onto e.
After replacing" by.,,", which is also a root of F+ G, we see that I,,-el <
<IX and 1,,-evl~1X for all ev=l=e. Assume that L is not contained in K(,,);
then there is an automorphism t of Kover K(,,) such that (=1= as this e;
must leave I" - el invariant, we get a contradiction. Therefore K(,,) ~L;
as" is at most of degree n over K, this implies that K(,,)=L and that
F+ G is irreducible.
Incidentally, since every extension of K of degree n can obviously be
generated by a root of a monic polynomial F of degree n with coefficients
in the maximal compact subring of K, lemma 1 shows that K has at most
208 Simple algebras over A-fields XI
* finitely many separable extensions of given degree, hence also (by corol-
lary 2 of prop. 4, Chap. 1-4) finitely many algebraic extensions of given
degree.
LEMMA 2. Let K be a commutative p-field, R its maximal compact sub-
ring, and L an unramified extension of K. Then, for every xeR x, there is
yeL.such thatNL/K(y)=x and that K(y)=L.
with ai.vek v for 1 ~i~n-l. For each veR oo ' put ai.V=O for 1 ~i~n-1,
and consequently, since the existence of such a place implies that n is even:
Fv(X)=X"+( -1)" ~ =X"+ ~;
then, because of our assumption ~ e y, Fv has no root in kv = R, so that the
same is true of every monic polynomial of degree n over R whose coeffi-
cients are close enough to those of F v' Applying corollary 2 of tho 3, Chap.
IV-2, to k and to some place Vo of k, not in R, we see that we can choose
wie k, for 1 ~ i ~ n -1, so that its image in kv is arbitrarily close to ai. v for
every veR. In view oflemma 1 and what has just been said, this can be
done so that the polynomial
11-1
F(X)=X"+ L WiX i + (-1)"~
n-
i= 1
has the following properties: (a) for every veR', F is irreducible over kv
and has a root in k~; (b) for every veR oo ' F has no root in kv=R. As R' is
210 Simple algebras over A-fields XI
not empty, (a) implies that F is irreducible over k and has no mUltiple
roots. Call Ca root of F in some algebraic closure of k, and put k' =k(C).
Take any veR', and a place w of k', lying above v; as the completion of k'
at w must then be generated over kv by a root of F, this completion, by (a),
is isomorphic to k~, with which we can identify it; as it is of degree n over
kv, corollary 1 of tho 4, Chap. 111-4, shows that w is the only place of k'
lying above v, and that theorem shows then that we may identify k~ = k~
with k'®"k v. Similarly, (b) shows that, if v is in Roo, all the places of k'
lying above v are imaginary.
Now consider the algebra A' = A", over k'. Take any place w of k', and
call v the place of k lying below w. By the elementary properties oftensor-
products, A~, which is the algebra A' ®It' k~ over k', may be identified in an
obvious manner with Av®k.k~. As Av is trivial over kv for v not in R,
this shows that also A~ must then be trivial. If v is in Roo, w is imaginary,
so that k~=C and that A~ is trivial. Finally, let v be in R', and write Av as
Mm(v)(D(v)), where D(v) is a division algebra over kv; if its dimension over
kv is d(V)2, we have n=m(v)d(v), so that d(v) divides n. Then k~, which is
unramified, hence cyclic, and of degree n over kv, contains a field k"
which is of degree d(v) over kv, and is of course unramified over kv. By
prop. 5 of Chap. 1-4, D(v) contains a field isomorphic to k" ; therefore, by
corollary 6 of prop. 3, Chap. IX-l, D(V)k" is trivial over k"; obviously this
implies that (A v)". is trivial over k", hence that A~ = (A v)";" is so over k~.
Having thus shown that A' is unramified at all places of k', we can
conclude, by tho 2 of § 2, that it is trivial over k', which is the same as
to say that A has a k'-representation into Mn(k'). Therefore, by tho 2 of
Chap. IX-3, A has an t;-regular factor-set, if t; is the Galois group over
k' of the separable algebraic closure kscp of k'. Then, by lemma 4 of
Chap. IX-3, we can construct an algebra of dimension n2 over k, con-
taining a field isomorphic to k', with the same factor-set as A; as this
implies that it is similar to A, and as it has the same dimension as A
over k, it is isomorphic to A and may be identified with it. As shown
there, we have then V(C·lA)=N"",,(C)=e.
PROPOSITION 4.
Let A be a simple algebra over k. Then there are
maximal orders in A; these are k-Iattices in A, and a k-Iattice R in A is
a maximal order if and only if its closure Rv in Av is a maximal order
in Av for every finite place v of k. Every order in A is contained in a
maximal order.
If R is any order in A, the t-module generated by R in A is also
an order, and it is a k-Iattice; this shows that, unless R is a k-Iattice,
it cannot be maximal. Let X be any k-Iattice in A; the last part of tho 1,
§ 1, may be expressed by saying that X v is a maximal order in Av for
almost all V. Then tho 2 of Chap. V-2 shows that there is a one-to-one
correspondence between the orders R in A which are k-Iattices, and the
possible choices of an order Rv in Av for every finite place v of k, subject
to the condition that Rv be a kv-Iattice for all v, and Rv=Xv for almost
all v; if R is given, Rv is the closure of R in A v, and, if the Rv are
given, R is defined by R=n(A('\R v)' In view ofth. 1, Chap. X-1, all our
assertions are now obvious.
PROPOSITION 5. Let D be a division algebra over k. Let V, W be two
left vector-spaces of finite dimension over D; put H = Hom(V, W) and
A = End(V). Let M, M' be two k-Iattices in H. Then the set X of the
elements , of A such that ,M e M' is a k-Iattice in A, whose closure in
A v, for every finite place v of k, is the set X v of the elements x of Av
such thai xMveM~. If M =M', X is an order of A.
For every v, by prop. 4 of Chap. X-t, Xv is a kv-Iattice in A v, and it
is an order if M v = M~. Let L be any k-Iattice in A; as we have seen
above, LM is a k-Iattice in H, whose closure in HI» for every v, is clearly
LvMv' Therefore, for almost all v, we have LvMv=Mv=M~; this
implies that, for almost all v, X v is an order and contains Lv' As Lv is
a maximal order in Av for almost all v, we see that X v= Lv for almost
n
all v. Therefore, by tho 2 of Chap. V-2, there is a k-Iattice X' = (A('\X v)
in A with the closure Xv for all V. Clearly X eX'; conversely, since
212 Simple algebras over A-fields XI
From now on, in this §, we will consider a field K; later on, this will
be either a local field or an A-field. As in Chapter IX, we write K for an
algebraic closure of K, K.ep for the union of all separable extensions of K
contained in K, and (fj for the Galois group of Ksep over K, topologized
as usual. We will write Kab for the maximal abelian extension of K con-
tained in K; this is the same as the union of all abelian extensions of K
of finite degree, contained in K, i. e. of all the Galois extensions of K
of finite degree, contained in K, whose Galois group is commutative;
by definition, this is contained in Ksep. We denote by (fj(l) the subgroup
of (fj corresponding to K ab ; this is the smallest closed normal subgroup
of (fj such that (fj/(fj(1) is commutative; it is therefore the same as the
"topological commutator-group" of (fj, i. e. the closure of the subgroup
of (fj generated by the commutators of elements of (fj. We write m: for
the Galois group of Kab over K; this may be identified with (fj/(fj(l); it
is a compact commutative group. Let X be any character of (fj; as in
Chap. IX-4, call ~ its kernel and L the subfield of Ksep corresponding
to ~, which is the cyclic extension of K attached to X; clearly L c: Kab
and ~::::> (fj(l), so that we may identify X with a character of m, for which
we will also write X. Conversely, every character of m: determines in an
obvious manner a character of (fj, with which we identify it. Thus the
group of characters of (fj, for which we will write X g, is identified with
the group of characters of m:; the latter is the same as the dual m:* of
m:, except that we will always write the group X g multiplicatively; we
put on X x the discrete topology, this being in agreement with the fact
that the dual of a compact commutative group is always discrete. By
the duality theory, the intersection of the kernels of all the characters
of m: is the neutral element; this is the same as to say that the intersection
of the kernels ~ of all the characters X of (fj is (fj(l), or also that Kab is
generated by all the cyclic extensions L of K; this is of course well-known.
Let K' be any field containing K; as in Chap. IX-3, we take an
algebraic closure K' of K' and assume at the same time that we have
taken for K the algebraic closure of K in K'; then, as we have seen
there, Ksep is contained in K~ep, and, if 6)' is the Galois group of K'sep
over K', the restriction morphism p of (fj' into (fj is the one which maps
every automorphism of K~ep over K' onto its restriction to Ksep. Obviously
p maps 6)'(1) into (fj(1), so that it determines a morphism of m' = (fj'/(fj'(1)
into m: = (fj/(fj(l), which we also denote by p and call the restriction
morphism of m' into m. It amounts to the same to say that Kab is con-
tained in K~b' and that p maps an element (I.' ofm:', i.e. an automorphism
of K~b over K', onto its restriction to K ab . Correspondingly, X-Xop is
a morphism of Xx into XX"
In classfield theory, one defines a "pairing" of the group X K of the
characters of 6) (or, what amounts to the same, of m:) with a locally
§l. The formalism of classfield theory 215
[III] Either (a) GKis the direct product of a compact group Gi and of a
group N isomorphic to R, or (b) GK is the direct product of a compact group
Gi and of a group N isomorphic to Z, and there is, for each integer n ~ 1,
a character XeXK of order n such that (X,g)K= 1 for all geGi.
The two cases in [III] will be referred to as case [11I(a)] and case
[III (b)] , respectively. In both cases, as has been observed in Chap. VII-3,
Gi may be characterized as the unique maximal compact subgroup of GK •
From now on, we will write UK for the kernel of the canonical mor-
phism a ofG Kinto~; it is the intersection ofthe kernels of the characters
xoa of GK, i.e. of the characters g--+(X,g)K' for all XeXK'
PROPOSITION 1. In case [1I1(a)], the canonical morphism a determines an
isomorphism of GK/UK onto ~; every character of GK, trivial on UK' can
be uniquely written as Xoa with XeXK; and x--+ xoa is an injective morphism
of X K into the group of characters of finite order of GK.
As every character Xof~ is offinite order, the last assertion is no more
than a restatement of [II']. For every Xe X K, XO a induces on the subgroup
N of GK a character of N offinite order; as N is isomorphic to R, there is no
such character except the trivial one. Therefore N c UK; if we put Ui =
= UKnGi, we have UK = ui x N, and GKiUK may be identified with
Gi/Ui; as this is compact, a determines an isomorphism of that group
onto a closed subgroup of~, hence onto ~ itself, by [II"]. Then, by the
duality theory, x--+ xoa is the "dual" or "transpose" of a, hence an iso-
morphism of X K onto the subgroup ofthe group of characters of GK which
is associated by duality with UK; this subgroup consists of the characters
of GK, trivial on UK'
COROLLARY. In case [III (a)] , every character of Gi, trivial on Ui=
= UKnGi, can be uniquely extended to a character of GK of the form
xoa.
In fact, it can be uniquely extended to a character of GK , trivial on N!;
this is then trivial on UK and is as required.
PROPOSITION 2. In case [11I(b)], call Xo the subgroup of X K con-
sisting of the characters X such that (X,g)K= 1 for all geGi; call n 1 a
generator of the subgroup N of GK. Then x--+(x,n 1 )K is an isomorphism of
X 0 onto the group of all roots of 1 in C.
As every XeXK is of finite order, (x,g)K is always a root of 1, for all X
and all g. As GK is generated by Gi and n1 , a character of GK which is
trivial on Gi is uniquely determined by its value at n1 ; in view of [II'],
this shows that x--+(x,n 1 )K is an injective morphism of Xo into the group
of roots of 1 in C; in particular, it maps every character X of order n,
belonging to X 0, onto a primitive n-th root of 1 in C. By [III (b)] , there are
such characters for every n ~ 1; therefore the image of X 0 by that mor-
phism contains all the roots of 1 in C.
§l. The formalism of c1assfie1d theory 217
mines an operation of the Galois group ffi/6), of K' over K on the group
X K' of the characters of ffi'. ,
Furthermore, we assume that we have been given canonical pairings
(X,g)K' (x',g')K' of X Kwith a group GK, and of X K, with a group GK" both
of them satisfying [I], [II], [III]; to simplify notations, put G= GK ,
G' = GK" G 1 = Gi, G'l = Gi,; call a, a' the canonical morphisms of G into
~, and of G' into ~', respectively defined by these pairings. Assume also
that ffi operates on G', the action of any Ae ffi on G' being written as g' -+g';'
and satisfying the following condition:
[IV] (i) For Ae ffi', g' -+g';' is the identity on G'; (ii) For each Ae ffi,
g'-+g';' is an automorphism of G', and g,;'g'-l e Gi for all g'eG'; (iii) For all
x'eXK" g'eG' and Aeffi, we have:
(X,;',g';')K' = (X',g')K"
Finally, assume that we have been given a morphism F of G' into G, .
satisfying the following condition:
[V] (i) For all g'eG' and all Aeffi, we have F(g';')=F(g'); (ii) For all
XeXK and all g'eG', we have:
(xoP,g')K' = (X,F(g'»)K'
Clearly [V(ii)] may also be written as poa' = aoF.
PROPOSITION 4. Let K' be a cyclic extension of K; let a, a' be the canon-
ical morphisms respectively defined by canonical pairings of X K with a
group G, and of X K, with a group G', both satisfying [I], [II], [III]. Assume
that the Galois group ffi of Ksep acts on G', that F is a morphism of G' into
G, and that [IV] and [V] are satisfied. Then UnF(Gi)=F(U'nG1),
where U, U' are the kernels of a and of a'; moreover, we have UnF(G')=
=F(U') if G' satisfies [III(a)], or if G and G' satisfy [III(b)] and F does not
map G' into G1 •
By [V(ii)], we have poa'=aoF; therefore F(U') is contained in U,
hence in UnF(G'), and, if we put Ui = U'nG1, F(U1) is contained in
U nF(G'l)' Let '" be a character of G, trivial on F(U 1); then", of is a
character of G', trivial on U'l' Apply now the corollary of prop. 1, in the
case [III(a)], and corollary 3 of prop. 2, in the case [III(b)], to the character
induced on G'l by '" of; this shows that", of coincides on G'l with a
character ofthe form x'oa', with x'eX K ,. In other words, we have, for all
g'eG'l:
'" (F(g'») = (x',g')K"
By [IV (ii)], this must hold if we substitute g';' g' - 1 for g', with any g' e G'
and any Aeffi. In view of [V(i)], this gives
1=(X',g,;'g'-l)K' =(x',g';')K"(x',g')K,l,
220 Local classfield theory XII
COROLLARY 4. For all XEXo, and all (}EKX, we have (X, (})K = X(<p)Ord(6);
if n is any prime element of K, (X, n)K = x(<p)·
The latter assertion is a restatement of corollary 2. Then the former
holds for (} = n, and also, as proved in the proof of corollary 3, for (}E R x;
the general case follows from this at once.
and all (} E K x •
224 Local classfield theory XII
Let f be the modular degree of K' over K; then the module of K' is
qf, and, if qJ, qJ' are Frobenius automorphisms of Ksep over K, and of
K~ep over K', respectively, qJ' coincides with qJl on the group IDl of the
roots of 1 of order prime to p in K, hence on Ko = K(IDl), so that p(qJ')qJ-1
is in the subgroup ~o of (D which corresponds to Ko. Now assume first
that the character X in (2) is unramified, hence trivial on ~o; this implies
that X(p(qJ'») = X(qJ)/. As we have observed in Chap.IX-4, the cyclic
extension of K' attached to XO P is the compositum of K' and of the
cyclic extension of K attached to X; as the latter is unramified, hence
generated by elements of IDl, the same is true of the former, so that
xop is unramified. We can now apply corollary 4 of th.1 to both sides
of (2); it shows that the left-hand side is X(p(qJ'»' with r=orddO'), and
that the right-hand side is X(qJ)S with s=ordK(NK'IK(O'»), hence s=fr by
formula (2) of Chap. VIII-l. This proves (2) when X is unramified. In
the general case, call n the order of X; as neither side of (2) is changed if
we replace 0' by 0'11'" with 11'EK'x, we may assume that r=ordK,(O')fO.
As we have just shown, if Xl is any unramified character of (D, (Xl 0P,O')K'
is equal to Xl(qJ)fr; in view of prop. 5, we can choose Xl so that this is
equal to any given root of 1 in C, and in particular to the left-hand side
of (2); as (2) has already been proved for unramified characters, it will
§ 2. The Brauer group of a local field 225
of Chap. IX-4, since XOp= 1 in that case. No other case than these can
occur if K is an R-field, as one sees at once. Therefore theorem 2 remains
valid for K=R or C; so do its corollaries.
PROPOSITION 6. A character Xof (fj is unramified if and only if (x,()K = 1
for all OeR x.
Call Xo the group of the characters with the latter property; as
before, we call X 0 the group of the unramified characters of (fj. By
corollary 4 ofth. 1, X 0 c Xo.
By prop. 2 of§ 1, X-(x, 1t)K is an isomorphism
of Xo
onto the group of all roots of 1 in C; by tho 1, combined with
prop. 5, this induces on X 0 an isomorphism of X 0 onto the same group.
Therefore Xo = X O.
COROLLARY. A cyclic extension L of K is unramified if and only if
N LIK(L X) contains R x •
In view of prop. 10, Chap.IX-4, this follows at once from the appli-
cation of proposition 6 to a character of (fj attached to L.
Assume first that K' is cyclic over K. Then we can apply prop. 4
of § 1, by taking F=NK'/K; in fact, [IV(i)] and [IV(ii)] are obviously
satisfied by the automorphisms x-+X" of K'x, for all Ae6>; so is [IV(iii)],
by corollary 5 of tho 1, § 2; [V(i)] is obviously satisfied, and so is [V(ii)],
by tho 2 of § 2. In the conclusion of prop. 4, U and U' are here the same,
respectively, as UK and UK'; moreover, as we have seen, UK is contained
in NK'/K(K'X), which, in the notation of prop. 4, is the same as F(G').
This proves our assertion when K' is cyclic over K. Otherwise we can
find a sequence K, K 1 , ... ,Km =K' of fields between K and K', such that
each one is cyclic over the preceding one. If we use induction on m, the
induction assumption gives UK. =NK'/K.(Ud, and what we have proved
gives UK = N K./K(U K.); putting these together, we get our conclusion.
The same proof would be valid for any solvable extension, but this will
not be needed.
that, by tho 3, it can be written as xoa with XEXK. Then xoao NK'/K is
trivial on K' x ; by corollary 1 of tho 2, § 2, it is the same as XO po a', so that
Xop must be trivial on ~', hence X on p(~')=~, hence'" on X. This
shows that X':::::JX. Conversely, if O=NK'/K(O') with O'EK'X, corollary 1
ofth. 2, § 2, gives a(O) = p(a'(O'»); as this is in~, we see that X' eX, which
completes the proof.
COROLLARY 1. Assumptions and notations being as in theorem 4, call
~ the subgroup of ~ corresponding to L. Then NL/K(r)=NK'/K(K'X)=
=a-l(~).
Take such a subset 5; for each O"Eg, write 50" for the image ofs under the
translation A-+AO" in g; call ~ the subgroup of g, consisting of the ele-
ments 0" such that 50"=5; calli the order of~, and take a full set {Pl, ... ,Pr}
of representatives of the left cosets ~P of~ in g. Clearly 5 is a disjoint union
of right cosets Jl~ of~ in g; take a full set m= {Jll""'JL",} of representatives
232 Local classfield theory XII
for these cosets, so that s is the disjoint union of the cosets III ~, ... , Ilm ~;
we have i = m 1. Put W = z(m), and call K" the subfield of K' corresponding
to the subgroup ~ of g; we have now:
z(s) = flw/J=NK'/K"(w),
/Jell
In view of the definition of~, the sets s P1, ... ,5 P, are all distinct; as they
have the same cardinal number i as s, all the terms z(sp), for 1 ~j~r,
occur in the right-hand side of (3). As the Pj induce on K" all the distinct
isomorphisms of K" into K, the sum of these terms can be written as
If now we call d' the difTerental exponent of K' over K", corollary 4 of
prop. 4, Chap. VIII-I, gives d=e'd"+d', so that our last inequality can
be written as
eQ)~ih+(d-e+ 1)-(d' -e' + 1).
Now formula (9) of Chap. VIII-3, applied to K' and K", gives:
where the sum is taken over all A. =1= B in ~; moreover, as pointed out there,
the number of terms > 0 in that sum is ~ e' -1. If the assumption in (i) is
satisfied, everyone ofthese terms is ~h; this gives
d' -e' + 1 ~(e' -1)h,
§4. Ramification of abelian extensions 233
and therefore
ew-(h+d-e + 1)~(i-e')h;
as e' ~ 1~ i, this proves part (i) of our proposition. If the assumption in (ii)
is satisfied, we get in the same way:
d'-e' + 1 ~(e'-1) (h-1)
and therefore
ew-(h+d-e+ 1)~i-1 + (i-e')(h-1);
this cannot be 0 unless i = 1, which proves (ii). On the other hand, if we
apply formula (9) of Chap. VIII-3 to K' and K, we get
N K'/K(1+z)=1+ L(-1)i ai ;
i=l
234 Local classfield theory XII
the four assertions in our corollary follow now immediately from the
corresponding ones in proposition 11.
y= n+
00
i=O
(1 Zi); as y is in 1 + p'", this proves our corollary.
PROPOSITION 12. Let K and K' be as above, and assume that V(A) has
the same value i~2 for all A=Fe in g. Then, for 1~h~i, N K'/K(1+ P''') is
contained in 1+ ph; and N K'/K( 1+ p,i -1) is contained in 1+ pi if and only if
the degree n of K' over K is equal to the module q of K.
Here the higher groups of ramification of K' over K are given by
g,,=g for v~i and g,,= {e} for v~i + 1. As gl =g, we have e=n; K' has the
modular degree f = lover K and has the same module q as K. By formula
(9) of Chap. VIII-3, we have d=(n-1)i. Taking h=i in corollary l(i) of
prop. 11, we get our first assertion for that case; in the case h < i, it follows
at once from corollary 1 (iii) of the same proposition. By corollary 3 of
prop. 9, Chap. VIII-3, the degree n of K' over K divides q; by that propo-
sition, if we take a prime element x' of K' and put YA =X'),X,-l for all
Aeg, the mapping A-+ y), maps 9 onto a set Y of elements of 1 + p,i-1
which are all incongruent to each other modulo p,i. In particular, Y
makes up a full set of representatives of the cosets of 1 + p,i in 1 + p,i-1
ifand only ifn=q. Since obviously N K'/K(Y),) = 1 for all A, this shows that,
if n=q, N K'/K(1 + p,i-1) is the same as N K'/K(1 + p,i), hence contained in
1 + pi. In order to prove the converse, take ze K'x such that orddz) = i-1.
As in prop. 11, write
n
(1- y)/z is in R', and as K' has the same module as K, there is aeR such
that (1- y)/z=a (P'), or, what amounts to the same, y=(1-az)u with
ue 1 + p,i. Then N K'IK(U) is in 1 + pi, so that we have:
" "-1
N K'IK(y)=NK'IK(1-az)=1+ Lajaj =1+a"(a"+ Lbja j) (pi).
j= 1 j= 1
For 1 ~j~n-l, call hj the image ofbjin the field RIP, under the canonical
homomorphism of R onto that field; then the above formula shows that
N K' IK(Y) is in 1 + pi if and only if the image of a in the same field is a root
ofthe polynomial T"+ Lhj Tj; in particular, if this is so for all y, all the
elements of RIP must be roots of that polynomial, so that n~q. This
completes the proof.
of K" over K' are given by applying formula (11) of Chap. VIII-3 to K',
K" and L; as K" is fully ramified over K', its order of ramification is the
same as its degree over K', and then that formula shows at once that
v(O''') = i for all 0''' e g" except the identity, so that gJ = g" for j ~ i, and
gJ={e} for j~i +1. Similarly, writ.e g'=g/gi for the Galois group of K'
over K, and call gj its higher ramification groups; in exactly the same
manner, we find that gj is the image gig, of gj in g', for j <i, and that it
is {e} for j~i. Call R', R" the maximal compact subrings of K', K", and
P', P" the maximal ideals in R', R", respectively. As K' is fully ramified
over K, its order of ramification e' is the same as its degree n'=n/g i;
then, if p,d' is the different of K' over K, formula (10) of Chap. VIII-3, gives
i
d' -e' + 1 = L (gigi)-I)=r in/gi -i + 1=pn'-i + 1.
j=2
Take any zeL such that orddz)~i-l; put v=NL/K"(Z), so that vep"i-l.
Applying corollary 1 (iv) of prop. 11 to K" and L, with h = i-I, we get
N L/r(1 + z) == 1+ v (P"i).
Define now weK' by writing
1+ w=NL/d1 + z)=NK"/dN L/r(1 + z»).
this implies that gi=gi+1 whenever i is not one of the integers i(O) = 1,
i(l), ... ,i(v -1); therefore gj= gilp) + 1 for i(p) <j:::::; i(p + 1), so that gilp+ 1) is
of index q in gilp) for 1:::::; p < v, while this index is q -1 for p = O. By induc-
tion on p, we see at once that gilp)=qY-P for l:::::;p :::::;v. The definition of the
integers r i gives now:
rilp+1)-rilp)=(gilp)+1 + ... + gilp+1»)/n=(i(p+1)-i(p»)qY-P-1 n -1,
Put 00= xoa. Iff = 0,00 is trivial on R x, so that HK(oo) = HK(R X)=O
by theorem 5. Assume now that f ~ 1; call (fJo the characteristic function
of R x, and (fJi that of 1 + pi for 1 ~i~f. We have:
1-1
HK(oo)= L HK((fJi-(fJi+ 1)00)+ HK«(fJ/ OO ).
i=O
If K" ::JK', i.e. if g" c: g', we have a similar formula with K', h' replacing K,h.
Now, for a given OEK x , we can choose a cyclic subgroup r of 9
such that b(K ;0) is in h(r); for instance, we may take for r the group
generated by any yEg such that h(y)=b(K;O). Then, as we have seen
above, if Z is the subfield of L corresponding to r, 0 may be written as
NZ/K(O with (EZ x • Take a full set of representatives {A'1, ... ,Ar } for the
double cosets rAg' of rand g' in g, and call Y1 a generator of r. For
each i, r Ai g' is a union ofright co sets y Ai g' of g', with y Er. If y, y' are in r,
YAig' is the same as y' Aig' if and onlyify-1 y' is in the group I;=rnAig' Ai- l .
Call di the index of Ii in r; then Ii is generated by y1', and di is also the
smallest of the integers d such that Ai 1Y1 Ai is in g'. That being so, r Aig'
is the disjoint union of the cosets y{Aig' for O~j<di' Consequently, the
elements y{ Ai' for 1 ~ i ~ r, 0 ~j < di, make up a full set of representatives
of the right co sets of g' in g, and we can use it for computing the transfer
to(Y) of any element y of r. Taking at first y =Y1, we find at once, in that
case:
(6)
this being true for y=Y1, it is obvious that it remains so for y=y{ for allj,
or in other words for all y Er.
For each i, put Zi=ZA" and call Z; the compositum of Zi and K';
obviously (Ai,Z;) is a proper embedding of Z above K' in the sense of
Chap. III-2. Let (A,Z') be any such embedding; after replacing it if
necessary by an equivalent one, we may assume that Z' is contained in
Ksep, hence in L, so that the isomorphism Aof Z onto Z' can be extended
to an automorphism A of Lover K. Then (A,Z') is equivalent to (Ai'Z;)
§ 5. The transfer 243
i=l
As we may apply (5) to K' and to K" =Z; for each i, we get:
(7)
i= 1
(1)
taken over all the places of k, almost all the factors are equal to 1, so that
the product is well defined. The continuity of zv~(Xv,zv)v for each v,
together with the facts mentioned above, implies that Z~(x,Z)k is conti-
nuous on k1; therefore it is a character of k1, whose order is finite since
it divides that of X. The pairing of X" with k1, given by (1), will be called
the canonical pairing for k; it is clear that it satisfies condition [I] of
Chap. XII-I. As to condition [II], assume that z~(X,z)" is trivial on k~;
then Zv ~(Xv' zv)v must be trivial for every v. As [II] is satisfied for local
fields, this implies that all Xv are trivial, hence that Xis so, by the corollary
of prop. 1. This proves [II] for the pairing (1).
As explained in Chap. XII-I, we can now define the canonical mor-
phism a of k1 into ID: by writing, for all XE X k and all Z= (Zv)E k~:
(2)
v
In fact, if ZvE k:, z = iv(zv) is the idele whose coordinates are all 1
except the one corresponding to v which is Zv' Put ot = av(zv); (2) gives here:
x(a(z)) =(Xv,zv)v = Xv(ot) = X(Pv(ot)).
As this is so for all characters X ofID:, it implies a(z)=pv(ot), as was to be
proved.
THEOREM 1. Let k' be an extension of k of finite degree, contained in Ii;
let (f), (f)' be the Galois groups of ksep over k, and of k~ep over k', respectively,
and let p be the restriction morphism of (f)' into (f). Then, for every charac-
ter XEX", and for every z'Ek'; , we have:
(xop,z')", = (X,N"'I"(z'))".
In view of our definitions, this is an immediate consequence of tho 2
of Chap. XII-2, combined with corollary 3 ofth. 1, Chap.-IV-1.
246 Global classfield theory XIII
COROLLARY 1. If a, a' are the canonical morphisms for k and for k',
respectively, we have po a' = ao N k' Ik'
Call F" the field of constants of k', n' the degree of k' over k, and n" that
of F" over F; clearly n' ~n~n". Take CeF" such that F" =F(C), and call P
the irreducible monic polynomial in F[ X] with the root C. If Q is a monic
polynomial in k[X], dividing P in k[X], all its roots are in F, so that its
coefficients are in Frlk, i.e. in F. Therefore P is irreducible in k[X], so
§l. The canonical pairing 247
that n'~n", hence n' =n=n". The assertion about the Galois groups may
now be regarded as a special case of corollary 1 of prop. 3, Chap. III-2, or
also as following from k' = F' ® F k, which is an immediate consequence of
prop. 2, Chap. 111-2.
Whenever k and k' are as in lemma 1, we will say that k' is a constant-
field extension of k. In view of tho 2, Chap. 1-1, there is, for every integer
n ~ 1, one and only one such extension of k of degree n; this will be denoted
by k". Then ko is the union of the cyclic extensions k" for all n ~ 1; in parti-
cular, it is contained in kab ; we will denote by ~o the subgroup of ~
corresponding to ko, i.e. the group of automorphisms of kab over k o. We
may then consider X 0 as being the group of characters of~, trivial on ~o;
a character xeX k belongs to Xo if and only if the cyclic extension of k
attached to X is contained in ko, hence if and only if it is one of the fields
k".
By corollary 2 ofth. 2, Chap. 1-1, combined with lemma 1, there is, for
every n ~ 1, one and only one automorphism of k" over k, inducing on the
field of constants F"=Fnk,, of k" the automorphism x--+xq, where q, as
before, is the number of elements of F ; moreover, this generates the Galois
group of k" over k. Consequently there is one and only one automorphism
CPo of ko over k, inducing on F the automorphism x--+xq; this will be
called the Frobenius automorphism of ko over k. Every automorphism
cP of ksep over k, inducing CPo on ko, will be called a Frobenius automorphism
of ksep over k; then the Frobenius automorphisms of ksep over k make up
the coset i)o cp in 6>.
r(z)=sgn(zoo)nlzpl;l.
p
In the latter formula, the product is taken over all the rational
primes, or (what amounts to the same, in view of the assumption on z)
over all the primes not dividing m; then x(r(z)) is well defined. Our
assertion follows now at once from proposition 4 and the definitions.
COROLLARY 3. The character X being as above, one can choose, for
every prime p dividing m, an open subgroup gp of Q; such that (x, e)Q = 1
for allee n (Qx ng p ).
For each p dividing m, let p" be the highest power of p dividing m;
then 1+mZp is the same as the subgroup 1+pllZp ofQ;. Take now
for gp' for each p dividing m, the intersection of 1 + mZp with the kernel
250 Global classfield theory XIII
of z~(Xp,z)p in Q;. e
Then, if is as in our corollary, corollary 2 shows
that (x,e)Q is equal to x(r(e)); by th.5 of Chap. IV-4, r(e) is equal to
sgn(eHeloo' i.e. to e. Write e=a/b, with a, b in Z and (a, b) = 1. If pis
any prime dividing m, e is in Zp, so that b is prime to p; if pll is as above,
m
e is 1 + pll Zp, so that a == b (Pll). Therefore a and b are prime to m, and
a==b (m); this implies x(a) = X(b), hence, in view of our definitions, X(e)= 1,
which completes the proof.
This shows that the left-hand side of (3) is then a multiple of I and not
of 12; as the right-hand side shows, it is > 1; we take then for Pi. any
prime divisor of that left-hand side, other than I. Now we show that,
in all cases, Pi,. cannot divide the denominator of the left-hand side of
(3). In fact, assume that it does; then all the terms in the right-hand side
are == 1 (Pi,.), so that the right-hand side itself is == I (Pi,.); as it is a multiple
of Pi, .. and as Pi,. '1= I, this cannot be. This shows that the image of ai in
the group (Z/Pi,.Z)X is exactly of order [V+ 1; in particular, for each i, all
the Pi,. are distinct. Therefore, choosing an integer p such that IP > r, we
may, for each i, choose an integer vi~n+p-2 such that the prime
Pi=Pi,'i does not divide any of the integers a1 , ••• ,ar • For each i, the
group (Z/Pi Z) x is cyclic of order Pi -1, and the image of ai in that group
has the order [Vi + 1; call Xi a generator of the group of characters of
e·
that group; call i the highest power of 1 dividing Pi -1; put
,u=Ai -v i +n+p-2, m=I-I'(pi-1) and x;=xi; clearly Ai>V i, so that
,u>O; then X; is a character of order II', and it is easily verified that x;(a i)
is a root of 1 of order ,n +P - 1. For each i, extend X; to a multiplicative
character !/Ii modulo Pi on Z, as explained above; let M be an integer
such that 1M is a mUltiple of the order of all the X;, hence of all the !/Ii'
As each Pi is prime to all the aj' we can then write
!/Ii(aj) = eW M bij)
with bijEZ, for 1 ~i,j~r; moreover, for each i, the highest power of 1
dividing bii is IM -n-p+l. Now consider the lMr characters
WX = O(!/Ii)XI
i=l
with 0 ~ Xi < 1M for 1 ~ i ~ r; of course they need not all be distinct. For
eachj, we have
bjjx j == - L bijX
itj
i
For a given j, and for each set of values for the Xi for i '1= j, this congruence
has either no solution Xj at all, or exactly lM - p solutions modulo 1M;
therefore, for each j, there are at most IMr-p sets of values for the Xi'
satisfying 0 ~ Xi < 1M for 1 ~ i ~ r, such that wx(aj) has an order dividing
1"-1. Consequently there are at most rlMr - p such sets for which at least
252 Global classfield theory XIII
one of the (J)",(aj) has an order dividing 1,,-1; as r< IP, the number of such
sets is < 1M '. This proves that one can choose x so that the order of
(J)",(aj) is a multiple of I" for allj. Then r/I = (J)", is a solution of our problem,
except perhaps in the case 1=2, since then we also want r/I to be such
that 1/1 ( -1) = -1. In that case, if (J)",( -1) = -1, we take 1/1 = (J)",. If not,
take a prime Po dividing 4a 1a2 ••• a,-I, and == -1 (4); clearly there is
at least one such prime. Then the group (Z/Po Z) x is cyclic of order
2 mo with mo = (Po -1 )/2 == 1 (2), so that it has exactly one character XO
of order 2; this satisfies Xo( -1)= -1. Extending XO to a multiplicative
character r/lo modulo Po on Z, one sees at once that r/I = r/lo (J)", is a solu-
tion of our problem, provided one has taken n ~ 2, as may of course
always be assumed. This completes the proof.
LEMMA 3. Let a1> ... ,a" n1, ... ,n, be integers > 1. Then there is a
multiplicative character 1/1 on Z such that r/I( -1)= -1 and that, for
every i, 1/1 (a j ) is a root of 1 whose order is a multiple of nj •
Put N =2nn j ; for every prime I dividing N, let 1" be the highest
power of I dividing N, and let 1/1, be chosen according to lemma 2, so
that its order is a power of I, the order of r/I,(a j ) is a multiple of 1" for
every i, and 1/1,( -1)= -1 if 1=2. When I is odd, r/I,( -1), being ± 1 and
n
of odd order, is 1. That being so, it is clear that 1/1 = 1/1, solves the
problem.
(4)
v
therefore, if we put
v'(v) = v(v)· [kv:Qt],
and if [Zu:Qt] is a multiple of v' (v), [k~:kv] will be a mUltiple of v(v).
Now, for every finite place t of Q above which there lies some place v of
k where v(v» 1, call net) some common multiple of the integers v'(v) for
all the places v of k above t; for all other finite places t ofQ, put net) = 1; put
n(oo)=2, this being a multiple of v' (v) for every infinite place v of k, as
one sees at once. Then m and Z, in our lemma, will satisfy our require-
ments if [Zu: Qt] is always a multiple of net) and if 1~lt = 1 when t'=l= 00,
net) > 1; in other words, it is enough to prove our lemma for k = Q.
Call thenpl, ... ,Pr the rational primes p for which n(p» 1; apply lemma 3
of § 2 to the integers aj = Pj, nj = n(pj); we get a multiplicative character '"
on Z, modulo some integer m, such that", ( -1) = -1 and that, for each i,
"'(pj) is a root of 1 whose order is a multiple ofn(pj). As "'(x)=O when x
is not prime to m, m is then prime to all the Pj, which is the same as to say
that Imlp= 1 when n(p» 1. Let then X be the character of (Z/mZr deter-
§ 3. Hasse's "law of reciprocity" 255
COROLLARY. For every XeX", and every (}ek\ we have (x, (})" = 1.
°
corollary 2 of prop. 2, Chap. XII-l, shows now that U"ckl; on the other
hand, if k is of characteristic and if the subgroup k~ + of k~ is defined as
in § 1, U" contains the closure of k x k~ +. In §8, it will be shown that U" is
that closure if k is of characteristic 0, and that otherwise U" = k x •
We will now reformulate prop.4 of Chap. XII-1 for the pairing
between X" and Gk defined above. Let k' be a cyclic extension of k. Then
e--.eJ., for every Ae<f>, and e--.N"'I,,(e) are polynomial mappings of k', into
k' and into k respectively, when k' is regarded as a vector-space over k,
and we have N"'I,,(eJ.)=N"'I,,(e) for all e. As explained in Chap. IV-1,
N "'I'" as a mapping of k~ into kA' is the extension to these spaces of the
polynomial mapping N""" of k' into k, and we now extend to k~ the
§ 4. Classfield theory for Q 257
k-linear mapping ~-+~). of k' onto k' in the same manner. Then we have
Nk'lk(X').) = Nk'lk(X') for all x'Ek~, and in particular for all x'Ek~x. At the
same time, by the corollary of prop. 3, Chap. IV-3, we have Iz'IA =
= IN k'lk(z')IA for all z' Ek~x , hence Iz').IA = Iz'IA for all z' Ek~x and all AEG>.
As the morphisms z' -+ z' \ z' -+ N k' Ik(Z') of k'; onto k'; and of k'; into k~
map k'x onto klX and into k x respectively, they determine morphisms
of Gk, onto Gk, and into Gk respectively; we take these as the mappings
g'-+g'\ g'-+F(g'), in prop. 4, Chap. XII-I. It is now clear that these map-
pings satisfy conditions [IV(iHii)] and [V(i)]; [IV(iii)] is an immediate
consequence of the definitions and of corollary 5 of tho 1, Chap. XII-2 (it
admits of an obvious generalization, quite similar to the latter corollary),
while [V(ii)] is here the same as the assertion in tho 1, § 1. All conditions for
the application of prop. 4, Chap. XII-I, being thus fulfilled, we conclude
that we have, in our present notation:
(5)
where k is any A-field, k' any cyclic extension of k, and Uk' Uk' are the
kernels of the canonical morphisms for k and for k', respectively.
where the last product is taken over all the rational primes p.
Here R: and the Z;
are to be understood as subgroups of the quasi-
factors R x = Q:O and Q; of Q~. As in corollary 2 of prop. 4, § 1, define a
morphism r of Q~ into Q x by putting, for z = (zv) in Q~ :
r(z) = sgn(z<x,) fllZpl; 1;
p
VII-3, that every quasicharacter of Q~, trivial on QX, is of the form w. tjJ,
where tjJ is trivial on Q x x R ~ and where w., as in Chap. VII, denotes
n
the quasicharacter z~lzlA and is trivial on Q x and on Z;; tjJ is then a
character of finite order. We recall that, if w is any quasicharacter of Q~,
trivial on Q x, the conductor of w, according to the definition given in
Chap. VII-7 for an arbitrary number-field, is the ideal npf(p) of Z,
where, for each rational prime p, pf(p) is the conductor of the quasi-
character wp induced by w on Q;; here, as usual, we identify a non-zero
ideal in Z with the integer > 0 which generates it.
As explained in § 1, if t: is a primitive m-th root of 1 in Q, we identify
the Galois group 9 of Q(t:) over Q with (Z/mZr, and every character X
m
of 9 with a character ofthe Galois group of Qover Q, or, what amounts
to the same, with a character of the Galois group mof Qab over Q. Of
course Q(t:)CQab for all m.
Call r the latter group. Call P the set consisting of 00 and of the
primes p dividing m; for each prime pE P, put 9p = 1+ pll ZP' where pll
is the highest power of p dividing m; call H the subgroup of Q~ con-
sisting of the ideles (zv) such that Zoo >0, zpEgp for every prime PEP,
r
and ZpEZ; for p not in P. Then is the group of the characters w of
Q~ which are trivial on QX and on H. Put goo=Rx and g=Dgv, the
latter product being taken over all VEP; as in Chap. VII-8, call Gp the
subgroup of Q~ consisting of the ideles (zv) such that zv=l for all VEP;
as 9 x Gp is an open subgroup of Q~, and as Q x Gp is dense in Q~ by
prop. 15, Chap. VII-8, we have Q~ = Q x • (g x Gp ). The morphism r of
Q~ onto Q x defined in the proof of lemma 6 maps 9 x Gp onto the
subgroup Q(m) of Q x consisting of the fractions alb, where a, b are in Z
and are prime to m; the kernel of the morphism of 9 x Gp onto Q(m)
induced by r is the group H defined above. As every character in r is
trivial on H, this implies that, for any WEr, there is a character X of
Q(m) such that Xor coincides with W on 9 x Gp . Then, if aEZ and a= 1 (m),
we have aEg x Gp and r(a)=a, hence x(a)=w(a)= 1. Therefore X deter-
mines a character of (Z/m Z) x ; this being also denoted by X, and being
regarded as a character of g, hence of m, corollary 2 of prop. 4, § 1,
shows that (X,z)Q = x(r(z)) for all zEg' x Gp , if g' is a suitable open sub-
group of g. This means that xoa coincides with xor, hence with w, on
g' x Gp • As Q': =Q x .(g' x Gp ) by prop. 15, Chap. VII-8, and as xoa and
ware both trivial on QX, this proves that xoa=w. Conversely, let now
§ 4. Classfield theory for Q 259
if f=.O (n). This shows that K{O=K n. Put e=C n; as this is a primitive
(q-1)-th root of 1, it is in K. In view of the definitions of Chap. IX-5,
we have thus shown that Xn. is an unramified character of order n,
attached to Kn; therefore, by prop. 5 of Chap. XII-2, it generates the
group of the unramified characters of order dividing n. In particular,
for yeK X , Xn,y is unramified if and only if it is equal to (Xn,.)" for some
veZ, i.e. if ye- V is in the kernel of the morphism x-+Xn,x; as we have
seen in Chap. IX-5, that kernel is (K x)". Consequently Xn,y is unramified
if and only if y is in the subgroup of K x generated by (K x)n and e. By
prop. 8 of Chap. 11-3, (Kx)n contains 1 + P; as R x is generated by 1+ P
and e, our assertion is now obvious.
taken over all the places v of k, are equal to 1; it defines a locally constant
mapping of k~ x k~ into the group of the n-th roots of 1 in C, and satisfies
(z,z')n=(z',z),;-l for all z, z'. Moreover, (k~)" is the set of the elements z
of k~ such that (z, z'}n = 1 for all z' e k~.
If k is of characteristic p> 1, our assumption about k implies that n
is prime to p; consequently, in all cases, we have Inlv= 1 for almost all v.
As Zv, z~ are in r~ for almost all v, our first assertion follows now at once
from prop. 6; the same facts, combined with the corollary of prop. 6,
show that (z, z')n is locally constant. By prop. 6, if z is in the kernel of all
the characters z-+(z,z')n, we must have zve (k~)" for all v; then, if we write
Zv = t~ with tvek~, the fact that Zv is in r~ for almost all v implies the same
for tv, so that t = (tv) is in k~ and that z = tn.
COROLLARY 1. For every finite set P of places of k, containing all the
places v for which Inl v'" 1, put
262 Global c1assfield theory XIII
Q(P)= n k: x n r:,
VEP v,p
Q'(P) = n
VEP
(k~)n x nr;.
v+P
Then these are open subgroups oj k~, and the set oj the elements Z oj k~
such that (z,z')n= 1 Jor all z'EQ(P) (resp. Jor all z'EQ'(P)) is (k~)n Q'(P)
(resp. (k~)n Q(P)).
Concerning the definition of P, one should observe that Inlv> 1 for
every infinite place of k, so that P contains all these places. Then Q(P)
is the same as the open subgroup of k~ which was so denoted in Chap.
IV -4; as we have seen above, (k~)" is open in k; for all v, so that Q' (P)
is open in Q(P). The first set considered in our corollary consists of the
ideles (zv) such that (zv,Z~)n,kv = 1 for all Zv E k~ if VEP, and for all z~Er~
if v is not in P. Our assertion follows now at once from prop. 6. The other
set can be treated in the same manner.
of k~ of the form X".~oQ with ~ekx, we see that every character of k~,
trivial on X"' is of that form. Clearly X n contains k x (k~)"; as they are
both closed in k~, our proposition will be proved if we show that there
are arbitrarily small neighborhoods U of 1 in k~ such that X n is con-
tained in k x (k~t U; we will choose U as follows. Let Po be a finite set of
places of k, containing all the places v where Inlv =1= 1, and satisfying the
condition in the corollary of tho 7, Chap. IV-4, i. e. such that k~ = kXD(P 0);
then every finite set of places P::::> Po has these same properties. Take any
such set P; take U = n Uv' where Uv is an arbitrary neighborhood of 1 in
(k~)" for ve P, and U v = r~ for v not in P; clearly U is a neighborhood
of 1 in k~ and can be made arbitrarily small by suitable choices of P
and the neighborhoods Uv for veP. One sees at once that (k1t U is the
same as (k: t Q'(P), where D'(P) is as defined in corollary 1 of prop. 7.
What we have to prove is that X" is contained in the group W(P)=
kX(k:tD'(P), or in other words that Xn W(P) = W(P). By lemma 1 of
Chap. XII-I, applied to Gk=k~/kx and to the image ofW(P) in Gk, we
see that W(P) has a finite index in k~; it will thus be enough to show that
W(P) and Xn W(P) have the same index in k~.
The index of X" W(P) in k~ is equal to the number of distinct
characters of k~, trivial on Xn and on W(P). Being trivial on X n, such a
character must be of the form Xn.~OQ with ~ee. As Xn contains k X (k:)",
this is trivial on W (P) if and only if it is trivial on D'(P), hence, by corol-
lary 1 of prop. 7, ifand only if ~ is in (k:)" D(P). In view of our assumptions
on P, we can write
As in Chap. IV-4, put E(p)=e nD(P); we see now that the characters
in question are those of the form X".~OQ with ee(kXtE(P), and we must
compute the number of distinct ones among these, which is the index in
(kx)nE(p) of the kernel of the morphism ~-+Xn.~OQ. That kernel is the
same as that of ~ -+ Xn.~' which is (k x)n; consequently that index is the
same as that of E(P)" in E(P). In view of tho 9 of Chap. IV-4, and ofthe
fact that n divides the order of the group of the roots of 1 in k, that index
is n with c = card(P).
C
Do(k) for the group of divisors of degree 0, and P(k) for the group of
principal divisors; call h the number of divisor-classes of degree 0, i. e.
the index of P(k) in Do(k). Let VI"'" VN be all the places of k where '1v -+ 1;
taking for n an integer ~ 1 such that ('1vl = 1 for all i, we can write
'1v;=e(aJn) with aieZ for l~i~N. As n'1v=l, we have Lai=na with
n
aeZ; after replacing a l by a l -na, we may assume that Lai=O. For
each i, call di the degree of the place Vi; put d = di and m = L(aid/di)Vi'
Then deg(m)= Laid=O, m is in Do(k), hence hm in P(k), so that there
is Oek x such that div(O)=hm, i.e. ordv;(O)=haid/di for 1 ~i~N, and
ordv(O)=O when '1v= 1. Now consider the constant-field extension k'
of k of degree hnd; let cp be the Frobenius automorphism of k' over k,
and X the character of the Galois group of k' over k such that X(CP)=
=e(l/hnd). Just as in the proof of prop. 3 of § 1, one sees at once, by
applying corollary 4 of tho 1, Chap. XIl-2, that, if V is any place of k,
and () its degree, (Xv, O)v = X( cp"t with v = ord v(0). In view of our choice
of 0 and X, this gives (Xv, O)v = '1v for all V. Therefore, by formula (4) of
§ 3, the cyclic algebra A = [k'/k; X,O] solves our problem.
PROPOSITION 9. For each Xe X k> call U(X) the kernel of the character
xoa of k~. Then: (a) if k' is the cyclic extension of k attached to X, U(x) =
=k XNk'/k(k~X); (b) for every n~ 1, prime to p if k is of characteristic p> 1,
the intersection Un of the kernels U(x), for all the characters XeXk of
order dividing n, is k (k~)n.
X
Put U'(X)=k x Nk'lk(k~X), when X and k' are as above, and put
U~ = k X (k1 In. Applying lemma 2 of Chap. XII-l to the endomorphism
x - xn of the group Gk= k~/k x, we see that U~ is closed in k~; applying
the same lemma to the morphism of Gk , into Gk determined by the
morphism N k'/k of k~x into kA' we see that U' (X) is also closed in kA.
If X is of order n, and k' is as in (a), n is the degree of k' over k, so that
Nk'/k(Z)=Zn for zek, hence also for zekA ; therefore we have then
U'(X)~ U~. A character of k~ is trivial on (k~)n if and only if its order
divides n; therefore a character of k~, trivial on k X , has an order divid-
ing n if and only if it is trivial on U~. As before, call Uk the kernel of a;
we know that it contains kX. If k is of characteristic 0, apply prop. 1 of
Chap. XII-l to the pairing between X k and Gk determined by (X,Z)k;
otherwise apply corollary 4 of prop. 2, Chap. XII-2; in both cases we see
that every character of kA of finite order, trivial on Uk' can be uniquely
written as xoa with XeXk' This implies that Un is the intersection of the
characters of k A; trivial on U~ and on Uk; therefore it is the closure of
U~Uk' and we have Un= U~ if and only if U~~ Uk' We also see now that
every character of kA' trivial on U'(X) and on Uk, must be of the form
x'oa with x'eX k ; by corollary 2 of th.l, § 1, this is trivial on U'(X) if
266 Global c1assfield theory XIII
prop. 1 of § 1, that the cyclic algebra A = [k'/k; X,O] has the required
local invariants hv(A) = "v, so that it solves our problem.
(X,Z)p,K = 1 for all xe K (resp. for all xeR) is (K X)P (resp. (K X)P R X).
co
For xeP, put 'l'(x)= L xpn; clearly this is convergent and defines
n=O
an endomorphism of P, and one sees at once that both iP 0 'l' and 'l' 0 iP
induce the identity on P. Therefore iP induces on P an automorphism
of the additive group of P, so that Pc iP(K). Call F the algebraic closure
of the prime field Fp in K; by th.7 of Chap. 1-4, F is a field with q ele-
ments, and R = F + P, so that ([>(R) = ([>(F) + P. As the endomorphism
induced by iP on the finite field F has the kernel F;" it is not surjective;
therefore iP (R) =1= R; as iP - 1 (R) = R, this shows that R is not contained
iniP(K). If (x,z)p,K=l for all zeKX, Xp,x must be trivial; as we have
seen in Chap. IX-5, this is so ifand only ifxeiP(K). Take any xeR+iP(K);
as R=F+ P and PciP(K), we can write x=a+iP(u) with aeF, ueK;
then Xp,x is the same as Xp,a and is a character attached to the cyclic
extension of K generated by any root Q( of X -XP=a. As Q( is algebraic
over F, it is 0 or a root of 1 of order prime to p, so that K(Q(), hence also
Xp,x, are unramified over K; therefore (X,Z)p,K= 1 for all zeRx .. Now
take a root ( of X - xq = 1 in some algebraic closure of K, and put
e = ( - (P. The Galois group of K«() over K is generated by the Frobenius
automorphism; as ( is algebraic over F, this maps ( onto (q = (-1, so
that it leaves e invariant; therefore e is in F, K«() is the unramified ex-
tension of K of degree p, and Xp ,. is a character attached to that extension.
268 Global c1assfield theory XIII
Q'(m,K), are of that form. This implies that the index of Q'(m,K) in K X
is equal to the number of distinct characters of that form, which is the
index of Vmn4>(K) in Vm; as Vm, Vm, have respectively qm+l and qm'+l
elements, and as the morphism 4> of Vm, onto Vmn 4>(K) has the kernel Fp,
that index is p.qm-m'. By lemma 2 of Chap. XII-I, and lemma 7 of § 5,
the group G' =K x /(KX)P is compact, and its characters are those deter-
mined by the characters z-(x,z)p,Kof K X for xEK. Therefore the inter-
sections of the kernels of finitely many such characters make up a funda-
mental system of neighborhoods of 1 in G'. This is the same as to say
that, if U is any neighborhood of 1 in K x, one can find finitely many
characters z-(xj,Z)p,K such that the intersection W of their kernels is
contained in (K X)P U; then W contains Q'(m,K) if we take m ~ 0 such that
-m~ord(xj) for all i. By prop. 10, Q'(O,K)=(KX)PR x • Finally, if
z-(Y,Z)p,K is trivial on Q'(m,K), it must coincide with a character
z-(X,Z)p,K with some XE Vm; by prop. 10, this is the same as to say
that YEVm+4>(K); as 4>(K)~P, and Vm+P=P-"', this proves the last
assertion in our corollary.
§ 7. The Hilbert p-symbol 269
In the proof of prop. 9, § 6, we have already seen that these are closed
subgroups; clearly, then, k X(k~)n is the intersection of the kernels of
all the characters of k~, trivial on k x , whose order divides n. Our assertion
follows now at once from theorem 5.
The proof is identical to that of tho 6, Chap. XII-5, except that here,
of course, one must use tho 7, instead of tho 4 of Chap. XII-3.
av
k vX I ~v
k~/U , ' 9
/ ~
k~ I~
a
each i, call p[(i) the conductor of w;; by corollary 2 of tho 5, Chap. XII-4,
we have [)= If(i). By corollary 1 of prop. 14, each w; is induced on k~
by exactly v characters WEY. Our assertion is now obvious.
It is enough to prove this for Re(s) > 1, when the infinite products
for these functions are absolutely convergent; and then it is enough to
show that, for each finite place v of k, the contribution of the places
of k' above v to (k'(S) is equal to the product of the contributions of v
to the products L(s,w). If f is as in corollary 2 of prop. 14, the contri-
bution of w to the product (ds) is (1 - q';-Is) - \ that is also the contri-
bution of each one of the places of k' above v, so that, if v is their number,
their total contribution is (l_q,;-Is)-v. On the other hand, for WEY,
the contribution of v to L(s,w) is 1 unless Wv is unramified, and
(1-w v(1I: v)q,;-st 1 if it is unramified. In view of corollary 1 of prop. 14,
their product is equal to n(1-w'(1I: v)q,;-st v, where the latter product
is taken over all the distinct characters w' of k~ , trivial on Uv and on r~ ,
i.e. trivial on r~ Uv • By corollary 2 of prop. 14, the group k~ /r: Uv is
of order f; clearly it is generated by the image of 1I:v in it, hence cyclic;
therefore there are f characters w', and the values they take at 1I:v ate
the fth roots of 1 in e. This implies that the product n(1-w'(1I:v)t),
for every tEe, is equal to 1-tI , which completes our proof.
is a finite set P", containing P and P', such that J nLp" = J' nLr ,; when
that is so, the same is true for all finite sets P" containing P and P', and
V is in U(PnP').
Call V, V' the closures of the two sets in question; then, by pro-
position 15, J = J(V,P) and J' =J(V',P'). If V = V', it follows at once
from proposition 15 that V is in U(PnP'); therefore, by corollary 1, if
P"::JPuP', JnLp" and J'nLp" are both the same as J(V,P"). On the
other hand, if there is P" and J" such that p"::J PuP' and J" = J nLp" =
=J'nLp", corollary 1 gives J"=J(V,P")=J(V',P"), hence V=V' by
proposition 15.
When two congruence groups J, J' are as in corollary 2, one says
that they are equivalent. Since every open subgroup V of kl, contain-
ing k X , belongs to U(P) when P is suitably chosen, it is now clear that
there is a one-to-one correspondence between the set U of all such
groups and the set of equivalence classes of congruence groups. There-
fore the one-to-one correspondence between U and ~ (resp. ~u~o)
mentioned above under (b) determines a similar correspondence between
~ (resp. ~u~o) and the equivalence classes of congruence groups. This
will now be described more in detail.
To begin with, it is obvious, from proposition 15 and its corollaries,
that, when an equivalence class of congruence groups is given, there is
a smallest set P such that this class contains a congruence subgroup J
of Lp; in fact, if V is the open subgroup of k1 corresponding to that
class, P consists of the infinite places, and of the finite places v such
that r~ is not contained in U; if we write U v = U n k~ for all v, this is
the same as to say that r~ is not contained in Vv. Similarly, there is
then a largest defining group for J; this is n
gv' where gv= V v for every
veP
infinite place, and gv= Uvnr: for every finite VEP. When one considers
only defining groups for which gv is of the form 1+ p:;' with m ~ 1 when v
is finite, one must then take, for each such VEP, the smallest integer
m(v) ~ 1 such that 1+ p:;'<V) is contained in Uv. If k is of characteristic
p>1, the divisor Lm(v)'v is then called "the conductor" of U and of
every congruence group equivalent to J. If k is of characteristic 0, one
puts m(v) = 0 or 1, for each real place v of k, according as V v is R x or R~ ;
one puts m(v)=O for all imaginary places v of k; attaching then a sym-
bol Pv' called an "infinite prime", to each infinite place v of k, one calls
the symbol n
veP
p~'(IJ "the conductor" of U, of J, and of the congruence
groups equivalent to J.
284 Global cIassfield theory XIII
above k; in this case, the only one with which we are concerned here,
CPw is called the Frobenius automorphism of k' over k at v; we will denote
it by (k'jklv), or (k'lv) when there is no risk of confusion. We may now
reinterpret corollary 3 of prop. 14, § 10, as follows. As in that corollary,
call U the open subgroup of k;' associated with k', and identify the
Galois group 9 of k' over k with k~jU by means of the canonical mor-
phism. Take P ~.1, with A defined as above. The canonical homomor-
phism of k~ onto 9 = k~jU is trivial on r;
for every v not in A, so that
it induces on Gp a morphism of Gp into g, trivial on G~, which deter-
mines a morphism cp of Lp=GpjG~ into g. Corollary 3 of prop. 14, § 10,
says now that, for every v not in P, cp(v) is the Frobenius automorphism
CPv=(k'lv) of k' over k at v, as defined above. This morphism cp of Lp
into g, defined for P~A, will be denoted by m--+(k'jklm); one writes
(k'lm) instead of (k'jklm) when there is no risk of confusion, and calls
this "the Artin symbol". It may be characterized as the morphism of Lp
(or, what amounts to the same, ofthe group of ideals [(P), or of the group
of divisors D(P), according to the characteristic) into 9 which maps
every place of k, not in P, onto the Frobenius automorphism of k' over k
at that place. In view of prop. 15, we have thus proved that this mor-
phism is surjective and that its kernel J =J(U,P) is a congruence sub-
group of Lp. When one takes for P all the finite sets of places contain-
ing A, the kernels J(U,P) make up an equivalence class of congruence
groups; they are all contained in J(k')=J(U,A).
The above results show also that a finite place v of k splits fully in k'
if and only if it belongs to J(k'). It follows now from prop. 15 of Chap.
VIII-5 that, if k" is a separable extension of k contained in k, and if
almost all the places of k belonging to J(k') split fully in k", k" is
contained in k'. Obviously this implies that there are infinitely many
places of k belonging to J(k'); it will be seen in § 12 that the same is true
for all the cosets of J(k') in L d • The corollary of prop. 15, Chap. VIII-5,
shows also that, if k" is a Galois extension of k, it contains k' if and only
if almost all the places of k which split fully in k" are in J(k'). From this,
it follows that, if k' and k" are two abelian extensions of k contained
in k, k" contains k' if and only if there is a set P for which J(k")nL p is
contained in J(k')nLp; this may also be considered as a consequence
of the results of § 9, combined with prop. 15 of this §. In particular, k' is
uniquely determined by the equivalence class of congruence groups
determined by J(k'); this, too, is an immediate consequence of the results
of § 9 and of prop. 15 of this §. Traditionally, one says that k' is "the
classfield" for that class of congruence groups or for any group belong-
ing to that class.
The above characterization of the class of congruence groups for
which k' is "the classfield" is based solely on the "Artin symbol"; another
286 Global c1assfield theory XIII
one will now be derived from the fact that U =k x N"'I,,(k~X). More ge-
nerally, if we take for k' any extension of k of finite degree, tho 7 of § 9,
and its corollaries, show that the group U =k x Nk'lk(k~X) is the open
subgroup of finite index of k~ associated with the maximal abelian ex-
tension L of k, contained in k'. Take any finite set P of places of k, con-
taining Poo ; for each veP, take an open subgroup gv of k~, contained
n
in r~ when v is finite; put g= gv, Ug=k x gG~ and Jg=J(Ug,P); then,
veP
in the notation of def. 1, J g is the subgroup of Lp consisting of the ele-
ments pr<e) for ee n (k X ngv)' As UgU contains G~, it determines a con-
gruence group J =J(UgU,P), given by l;l(J)= UgUnG p. Call Hp the
group of the ideles (z~) of k' such that z~ = 1 for every place w of k' lying
above a place veP, and H~ the group of the ideles (z~) of k' such that
z~= 1 when w lies above a place veP, and Iz~lw= 1 otherwise; then
L'p=Hp/H~ is the free group generated by the places of k' which do not
lie above P. As N"'lk maps Hp into Gp and H~ into G~, it determines a
morphism 91 of l}p into L p, which is the same as the morphism 9l"'lk
(resp. 6"'lk) of Chap. VIII-4 when l}p, Lp are interpreted as groups of
ideals (resp. of divisors) of k' and of k. By prop. 15 of Chap. VII -8, k' x H p
is dense in k~x, so that k X Nk'lk(H p ) is dense in U. As Ug is open in k~,
this implies that we have
W, and u the place of M below u'; M~, is the compositum of k~ and M',
hence of k~ and M, hence of k~ and M U. If v is not in P, M u is unramified
over kv; this implies that M~, is then unramified over k~. Therefore M'
is the classfield for some congruence subgroup J' of 1:p • Now let U, U'
be the open subgroups of k~, kAx , respectively associated with M and
with M'; by corollary 5 ofth. 7, §9, U'=N;.MU). By prop. 15, J, J' can
be defined by l;;l(J)=UnG p and by the similar formula for J', U';
therefore an element m' of 1:p is in J' if and only if it is the image of an
element z' of Hp such that z'eU', i.e. Nk'lk(z')eU; as Nt'lk maps Hp
into Gp , this is equivalent to Nk'lk(z')e U nG p , hence to 91(m')eJ. There-
fore we have J' = 91- 1 (J).
As an illustration, we will now apply the above considerations to
the case k = Q, which has been treated from another point of view in § 4.
Take k' = Q(e), where e is a primitive m-th root of 1; as before, identify its
Galois group 9 with (Z/mZr by assigning to the automorphism e-+8",
with xeZ, (x,m) = 1, the image of x in (Z/mZr. As we have observed
before, it is obvious that, for every rational prime p, not dividing m, and
for every place w of k' above p, k~ is unramified over Qp, and that the
Frobenius automorphism of k' over Q at p is the one given by e-+eP,
i.e. the image of p in (Z/mZr. Consequently, only primes dividing m
can occur in the discriminant of k' over Q, and k' is the classfield for some
congruence subgroup J of the group Lm of the fractional ideals of Q,
prime to m; Lm can be identified in an obvious manner with the group
of the fractions r = alb, where a, b are two integers > 0, both prime to m.
Moreover, the Artin symbol r-+(k'/Qlr) is the morphism of Lm into
(Z/mZr which maps every prime p, not dividing m, onto its image in
(Z/mZr; clearly this maps every integer a>O, prime to m, onto its
image in (Z/m Z) x, and its kernel J consists of the elements alb of Lm
for which a == b (m). It can easily be verified that the "conductor" for this
group J is 1 if m = 1 or 2, that it is Vex> (m/2) if m is even and m/2 is odd, and
that it is Vex> m in all other cases. Except in the trivial cases m = 1 or 2,
when k' = Q, one may express this by saying that the conductor is Vex> m',
where m' is the smallest integer such that Q(e) is generated over Q by a
primitive m'-th root of 1. As we have seen, this implies that the primes
occurring in the discriminant of Q(e) over Q are those which divide m';
it would be easy now to compute that discriminant itself, by means of
tho 9 of § 10. It is also a consequence of what we have seen above that,
if k is any algebraic number-field, and e is again a primitive m-th root of 1,
k(e) is the classfield for the congruence subgroup J' of the group 1:m of
fractional ideal" of k, prime to m, consisting of the fractional ideals m
such that 91(m)eJ, where J is as defined above.
288 Global c1assfield theory XIII
is absolutely convergent for Re(s) > 1 and tends to a finite limit, other
than 0, when s tends to 1.
For almost all v, by tho 1 of Chap. VIII-4, kv is unramified over the
closure (ko)u of ko in kv, so that its modular degree over (ko)u is equal to
its degree over the same field. In view of this, the assumption made
above about V is identical with that made in corollary 3 of tho 2, Chap.
VII-5. That being so, the proof of the latter corollary can be applied here;
§ 12. "Coronidis loco" 289
when that is done, one sees that our assertion is an immediate conse-
quence of theorem 11, combined with corollary 3 of prop. 1, Chap. VII-l.
THEOREM 12. Let L be an A-field, ko an A-field contained in L, and ex
an automorphism of Lover ko. Then there are infinitely many places w
of L such that Lw is unramified over the closure of ko in Lw and that the
Frobenius automorphism of Lw over that closure induces ex on L.
Call k the subfield of L consisting of the elements of L, fixed under ex;
as ko eke L, L has a finite degree dover k; by Galois theory, this implies
that L is cyclic over k, its Galois group 9 over k being the one generated
by ex. For each place v of k, call u the place of ko which lies below v, and
let w be any place of L above v; then the closure of ko in Lw is (k o),,' By
tho 1 of Chap. VIII-4, there is a finite set P of places of k, containing P00'
such that, when v is not in P, kv is unramified over (k o)", and Lw over kv,
hence also over (k o),,' Call then cp the Frobenius automorphism of Lw
over (k o),,; as this generates the Galois group of Lw over (k o)", it leaves no
element of Lw fixed except those of (k o),,; therefore, if it induces ex on L,
we must have kc(ko)", hence kv=(ko)", and then, in view of our defini-
tions in § 11, ex is the Frobenius automorphism of Lover k at V. Call M 0
the set of the places v of k, not in P, such that kv=l= (k o),,; for every place v
of k, not in Pu M 0' call CPv the Frobenius automorphism of Lover k
at v; call M 1 the set ofthe places v of k, not in Pu M 0, for which CPv = ex,
and call V the complement of Pu M 0 u M 1 in the set of all places of k.
Clearly the assertion in our theorem amounts to saying that M 1 is not a
finite set, and M 1 is finite if and only if V has the property described in
the corollary ofth. 11. Assuming now that V has that property, we will
derive a contradiction from this assumption. With our usual notations,
call X a character of m: attached to the cyclic extension L of k; here, of
course, m: is the Galois group of kab over k, and L is regarded as a subfield
of k ab • Let ~ be the subgroup of m: corresponding to L; then we may write
9 = m:/~, and the group of the characters of 9 consists of the characters
Xi for 0 ~ i < d. Put co = XO It; then, by corollary 3 of prop. 14, § 10, CO v is
unramified if and only if Lw is unramified over kv, and then the Frobenius
automorphism CPv of Lover k at v is the image of Xv in 9 under the mor-
phism of k~ onto 9 determined by It. This gives now, with the notation
of the corollary of tho 11:
q(k, V, coi ,s)= n(1- Xi(cpv) q; st
vev
1.
= v~ Ct: 1
l(oc- q>v») q;s+ v~v n~ :t>i(OC- 1q>:)q;ns/n.
In the right-hand side, all the coefficients in the first series are 0, since
q>v=/=oc for veV. On the other hand, qv~2 for all v, so that, for each v
and for Re(s) > 1, we have
+00 +00
L Iq;nsl/n~t L q;n~q;2.
n=2 n=2
Therefore the second series in the right-hand side of the above formula
is majorized by dLq;2, which is convergent by prop. 1 of Chap. VII-1.
v
We have thus shown that the left-hand side remains bounded for Re(s) > 1.
On the other hand, the corollary of tho 11 shows that, for 1 ~ i < d,
logqi(s) remains bounded when s tends to 1, and corollary 3 of th.2,
Chap. VII-5, shows that logqo(s) does not. This is a contradiction.
COROLLARY. Notations being as in definition 1 of § 11, let J be a con-
gruence subgroup of Lp; if k is of characteristic p> 1, assume that J con-
tains divisors of degree =/= 0. Then there are infinitely many places of k in
every coset of J in Lp.
In fact, let k' be the "classfield" for J, as explained in § 11; call 9
its Galois group over k. It has been shown in § 11 that the places v of k,
in a given coset of J in L p , are those places, not in P, where the Frobenius
automorphism of k' over k is a given one. Our assertion is now a special
case of theorem 12.
As an illustration for theorem 12, take ko = Q, and take for L the field
generated by a primitive m-th root of 1. Then our theorem says that,
if a is any integer prime to m, there are infinitely many rational primes
congruent to a modulo m. This is Dirichlet's "theorem of the arithmetic
progression", and the proof given above for theorem 12 is directly
modelled on Dirichlet's original proof for his theorem.
Finally, let w, k and k' be again as in the proof oftheorem 11, so that
we have
,,,,(s) = ,,,(s) L(s, w).
If k is of characteristic 0, we have also, by the corollary of tho 10, § 10:
Z",(s)=n P Za,{s) A (s,w),
§ 12. "Coronidis loco" 291
P.126: In fact, it will be seen (cf. proof of tho 11, Chap. XIII-12) that, if
w 2 = 1, w =1= 1, there is a quadratic extension k' of k such that
p(k, P, W, S)=p(k', pi, s) p(k, P, S)-i
where pi is the set of places of k' above P; in substance, this is equivalent
to the "law of quadratic reciprocity" for k. As both factors in the right-
hand side have a simple pole at s= 1, this proves the assertion. That
proof, however, can be replaced by a simple function-theoretic argument,
as follows. Note first that, for w 2 = 1, the product
Pi (s) = P(k, P, w, s) p(k, P, s)
is a product of factors respectively equal to
00
(1_q,;-s)-2= I(n+l)q;nS
n=O
or to
L q,;-2ns
00
(1_q,;-2s)-1 =
n=O
where j, k, (Xi. Pi are as in (1). This shows that the morphism v for factor-
classes does not depend upon the choice of the ai •
2. Now let notations be as in Chap. IX-4; instead of {X, O}, however,
we will write {X,O}K; and we write {x',O'}K' for the similarly defined
symbol over K'.
LEMMA x' be a character of (fj'; then, for all () E K x :
A. Let
{x' t, O}K=V({x', Old.
0
x'ot=eotJ> with tJ>=tJ>'ot; if p and the IX; are as in (1), this gives (by
definition of the transfer) tJ> (p) = tJ>' (TI IX;). In the formula to be proved,
;
both sides are defined as the classes of certain factor-sets; one has to
show that those factor-sets differ only by the coboundary of some co-
variant mapping z. For any p, a in (fj, define the lXi' Pi as in (1), and put
z(p, a)= ()N where N is the integer
The proof is similar to that of lemma A. Write x=e o tJ>; both sides
of the formula to be proved are defined as the classes of certain factor-
sets; one verifies that the latter differ by the coboundary of the covariant
mapping z given, for all p, a, by the formulas
where j, k, lXi' Pi are given by (1), so that the tv; are integers.
3. Now we take for K a commutative p-field. In view of the definition
of the canonical morphism in Chap. XII-2, the local "transfer theorem ",
i.e. theorem 6 of Chap. XII-5, is equivalent to the following statement:
THEOREM. Let K, K' be as in theorem 8 of Chapter XII-5; then, for all
X'EXK , and all ()EKX, we have
Consider the symbol 1} defined in Chap. XII-2; let 1}' be the corre-
sponding symbol for K'. In view of lemma A, the theorem will be proved
if we show that, for any factor-class c' of K', we have 1} [v (c')] =1}'(c'). By
th.l of Chap. XII-2, we may write c' in the form {x', ()'}K' with an un-
ramified character X' of (fj' and some ()' E K'. Then X' is attached to a
cyclic extension K' (Ji) of K' generated by a root Ji of 1 of order prime
to p, and it is the restriction to (fj' of a suitably chosen character X of (fj
attached to the cyclic unramified extension K(Ji) of K. Our conclusion
follows now at once from lemma B, combined with tho 2 of Chap. XII-2.
Appendix I: The transfer theorem 297
the product being taken over all the places w of k' lying above v; the
proof of this is easy (and purely group-theoretical) and will be left as an
exercise to the reader. This being granted, the global transfer theorem
is an immediate consequence of the local theorem and of the definitions.
Appendix II
Then (fjo n W' is open in (fjo and therefore belongs, in the sense of Galois
theory, to some finite extension Ko(e) of K o, contained in R Let L be a
finite Galois extension of K between K(e) and R Let q/ be in W' and
not in (fjo; replacing q/ by qJ'-l if necessary, we may assume that
IqJ'lm=qn with n>O. Take an integer v>O such that qJ'v induces the
identity on L; call K" the compositum of L and of the unramified ex-
tension Knv of degree nv of Kin K o, and let W" be the W-group of 5\
over K". Take any WEW"; as W induces the identity on Knv' we have
Iwlm=qnvi with some iEZ. Then WqJ,-vi induces the identity on Ko and
on L, hence on Ko(e), so that it is in W'. Thus W" is contained in W'. As
we have seen that the Galois group of K" over K may be identified with
WjW", this shows that W' belongs to some field K' between K and K",
and, more precisely, that it is the W-group of 5\ over K'. Thus we see
that W-groups have the same formal properties as Galois groups.
In particular, a cyclic extension L of K of degree n corresponds to
an open subgroup W' of W of index n whose factor-group is cyclic and
may be identified with the Galois group of Lover K, and conversely. If
X is a character of (fj attached to L, it determines a character X0 () of W,
also of order n; conversely, a character of W is of the form X0 () if and
only if it is of finite order. We will frequently (by abuse of notation) make
no distinction between a character X of (fj and the corresponding
character of W.
3. In applying the above concepts, the field 5\ will mostly be taken
of the form Lab' where L is a finite Galois extension of K. In particular,
we will always denote by WK the W-group of Kab over K. It follows at
once from prop. 7 and corollary 2 of tho 3, Chap. XII-3, that the image
{)(WK ) of WK in the Galois group m: of Kab over K is the same as the
image Q (K X) of K x in m: under the canonical morphism Q. Consequently,
there is a canonical isomorphism wK of K x onto WK such that a = 0 0 WK'
Moreover, it follows from the same results that IwK(O)IJV,c= IOIK for all
OEK x •
Let for instance L be cyclic of degree n over K; as L is contained
in K ab , it corresponds to an open subgroup r of WK , of index n, and we
may identify WKjr with the Galois group 9 of Lover K; every character
of 9 may be regarded as a character of WK , trivial on r. If X is such a
character of order n, i. e. if it is attached to L (in the sense of Chap. IX-4),
then, by the definition of the canonical morphisms Q and W K, X [wK(O)],
for any OE K X. is the Hasse invariant h(A) = (X, O)K of the cyclic algebra
A=[LjK; X, 0] over K.
4. Let K' be any extension of K of finite degree; we assume that
Ksep is contained in K~ep' Let 5\, 5\' be Galois extensions of K and of K',
respectively, such that Ko c 5\ c Sl' c K~ep' Let W, W' be the W-groups
of 5\ over K and of 5\' over K', respectively. Then, just as for ordinary
300 Appendix II: W-groups for local fields
Shafarevitch's theorem
This theorem gives the structure of the W-group of Lab over K when-
ever K is a commutative p-field and L a finite Galois extension of K.
We begin by supplementing the results of Chapter IX with some addi-
tional observations.
1. Let assumptions and notations be as in Chap. IX, so that K is an
arbitrary field, (fj the Galois group of Ksep over K, and all algebras
over K are understood to be as stated in Chap. IX-1. Let A be a central
simple algebra of dimension n2 over K. Let L be an extension of K of
degree n, and f a K-linear isomorphism of L into A. Call V the vector-
space of dimension n over L, with the same underlying space as A,
defined by (e, x)--+xf(e) for eEL, xEA. For every aEA, the mapping
x--+ax is an endomorphism F(a) of V; F is then a representation of A
into EndL(V), and, by corollary 5 of prop. 3, Chap. IX-I, its L-linear
extension FL to AL is an isomorphism of AL onto EndL(V). Let zEA be
such that zf(e)= f(e)z for all eEL; then x--+xz is in EndL(V) and com-
mutes with F(a) for all aEA; therefore it is in the center of EndL(V), i.e.
of the form x--+xf(O with some (EL, so that z=f(O. In other words,
f (L) is its own" com mutant " in A, and f (LX) its own centralizer in A x.
Let now f' be another embedding of L into A; let V', F' be to f' what V,
F are to f As noted in Chap. IX-2, it follows from prop. 4, Chap. IX-l
that there is an isomorphism Y of V onto V' such that F' = Y -1 F Y.
This means that Y is a bijection of A onto A such that Y(xf(e))=
Y(x)f'(e) and Y(ax)=aY(x) for all eELand all x, a in A. Take X= IA and
put b=Y(lA); then we see that bEA x and that f'=b- 1jb. In other
words, two embeddings f, f' can differ only by an inner automorphism
of A. In particular, let 9 be the group of all automorphisms of Lover K;
then, for every exEg, there is b(lEAx such that fW)=b;;lf(e)b(l for all
eEL; consequently, the normalizer N of f(U) in A x is given by N =
Ub(lf(U), and N/f(U) can be identified with g. For any ex, 13 in g,
(l
b;;/b(lbfJ commutes with U, so that we can write b(lbfJ = b(lfJ A(ex, 13) with
A(ex, f3)EU. Moreover, the b(l are linearly independent over L in V; for
otherwise, taking a maximal subset {b;J of linearly independent ones
L
among them, we could write, for any b(l not in that set, b(l= b)'f(e)');
then, writing that f(lJ) b(l = bJ(rt) for allIJEL, we get a contradiction.
302 Appendix III: Shafarevitch's theorem
(3)
this is a factor-set if (and only it) A satisfies (2). It is now easily verified
that the algebra A defined by means of f by Brauer's construction
(as described in the proof of lemma 4, Chap. IX-3) is precisely as above
if we call b~ the element of A given (in terms of that construction) by the
covariant mapping (p, 0') -+ () p., ~a.'
As in § 1, consider the normalizer N = UbIZ U of U in A x ; write N C
for its commutator-group, and 't for the transfer homomorphism of
N INc into LX. As the definition of't is invariant with respect to all inner
automorphisms of N, and as such automorphisms determine the identity
on NINc, r must map NINc into the subgroup of the elements ofUwhich
are invariant under such automorphisms, i: e. into K x • On the other hand,
regarding r as a morphism of N into U, and calculating it (according to
definition) by means of the representatives b~ of the co sets of U in N,
one sees at once that, on U, r coincides with NL /K •
3. Assumptions being as in § 2, let K' be a field between K and L,
corresponding to a subgroup g' of g. One verifies at once that an element
of A commutes with all elements of 1A • K' if and only if it is of the form
I b~ ~~, with ~~ ELand ~~ = 0 unless IX Eg'. Clearly these elements make
up a subring A' of A (the" commutant" of K' in A) which is the algebra
over K' defined by means of K', L and the restriction of A to g' x g' just
as A was defined above by means of K, L, A; in particular, it is a central
simple algebra over K'.
4. Let K, L, A be again as in § 2; consider the case where 9 is cyclic;
if IX is a generator of g, we have 9 = {1, IX, ... , IXn - 1}. For P= lXi, we have
Appendix III: Shafarevitch's theorem 303
for all geG and all ~eL. Moreover, these conditions determine A and w*
uniquely, up to isomorphism; and w*(G) L" is then the normalizer of LX
in AX.
F or each a e g, choose g~ e G such that qJ (g~) = a. For any a, P in g,
we can write g~gp=g~ph(a, P) with h(a, p)eH. Writing that (g~gp) gy is
the same as g~(gp gy), we get
for gEH, this implies that OJ(h) is invariant under qJ'(H)=,1, so that it is
in LX and that we may replace qJ' by qJ in the above formula. Therefore
we can apply lemma A to G, H, qJ, OJ; this defines an algebra A of dimen-
sion n2 over K. The following lemma and its proof are due to Artin
and Tate (E. Artin and J. Tate, Classfield theory, Harvard 1961, Chap.
XIII-3, tho 6, p.188):
LEMMA B. Let A, A' be as above; then, in the Brauer group B(K), we
have CI(A)=CI(A')" with d= [E:LJ.
For each ~Er, choose g~EG such that qJ'(g~)=~; for all~, 11 in r, put
h'(~, 11)=g~,/g~g,,; A.'(~, 17)=OJ'[h'(~, 11)].
Choose a full set M of representatives of the cosets ~,1 of,1 inr; for any
~Er, call Jl(~) the representative in M of the coset ~,1. The elements gil'
for JlEM, make up a full set of representatives of the cosets of H in G,
so that we may use them, as in the proof of lemma A, to construct a
factor-set defining CI(A); this is done as follows. Take any two elements
~,11 of r; put cx=Jl(~), {3=Jl(11), Y=Jl(~11), {,=y- 1 cx{3; put
When 0 runs through .1, so do 0', 0" and bO. In G, we have the following
(easily verified) group-theoretical identity:
Then, taking into account the fact that w' satisfies (4), we get
This proves the lemma; in fact, if!,!, are as above,f!'-d is the coboundary
of(p, o')~C(O'p-l)P.
7. From now on, we will take for K a commutative p-field. Also, if G
is any topological group (e.g. a W-group), we will denote by GC its topo-
logical commutator-group, i. e. the closure of its commutator-group in
the algebraic sense.
Let A be any central simple algebra over K; if its dimension over K
is n 2 , we can write it as Md(D), where D is a division algebra of dimension
(n/d)2 over K; then CI(A) is the same as Cl(D), and this, as shown in
th.1 of Chap. XII-2 and its corollaries, is of order n/d in the Brauer
group B(K); in other words, the Hasse invariant h(A) is a root of 1 of
order n/d, and it is of order n if and only if A is a division algebra. By
corollary 2 of th.2, Chap. XII-2, combined with corollary 3 of th.3,
Chap. IX-3, this implies that every separable extension L of K of degree n
can be embedded in A; in view of § labove, this embedding is unique,
up to an inner automorphism of A, so that we can apply to K, L and A
all the results of that §. In particular, if L is a Galois extension of K with
the Galois group 9, and if N is the normalizer of 1: in A x, the inner
automorphisms x~a-lxa, for aEN, induce 9 on L, and we can thus
identify N/1: with 9.
306 Appendix III: Shafarevitch's theorem
have H(fj" X)=O whenever XE(fj' A. and (fj" is an open subgroup of (fj',
so that H is 0 on (fj' A..
As noted above, it also follows from the definition of H that H(fj)=O,
so that, in view of lemma C, H(fjo) = O.
Let now W be the W-group of ~ over K. Clearly there is a unique
distribution H on W which coincides with H on (fjo and is 0 outside (fjo.
This will be called the H erbrand distribution on W. As explained in
Chap. VIII-3, we extend it to a linear form, also denoted by H, on the
space of locally constant functions on W.
3. Now we will apply theorems I and II of Appendix III, §§ 8-9. As
in those theorems, we take a Galois extension L of K, of finite degree n;
we call W, WL the W-groups of Lab over K and over L, respectively. We
call A the canonical algebra for (K, L), N the normalizer of r in A x,
and w the canonical isomorphism of N onto W. We use the isomorphism
w -1 of Wonto N to transport to N the Herbrand distribution on W, and
denote again by H this distribution on N. Our purpose is to give an
explicit formula for H on N.
As before, we write vA/K for the reduced norm in A over K; moreover,
we put Ilxll = IvA/K(X)IK for every XEA. In view of corollary 2 of theorem I,
Appendix III, § 8, and of lemma C above, the support of H on N is the
compact subgroup No of N determined by Ilall= 1, i.e. the kernel of the
morphism a-..llall of N into R~. As noted above, we have H(1)=0.
Let da be the Haar measure on N, normalized so that the measure of
No is 1. The following theorem, in substance, is due to 1. Tate and Shankar
Sen (J. Ind. Math. Soc. 27 (1964),197-202):
THEOREM. For any locally constant function f on N, we have:
As both sides of (1) are 0 for f = 1, it is enough to prove it for the case
f(1A)=O; this will be assumed from now on. The proof will consist of
several steps:
(a) Take the "abelian case" where L=K, n= 1, A=K, N =K x ,
No = R x ; as usual, we write R for the maximal compact subring of K,
and P for its maximal ideal. Clearly it is enough to verify (1) when f is
the characteristic function of any set X of the form X = (1 + PV) ~ with
O::;ord(1-~)<v; then H(X) is given by theorem 5 ofChap.XII-4. At
the same time, the integrand in (1) is 0 outside X and has on X the
constant value qP with p =ord(1- ~). As 1 + Pv has the index qv-1(q -1)
in R x , this proves (1) in this case.
(b) Take now the general case, and take a field K' between K and L,
corresponding to a subgroup g' of the Galois group 9 of Lover K; put
310 Appendix IV: The Herbrand distribution
n' = [L: K']. Then, so far as A, L, N, K and K' are concerned, we are in
the situation considered in § 3 of Appendix III; if we write N = Ub"Lx
and A = I b" L as there, we have seen in that § that the "commutant"
algebra of K' in A is A'=Ib;.L, where the sum is taken over all AEg';
this is a central simple algebra of dimension n,2 over K', and the nor-
malizer of V in A' x is the subgroup N' = Ub;. V of N, the union being
taken again over all AEg'. In view of our observations in § 2 of Appen-
dix II, it is clear that the canonical isomorphism w of N onto W maps N'
onto the W-group W' of Lab over K'; corollary 1 of theorem I, Appen-
dix III, § 8, shows now that A' is the canonical algebra for (K', L), and
that the canonical isomorphism of N' onto W' is the restriction w' of w
to N'. Consequently, if H' is the Herbrand distribution on N', lemma B
shows that, on N' and outside lA, H' coincides with eH, where e is the
order of ramification of K' over K. Now call (1') the formula, similar
to (1), with H', A', N' substituted for H, A, N. For any f, equal to 0 out-
side N' (and at lA' as assumed above), call H 1 (f), H 1(f) the right-hand
sides of (1) and of (1'), respectively; it will be shown now that H 1(f)=
eH1(f)·
Take any x'EA' x; by corollary 1 of prop. 6, Chap. IX-2, and corol-
lary 3 of th.3, Chap. 1-2, the automorphism y' ~x' y' of the additive
group of A' has the module
modA,(x')= IvA'/K' (x')I~'·
Similarly, the module of y~ x' y in A is
modA(x') = IvA/K (x') I~.
But we may also regard A as a left vector-space over the division alge-
bra A'; as the dimensions of A and A' over K are n2 and n,2 d with
d = [K': K] = n/n', A has the dimension d over A'. By corollary 2 of
tho 3, Chap. 1-2, we have then modA(x') = modA,(x't This gives
IVA/K(X')IK = IvA'/K' (X')IK"
Therefore the integrands in H1 (f) and HI (f) are the same. Put now
N~ = N' n No. If Ko is as before (cf. § 2), w maps No onto the Galois
group (f;o of Lab over K o , and similarly it maps N~ onto the Galois
group of Lab over the compositum K'o = K' Ko; therefore the index of
N~ in No is equal to the degree of K'o over K o , which is the same as that
of K' over K' n Ko; this is e, by corollary 4 of tho 7, Chap. 1-4. Conse-
quently, if d'a is the Haar measure on N', normalized so that the measure
of N~ is 1, we have d'a=e,da on N'. This gives H 1(f)=eH 1(f), as we
had asserted.
(c) In particular, apply (b) to the case K' = L. In view of (a), it shows
that (1) holds whenever f is 0 outside V (and at lA)'
Appendix IV: The Herbrand distribution 311
constant under the translations a-+a u. From now on, let f be such a
function; as we have seen, it can be written asf=For.
As before, put () = r (b"J As r coincides with NL/K on U, it maps the
co sets b~U of U in N, for O~i<n, onto the co sets (}i NL/K(U) of NL/K(U)
in K x, respectively; as it maps N onto K x , and as its kernel U is con-
tained in U, K x is the disjoint union of these n co sets (a result which is
substantially contained in corollary 2 ofth. 3, Chap. XII-3). In particular,
a function f = For is 0 outside baU if and only if F is 0 outside () NL/K(U ).
To complete our proof, we have to compare the right-hand sides of (l)
and of (2) for such a pair of functions j; F. By corollaries 2 and 3 of
theorem I, Appendix III, § 8, we have Ir(a)IK=llall for allaEN; therefore
r -1 (R X) = No, and the direct image of the measure da in (1) is the measure
dXx in (2). Now take any aEbaU; in §4 of Appendix III, we have seen
that r(a)=anEK\ and that the d, for O~i<n, may be taken as re-
presentatives of the co sets of U in N and therefore also as a basis of A
over L; consequently, if {lJo, ... , IJn- d is a basis of Lover K, the elements
dlJj, for O~i,j<n, make up a basis of A over K. In order to evaluate
the integrand of (1) for o'EbaU, put Jl= lilA - all. Then the automorphism
z-+(lA-a)z of the additive group of A has the module Jl n. On the other
hand, this module may also be expressed by means of corollary 3 of
th.3, Chap. 1-2, in terms of the determinant of the linear substitution
determined by that automorphism on the basis {d IJj}; this determinant
is easily seen to have the value (l_x)n, with x=an=r(a). This gives
Jl=ll-xI K. Therefore, for x=r(a), the integrands in the right-hand sides
of(1) and of (2) are the same. This concludes the proof.
Index of definitions
(This index contains all concepts and terms whose definition is given or recalled in the
text, even if this is not done by way of a formal definition. A reference such as IV-l (62)
means Chapter IV, § 1, page 62; IV-I, d. 1 (59) means Chapter IV, § 1, definition 1, page S9;
P & N (XII) means Prerequisites and Notations, page XII).
above, III-I, d. 4 (45). congruence group, XIII-ll, d. 1 (282).
adele, adele-ring, IV-I, d. 1 (60). constant: - -field extension, XIII-I (247);
admissible (for G, for (G, r)), VII-2 (lOS). field of -s, IV-4 (77); locally -, VII-2
A-field, III-I, d. I (43). (106).
algebraic: - dual, II-S (39); - number- covariant, IX-3, d. 3 (172).
field, III -I (43). cyclic: - algebra, IX-4, d. 6 (1841; - ex-
almost all, III-I (47). tension, IX-4 (180); - factor-class,
annihilator, IX-I (162). - factor-set, IX-4 (181).
associated by duality, IJ-S n~).
attached to: factor-class -, IX-3 (176); char- Dedekind zeta-function, VII-6, d. 8 (129).
acter -, IX-4 (180); cyclic extension defining group, XIII-ll, d. I (282).
-, IX-4 (lBI). deg, VI (96).
Aut, IV-3 (71), X-I (188-189). degree: (of a place, of a divisor), VI (96);
automorphism, P & N (XV); Frobenius, modular -, 1-4, d. 4 (15).
cf. Frobenius. denominator, V-3 (87).
different, VIII-I, d. I (140), VIII-4, d. 3
basic character, II-S (41), IV-2 (70).
(IS3).
belonging to (factor-class -), IX-3 (176).
differental: - exponent, VIII-I, d. I (140);
below, III-I, d. 4 (4S).
- idele, VII-2, d. 4 (113).
Brauer group, IX-3 (171).
disconnected: totally -, VII-3 (114).
canonical: - class, - divisor, VI (100); discriminant, V-4, d. 6 (91), VIII-2, d. 2
-injection, IV-I (60), V-2(83);-mor- (144), VIII-4, d. 4 (156), VIII-4 (157).
phism, XII-I (2IS), XII-2 (224), XIII-I div, VI (97, 100).
(24S); - pairing, XIJ-I (215), XII-2 divisor, VI (96), (of a character) VI (100);
(224), XIII-I (245). - -class, VI (97); canonical --, VI
central, IX -I (162). (100); principal-, VI (97).
character, P & N (XV), II-S (38); basic-, dual: -lattice, II-S (39); -measure, VII-2
cf. basic; multiplicative -, XIII-2 (10S); - system, VI (99); algebraic-,
(2S0); order of -, II-S, d. 4 (41). II-S (39); topological-, II-S (38).
CI, IX-3 (170). duality (associated by -), II-S (38).
class: - of algebras, IX -3 (170) ; - ofideals,
V-3 (87); - of divisors, VI (97); canon- Eisenstein polynomial, VIII-2 (147).
ical-, VI (100). embedding, P & N (XVI); natural-,
classfield (for a congruence group), XIII-II VIII-4 (IS4); proper -, III-2 (50).
(28S). End, 111-3 (S3), X-I (188-189).
coboundary, IX-3, d. S (17S). endomorphism, P & N (XV).
coherent, VII-2 (110); - system, VI (97). Euler product, VII-l (102).
completion, III-I, d. 2 (43-44); -at (a exponent (differental-), VIII-I, d. 1(140).
place), III-I (44).
conductor, VII-3, d. 7 (117), VII-7 factor-class, IX-3 (17S); cyclic -, IX-4
(133-134). (181).
Index of definitions
factor-set, IX-3, d. 4 (175); cyclic -, IX-4 maximal order, V-2 (82), X-I (191), XI-4
(181). (211).
faithful, IX-I (162). mod, 1-2 (3-4).
field of constants, IV-4 (77). modular degree, 1-4, d. 4 (15).
finite: - field, I-I (I); - place, III-I, d. 3 module: (of an automorphism) 1-2 (3); (of
(44). a p-field) 1-4, d.3 (13); (of an idele)
Fourier transform, VII-2 (105). IV-3 (73).
fractional ideal, V-3, d. 4 (85). monic, P & N (XIV).
Frobenius automorphism, 1-4, d. 5 (20), morphism, P & N (XV); canonical -,
XII-2 (221), XIII-I (247), XIII-ll XII -I (215), XII -2 (224), XIII-I (245);
(284-285). natural -, IX-3 (171); restriction -,
fully: - ramified, 1-4, d. 4 (15); to split-, IX-3 (173).
VIII-5 (158). multiplicative character, XIII-2 (250).
fundamental set, V-4 (89). N, III-3 (53).
genus, VI, d. I (100). 91, V-3, d. 5 (88), VIII-4 (155).
natural: - embedding, VIII-4 (154);
Hasse invariant, XII-2 (221, 224), XIII-3 - morphism, IX-3 (171).
(252). norm, III-3 (53), V-3, d. 5 (88), VIII-4(155);
Herbrand distribution, VIII-3 (152), XH-4 K- -, II-I, d. I (24); reduced -, IX-2
(239). (169); regular -, III-3 (53).
hermitian form, X-3 (198). normal lattice, X-I (193), XI-4 (212).
Hilbert symbol, XIII-5 (262). N-orthogonal, II-I (25-26).
Hom, X-I (188-189). numerator, V-3 (87).
homomorphism, P & N (XIV); transfer-, ord, 1-4, d. 3 (13), II-5, d. 4 (41).
XII-5 (241). order, P & N (XV), V-I, d. 2 (81), X-I (191
t;-regu!:u, IX-3, d. 2 (171). -192), XI-4 (211-212); - (of a char-
acter), II-5. d. 4(41); -of ramification,
id, V-3 (87).
1-4, d. 4 (15); left, right -, X-I (192),
ideal: fractional -, V-3, d. 4 (85).
XI-4 (212); maximal -, V-2 (82), X-I
ideal-class, V-3 (87).
(191), XI-4 (211).
idele, idele group, IV-3 (71); differental-,
orthogonal: N- -, II-I (25-26).
VII-2, d. 4 (113).
orthonormal, X-3 (198).
image (of a Haar measure), II-4 (36).
imaginary (place), III-I, d. 3 (44). p-adic, 1-3 (II).
infinite (place), III-I, d. 3 (44). pairing (canonical-), XII-l (215), XII-2
integral (over a ring), 1-4 (22). (224), XIII-I (245).
invariant (Hasse -), cf. Hasse. p-field, 1-3, d. 2 (12).
inverse (algebra), IX-I (164). place, III-I, d. 2 (43-44); finite, imaginary,
isomorphism, P & N (XV). infinite, real -, III-I, d. 3 (44).
Poisson summation formula, VII-2 (106).
k-Iattice, V-2, d. 3 (83).
polynomial: - mapping, 1II-3 (52); Eisen-
K-lattice, II-2, d. 2 (28).
stein -, VIII-2 (147); prime -, III-I
K-norm, II-I, d. I (24).
(46).
lattice: dual -,11-5 (39); k- -, V-2, d. 3 power-series (formal-), 1-4 (20).
(83); K- - , II-2, d. 2 (28); normal-, prime: - element, 1-4, d. 3 (13); - poly-
X-I (193), XI-4 (212); Q- -, V-I, d. 1 nomial, III-I (46); - to P, VII -8 (136);
(80); R- -, II-4, d. 3 (35). mutually -, V-3 (86).
left order, X-I (192), XI-4 (212). primitive root of I, P & N (XV).
L-function, VII -7 (133). principal: - divisor, VI (97); - ideal, V-3
lie (to - above, below), III-I, d. 4 (45). (87); - quasicharacter, VII-3, d. 6
local field, 1-4 (20). (115).
locally constant, VII-2 (106). proper embedding, III-2 (50).
Index of definitions