CA text
CA text
Andrea Ferretti
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
CONTENTS
introduction vii
1 basics 1
1.1 Rings and ideals 1
1.2 Quotients 11
1.3 Modules 15
1.4 More constructions with modules 24
1.5 Euclidean rings 30
1.6 Localization 35
1.7 Graded rings and modules 43
1.8 Exercises 47
2 finiteness conditions 53
2.1 Principal ideal domains 53
2.2 Artinian and Noetherian modules 56
2.3 Noetherian rings 61
2.4 Artinian rings 65
2.5 Length 69
2.6 Exercises 73
3 factorization 79
3.1 Unique factorization domains 79
3.2 Primary decomposition 87
3.3 Primary decomposition for modules 99
3.4 Factorization in Dedekind rings 105
3.5 Modules over Dedekind rings 110
3.6 Exercises 115
4 computational methods 119
4.1 The resultant 120
4.2 Discriminants 126
4.3 Gröbner bases 131
4.4 More algorithmic operations 140
4.5 Exercises 144
5 integral dependence 149
5.1 Integral extensions 149
5.2 Going up and down 157
5.3 Noether normalization 162
iii
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Contents
iv
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Contents
v
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
INTRODUCTION
vii
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
model theory and invariant theory in the exercises. For the for-
mer, see [Sch99], while a good introduction to invariant theory is
[Dol03].
Unfortunately, many topics are not covered here, in particular
those that depend on homological algebra techniques. Among
them, we can mention flatness, spectral sequences, the study
of the Koszul complex and regular sequences, Cohen-Macaulay
rings, Gorenstein rings and duality theory. I plan to introduce
these topics in a sequel, tentatively called (without much fantasy)
“Homological methods in commutative algebra”.
I should remark that this is an introductory text, so I didn’t
even try to cover the material of more advanced books, such as
Mastumura’s books [Mat70] and [Mat86], or Eisenbud [Eis95]. To
give an idea, the latter was created as a reference for the famous
algebraic geometry book [Har77], and ended up being far thicker
than it. I advise the reader to consult [Eis95] for further reading,
and remark that it is actually quite enjoyable despite its appear-
ance; my scope here is far more limited than Eisenbud’s.
viii
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
ix
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
x
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
The prerequisites for reading the book are not many. We as-
sume that the reader is more or less familiar with algebraic ob-
jects, and some acquaintance with linear algebra is assumed – for
instance, it is useful if the reader has some familiarity with the
tensor product construction in the context of vector spaces. Fi-
nally, from Chapter 7 we make some use of elementary topology
and some notions about metric spaces.
The book is suitable for a semester on algebra at the introduc-
tory graduate level. It could also be used to support a shorter
course on algebraic number theory, introducing global and local
fields, Dedekind rings with their factorization theory and com-
pletions.
To help the reader orient themselves, we suggest some possible
paths through the book, other than reading it cover to cover.
A standard introduction to commutative algebra, along the
lines of [AM69], would start from the basics in Chapters 1 to
3, then go through integral extensions in Chapter 5, topological
methods in Chapter 7 (going quickly over Sections 7.1 and 7.2),
prove the Nullstellensatz in Sections 8.1 and 8.2, then introduce
xi
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
xii
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
introduction
xiii
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1
BASICS
1
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
0 = 0 + 00 = 00
0·a+0·a = 0·a
2
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.1 rings and ideals
Z[i] = {a + ib | a, b ∈ Z}
3
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
functions you just sum their values); moreover one can de-
fine multiplication to be composition of endomorphisms. In
this way End(E) becomes a ring with unit, usually noncom-
mutative.
(h) If A1 , . . . , An are rings, then one can form in the obvious way
the direct product
A = A1 × · · · × An ,
f : Z>1 → C,
4
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.1 rings and ideals
a(x) = a0 + a1 x + a2 x2 + · · ·
a(x) = a0 + a1 x + a2 x2 + · · · ,
b(x) = b0 + b1 x + b2 x2 + · · ·
we let
c0 = a0 b0
c1 = a1 b0 + a0 b1
c2 = a2 b0 + a1 b1 + a0 b2 .
..
.
5
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
This is just the operation that comes from distributivity and the
request that xm · xn = xm+n .
By construction A[x] is a subring of A[[x]]. When it makes sense
we will also use the notation A{x} for the ring of convergent power
series.
Let us agree again that from now on all rings will be commutative
with unit. If B is a ring and {Ai } is a collection of subrings of B,
the intersection A = ∩i Ai is again a ring. In particular given a
set E ⊂ B there is a smallest ring containing E.
6
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.1 rings and ideals
1 = a0 b0
0 = a1 b0 + a0 b1
0 = a2 b0 + a1 b1 + a0 b2
..
.
a(x) = xr b(x)
for some b(x) ∈ k[[x]] invertible; this makes the algebra of power
series much easier than that of polynomials.
7
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
a = x1 a1 + · · · + xn an .
To see this, one only has to check that the set thus defined is an
ideal; of course it is the smallest ideal containing a1 , . . . , an .
1 = m + xa
b = bm + xab ∈ M.
Example 1.1.18. (a) Z has the principal ideals (n); these are the
only ideals because they are the only additive subgroups.
This will be generalized in Proposition 1.5.5. The ideal (n)
is prime if and only if n = 0 or n is a prime of Z.
(b) The ideal (5) is not prime in Z[i]; indeed 5 = (2 + i)(2 − i).
So a prime element of a ring need not be prime in a bigger
ring.
8
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.1 rings and ideals
9
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
I ⊂ P1 ∪ · · · ∪ Pn ,
P ⊃ I1 ∩ · · · ∩ In ,
10
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.2 quotients
a = a1 · a2 · · · · · an ∈
/ P,
1.2 quotients
After one introduces rings, the next natural steps is to define the
class of maps between them.
Definition 1.2.1. Let A, B be rings. A ring homomorphism, or sim-
ply homomorphism, between them is a map
f: A → B
11
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
nh · nk 6= n · hk
as soon as n 6= 1.
eva : k[x1 , . . . , xn ] → k
(e) In the same way for every topological space X and for every
x ∈ X we have the valuation homomorphism
evx : C(X) → R
c : Z[i] → Z[i]
is a ring automorphism.
Similarly, let ω ∈ C be a primitive third root of unity, and
take A = Z[ω]. There is a unique automorphism A → A
exchanging the third roots of unity ω and ω2 .
12
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.2 quotients
13
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
a · k = ak ∈ K/I.
If J is prime then π−1 (J) is prime; this is true for any homo-
morphism. Vice versa, let P ⊃ I be a prime of A and assume
that
a · b = ab ∈ P/I.
Then ab ∈ P + I = P, so either a ∈ P or b ∈ P. It follows that P/I
is prime.
Finally, the correspondence preserves inclusions, hence it pre-
serve maximality of ideals.
Since 0 is prime in A if and only if A is an integral domain,
and is maximal if and only if A is a field, we deduce the
Corollary 1.2.10. The ideal I ⊂ A is prime if and only if A/I is an
integral domain. It is maximal if and only if A/I is a field.
From the corollary we can deduce again that maximal ideals
are prime.
Example 1.2.11. Consider the homomorphism va of Example
1.2.6. It is a surjective homomorphism whose kernel is
14
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.3 modules
∼k
k[x1 , . . . , xn ]/Ia =
g : A → A/I × A/J
b = x+i
c = x+j
b − c = i − j.
1.3 modules
Formally modules over a ring are defined exactly like vector
spaces over a field.
15
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
A×M →M
(a, m) → a · m,
(a · b) · m = a · (b · m)
16
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.3 modules
n·g = g+···+g.
| {z }
n times
(g) Let M be a manifold (if you prefer just take M an open set in
Rn ). Then C(M) is a module over C∞ (M).
x · v = L(v).
17
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
(j) Let M be an A-module, and denote M[x] the set of all formal
finite linear combinations
mn xn + · · · + m1 x + m0
I · M = hi · m | i ∈ I, m ∈ MiA .
M + N := {m + n | m ∈ M, n ∈ N}
(M : N) := {a ∈ A | aN ⊂ M}
is an ideal of A.
f: M → N
18
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.3 modules
such that
m + n := m + n and a · m := am.
m ≡ n (mod N)
19
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
αn−1 αn
M• : · · · → Mn−1 → Mn → Mn+1 → · · · .
im fn−1 ⊂ ker fn .
If we have
im fn−1 = ker fn
we say that M• is an exact sequence. A three-term exact sequence
like
0 →M →N →P →0
is called a short exact sequence. In this case the first map is injective
and the last one is surjective.
Remark 1.3.14. If
α β
0 →M →N →P →0
20
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.3 modules
21
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
M = hm1 , . . . , mr iA .
mr = a1 m1 + · · · + ar mr ,
The above result and its corollaries are often used when A is a
local ring, that is A has only one maximal ideal M. In this case of
course we just have J = M.
Applying Nakayama’s lemma to the quotient M/N we get the
seemingly stronger form
22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.3 modules
23
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
24
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.4 more constructions with modules
Example 1.4.4. (a) Every vector space over k has a basis, hence
it is free.
(b) Regard A[x] as an A-module; then it is the direct sum of a
denumerable quantity of copies of A. Instead A[[x]] is their
direct product.
(c) If M = N ⊕ R we have an exact sequence
0 →N →M →R → 0.
where α(n) = 2n, which does not split. Indeed Z/4Z has an
element of order 4, while Z/2Z ⊕ Z/2Z does not.
(e) For another example of an exact sequence which is not split
take A = k[x]/(x2 ). Then we have the exact sequence
α
0 →k →A →k → 0,
where α(t) = tx. Can you see why it does not split?
We go on with some definitions.
Definition 1.4.5. Let M be an A-module, m ∈ M. The annihilator
of m is the ideal
Ann(m) = {a ∈ A | a · m = 0}.
25
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
ab(m + n) = 0 and a · cm = 0
The reader may already know the next construction in the con-
text of vector spaces.
(m + m 0 ) } n − m } n − m 0 } n
(am) } n − a · (m } n)
m } (n + n 0 ) − m } n − m } n 0
m } (an) − a · (m } n)
26
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.4 more constructions with modules
→ ↓
R
commute. This is all immediate from the definition.
This property is the raison d’être of the tensor product. It allows
us to reduce the study of bilinear maps to that A-linear ones, at
the cost of changing the target. By iterating this construction, one
can also use tensor products to investigate multilinear maps, that
is, maps
M1 × · · · × Mn → R
which are A-linear on each factor. These are in bijective corre-
spondence with A-linear maps
M1 ⊗ · · · ⊗ Mn → R.
Remark 1.4.10. From another point of view, to specify a bilin-
ear map M × N → R is the same as to give a linear map M →
Hom(N, R). This observation yields a bijective correspondence
Hom(M ⊗ N, R) ↔ Hom(M, Hom(N, R)),
which is easily seen to be an isomorphism of A-modules. For
those who know some categorical nonsense, this means that · ⊗ N
and Hom(N, ·) are adjoint functors.
27
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
28
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.4 more constructions with modules
29
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
N : A \ {0} → N,
a = qb + r
30
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.5 euclidean rings
1 = qa + r;
Example 1.5.4. (a) The ring Z is Euclidean; the norm is just the
usual absolute value: N(n) = |n|.
(b) For every field k, the ring k[x] is Euclidean. For the norm we
can take N(f) = deg(f); the division is just the usual division
between polynomials.
(c) Now a more subtle example: the ring Z[i] is Euclidean; here
the norm is the squared modulus for complex numbers, that
is
N(a + ib) = a2 + b2 .
Since multiplicativity is clear, let us verify that we can per-
form the division. Let z, w ∈ Z[i] and consider the usual
quotient u = z/w ∈ C. If u ∈ Z[i] we are done; otherwise u
lies in the interior of some 1 × 1 square with integer coordi-
nates. Let q be the nearest vertex of this square, and define r
by
r = z − qw.
Then N(r) = N((u − q)w) is less than N(w) since the modu-
lus of u − q is less than 1.
Note that in this example there may be other vertices that
work, so we really don’t have any kind of uniqueness.
(d) The ring k[[x]] is Euclidean too. For a power series a(x) we
let N(a) be the degree of the first nonzero monomial; that is,
if
a(x) = xk a1 (x)
with a1 (0) 6= 0, we let N(a) = k.
31
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
a = q1 b + r1
b = q2 r1 + r2
r1 = q3 r2 + r3
..
.
32
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.5 euclidean rings
b = qa + r;
33
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
Let x1,1 and x2,1 be the first two elements of the first column.
Using row operations and the Euclidean algorithm we can sub-
stitute x1,1 with the maximum common divisor of the two. We
repeat the process until we have one element on the first column
that divides all the others. We put it in first position, and subtract
a suitable multiple of the first row from the others, so that all the
elements in the first column below the first are 0. So we get
x1 ∗ ··· ∗
0 ∗ ··· ∗
.. .
..
. .
0 ∗ ··· ∗
Now we do the same for the first row. This may ruin our first
column, anyway we obtain
x2 0 ··· 0
∗ ∗ · · · ∗
.. .
..
. .
∗ ∗ ··· ∗
34
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.6 localization
1.6 localization
In this section we introduce the process of enlarging a ring A by
the use of “fractions” with entries in A. Thing would be sim-
pler if A was an integral domain, but for our purpose we need
35
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
the more general case. For reasons which will become apparent
when translated in geometric context, this process is called local-
ization.
Definition 1.6.1. Let A be a ring, S ⊂ A a subset. We say that S
is a multiplicative set if 1 ∈ S and for every s, t ∈ S we have st ∈ S.
Example 1.6.2. (a) For every nonzero a ∈ A the set
S = {1, a, a2 , . . . }
is a multiplicative set.
(b) If P ⊂ A is a prime ideal, then S = A \ P is a multiplicative
set. More generally if {Pi } is a family
S of prime ideals of A, we
have the multiplicative set S = A \ i Pi .
(c) The set of nonzero divisors of A is a multiplicative set. So is
the set of invertible elements.
(d) If I ⊂ A is an ideal, S = 1 + I is a multiplicative set.
(e) Take A = k[x1 , . . . xn ] and let V ⊂ kn be any subset. Then
is a multiplicative set.
(f) Let A = k[x]; then
is a multiplicative set.
Definition 1.6.3. Given a ring A with a multiplicative set S we
define the localization of A at S as the ring S−1 A obtained as
follows.
Elements of S−1 A are couples (a, s) ∈ A × S modulo the fol-
lowing equivalence relation. Two couples (a, s) and (b, t) are
equivalent if there exists u ∈ S such that
atu = bsu.
Apart from the presence of u this is the usual cross relation for
fractions. We cannot avoid u unless A is an integral domain.
36
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.6 localization
ι : A → S−1 A
The following universal property comes for free from the defi-
nition:
37
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
38
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.6 localization
ii) Let
J := ι−1 (I · S−1 A)
We first prove that (I : s) ⊂ J for any s ∈ S. Indeed let
a ∈ (I : s), so as ∈ I; then
as
a ∈ ι−1 ⊂ J.
s
For the other inclusion let a ∈ J; this means that a/1 = b/s
for some b ∈ I, s ∈ S. So there is u ∈ S such that
asu = bu ∈ I.
Proof. Let P be a prime ideal and let a ∈ N(A), then some power
an = 0 ∈ P, so a ∈ P. This proves one inclusion.
For the other, let a be contained in every prime ideal. Then Aa
is ring without prime ideals, that is, Aa must be the 0 ring. Then
ι(1) = 0 means that 1 · an = 0 for some n, so a is nilpotent.
39
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
√
Corollary 1.6.11. Let I be an ideal of A. Then I is the intersection
of all prime ideals containing I.
A → A/I → T −1 (A/I).
S−1 A → T −1 (A/I),
40
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.6 localization
mtu = nsu.
ιM : M → S−1 M
41
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
Proof. Let
n αn−1 α
· · · → Mn−1 −−−→ Mn −−→ Mn+1 → · · ·
42
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.7 graded rings and modules
Properties like the above, which hold true for a ring (or a mod-
ule, or a homomorphism. . . ) if and only if they hold for the
localization at every prime ideal are called local properties. We
will see more examples in the next chapters.
43
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
ab ∈ Ag+h for a ∈ Ag , b ∈ Ah .
44
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.7 graded rings and modules
a = e1 f1 + · · · + ek fk
am ∈ Mg+h for a ∈ Ag , m ∈ Mh .
45
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
this is a module over GrI (A). When (A, M) is local we will write
Gr(M) for GrM (M).
Definition 1.7.11. More generally, we call a nested sequence of
submodules of M ⊃ M1 ⊃ · · · ⊃ Mn ⊃ · · · a filtration and we de-
fine the associated graded module
Gr(M) := ∞
L
k=0 Mn /Mn+1 .
46
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.8 exercises
Remark 1.7.14. This does not mean that m ∈ (M/N)g if and only
m ∈ Mg ! A homogeneous class can have various inhomogeneous
representatives, and even homogeneous representatives of differ-
ent degrees. The only case where the preceding assertion is true
is when N = N0 .
A = A0 [a1 , . . . , an ].
a = b1 a1 + · · · + bn an
1.8 exercises
1. Any (not necessarily commutative) ring is a subring of a ring
with unit. (Give the abelian group Z ⊕ A a suitable ring struc-
ture.)
47
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
then X n
f(n) = g(d)µ .
d
d|n
8. The only maximal ideals of A = C([0, 1]) are those of the form
Ix = {f ∈ A | f(x) = 0}
48
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.8 exercises
I = (xαi ),
12. Let
0 → M1 → M2 → M3 →0
f1 f2 f3
↓ ↓ ↓
0 → N1 → N2 → N3 →0
be a map of exact sequences of A-modules, in the sense that all
displayed maps are A-linear, the rows are exact sequences and
the diagram commutes. Show that we have a long exact sequence
for some n;
f: S → T, g: P → T
49
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
h
g
↓
f
←
S →T → 0.
14. Show that a finitely generated torsion-free module over A =
k[x] is free.
15. For a converse, show that the ideal (x, y) is a torsion-free
module over A = k[x, y], but it is not free.
16. This exercise uses some topology. Let X be a topological
space, E a vector bundle on X. The continuous sections of E
are a module over the ring A = C(X).
Now take X = S2 , the 2-sphere, and let E = T S2 be its tangent
bundle. Prove that the associated module M is not free, but M ⊕
A is free.
17. We work out an algebraic version of the above exercise.Let
M = {(f1 , f2 , f3 ) | x1 f1 + x2 f2 + x3 f3 = 0}
N = {(x1 f, x2 f, x3 f) | f ∈ A}.
∼ A and that
Prove (possibly algebraically) that N =
∼ A3 ;
M⊕N =
50
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
1.8 exercises
51
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
basics
52
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2
FINITENESS CONDITIONS
53
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
structure. From this point of view, the most fortunate case is that
of rings whose ideals are all generated by a single element.
Definition 2.1.1. Let A be an integral domain. We say that A is a
principal ideal domain if all the ideals of A are principal.
Remark 2.1.2. If I ⊂ A is any ideal of a principal ideal domain,
∼ A as A-modules. Indeed let I = (a); then the map
then I =
A →I
x → ax
is both injective and surjective.
Example 2.1.3. We shall not give many examples. We have seen
that Euclidean rings are principal ideal domains, in particular Z,
Z[i], k[x] and k[[x]].
On the other hand, it is not easy to distinguish the class of prin-
cipal ideal domains from that of Euclidean rings. The simplest
example
h √ of ia principal ideal domain which is not Euclidean is
1+ −19
Z 2 , see Exercise 19 of Chapter 1 and 5 of Chapter 3.
In this section we shall not say much about principal ideal do-
mains, the main result being Theorem 3.1.6, which states that in
a principal ideal domain we have unique factorization. We start
with a simple but important fact.
Proposition 2.1.4. Let A be a principal ideal domain. Then every
nonzero prime ideal of A is maximal.
Proof. Let P = (p) be prime, and take a ∈ / P; we only need to
show that (a, p) = A.
Let (a, p) = (b), so p = bh for some h ∈ A. Note that b ∈
/ P,
since a ∈ (b), so we have h ∈ P. This means that
p = bh = bkp
54
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.1 principal ideal domains
Proof. Let
L
F= s∈S As ,
b1 ns1 + · · · + bk nsk = 0
55
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
Ar ⊕ A/(a1 ) ⊕ · · · ⊕ A/(ak )
56
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.2 artinian and noetherian modules
N1 ⊂ N2 ⊂ N3 ⊂ · · ·
is eventually stationary.
S
Proof. Assume the first property, and let N := Ni . Since N
is generated by a finite number of elements, these all appear in
some Nk ; after k the inclusions become equalities.
Conversely, assume the second property, and let N ⊂ M be a
submodule. Take n1 ∈ N; if N = (n1 ) we are done. Otherwise
take n2 ∈ N \ (n1 ), and so on. We cannot have an infinite chain
N1 ⊃ N2 ⊃ N3 ⊃ · · ·
is eventually stationary.
57
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
58
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.2 artinian and noetherian modules
s1 6 s2 6 s3 6 · · ·
is eventually stationary;
ii) every subset of S has a maximal element.
Proof. Assume ii) and take an ascending chain
s1 6 s2 6 s3 6 · · · ;
59
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
The thesis follows from the simple remark that for any sub-
modules M 0 , M 00 ⊂ M the equalities
M 0 ∩ N = M 00 ∩ N and πN (M 0 ) = πN (M 00 )
60
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.3 noetherian rings
61
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
ιj : A → A j
so in A we have
m n
aj j (aj j b − bj ) = 0.
By increasing the nj and the mj and changing the bj accordingly,
it is not restrictive to assume that all nj are equal to a fixed n and
all mj to a fixed m.
So ajm+n b ∈ I for all j. The powers am+n j generate the whole
ring, so we can write
X
n
1= cj am+n
j ;
j=1
62
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.3 noetherian rings
it is an ideal of A.
First Proof. Let I ⊂ A[x] be any ideal. Since LC(I) is finitely gen-
erated we can choose f1 , . . . , fk ∈ I such that
f = g1 f1 + · · · + gk fk + r,
63
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
Second Proof. This second proof does not use the notion of mod-
ule. Let I ⊂ A[x] be an ideal, and choose f1 ∈ I to be an element
of I of least degree. If I = (f1 ) we are done, otherwise choose f2
of minimal degree in I \ (f1 ). If I 6= (f1 , f2 ), repeat this process to
choose f3 and so on.
We only need to show that this process eventually stops. Let
k be the first integer such that LC(f1 ), . . . , LC(fk ) generate LC(I).
We claim that I = (f1 , . . . , fk ). Indeed take any f ∈ I; if deg f <
deg fk we must have f ∈ (f1 , . . . , fk−1 ) by the choice of fk .
Otherwise deg f > deg fk . As in the first proof we can write
f = g1 f1 + · · · + gk fk + r,
where r has degree smaller than f; moreover r is in (f1 , . . . , fk ) if
and only if f is. By repeating this step enough times we find that
f ∈ (f1 , . . . , fk ).
The Hilbert’s basis theorem has some corollaries, which can be
seen as generalizations of the theorem itself. First, if A is Noether-
ian, then A[x1 , . . . , xn ] is again Noetherian. More generally every
finitely generated A-algebra is a quotient of some A[x1 , . . . , xn ],
so we get
Corollary 2.3.6. Let A be a Noetherian ring, B a finitely generated
A-algebra. Then B is Noetherian.
We conclude this section with some facts on ideals of Noether-
ian rings. These results will be generalized by the theory of pri-
mary decomposition in Section 3.2, but we will need them in next
section to compare the Artinian and Noetherian property.
Proposition 2.3.7. Any ring A has minimal prime ideals. More pre-
cisely any prime P ⊂ A contains a minimal prime ideal.
Proof. The intersection of a descending chain of prime ideals is a
prime ideal; now apply Zorn’s lemma.
By considering the quotient A/I we see that indeed there are
minimal primes in the family of primes containing a fixed ideal
I. These will be simply called the minimal primes of I. For Noe-
therian ring we also have:
Proposition 2.3.8. Let A be a Noetherian ring, I ⊂ A an ideal. Then
there are finitely many minimal primes of I.
64
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.4 artinian rings
Proof. Assume that this is not true, and let F be the family of
ideals which don’t satisfy the thesis. Let I ∈ F be maximal; by
taking the quotient A/I we can assume that I = 0.
In particular 0 is not prime, so there are nonzero a, b ∈ A
such that ab = 0. By maximality, (a) and (b) have finitely many
minimal primes. Any minimal prime of (0) either contains a or b,
hence it is a minimal prime of (a) or (b). So 0 has finitely many
minimal primes, contradiction.
Proof. Let
J = (a1 , . . . , an )
and take k big enough so that ak i ∈ I for every i. Let m = kn;
then every monomial of degree m in a1 , . . . , an contains at least
one ai at the power k, hence is in I.
65
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
M1 ⊃ M1 ∩ M2 ⊃ M1 ∩ M2 ∩ M3 ⊃ · · · .
a · N(A)k+1 = a · N(A)k 6= 0,
66
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.4 artinian rings
m
is not contained in any maximal ideal, hence Mm i + Mj
i j
= A.
We can then apply the Chinese remainder theorem 1.2.12, or
better the refined version given in Exercises 9 and 10 of Chapter
1, to obtain the first part of the thesis.
The ideals of A/Mm i
i
correspond to ideals of A which contain
mi
Mi , hence the only maximal ideal of the quotient is the image
of Mi .
Corollary 2.4.6. With the notations of the previous theorem, we have
i ∼
A/Mm
i = A Mi .
Proof. Let π : A → A/Mmi
i
and ι : A → AMi be the natural maps.
mi
Since A/Mi is local with maximal ideal π(Mi ), the projection
of any element outside Mi is invertible in A/Mm i
i . This yields a
map
AMi → A/Mm i
i .
To give the inverse map we only need to check that ι(a) = 0
for a ∈ Mm i
i . From the previous proof we have
Mm mk
1 · · · M1
1
= 0.
Note that
I = Mm mi mk
1 · · · Mi · · · M1
1 [ 6⊂ Mi ,
mi
where M
[
i means that this factor has been omitted. This follows
from Proposition 1.1.20 ii). Take any i ∈ I \ Mi , and let a ∈ Mm i
i .
Then ai = 0, whence ι(a) = 0.
67
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
68
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.5 length
(b) For more examples, one can take any Noetherian ring A and
localize it at a prime P ⊂ A. The ring AP is local with max-
imal ideal M = P · AP . Then the ring AP /Mn is local and
Artinian.
Indeed it is Noetherian, and its prime ideals correspond to
primes Q ⊂ A such that Pn ⊂ Q ⊂ P. The only such prime
ideal is P itself, so every prime of AP /Mn is maximal.
2.5 length
We begin with a
Example 2.5.2. It is not the case that a module always has a series
of composition. The simplest example is the case where A is a
field and M is a vector space of infinite dimension. For another
example Z as a module over itself will do, since any nonzero
ideal (n) of Z properly contains another ideal, for instance (2n).
69
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
Theorem 2.5.6. All series of compositions for M (if any) have the same
length. If `(M) is finite, any chain be enlarged to a series of composition.
70
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.5 length
0 → M1 → M2 → M3 →0
(including the statement that the left hand side is finite if and only if
the right hand side is).
Proof. Assume that M1 and M3 have finite length, and take two
series of composition for them. Using the bijective correspon-
dence between submodules of M3 and submodules of M2 con-
taining the image of M1 , the two fit together to give a chain for
M2 . The associated subquotients are simple, so we get a series of
composition for M2 , hence the thesis.
71
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
72
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.6 exercises
2.6 exercises
1. Assume that A[x] is a principal ideal domain. Then A is a field.
73
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
I := {f ∈ A | f(0) ∈ 2Z}
74
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.6 exercises
14. [Cla15, Prop 9.5] Let A be a local Boolean ring. Show that
A= ∼ Z/2Z.
75
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
finiteness conditions
23. Prove the following lemma of Artin and Tate ([AT51]). Let
A ⊂ B ⊂ C be rings, where A is Noetherian. Assume that C is
finitely generated as an A-algebra and as a B-module. Prove that
B is also finitely generated as an A-algebra.
76
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
2.6 exercises
77
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3
FA C TO R I Z AT I O N
79
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
x = p1 · · · pn
80
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.1 unique factorization domains
x = p1 · · · pn = q1 · · · q m .
p2 · · · pn = q 2 · · · qm .
ma + nx = 1. (3.1.1)
mab + nxb = b;
81
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
x1 , x2 , . . . , xn , . . .
a = x1 y1 + · · · xn yn .
82
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.1 unique factorization domains
g(x) = f(x)h(x)
83
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
f(x) = an xn + · · · + a1 x + a0 ,
an xn = g(x) · h(x).
Since A/P is an integral domain we see that g(x) = bxk for some
k < n, so
g(x) = bk xk + · · · + b1 x + b0 ,
with bi ∈ P for i < k, in particular b0 ∈ P. A similar remark
holds for h, so we see that a0 ∈ P2 .
g(x) = f(x)h(x)
84
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.1 unique factorization domains
f1 , f2 , . . . , fn , · · · ∈ A[x]. (3.1.2)
85
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
f1 , f2 , . . . , fn , · · · ∈ A
we see that, since all fi divide f1 , they all live inside a ring
k[x1 , . . . , xn ], so we are done like before.
Proof. One implication is Theorem 3.1.5. For the other, note that
any irreducible element is prime, by the above observation. More-
over, the unique factorization into primes easily implies that a
divisibility chain stabilizes. Indeed in any divisibility chain the
number of prime factors decreases.
a = p1 · · · pn ,
86
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
xy = p1 · · · pn ;
87
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
N: A →Z
u → uu
is multiplicative. Assume that for instance 2 factors in a nontriv-
ial way in A; since N(2) = 4 we see that a factor α must have
N(α) = 2, which is easily seen to be impossible in A. Similarly
all other factors are irreducible.
√
To check that 2 and 1 ± −5 do not differ by an invertible
element observe first that if α is invertible, it must
√ satisfy N(α) =
±1. But then the fact that N(2) = 4 and N(1 ± −5) = 6 shows
that they are indeed distinct irreducible factors.
Example 3.2.2. (a) Consider the ring A = k[x, y], and the ideals
P = (x, y) and I = (x, y2 ). Then P is prime and P2 ⊂ I ⊂ P so
we cannot hope to factorize I as the product of prime ideals.
88
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
89
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
(c) In a principal ideal domain the primary ideals are exactly the
prime powers, which is easily checked using factorization of
elements.
Proof. Let X be the set of ideals which do not satisfy the conclu-
sion, and let I ∈ X be maximal. In particular I is not irreducible,
so we can write
I = J∩K
for bigger ideals J and K. But then J and K satisfy the thesis,
hence I does.
90
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
91
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
92
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
so that I = Qi ∩ R. Then
R R ∼ R + Qi ⊂ A .
= =
I Qi ∩ R Qi Qi
Note that A/Qi has the only associated prime Pi by the first part
of the proof. Since Ass(R/I) ⊂ Ass(A/Qi ) and is not empty, we
see that Pi is an associated prime of R/I, and a fortiori of A/I.
Note that the above results only give uniqueness of the radicals
of the factors of a primary decomposition. We shall say that
the primes Pi appearing in a minimal primary decomposition
of I belong to I. The factors themselves are not determined by I
only, as the following examples show, but there is a weak sort of
uniqueness, which we shall investigate.
Example 3.2.20. (a) It is very easy to find different minimal pri-
mary decompositions for ideals in a polynomial ring. A typ-
ical example is I = (x2 , xy) in the ring k[x, y], which can be
written
I = (x) ∩ (x2 , xy, y2 ) = (x) ∩ (x2 , y).
All ideals appearing in the decomposition are indeed pri-
mary: (x) is prime, while both (x2 , xy, y2 ) and (x2 , y) have
the radical (x, y), which is maximal.
(b) For another example in the same ring take
93
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
xn+1 f(x1 , . . . , xn ) ∈
/ I,
contradiction.
I= f∈A|f =0
D
f1 = f2 g2 ,
f2 = f3 g3
94
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
Corollary 3.2.22 (of Theorem 3.2.18). Let D be the set of zero divisors
of A. If 0 admits a primary decomposition, then D is the union of the
primes belonging to 0.
Let
n
\
0= Qi
i=1
√
be a minimal decomposition of 0, and let pPi = Qi . Then by
(3.2.1) we see that each term of the union (0 : x) is contained in
some prime Pi .
pOn the other hand any prime belonging to 0 has the form
(0 : x), thereby proving the reverse inclusion.
95
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
ι : A → S−1 A
the canonical homomorphism. Then Q corresponds to the ex-
tended ideal S−1 Q and in the other direction Q 0 ⊂ S−1 A corre-
sponds to ι−1 (Q 0 ).
By Proposition 1.6.6 we know that for an ideal Q 0 ⊂ S−1 A we
have Q 0 = S−1 Q, where Q := ι−1 (Q 0 ). In the other direction
assume Q is primary. By the same Proposition
[
ι−1 (Q · S−1 A) = (Q : s).
s∈S
√
and if S ∩ Q 6= ∅ we have (Q : s) = Q by definition.
It remains to check that this correspondence sends primary ide-
als to primary ideals, which is easy and left to the reader.
Remark 3.2.25. With quotients the matters are even simpler. Since
the fact that Q is primary can be detected looking at the quotient
A/Q, the bijective correspondence between ideals containing I
and ideals of A/I restricts to a bijective correspondence between
primary ideals.
For the purpose of the rest of the section, denote bI := ι−1 (S−1 I),
where
ι : A → S−1 A
is the canonical homomorphism.
96
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.2 primary decomposition
is determined by I.
97
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
98
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.3 primary decomposition for modules
Mk+1 ( Mk .
99
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
0 → M0 →M → M 00 →0
A/P ,→ M.
100
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.3 primary decomposition for modules
a· : M →M
m → am
is not injective. We say that a is nilpotent in M if this map is
nilpotent.
We say that a submodule Q ⊂ M is primary if every zero divisor
in M/Q is nilpotent in M/Q.
p
If Q is primary in M and (Q : M) = P we say that Q is P-
primary. Throughout the rest of the section the ambient module
M is fixed.
A primary decomposition for N ⊂ M is a decomposition
N = Q1 ∩ · · · ∩ Qn ,
101
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
n 0 ∈ ker φn+1
a = ker φn
a,
102
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.3 primary decomposition for modules
so that N = Qi ∩ R. Then
R R ∼ R + Qi ⊂ M .
= =
N Qi ∩ R Qi Qi
Note that M/Qi has the only associated prime Pi . Since Ass(R/N)
is not empty and contained in Ass(M/Qi ), we see that Pi is an
associated prime of R/N, and a fortiori of M/N.
103
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
p
Proof. First note that if (Q : M) ∩ S = ∅, then (Q : s) = Q for
any s ∈ S. Now apply Proposition 1.6.16 to obtain the bijective
correspondence. Again, one has to do the easy check that Q is
primary if and only if S−1 Q is.
Let
ι : M → S−1 M
be the canonical homomorphism and for N ⊂ M denote N
b :=
−1 −1
ι (S N).
104
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.4 factorization in dedekind rings
is determined by N.
Remark 3.4.2. The local rings having as only ideals the powers of
the maximal ideal are called discrete valuation rings (DVR). We
will study them in detail in Section 7.3.
(b) We are not able at the present point to give more examples,
but we shall see in√Chapter 5 that√many rings of interest in
arithmetics, like Z[ 19] or Z[(1 + 5)/2] are Dedekind rings.
105
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
I = Q1 ∩ · · · ∩ Qn ;
ι : A → AP
Q = ι−1 (QAP );
I = P1a1 · · · Pn
an
,
I = P1a1 ∩ · · · ∩ Pn
an
.
J∩K = J·K
106
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.4 factorization in dedekind rings
107
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
I = P1a1 · · · Pkak
IAP = Pa1 AP .
Pa1 +1 AP = Pa1 AP ,
108
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.4 factorization in dedekind rings
Another result which gives a hint how far Dedekind rings are
from principal ideal domains is the following.
x≡0 (mod P1 )
x 6≡ 0 (mod P12 )
x≡1 (mod P2 )
..
.
x≡1 (mod Pk ).
109
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
Remark 3.4.17. More precisely, we see from the proof that given
any nonzero x ∈ I, we can find y ∈ I such that I = (x, y).
as A-modules.
t: I⊕J →A
(i, j) → i+j
110
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.5 modules over dedekind rings
∼ I ∩ J. But
is surjective. Moreover ker t =
∼ IJ
I∩J =
since I and J are coprime, hence we have the short exact sequence
0 → IJ → I⊕J →A → 0.
We only need to check that this exact sequence splits, that is, there
exist an A-linear map s : A → I ⊕ J such that t ◦ s = idA . But this
is clear since A is free as an A-module.
For the general case, using the above remark, it is enough to
show that given any two ideals I and J there exists an ideal J 0
with same class of J in G(A), and such that I and J 0 are coprime.
Start from any x ∈ J; by Proposition 3.4.12 there exists an ideal
K such that JK = (x). Moreover by Proposition 3.4.15 there exists
y ∈ A such that
IK + (y) = K.
Multiplying by J we get
(y)J = (x)J 0
for some ideal J 0 . This last relation tells us that J and J 0 are in the
same class in G(A).
Plugging this last relation into (3.5.1) yields
whence I + J 0 = A.
Recall from Exercise 13 of Chapter 1 that an A-module is called
projective if it is a direct summand of a free module. As shown in
that exercise, projective modules are equivalently characterized
by a universal property. In particular this implies that if
0 →M →N →P →0
111
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
Before going into the proof of the main result, we need to gen-
eralize our notion of rank to modules which are not free.
Definition 3.5.4. Let A be an integral domain, k := F(A), and let
M be an A-module. We define the rank of M as the dimension of
the k-vector space
M ⊗A k.
Remark 3.5.5. This notion of course agrees with our previous
definition of rank, but note that it is only defined for integral
domains.
Remark 3.5.6. If M is finitely generated we have
rk M = dimk M ⊗A k = dimk HomA (M, k),
since the latter vector space is dual of the former.
Lemma 3.5.7. Let A be a Dedekind ring, M a finitely generated torsion-
free A-module. Then M is isomorphic to nonzero ideal if, and only if,
rk M = 1.
Proof. Let I be a nonzero ideal; for x ∈ I we have
(x) ⊂ I ⊂ A.
∼ A as A-modules, we have
Since (x) =
1 = rk(x) 6 rk I 6 rk A = 1.
In the other direction assume rk M = 1. In particular there
exists a nontrivial homomorphism
φ : M → k.
Since M is finitely generated, the image of φ is a fractional ideal;
multiplying φ by a constant we can assume φ(M) ⊂ A is an ideal,
call it I.
112
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.5 modules over dedekind rings
0 → ker(φ) →M →I →0
rk ker(φ) + rk I = rk M;
m : Q ⊗Z Q → Q
0 → K∩N →N →J →0
↓ ↓ ↓
0 →K →M →I → 0.
113
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
rk(K ∩ N) = rk N − 1
114
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.6 exercises
3.6 exercises
1. Let k be a field of characteristic 0 and let A = k[x2 , x3 ]. Prove
that every element of A is a product of irreducible elements; still
A is not a unique factorization domain because there exists f ∈ A
irreducible but not prime.
are those given by φ(f) = f(α, β), where α, β ∈ k are such that
β2 = α3 + α.
115
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
X
n
f0 + fi xmi , (3.6.2)
i=1
116
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
3.6 exercises
117
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
factorization
0 → M0 →M → M 00 →0
118
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4
C O M P U TAT I O N A L M E T H O D S
119
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
f(x) = am xm + · · · + a1 x + a0
g(x) = bn xn + · · · + b1 x + b0 .
The whole idea of the resultant stems from the simple remark
that f and g have a common factor of positive degree if and only
if their minimum common multiple has smaller degree than their
product. Or, equivalently, if and only if they have any common
multiple of degree smaller then their product.
So we ask if we can find nonzero polynomials r, s ∈ A[x], with
deg r < n and deg s < m, such that
120
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.1 the resultant
121
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
Corollary 4.1.5. With the same notation, f(α, y) and g(α, y) have a
common factor of positive degree in y if and only if R(f, g)(α) = 0.
R(f, g)(α1 , . . . , αs ) = 0.
Then either
122
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.1 the resultant
f(x) = a(x − α1 ) · · · (x − αm )
g(x) = b(x − β1 ) · · · (x − βn )
A 0 = A[x1 , . . . , xm , y1 , . . . , yn ],
123
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
Y
m
R(f, g) = an g(αi ).
i=1
φg : B → B
be the multiplication by g.
124
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.1 the resultant
R(f, g) = det φg .
Since
φg (xi ) = bxi+1 + cxi
for i 6 m − 2 and
125
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
det M = cm − b det(N),
where
c b 0 ··· 0
0 c b ··· 0
..
N= .
.
0 ··· 0 c b
a0 ··· am−2 am−1
By Laplace expansion on the first column we get
4.2 discriminants
In this section we look at a particular case of resultant, called
the discriminant. Then we review some constructions from field
theory, and we see how the discriminant of a basis of a field
extension gives a generalization of this concept.
Recall that for a polynomial over any ring we can define the
formal derivative by requiring that
d k
x = kxk−1
dx
for monomials, and then extending by linearity.
Definition 4.2.1. Let A be an integral domain, f ∈ A[x], say
126
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.2 discriminants
Remark 4.2.2. The change of sign and the fraction may appear
arbitrary, but this is the established definition.
so
R(f, f 0 ) = ab2 − 2a(b2 − 2ac) = −a(b2 − 4ac),
and finally disc(f) = b2 − 4ac, which is the familiar formula.
In general, note that if n 6= 0 in A (for instance if A has char-
acteristic 0), the discriminant is a homogeneous polynomial of
degree 2n − 2 in the coefficients of f.
f(x) = an (x − α1 ) · · · (x − αn ).
X
n
f 0 (x) = an (x − α1 ) · · · (x\
− αi ) · · · (x − αn ),
i=1
127
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
n
Note that the sign (−1)( 2 ) in the definition of the discriminant
is exactly the sign needed to reorder the terms in the last part of
the proof.
Corollary 4.2.4. Under the same hypothesis, f has repeated roots if,
and only if, disc(f) = 0.
We next discuss a generalization of the discriminant in the con-
text of field theory. For the rest of the section, we fix a finite
separable extension of fields L/K, and denote by K a fixed al-
gebraic closure of K, which is determined up to isomorphism.
Recall from Section A.7 that in this situation we have the trace
homomorphism TrL/K : L → K, and the norm NL/K : L∗ → K∗ .
Looking at L as a vector space over K, we can consider the dual
space L∨ . For any α ∈ L we get a linear functional
Tα : L → K
defined by Tα (β) = TrL/K (αβ). This gives a K-linear map
T : L → L∨
sending α to Tα . By Proposition A.7.6, T is an isomorphism. In-
deed,
ker T = {α ∈ L | TrL/K (αβ) = 0 for all β ∈ L} = 0.
In other words, the K-bilinear pairing on L defined by (α, β) →
TrL/K (αβ) is nondegenerate.
In particular, given a basis u1 , . . . , un of L as a K-vector space,
we can find a dual basis v1 , . . . , vn , such that
TrL/K (ui vj ) = δij .
Definition 4.2.5. We shall say that the two bases u1 , . . . , un and
v1 , . . . , vn are dual with respect to the trace.
We are now ready to study the promised generalization of dis-
criminant.
Definition 4.2.6. Let L/K be a finite separable field extension of
degree n, and let σ1 , . . . , σn be the embeddings of L into K. Given
a1 , . . . , an ∈ L, consider the matrix A = (σi (aj ))ij . The discrimi-
nant of a1 , . . . , an is defined by
disc({a1 , . . . , an }) := (det(A))2 .
128
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.2 discriminants
disc({a1 , . . . , an }) = (det(A))2 = 0.
Vice versa, assume that disc({a1 , . . . , an }) = 0. Using the ex-
pression (4.2.1) we see that the rows of the matrix (TrL/K (ai aj ))ij
are linearly dependent, hence for some choice of c1 , . . . , cn ∈ K
we have
Tai (c1 a1 + · · · + cn an ) = 0
for all i. If a1 , . . . , an are linearly independent, the functionals
Tai span the whole L∨ , hence
c1 a1 + · · · + cn an = 0,
contradiction.
129
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
We can now make the link with our previous notion of discrim-
inant. Take an element α ∈ K of degree n, and let L = K(α). So L
is spanned as a K-vector space by the powers 1, α, . . . , αn−1 .
fα (x) = (x − α1 ) · · · (x − αn ).
130
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.3 gröbner bases
131
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
1 xα x2α · · · .
132
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.3 gröbner bases
deg(α) := α1 + · · · + αn .
mdeg(f) := α.
133
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
f = q · g + r,
134
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.3 gröbner bases
135
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
136
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.3 gröbner bases
(b) We take k[x, y, z], again with the LEX order. The set
137
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
X
m
h= ci fi
i=1
X
m
h= fi gi . (4.3.1)
i=1
138
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.3 gröbner bases
X
m
h= fi gi0 ,
i=1
139
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
140
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.4 more algorithmic operations
f1 (x, y, z) = x2 + y + z − 1
f2 (x, y, z) = x + y2 + z − 1
f3 (x, y, z) = x + y + z2 − 1
The three elements are not a Gröbner basis, but we can apply
Buchberger’s algorithm to find one. A Gröbner basis for I is
given by
g1 (x, y, z) = x + y + z2 − 1
g2 (x, y, z) = y2 − y − z 2 + z
g3 (x, y, z) = 2yz2 + z4 − z2
g4 (x, y, z) = z2 (z − 1)2 (z2 + 2z − 1)
The last equation can be √solved for z giving the four solutions
z = 0, z = 1 and z = −1 ± 2. We can then substitute back z in
g2 or g3 to solve for y and finally back into g1 to solve for x. For
instance, when z = 0, we recover y = 0 or y = 1 from g2 , and
accordingly x = 1 or x = 0 from g1 . Work out the other solutions!
L ∩ k[x1 , . . . , xn ] = I ∩ J.
g = ta + (1 − t)b
141
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
Proposition
√ 4.4.4. Let k be a field, I ⊂ k[x1 , . . . , xn ] an ideal. Then
f ∈ I if, and only if, 1 belongs to the ideal generated by I and 1 − tf
in the ring k[x1 , . . . , xn , t].
142
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.4 more algorithmic operations
C
H
M2 M3
B
A M1
Using Gröbner bases, one can show that the latter polynomial
lies in the ideal generated by the polynomials appearing in the
system. This can be automated using the algorithms of this chap-
ter, and this technique allows one to transform statements in Eu-
clidean geometry into algorithmic problems.
143
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
4.5 exercises
1. Let k be an algebraically closed field, and I ⊂ k[x1 , . . . , xn ] a
radical ideal, say I = (f1 , . . . , fk ). For each pair i 6= j, where 1 6
i 6 k, consider the resultant ri,j := R(fi , fj ), where the resultant is
taken with respect to the variable x1 , so that ri,j ∈ k[x2 , . . . , xn ].
Assume that each p fi has positive degree in x1 . Show that I ∩
k[x2 , . . . , xn ] = (ri,j ).
144
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.5 exercises
145
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
146
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
4.5 exercises
b2 = x2 + y2
c2 = (a − x)2 + y2
If := (x1 − f1 , . . . , xn − fn ) ∈ k[x1 , . . . , xn , y1 , . . . , ym ].
In general, it rarely happens that the invariant ring for the action
of a group has this simple structure, see [Dol03]. (Use the order
147
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
computational methods
23. The result of the preceeding exercise does not hold for poly-
nomials composed of three terms. In fact, take the ideal I =
(x1 + x2 + x3 , x1 + x4 + x5 ) in the ring k[x1 , . . . , x5 ]. Show that
a reduced Gröbner basis for I with respect to DEGREVLEX con-
tains the polynomial x2 + x3 − x4 − x5 .
148
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5
INTEGRAL DEPENDENCE
where ai ∈ A.
149
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
is 0.
p prime Z/(p)
L
M :=
i) b is integral over A;
150
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.1 integral extensions
µb : M → M
X
k
µ b mi = b · mi = aij mj ,
j=1
D := b · Ik×k − (aij )
D 0 · D = det D · I. (5.1.2)
151
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
det D · m = 0
Z[xij ] → A
Let A be the matrix with coefficients (aij ), and y = det(id −A). Then
y ∈ 1 + I and y · M = 0.
The standard form of Nakayama’s lemma follows immediately:
if I ⊂ J(A), 1 + x is a unit for every x ∈ I, hence M must be 0.
152
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.1 integral extensions
153
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
154
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.1 integral extensions
so bt ∈ A. Hence
b bt
= ∈ S−1 A.
s st
Corollary 5.1.18. Let A be an integral domain. A is integrally closed
if, and only if, every localization AP at prime ideals is.
Proof. Let k be the field of fractions of A, A the integral closure of
A inside k. Let ι : A ,→ A be the inclusion; for each prime P ⊂ A
let S = A \ P and consider the map
ιP : AP ,→ S−1 A
155
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
1 1
M ⊂ Mn ⊂ A,
x a
since every element of Mn is multiple of A. On the other hand
assume
1
M ⊂ M;
x
since M is a faithful A[1/x]-module, it follows that x is integral
over A by Theorem 5.1.6. Since A is integrally closed, 1/x =
b/a ∈ A, which we have excluded.
156
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.2 going up and down
Hence
1
M = A,
x
which means M = (x). Now we exploit that the choice of b above
was arbitrary in Mn−1 \ (a).
Taking b = xn−1 shows that a/xn−1 is another generator x 0
of M, say x 0 = xu for some u ∈ A∗ . In particular (a) = (xn ), so
every principal ideal is a power of M.
Since every element of A is a power of x up to a unit, every
ideal is generated by powers of x, so it must be a power of M.
Corollary 5.1.20. A unique factorization domain A is a principal ideal
domain if, and only if, every prime P ⊂ A is maximal.
Proof. One implication is Proposition 2.1.4.
Vice versa, let A be unique factorization domain; then A is
integrally closed by Proposition 5.1.14, and we are assuming that
every prime is maximal. If we show that A is Noetherian, it is a
Dedekind ring, and so we are done by Proposition 3.4.9.
The first part of the proof of Proposition 3.4.9 carries over, and
tells us that prime ideals of A are principal. By Exercise 8 of
Chapter 2, this is enough to show that A is Noetherian.
157
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
AP = S−1 A ⊂ S−1 B
is integral. Let M ⊂ S−1 B be any maximal ideal. Then M ∩ A
is maximal, so it must be PAP . We conclude by the bijective cor-
respondence between prime ideals in the localization (Corollary
1.6.9).
Corollary 5.2.4. Let A ⊂ B be an integral extension, P a prime of A
and assume Q ⊂ Q 0 are primes of B over P. Then Q = Q 0 .
Proof. By localization we can assume that P is maximal. Then Q
and Q 0 must be both maximal, so they are equal.
Remark 5.2.5. The above results tell us that we can always lift a
prime P of A, and that there cannot be two lifts one inside the
other. It is by no means true that the lift is unique, though. For
instance the primes Q1 = (2 + i) and Q2 = (2 − i) of Z[i] both
satisfy Qi ∩ Z = (5).
158
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.2 going up and down
159
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
b n = ai b i + · · · + ak b k
160
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.2 going up and down
P2 BQ1 ∩ A = P2 .
Take an element
c
∈ P2 BQ1 , b=
s
with c ∈ P2 B and s ∈ B \ Q1 . By Proposition 5.2.10, c is integral
over P2 , so by Corollary 5.2.11 the minimal polynomial of c over
k := F(A) is
with ai ∈ P2 .
161
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
162
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.3 noether normalization
m−1
f(y1 , z2 + yr1 , . . . , zm + yr1 )
α1 + α2 r + · · · + αm rm−1 .
z i = yi − λ i y 1 .
F(y1 , z2 + λ2 y1 , . . . , zm + λm y1 )
163
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
164
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.4 integral extensions of dedekind rings
b = a1 v1 + · · · + an vn
165
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
In := an B ∩ A + aA
166
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.4 integral extensions of dedekind rings
an x ∈ an+1 B + A. (5.4.2)
B ∼ am B am+1 B + A ∼ A
= m+1 ⊂ = m+1 ,
aB a B am+1 B a B∩A
which proves that B/aB is an A/aA-module of finite length, hence
it is Artinian as an A/aA-module, and a fortiori as a B/aB-module.
167
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
5.5 exercises
1. Let A be a ring, A its integral closure inside the total ring of
fractions F(A). Prove that
[
A= (I :F(A) I).
I fractional
ideal of A
AG := {a ∈ A | g · a = a for all g ∈ G}
168
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.5 exercises
169
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
integral dependence
170
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
5.5 exercises
171
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6
L AT T I C E M E T H O D S
173
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
174
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.1 additive structure of number rings
(a) If m ≡ 2,√
3 (mod 4), a and b must both be even. In√this case,
α = s + t m, with s, t ∈ Z, so a basis for OK is {1, m}
(b) If m ≡ 1 (mod 4), a and b need just have the same parity. In
√
this case, a basis for OK is 1, 1+2 m .
175
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
v1
v2
176
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.1 additive structure of number rings
Definition 6.1.6. The pair (r, s) is called the signature of the num-
ber field K.
The set of embeddings will be
{σ1 , . . . , σr , τ1 , τ1 , . . . , τs , τs },
where the σi are real. Together, they determine a homomorphism
σ : K → Rr × Cs (6.1.1)
given by σ = (σ1 , . . . , σr , τ1 , . . . , τs ). As a real vector space, we
can identify Rr × Cs with Rn , and look at the image of A via σ.
Proposition 6.1.7. σ(A) is a lattice inside Rr × Cs , having volume
|disc(A)|.
−s
p
2
Proof. The first assertion follows from the second one: as a group,
A= ∼ Zn , and if σ(A) did not generate Rr × Cs as a real vector
space, its volume would be 0.
Letting {α1 , . . . , αn } be a Z-basis of A, the image of A is gener-
ated by the columns of the matrix M given by
σ1 (α1 ) · · · σr (α1 ) <τ1 (α1 ) =τ1 (α1 ) · · · =τs (α1 )
.. .. .. .. ..
.
. . . . .
σ1 (αn ) ··· σr (αn ) <τ1 (αn ) =τ1 (αn ) · · · =τs (αn )
The determinant of M is, up to sign, the volume of a funda-
mental domain. To compute it, we use column operation to re-
place the column <τk (→ −
α ) with τk (→
−
α ). Then, by multiplying the
next column by 2i and subtraction, we can turn next column into
τk ( →
−
α ).
The square of the determinant of the matrix thus obtained is
disc(A), and our columnp operations have multiplied det M by
(2i) , hence |det M| = 2
s −s |disc(A)|.
There is an alternative way to look at the embedding σ in
(6.1.1). Namely, let KR = K ⊗Q R. Since K is a Q-vector space
of dimension n, KR is a real vector space of the same dimension.
More precisely, let K = Q(α), and f the minimal polynomial of α.
Then K = ∼ Q[x]/(f(x)), so
∼ R[x] .
KR =
(f(x))
177
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
178
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.2 prime extensions in number rings
1 = p1 b1 + · · · + pk bk
179
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
ii) Q ⊃ P · B
iii) Q ⊃ P
iv) Q ∩ A = P.
180
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.2 prime extensions in number rings
181
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
ψ : A/P → Pm /Pm+1 .
X
r
n= ei fi ,
i=1
182
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.2 prime extensions in number rings
where m = [K : Q].
For B, using 6.2.9 again, we get
183
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
184
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.3 prime extensions in dedekind rings
B
dimA/P = [L : K],
P·B
where dimA/P denotes dimension as a vector space over the field A/P.
X
r
n= e i fi ,
i=1
B ∼ Y B
r
= .
P·B Qei i
i=1
Qki B
Moreover, dimA/P = dimA/P for all k (why?), hence
Qk+1
i
Qi
B B
dimA/P = ei dimA/P .
Qei i Qi
185
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
B X
r
B X
r
[L : K] = dimA/P = ei dimA/P = ei fi .
P·B Qi
i=1 i=1
n = [L : K] = r · e · f. (6.4.1)
186
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.4 galois extensions of dedekind rings
σ
B →B
↓ ↓
σ
B/Q → B/Q,
187
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
LE E
LD D
r
K G
where D = D(Q|P), E = E(Q|P), and on the vertical lines we
denote the degree of the field extensions.
Proposition 6.4.5. In the above setting, we have [L : LE ] = e and
[LE : LD ] = f.
Proof. Let us complete the diagram by showing also the integral
closure of A in LE and LD , as well as the restrictions of Q to these
rings:
Q B L {e}
QE BE LE E
6f
QD BD LD D
r
P A K G.
We know some numbers in this diagram: [LD : K] = r and
[LE : LD ] 6 f. We will compute some others and use the inertia-
ramification (6.4.1) formula to conclude.
First, since D = Gal(L/LD ), and the Galois group is transitive
on primes over QD , we deduce that Q is the only prime of B over
QD . By (6.4.1) we see that
e(Q|P) · f(Q|P) = e(Q|QD ) · f(Q|QD ),
188
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.4 galois extensions of dedekind rings
f=r=1 e
QE BE LE E
e=r=1 f
QD BD LD D
e=f=1 r
P A K G.
189
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
L e0
e
FLE
f0
LE
f FLD
r0
LD
r F
K
where r 0 , f 0 and e 0 are the number of factors, degree of inertia
and ramification index of QF in B.
190
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.5 discriminant and ramification
191
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
192
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.6 computing prime factorizations
for all y ∈ B.
Since (p) is unramified, we have an isomorphism D(Q|Pi ) = ∼
Gal(B/Q/A/Pi ), and then (6.5.1) implies that αβ = 0 in B/Q.
This means that αβ ∈ Q, which is a contradiction since neither α
nor β belong to Q.
193
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
f → f(α)
ψi : A[x] → A[α] →B → B/Qi .
A[x] B
→ . (6.6.1)
(P, gi (x)) Qi
h i gi + h j gj ≡ 1 mod P
194
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.6 computing prime factorizations
for some f(x) ∈ P[x], which shows that P, gi (α) and gj (α) gener-
ate B, as desired.
We now prove that P · B divides Qe11 · · · Qer r , or equivalently
Qe11 · · · Qer r ⊂ P · B.
But g1 (α)e1 · · · gr (α)er = g(α) + r(α) = r(α) for some r(x) ∈ P[x],
hence the ideal simplifies to P · B.
It follows that P · B = Qd 1 dr
1 · · · Qr for some di 6 ei (omit Qi if
it is the whole B). We want to prove we have equality for each i.
By Theorem 6.2.13 we get that
X
r
n := [L : K] = d i fi ,
i=1
where fi = f(Qi |P) = deg gi , the last equality in virtue of the iso-
morphism (6.6.1) (we have omitted terms where B/Qi is trivial).
On the other hand,
X
r
n = deg g = deg g = e i fi .
i=1
195
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
(c) If p does not divide m and is not 2, f(x) has distinct roots
modulo p. √If m is a square
√ modulo p, say m ≡ c2 , then
pOK = (p, m − c)(p, m + c). Otherwise, f is irreducible
modulo p, and in this case pOK = (p) is irreducible as well.
The case where m ≡ 1 (mod 4) is Exercise 1.
→ A∗ → K∗ → P Z → G(A) → 0.
L
0
196
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.7 geometry of ideal lattices
hence
X X
B 1 1
vol = vol B ∩ (λ + D) = vol B−λ ∩D .
2 2 2
λ∈L λ∈L
197
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
198
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.7 geometry of ideal lattices
n
so |N(x)| 6 n
t
n by the arithmetic-geometric inequality. Substitut-
ing our choice of tn from (6.7.3) gives the desired result.
You will prove in Exercise 13 that for any d there exist only
finitely many number fields with discriminant bounded by d.
1 2n
an+1 π 3π
= 1+ > ,
an 4 n 4
Corollary 6.7.5. Let C ∈ G(A) be any class of ideals. Then there exists
I ∈ C such that kIk 6 λ, where λ is defined in (6.7.1)
hence kIk 6 λ.
199
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
xn + an−1 xn−1 + · · · + a1 x ± 1 = 0
200
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.7 geometry of ideal lattices
log σ : A∗ → Rr+s
and notice that N(x) = 1 if, and only if, log σ(x) lies in the hyper-
plane H defined by the equation
X
r X
s
yi + 2 zj = 0.
i=1 j=1
0 →U → A∗ → Zρ → 0,
which splits, and this implies the theorem, save for the equality
ρ = r + s − 1.
To conclude, we must prove that S generates H. Given any
λ1 , . . . , λr , µ1 , . . . , µs > 0, consider the convex body Bλ,µ ⊂ Rr ×
Cs defined by
Then
Y
r Y
s
vol(Bλ,µ ) = (2λi ) (πµ2j ).
i=1 j=1
201
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
1 p
λ1 . . . λr µ21 . . . µ2s = T > 2n |disc(A)|. (6.7.4)
(2π)s
Then we have
|disc(A)| = 2n vol(A).
p
vol(Bλ,µ ) > 2n−s
λi
6 σi (xλ,µ ) 6 λi ,
T
and similarly
µj
6 τj (xλ,µ ) 6 µj .
T
By taking logarithms and rearranging things a bit, these inequal-
ities become
X
r X
s−1
F(y1 , . . . , yr , z1 , . . . , zs−1 ) = ci yi + dj zj .
i=1 j=1
X
r X
s−1
06 ci log λi + dj log µj − F(log σ(xλ,µ ))
i=1 j=1
(6.7.6)
X
r X
s−1
6 |ci | + dj T .
i=1 j=1
202
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.8 cyclotomic rings
P P
|ci | + T . Given h ∈ N, choose λi and
Take any B > dj
µj to satisfy
X
r X
s−1
ci log λi + dj log µj = 2Bh,
i=1 j=1
so
(2h − 1)B < F(log σ(xh )) < (2h + 1)B.
This forces the values obtained for xh to be all distinct, as the
choice of h varies. On the other hand, they all satisfy |N(xh )| 6 T .
Since the ideals of limited norm are finite in number, we must
have (xh ) = (xk ) for some h 6= k, so xh = ξxk for some ξ ∈ A∗ .
From the fact that
203
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
φn (x) = f(x)g(x);
h(x) := g(xp ),
f(x)|g(xp ) = g(x)p .
This implies that φn (x) has some repeated root in a finite ex-
tension of Fp . But xn − 1 does not have repeated roots modulo
p, since it is relatively prime to its derivative nxn−1 , contradic-
tion.
204
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.8 cyclotomic rings
τa (ζn ) = ζa
n.
Taking the norm and using the fact that N(ζn ) = 1 we get
0
N(n) = N(φn (ζn ))N(g(ζn )), (6.8.2)
1 1
A⊂ c
Z[ζn ] = c Z[1 − ζn ]
p p
205
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
m0 + m1 (1 − ζn ) + · · · + mt−1 (1 − ζn )t−1
x=
pc
mi (1 − ζn )i + · · · + mt−1 (1 − ζn )t−1
x=
p
with p 6 |mi .
We can also remove higher order terms, but this is trickier.
Since
Yn
φn (x) = (x − ζk
n ),
k=1,(k,p)=1
we have
Y
n
p = φn (1) = (1 − ζk
n ).
k=1,(k,p)=1
Each term 1 − ζk t
n is a multiple of 1 − ζn , hence (1 − ζn ) divides
p
p in Z[ζn ]. Since i < t, this implies that y := (1−ζ )i+1 ∈ Z[ζn ],
n
hence xy ∈ A. By expanding this we get
mi
+ mi+1 + · · · + mt−1 (1 − ζn )t−1−i ∈ A,
1 − ζn
mi
hence 1−ζ n
∈ A, with p 6 |mi .
Write this as mi = (1 − ζn ) · α and take norms to find mri =
N(1 − ζn )N(α) = pN(α), which is a contradiction since p does
not divide mi . This proves the thesis for n a prime power.
For the general case, write n = pa 1 ak
1 · · · pk . We can apply the
above for each field Q(ζpai ). To conclude, use Proposition 6.1.8
i
and the fact that the discriminant of Z[ζpai ] divides a power of
i
pi , so all these discriminants are prime with each other.
206
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.8 cyclotomic rings
we get
disc(Z[ζp ]) = ±pp−2 ,
where the sign is + for p ≡ 1 (mod 4) and − otherwise. Since
the discriminant is defined as the square of the √determinant of a
matrix with entries in Z[ζp ], we conclude
√ that ±p ∈ Z[ζp ]. In
particular, this shows the inclusion Q( ±p) ⊂ Q(ζp ).
Let us understand the splitting of a prime q 6= p in Z[ζp ].
By Kummer’s theorem 6.6.1, we can do this by computing the
factorization of φp inside Z/qZ[x].
The finite extensions of Fq = Z/qZ are the fields Fqk , while
the roots of φp are primitive p-th roots of unity. In fact, the roots
0
of φp over Fq are distinct, since φp is not 0. The group F∗qk
is cyclic, so the roots of φp lie in Fqk if and only if qk − 1 is
multiple of p. In this case, since all the roots are inside the same
extension of Fq of degree k, the factorization of φp is
φ p ≡ g1 · · · gr ,
p−1
where r = k . The corresponding factorization of q looks like
qZ[ζp ] = Q1 · · · Qr ,
207
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
208
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.9 exercises
6.9 exercises
1. Compute √ the factorization of a prime p in a quadratic number
field K = Q( m), where m ≡ 1 (mod 4) is squarefree.
√
2. Show that Z[ −3] does not have unique √ factorization for ide-
als by considering the ideal I = (2, 1 + −3) and proving that
I2 = 2I, but I 6= (2).
√
3. Show that Z[ 7] is a principal ideal domain, as follows. By
Corollary 6.7.5, we know that every class contains an ideal of
norm at most λ = 2.6457 . . . . It is thus enough to show that
primes of norm at most 2 are principal. If P is such a prime, show
that P ∩ Z is (2). Factor 2 explicitly using Kummer’s theorem.
You can do the same computation for other small quadratic
fields.
√
4. Show in the same way that Z[ −163] is a principal ideal √ do-
main. In fact, it is known that the only quadratic fields Z[ −m],
m > 0 of class number one appear for m = 1, 2, 3, 7, 11, 19, 43, 67
and 163 (Heegner-Stark theorem, [Sta69]).
√
5. Prove that A = Z[ 1+ 2−19 ] is a principal ideal domain, but
is not Euclidean. (For the last part, let α ∈ A be an non-unit of
minimal Euclidean norm – what are the possibilities for A/(α)?)
209
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
−22 · 503. Let β = 4/α; prove that β is integral, and check that
the discriminant of Z[α, β] is −503. Deduce that Z[α, β] is the
ring of integers of K, and that Z[α] has index 2 inside it.
7. Let K be the Dedekind field from Exercise 6, A its ring of
integers. Show that 2 is unramified in A, and that there exist no
surjective homomorphism from A to one of the finite fields F4
or F8 . Conclude that 2 factors in A as a product of 3 different
primes.
Deduce from this that A is not of the form Z[γ] for any γ ∈ A,
and in fact for any γ ∈ A the index of Z[γ] in A must be even.
Verify the same thing directly by computing disc(Z[γ]) for a
generic γ ∈ Z[α, β] and showing that it must be even.
8. Let L ⊂ Rn be a subgroup which is abstractly isomorphic to
Zn . Show that L is discrete in the Euclidean topology if and only
if L generates Rn as a vector space.
9. Compute the volume of Bt , proving (6.7.2) (use induction on
both r and s).
10. Use Eisenstein’s criterion to give another proof that φp (x) is
irreducible, when p is prime.
11. Check that the two embeddings defined in (6.1.1) and (6.1.2)
agree, when using the same ordering for the factors of f.
12. Finish the proof of Theorem 6.8.9 by analyzing in detail the
other cases.
13. Prove Hermite’s theorem: for any d there exist only finitely
many number fields K with discriminant less than d. (One can
assume that the degree of K over Q is bounded. Choose a convex
body in Rr × Cs where each coordinate is bounded by a small
constant, except for one bounded by a big constant times disc(K).
Use this to get an algebraic integer α in K; prove that in fact
K = Q(α) and use the fact that the coefficients for the minimal
polynomial of α are bounded.)
The following exercises, up to Exercise 16 discuss the Frobe-
nius element of a Galois number field extension.
14. Let L/K be a Galois extension of number fields, P ⊂ OK be a
prime which is not ramified in OL . Let Q be a prime of OL over P.
210
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.9 exercises
211
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
22. Let p > 5 be a prime, and assume that p does not divide
h(Q(ζp )) (p is called a regular prime). Show that there is no in-
teger solution to ap + bp = cp , where p does not divide abc.
(Assuming there is a solution, show that a + ζp b = u · tp for
u, t ∈ Z[ζp ] with u invertible, then use the previous exercise.)
212
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
6.9 exercises
hbk ,b∗i i
where ui,k = hb∗i ,b∗i i . Prove that λ1 (L) > min kb∗i k.
25. Keep the notation of the previous exercises. We say that the
basis is LLL-reduced if kui,k k 6 21 for all i < k, and
3 ∗ 2
kb∗i+1 + ui,i+1 b∗i k2 > kb k (6.9.2)
4 i
for all i.
The following algorithm was introduced in [LLL82]. It alter-
nates a reduction step and a swap step. The reduction step looks
like an approximate Gram-Schmidt: for all i = 2, . . . , n and for
all j = i − 1, . . . , 1, replace bi by bi − dui,j cbj , where d·c denotes
rounding by the nearest integer. The swap step consists in look-
ing at violations of (6.9.2): if bi and bi+1 violate the condition,
swap them and start again from the beginning.
Prove that the LLL algorithm always terminates and produces
an
Q LLL-reduced basis for a lattice. (The quantity F(b1 , . . . , bn ) :=
2
i kbi k always decreases in the swap step.)
26. With the notation of the previous exercise, prove that if the
basis {b1 , . . . , bn } is LLL-reduced, then
n−1
kb1 k 6 2 2 λ1 (L),
213
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
lattice methods
b0 = (1, . . . , 0, K)
b1 = (0, 1, . . . , 0, Kα)
..
.
bn = (0, 0, . . . , 1, Kαn ).
214
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7
METRIC AND TOPOLOGICAL METHODS
Finally, in Section 7.5 we show that the metric was not really
necessary. The choice of an ideal I of the ring A determines
a topology on A, and we can define the completion of A with
respect to this topology using the machinery of inverse limits,
which we also introduce. In the rest of the chapter, we study the
properties of this topology and the relation between a ring and
its completion.
215
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
216
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.1 absolute values
(d) Here comes the real motivation for this notion. Fix a prime
number p ∈ Z; for all a ∈ Z \ {0} denote vp (a) = r if pr
divides a but pr+1 does not. Note that
d(a, b) := |a − b|
217
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
log |b|1
c := .
log |a|1
We can assume that e < f and c > 0. Then ce < cf, so we can
find a rational number r/s such that
r
ce < e < cf.
s
218
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.1 absolute values
so
ar
> 1.
bs 1
From the second
|a|r2 = |a|re csf
1 < |a|1 = |b|sf s
1 = |b|2 ,
hence
ar
< 1.
bs 2
This is a contradiction.
Remark 7.1.7. The second part of the proof may seem tricky, but
it is simpler than it looks. Once one looks for a number of the
form ar /bs which violates the conclusion of the first part, it is
just a matter of spelling out the needed costraints.
Remark 7.1.8. The function | · |e may fail to be an absolute value,
even if | · | is. For instance if | · |st is the standard absolute value
on R, | · |2st does not satisfy the triangular inequality. Still, | · |e is
an absolute value when | · | is nonarchimedean.
The main reason why we consider absolute values is that we
can use them to costruct new rings or fields by completion of old.
Let k be a field endowed with an absolute value | · |, and let A ⊂ k
a subring. Then the metric completion A b of A is itself a ring,
with the ring operations extended from A by continuity. To make
sense of the preceding sentence, let us recall some definitions.
Definition 7.1.9. Let (X, d) be a metric space. A sequenxe (xn )
of elements of X is called Cauchy if for any > 0 we can find N
such that
d(xm , xn ) <
for all m, n > N. The metric space X is called complete if every
Cauchy sequence has a limit in X.
219
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
d(xn , yn ) → 0.
x → [x]
This is clearly an isometry, and moreover the image is dense.
Indeed for any Cauchy sequence [xn ] ∈ Xb choose N such that
d(xn , xm ) < for n, m > N. Then
220
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.1 absolute values
in X.
b
We now come back to the setting of absolute values. Fix an
absolute value | · | on the field k. For a subring A ⊂ k let A
b be the
completion. The ring operations on A extend to A, by putting
b
1 1 am − an 4δ
− = < 2,
an am an am
221
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
D = {0, 1, . . . , p − 1}.
222
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.1 absolute values
Z ⊂ Z(p) ⊂ Zp .
where ai ∈ \ Pi Pi−1 .
The only difference is the lack of a
preferred system of representatives for the digits.
223
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
f(αk ) ≡ 0 mod pk
and
f 0 (αk ) 6≡ 0 mod p,
the case k = 1 being the hypothesis.
Expand
X
n
f(αk + t · pk ) = ci ti pik
i=0
f(αk )
t=− . (7.1.4)
f 0 (αk )pk
With this choice of t, we get our desired lift αk+1 . The se-
quence {αk } converges in Zp to a root of f that lifts α.
224
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.1 absolute values
m = a0 + a1 n + · · · + ar nr
X
r
|m| 6 |ai | Ni ,
i=0
{n ∈ Z | |n| < 1}
225
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
v = v 1 e1 + · · · v n en .
X
n X
n
|v| 6 |vi | |ei | 6 M |vi | (7.1.7)
i=1 i=1
226
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.2 valuations and valuation rings
227
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
228
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.2 valuations and valuation rings
xn + an−1 xn−1 + · · · a0 = 0
for some a0 , . . . , an−1 ∈ A. Rewrite this as
a0
x = − an−1 + · · · + n−1 .
x
Since A is a valuation ring, either x ∈ A or 1/x ∈ A. In the latter
case the above equation shows that x ∈ A as well.
229
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
p(x) = p0 + p1 x + · · · + pr xr
with p0 , . . . , pr ∈ A, then
f(p1 ) f(pr )
g(p) = f(p0 ) + +···+ ,
f(a) f(a)r
230
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.2 valuations and valuation rings
1 = r0 + r1 a + · · · + rm am
1 = s0 + s1 /a + · · · + sn /an ,
(1 − s0 )an = s1 an−1 + · · · + sn .
an = t1 an−1 + · · · + tn
231
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
232
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.3 discrete valuation rings
233
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
fij
Ai → Aj
fi
k → f jk
←
Ak
Definition 7.4.3. Let {Ai }i∈I , {fij } be a direct system and let A be
a group (module, ring) with given homomorphisms gi : Ai → A,
which are compatible, in the sense that for every i < j the diagram
fij
Ai → Aj
gi
→ gj
A ←
commutes.
A is called the direct limit of the system – denoted lim Ai – if it
−→
enjoys the following universal property. For every other group
(module, ring) B, equipped with compatible homomorphisms
hi : Ai → B, there exists a unique homomorphism h : A → B
such that hi = h ◦ gi for all i.
234
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.4 direct and inverse limits
Example 7.4.5. (a) All this may seem very abstract, but in fact
it is something that every child learns to do when summing
fractions. Fractions with a fixed denominator d are easy to
sum: they form an additive group Ad which is isomorphic to
Z – for instance 17 + 37 = 47 .
There are homomorphism Aa → Ab given by multiplication
by k whenever b = k · a. Hence we have a direct system
where the index set is N+ and the ordering relation is divisi-
bility.
235
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
fij →
←
Aj → Ai
is commutative.
A is called the inverse limit of the system – denoted lim Ai
←−
– if it enjoys the following universal property. For every other
group (module over R, ring) B, equipped with compatible homo-
morphisms hi : B → Ai , there exists a unique homomorphism
h : B → A such that hi = gi ◦ h for all i.
236
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.4 direct and inverse limits
∞
X
a= αi pi ,
i=0
237
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
X
n−1
an = αi,n pi ,
i=0
238
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.5 completion of rings and modules
Q Q Q Q
product maps Ai → Bi and Bi → Ci . This already
makes clear that lim Ai → lim Bi is injective, since the product
←− ←−
map is. Moreover, it also implies that the composition lim Ai →
←−
lim Ci is 0.
←−
Let (bi ) be a compatible set that maps Q to 0 in lim C . We can
←− i
then lift the set uniquely to a set (ai ) ∈ Ai , so we only need to
show that this lifted set is itself compatible. To do so, take i > j,
so that we have a map fij : Ai → Aj . The equality fij (ai ) = aj
can be checked by taking the images in Bj , since Aj → Bj is
injective, but there it follows because (bi ) is a compatible system.
For the last assertion, assume exactness at Ci and that maps
Ai → Aj Q are surjective. Given compatible set (ci ), we can lift it
to (bi ) ∈ Bi as above. The elements bi are determined up to
the image of some ai ∈ Ai . Call αi : Ai → Bi the given map. We
need to find some collection ai ∈ Ai such that bi0 := bi + αi (ai )
is a compatible system. Calling gij the maps for Bi , this amounts
to saying that
or equivalently
239
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
240
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.5 completion of rings and modules
0 →H
b →G
b [
→ G/H →0
0 →G
cn →G
b \n
→ G/G → 0.
241
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
G ∼ G b
= .
Gn G
cn
M ⊃ M1 ⊃ · · · ⊃ Mn ⊃ · · ·
242
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.5 completion of rings and modules
243
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
244
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.5 completion of rings and modules
It follows that A
b is the completion of AM as well, and in
particular we have again a natural map AM → A.
b
245
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
eva : A[[x1 , . . . , xn ]] →A
b
xi → ai
defined by evualuating a power series in a1 , . . . , an , which im-
plies that A
b is Noetherian.
To show that eva is well-defined, take any power series p and
let pk be the polynomial obtained by truncating up to degree k.
Then if h, k > N, we have ph (a) − pk (a) ∈ IN , which shows that
the pk (a) converge to a well-defined element in A. b
To show that eva is surjective, recall that any element b ∈ Ab is
defined by a compatible sequence {bk ∈ A/I }. Choose represen-
k
246
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.6 hensel’s lemma
247
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
Since in this case there is not a preferred generator for the maxi-
mal ideal, we cannot translate its proof directly. Rather, we prove
the following more general statement.
Theorem 7.6.1 (Hensel’s lemma, strong form). Let A be a Noether-
ian local ring, complete with respect to its maximal ideal M. Denote
k = A/M. Let f ∈ A[x] be a monic polynomial, f(x) ∈ k[x] its residue
modulo M. Assume f factorizes as f = G · H in k[x], where G and H
are coprime. Then we have a factorization f = g · h in A[X], where g
and h are monic of the same degrees of G and H, and g = G and h = H.
Moreover, g and h are uniquely determined.
The following, more familiar form, follows immediately by tak-
ing G(x) = x − α:
Corollary 7.6.2 (Hensel’s lemma, weak form). Let A be a Noether-
ian local ring, complete with respect to its maximal ideal M. Denote
k = A/M. Let f ∈ A[x] be a monic polynomial, f(x) ∈ k[x] its residue
modulo M. Assume f has a simple root α in k. Then α lifts uniquely
to a root of f in A.
Proof. We show by induction that there exist monic polynomials
gk , hk ∈ A[x] such that
f ≡ gk · h k mod Mk [x],
such that gk = G and hk = H. Moreover, such polynomials
are uniquely determined modulo Mk [x]. The case k = 1 is the
hypothesis of the theorem.
Having produced gk and hk we look for polynomials of the
form
gk+1 = gk + s
hk+1 = hk + t,
where deg s < deg gk and deg t < deg hk .
To find the right s and t, consider the difference
d := f − gk hk ∈ Mk [x].
Using the fact that G and H are coprime, we can write 1 ≡
agk + bhk mod M[x] for suitable a, b ∈ A[x]. Multiplying by d
we almost get what we want:
d ≡ (d · a)gk + (d · b)hk mod Mk+1 [x],
248
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.6 hensel’s lemma
and
The only issue with this choice is that d · a and d · b may have
large degree. To remedy this, use the fact that gk is monic to
perform the division of d · b by gk , so that
d · b = lk · gk + s
d · a = mk · hk + t.
With this choice of s and t, the relation (7.6.1) is valid for gk+1
and hk+1 – that is, gk+1 hk+1 ≡ f mod Mk+1 [x]. Moreover, s
has smaller degree than gk , so that gk+1 is monic, and similarly
for hk+1 .
Uniqueness can be proved inductively, in a similar fashion.
Since by construction gk+1 − gk ∈ Mk [x], and all gk have the
same degree, the coefficients of the {gk } converge in A. This de-
fines a limit polynomial g, monic of the same degree as G. Sym-
metrically, we get a limit polynomial h, monic of the same degree
of H.
The equality f = g · h follows by passing to the limit. More
precisely, the coefficients of f − g · h belong to Mk for all k. But
k M is 0 by Krull intersection theorem 7.5.24.
k
T
249
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
250
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
251
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
∞
X
a= σ(ai )pi ,
i=0
λn : An → Wp (A)/pn Wp (A)
given by
X
n−1
λn (a0 , . . . , an ) := σ(ai )pi .
i=0
252
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
w0 (x) = x0
w1 (x) = xp
0 + px1
2
w2 (x) = xp p 2
0 + px1 + p x2
.. (7.7.1)
.
n n−1
wn (x) = xp p
0 + px1 + · · · + pn xn
..
.
fn ∈ Z[x0 , . . . , xn , y0 , . . . , yn , z0 , . . . , zn ]
such that
f(wn (x), wn (y), wn (z)) = wn (f0 (x, y, z), · · · , fn (x, y, z)). (7.7.2)
253
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
254
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
f(x, y, z) = (x + y) + z = x + (y + z).
xp p
0 + y0 − (x0 + y0 )
p
s1 (x0 , x1 , y0 , y1 ) = + x1 + y1 .
p
wn : Wp (A) →A
(a) → wn (a)
255
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
wn
Wp (A) →A
(7.7.5)
↓ ↓
wn
Wp (B) →B
w : Wp (A) → AN (7.7.6)
256
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
257
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
where ai is in position i.
Finally, in v) the polynomials pn are well-defined as in the
proof of Lemma 7.7.2, and in fact, pn can be computed by com-
position of the sum polynomials {si } for i 6 n. The equation
pn (x) ≡ xp
n−1 (mod p) can be proved by induction.
Moreover, t satisfies
258
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
259
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
↓ ↓
gn
Wp (k) → A/Mn+1
where the left hand map is induced by π. The map gn sends M
into M/Mn+1 , hence it induces the desired homomorphism fn .
The construction of this diagram shows that the system of maps
{fn } is compatible, in the sense that the diagram
Wp (k) fn+1 A
→ n+1
Mn+1 M
↓ ↓
Wp (k) fn A
→ n
Mn M
commutes. Hence we can define f(a) as the inverse limit of the
elements fn (a), which exists and is unique since A is complete
and Hausdorff.
To prove uniqueness, notice that any map f as in the thesis
must send M to M, hence Mn to Mn for all n. This implies that
f is the inverse limit of the maps fn defined above.
260
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.7 witt vectors
Lemma 7.7.15. Let f ∈ Z[x, y, z]. Then there are uniquely determined
polynomials
fn ∈ Z[x0 , . . . , xn , y0 , . . . , yn , z0 , . . . , zn ]
such that
261
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
Using the lemma, one can define sum polynomials sn (x, y) that
satisfy
wn (x) + wn (y) = wn (s1 , . . . , sn ).
and multiplication polynomials mn (x, y) that satisfy
262
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.8 exercises
wS
WS (A) →A
↓ ↓
wS
WS (B) →B
7.8 exercises
1. Prove that a Noetherian valuation ring is either a field or a
discrete valuation ring.
2. Prove that the family of arithmetic progressions is a basis for a
topology on Z which makes Z into a topological ring. Prove that
arithmetic progressions are both open and closed, and deduce
that Z has infinitely many primes (otherwise {−1, 1} would be
open).
3. Give an example of a ring A, an ideal I, and an A-module M
with two I-filtrations that induce the same topology on M but do
not have bounded difference.
4. Show that the various p-adic norms on Q for different primes
are not equivalent.
5. Give an alternative proof of Ostrowski’s theorem 7.1.15 that
does not use completions, at least for the nonarchimedean case.
Namely, given a nonarchimedean absolute value | · | on the num-
ber field k, show that x → log |x| is a discrete valuation, and use
the results of Section 7.3 to show that | · | is a P-adic absolute
value.
263
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
Show that every point of a disc is a center – that is, if y ∈ D(x, r),
then D(y, r) = D(x, r).
7. Prove that the p-adic expansion (7.1.3) of a number a ∈ Zp is
eventually periodic (that is, αi+t = αi for some fixed t and i big
enough) if and only if a ∈ Q ∩ Zp = Z(p) .
8. Show that in Z5 there is a third root of 3.
9. Let p ∈ Z be a prime and n not divisible by p. Then any
element a ∈ Z which is congruent to 1 modulo p is a n-th root
in Zp .
10. Prove the following stronger version of Hensel’s lemma. Let
f ∈ Zp [x] be a polynomial, a ∈ Zp such that
2
f 0 (a) p
< f 0 (a) p
.
Q[x, z, y1 , y2 , . . . ]
A= ,
(x − zy1 , x − z2 y2 , . . . )
264
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.8 exercises
265
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
f(x) = an xn + · · · + a1 x + a0 ,
where the product runs over all absolute values of the field K :=
Q(a0 , · · · , an ), and d = [K : Q].
Assume that f factorizes as
f(x) = an (x − α1 ) · · · (x − αn ).
Show that
Y
n
H(f) 6 2n−1 H(αi ).
i=1
{x | H(x) 6 A, [Q(x) : Q] 6 B}
266
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
7.8 exercises
24. Let A be a valuation ring with value group G, and call v the
valuation. Show that for any ideal I, the set
GI := v(A \ I) ∪ −v(A \ I)
29. Let {wn } be the p-adic Witt polynomials. Show that there is
a sequence of integral polynomials {fn (x0 , . . . , xn+1 )} such that
wn (f0 , . . . , fn ) = wn+1 .
Show that for each ring A, the map f : Wp (A) → Wp (A) defined
by
f(a0 , a1 , . . . ) = (f0 (a0 , a1 ), f1 (a0 , a1 , a2 ), . . . )
is a homomorphism. The map f is called the Frobenius homomor-
phism of Wp (A).
267
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
metric and topological methods
f(a0 , a1 , . . . ) = (ap p
0 , a1 , . . . ),
268
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8
GEOMETRIC DICTIONARY
269
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
270
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.1 affine varieties
Definition 8.1.4. The last two points show that the sets of the
form V(S) for S ⊂ A are the closed sets for a topology on An (k),
which we will call the Zariski topology. Varieties V ⊂ An (k) in-
herit this topology – their closed sets are the intersections of V
with other affine algebraic varieties.
Notice that this is a very coarse topology – its only open sets
are complements of algebraic varieties – hence there are no small
open sets such as balls in Rn .
We can also go in the other direction: given a set W ⊂ kn we
define
I(W) = {f ∈ A | f(x1 , . . . , xn ) = 0 for all (x1 , . . . , xn ) ∈ W}.
The set I(W) is always an ideal in R – in fact, it is a radical
ideal.
Remark 8.1.5. The correspondences I → V(I) and W → I(W)
reverse inclusions. Moreover, it is easy to check that J ⊂ I(V(J))
and W ⊂ V(I(W)). In fact, if W is itself an algebraic variety, we
have the equality W = V(I(W)) (check it!).
The fact that J is not always the same as I(V(J)) can be easily
seen in the case where k = R and J is generated by f = x2 +
y2 + 1. In this case, V(J) = ∅, hence I(V(J)) = R. We will discuss
in the next section the shape of I(V(J)) in the case where k is
algebraically closed.
Definition 8.1.6. The ring R(V) := A/I(V) is called the coordinate
ring of the affine variety V. Notice that elements of R(V) define
actual polynomial functions V → k.
When V is a single point {x}, I(V) is just the kernel of the eval-
uation function
evx : A →k
f → f(x)
In particular I({x}) is a maximal ideal.
We end this section with a property of the Zariski topology
that shows that it cannot be very fine.
Definition 8.1.7. A topology is called Noetherian if every ascend-
ing chain of open sets (or equivalently a descending chain of
closed sets) is eventually stationary.
271
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
W1 ⊃ W2 ⊃ · · ·
I(W1 ) ⊂ I(W2 ) ⊂ · · ·
272
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.2 the nullstellensatz
1 = h0 (y · g − 1) + h1 f1 + · · · hr fr
gt = h10 f1 + · · · hr0 fr ,
273
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
√
which shows that g ∈ J.
274
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.2 the nullstellensatz
b = an xn + · · · + a0
an xn + · · · + a0 = 0 (8.2.1)
bm b−m + · · · + b0 = 0 (8.2.2)
for some b0 , . . . , bm ∈ A.
In this case, we choose a = an bm . Given f : A → K such
that f(a) 6= 0, we can extend it to f 0 : A[1/a] → K by declaring
f 0 (1/a) = 1/f(a). Then we can choose a maximal extension, say
h : T → K. By Theorem 7.2.9, T is a valuation ring.
By (8.2.1), x is integral over A[1/a], hence over T . But valuation
rings are integrally closed by 7.2.8, hence x ∈ T , and we have the
desired extension to B.
To check that g(b) 6= 0, it is enough to show that h is defined
on 1/b, and this follows in the same way. Namely, 1/b is integral
over A[1/a] by (8.2.2), so it belongs to T .
Second proof of Zariski’s lemma. With the notation of the above lem-
ma, assume that A and B are fields and choose b = 1. Then the
fact that every homomorphism from A to an algebraically closed
field can be extended to B is equivalent to the fact that B is alge-
braic over A.
275
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
276
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.4 morphisms
8.4 morphisms
In this section we introduce morphisms between affine varieties.
Let V ⊂ An (k) be an affine variety, and consider the ring R(V) =
k[x1 , . . . , xn ]/I(V). Any element f ∈ k[x1 , . . . , xn ] defines a poly-
nomial function An (k) → A1 (k), where we identify A1 (k) with
k. This can be restricted to a function V → A1 (k), and two poly-
nomials f and g will define the same function on V if and only
if f − g ∈ I(V). This allows us to identify R(V) with the ring of
polynomial functions V → A1 (k). Putting together more than
one function, we give the following
Definition 8.4.1. Let V ⊂ An (k) be an affine variety. An affine
morphism V → Am (k) is a function defined by the value of m
277
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
278
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.5 local rings and completions revisited
Ug = {p ∈ V|g(p) 6= 0}.
279
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
280
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.6 graded rings and projective varieties
281
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
fh (1, x1 , . . . , xn ) = f(x1 , . . . , xn ).
and a ring R(V) = A/I(V). Unlike the affine case, I(V) is ho-
mogeneous, hence R(V) is graded. Also, unlike the affine case,
elements of R(V) do not correspond to polynomial functions de-
fined on V.
282
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.6 graded rings and projective varieties
f |V∩Ci : V ∩ Ci → W ∩ Cj0
283
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
has rank 1.
284
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.7 a new idea: the dimension
285
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
286
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.7 a new idea: the dimension
287
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
288
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.8 the zariski tangent space
Tp V = {v ∈ kn | d(fi )p · v = 0 for i = 1, . . . , r} .
Mp = {f ∈ Op M | f(p) = 0},
dp : Mp → Tp∗ M.
f → dfp
289
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
Mp
b: × T → k.
M2p
290
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.8 the zariski tangent space
291
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
f(x, y, z) = xy − z2 − 1
(d) With the same notation, consider now the curve defined by
the equation y2 = x2 + x3 . From the analytic point of view,
the singularity looks the same as the previous one: for small
x, x3 becomes negligible, and the locus looks like y2 = x2 ,
which is the union of the two diagonals. This kind of singu-
larity is called a node.
292
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.9 curves and dedekind rings
y2 = x2 + x3 y2 = x3
293
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
(b) Another case where one can prove that f∗ is an integral exten-
sion is when f is the restriction of a morphism of projective
curves. This is a nontrivial result, and follows for instance by
the Stein factorization – see [Har77, Corollary III.11.5].
In any case, assume that R(C) is integral over R(D), and let
k(C) be the fraction field of R(C). Since we assumed that R(C) is
integrally closed, R(C) is the integral closure of R(D) in k(C). In
this situation, we can apply the results of Section 6.3. Let y ∈ D
be a point, corresponding to a maximal ideal P of R(D). We can
then factorize
P · R(C) = Qe11 · · · Qer r ,
where Q1 , . . . , Qr are the primes over P. Since we assumed that
k is algebraically closed, the quotient fields R(C)/Qi and R(D)/P
are all isomorphic to k, hence f(Qi |P) = 1 for all i.
Let xi ∈ C be the point defined by the ideal Qi . These are
exactly the preimages of y. The ramification index ei = e(Qi |P)
expresses in a precise way the multiplicity of xi in f−1 (y). In
fact, let g ∈ P \ P2 be a uniformizer at y. We can pull back g
294
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.10 exercises
8.10 exercises
1. Prove the following geometric version of Noether normaliza-
tion lemma: any affine variety V over a field k admits a surjective
map onto an affine space An (k) such that R(V) is an integral ex-
tension of k[x1 , . . . , xn ]. If moreover the field is infinite, a generic
projection to an affine subspace of suitable dimension will do.
2. Prove the projective version of the Nullstellensatz: given a
projective variety V over an algebraically closed field, points of
V are in bijective correspondence with maximal homogeneous
ideals of R(V) different from the irrelevant ideal R(V)+ , by the corre-
spondence
p → Mp = {f ∈ R(V) | f(p) = 0}.
3. Prove the claim of Remark 8.6.8.
4. Let f : P1 (k) → P2 (k) be the map given by x30 , x0 x21 , x31 (a pro-
jection of the rational normal curve). Show that the image of f is
given by the equation y0 y22 = y31 . In the affine chart C0 , this is
simply y2 = z3 – draw it when k = R, and check that it has a
cusp at the origin.
295
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
p = g1 h1 + · · · + gn h n .
296
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.10 exercises
vd : Pn → PN ,
sm,n : Pm × Pn → P(m+1)(n+1)−1
14. Show that the image of the Segre map defined in Exercise 13
is a subvariety of P(m+1)(n+1)−1 . Since sm,n is injective, this
allows us to give the structure of a projective variety to a product
of projective spaces, and by extension to a product of projective
varieties.
15. Show that the restriction of the Segre map sn,n defined in Ex-
ercise 13 to the diagonal ∆ ⊂ Pn × Pn agrees with the Veronese
map v2 defined in Exercise 12, after having identified ∆ with Pn
in the natural way.
297
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
πp (q) = pq ∩ H.
298
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.10 exercises
v1 ∧ · · · ∧ vm ∈ Λm V
mφ : V → Λm+1 V
v → φ∧v
is at most n − m. Deduce that the image of G(m, V) via the
Plücker map is a closed subvariety of P(Λm V), in fact a deter-
minantal variety. By the Plücker embedding, the Grassmannians
take the structure of a projective variety.
24. Let k be a field not of characteristic 2, V a finite-dimensional
vector space over k. Let φ ∈ Λ2 V. Show that φ is the product
of two vectors of V if and only if φ ∧ φ = 0. Deduce that the
Grassmannian G(2, V) is defined by quadratic equations.
25. Let V be a finite dimensional vector space and consider the
Grassmannian G(m, V) – this can be identified with the set of m −
1-dimensional projective subspaces of P(V). Define the universal
family
v1 ∧ · · · ∧ vm ∧ w = 0,
299
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
geometric dictionary
300
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
8.10 exercises
301
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9
DIMENSION THEORY
303
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
304
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.1 dimension of rings and modules
The above remark should make clear the connection with Defi-
nition 8.7.7. We extrapolate the condition, since it is useful termi-
nology.
M = M1 ∩ · · · ∩ Mn
305
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
306
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.2 hilbert functions
fs : M → M,
m → xs · m
which gives rise to an exact sequence
0 → Kn → Mn → Mn+ks → Ln+ks → 0,
1
ks
P(M, t) = −t P(K, t) + P(L, t) + g(t)
(1 − tks )
307
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
f(t) g(t)
P(M, t) = s
=
(1 − t) (1 − t)d
X
r
d+n−k−1
`(Mn ) = ak
d−1
k=0
X
r
1 g(1)
ak = 6= 0.
(d − 1)! (d − 1)!
k=0
308
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.2 hilbert functions
X
n
0
χIM (n) := `(Mn ) = `(M/In M),
i=0
By Corollary 9.2.6, χIM (n) agrees for all large n with a rational
polynomial of degree d, where d is the Poincaré dimension of M.
This polynomial is called the Hilbert polynomial of M at I.
Remark 9.2.9. As in Remark 9.1.9, one may wonder whether the
definition of Poincaré dimension is ambiguous for a module of
the form M = A/I, which can be seen as a module over A or as a
ring. Since d(M) is the degree of the Hilbert polynomial, which
can be computed as `(M/In M) for n large, and since this length
does not depend on whether we see M as a module over A or
over itself, the definition of Poincaré dimension agrees in the two
cases.
Proposition 9.2.10. The degree of χIM (n) does not depend on the
choice of I.
Proof. If J is another definition ideal, we have Ia ⊂ J and Jb ⊂ I
for suitable integers a, b. It follows that
309
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
and conversely
This implies that the two polynomials χIM and χJM have the same
order of growth.
The following result has a similar proof, but in fact it is much
more subtle due to the use of the Artin-Rees lemma.
Proposition 9.2.11. Let A be a semilocal Noetherian ring, I a defini-
tion ideal of A, and let
0 → M0 →M → M 00 →0
M 00 M0
M
` n = ` n 00 + ` n ,
I M I M I M ∩ M0
M0
ψ(n) := ` .
I M ∩ M0
n
310
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.3 the main theorem on dimension
P0 ( P1 ( · · · ( Pr
A ·x A A
0 → → → → 0.
P0 P0 (x) + P0
P1 ( P2 ( · · · ( Pr ,
311
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
0 ( M1 ( M2 ( · · · ( Mq = M, (9.3.1)
0 → M0 →M → M 00 →0
Ann(M) ⊂ P0 ( P1 ( · · · ( Pr ,
312
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.3 the main theorem on dimension
Mi 6⊂ P1 ∪ · · · ∪ Pt ,
313
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
314
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.4 height
9.4 height
Let A be a Noetherian ring, P ⊂ A a prime ideal. By Corollary
9.3.2, every descending chain of prime ideals
P = Pn ⊃ Pn−1 ⊃ · · · ⊃ P0 (9.4.1)
Proof. First, notice that the only prime ideal containing IAP is
PAP . In fact, let Q be a prime of A such that IAP ⊂ QAP . This
means that I ⊂ Q ⊂ P, and since P is minimal, we must have
Q = P. √
In particular, IAP = PAP , which is maximal, so IAP is PAP -
primary. This means that IAP is a definition ideal of AP , so
dim AP = dAP 6 r.
315
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
I = (a1 , . . . , ar ).
ii) Let A := A/(b1 , . . . , bs ), P := P/(b1 , . . . , bs ), and denote
t = ht(P). By the first point, P is the minimal prime of an
ideal I = (c1 , . . . , ct ). Then P is a minimal prime of I :=
(b1 , . . . , bs , c1 , . . . , ct ), and by Theorem 9.4.2 ht(P) 6 s + t.
iii) One inequality is the previous point. The converse comes
from the fact that P/(a1 , . . . , as ) is a minimal prime of the
ideal (as+1 , . . . , ar ) in A/(a1 , . . . , as ).
316
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.5 properties of dimension
0 → (x) →A → A/(x) →0
317
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
318
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.5 properties of dimension
P0 ( P1 ( · · · ( Pd
A[x]Q
ht(Q) 6 ht(P) + dim ,
PA[x]Q
where k is the fraction field of A/P. But dim k[x] = 1, and local-
ization at Q can only lower the dimension.
The same proof also gives the following result (Exercise 7).
Proposition 9.5.6. If A is Noetherian ring, dim A[[x]] = dim A + 1.
Corollary 9.5.7. If k is a field, dim k[x1 , . . . , xn ] = n.
Proposition 9.5.5 does not hold for rings that are not Noether-
ian, but still we can state a partial result.
Proposition 9.5.8. Let A be a ring. Then
319
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
Q1 ∩ A = Q2 ∩ A = Q3 ∩ A = P.
The ideal
P := {f(y) ∈ k(t)[[y]] | f(0) = 0} ⊂ A
is prime, and A/P = ∼ k by evaluation, so in fact P is maximal. In
fact, P is the only nontrivial prime ideal of A (why?), so dim A =
1.
On the other hand, dim A[x] = 3. To see this, consider the map
0 ( Q ( P[x] ( M,
where M is any maximal ideal containing P[x]. Hence, dim A[x] >
3, and the reverse inequality is Proposition 9.5.8.
320
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.6 dimension of graded rings
321
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
a0 x0 = 0
a1 x0 + a0 x1 = 0
a2 x0 + a1 x1 + a0 x2 = 0
···
P0 ( P1 ( · · · ( Pr = P
P1 ( · · · ( Pr = P,
322
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.6 dimension of graded rings
i) Let
φ(n) = `(An ) (for n large enough)
be the Hilbert polynomial of A and
AM
χ(n) = ` (for n large enough)
Mn
∼ M ,
n n
∼ M
An = =
Mn+1 Mn+1
hence
Mn
φ(n) = `(An ) = ` = χ(n) − χ(n − 1).
Mn+1
323
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
A M
dim A = dim = ht 6 ht M 6 dim A
P0 P0
show that dim A = ht M = dim AM .
iii) This follows from by verifying that the group isomorphism
∼
A=
L ∼ L Mn+1
n
∼ GrM (AM )
n An = M
=
9.7 exercises
1. Let k be a field and A = k[x1 , . . . , xs ]. Let f ∈ A be a polyno-
mial of degree d. Prove that for n large enough we have
n+s n−d+s
`(An ) = dim An = − ,
s s
324
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.7 exercises
325
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
10. Let An be the valuation ring with value group (Zn , LEX)
constructed in Exercise 27 of Chapter 7. Show that dim An = n,
and in fact all prime ideals of An fit into a chain
P0 ( P1 ( · · · ( Pn .
14. Lest the previous exercise seduces you into thinking that val-
uation rings of dimension 1 are Noetherian, here is a counterex-
ample from [Knab]. Consider the rings
k
k[x] ⊂ k[x1/2 ] ⊂ · · · ⊂ k[x1/2 ] ⊂ · · ·
326
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
9.7 exercises
327
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
dimension theory
328
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10
LOCAL STRUCTURE
329
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
330
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.1 regular rings
331
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
332
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.1 regular rings
333
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
∼ A ⊕···⊕ A .
A=
P1n Prn
A eva L Qn
[x1 , . . . , xd ] → GQ (A) = Qn+1
.
Q
334
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.1 regular rings
When the ring contains a field, this result has a simpler state-
ment.
There are a few results about regular rings that are too impor-
tant to omit, but which we cannot prove with the techniques we
have at hand. The proof these results marks the beginning of the
usage of homological methods in commutative algebra. We plan
to expand on this circle of ideas in a following volume.
The most important result is that Theorem 10.1.9 can be strength-
ened considerably:
335
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
336
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.2 multiplicity and degree
so e(Q, A) = 1 as well.
Remark 10.2.5. In the above example, we may be tempted to de-
scribe A as the local ring in 0 of the variety defined by the ideal
I = (x2 , xy). This is not correct, since I is not radical, and in fact
337
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
338
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.2 multiplicity and degree
X
n
Mi
χM
A (n) = ` = χGrM (A) (n).
Mi+1
i=0
In particular
e(A) = deg GrM (A).
To better understand this relation, we consider the geometric
case. Let V ⊂ An (k) be an affine variety, p a point of V defined
by the maximal ideal M ⊂ R(V). To this we associate the local
ring A = R(V)M , with maximal ideal M = M · A. If we translate
the variety so that p = 0, each polynomial f ∈ I(V) has zero
constant term, hence we can write
f = fd + fd+1 + · · · ,
339
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
f = fd + fd+1 + · · · ,
340
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.2 multiplicity and degree
k[x1 , . . . , xn ] k[x1 , . . . , xn ]
µf : →
M k−d Mk
given by multiplication by f. Since fd 6= 0, µf is injective, giving
an exact sequence
k[x1 , . . . , xn ] k[x1 , . . . , xn ]
0 → → → Bk →0
Mk−d Mk
This allows us to compute
A n+k n+k−d
dim 0k = dim Bk = − =
M n n
(10.2.3)
d
= kn−1 + lower order terms,
(n − 1)!
With exactly the same proof we get an analogous result for the
graded case:
341
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
342
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.3 formulas for multiplicity
343
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
Q+Pi
where Qi := Pi .
P
Proof. We use an induction over s(M) := `(MPi ).
When s(M) = 0, we must have MPi = 0 for all i, that is,
Pi ∈/ Supp(M) for all i. But this means that Ann(M) is not con-
tained in any minimal prime Pi of A such that dim A/Pi = d.
It follows that dim(M) = dim(A/ Ann(M)) 6 d − 1, and in this
case e(Q, M) = 0.
For the inductive step, choose a minimal prime P ∈ Supp(M)
that is one of P1 , . . . , Pr , say P = P1 . By Corollary 3.3.14, the
minimal primes of Supp(M) and Ass(M) are the same, hence P
is associated to M. This means that we can find N ⊂ M such that
N= ∼ A/P. By Proposition 10.3.2, we have
X
r X
r
s(M) = `(NPi ) + `((M/N)Pi ) = 1 + s(M/N).
i=1 i=1
By inductive hypothesis,
X
r
e(Q, M/N) = e(Qi , A/Pi )`((M/N)Pi ).
i=1
X
r
e(Q, M) = e(Q1 , A/P) + e(Qi , A/Pi )`((M/N)Pi ).
i=1
344
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.3 formulas for multiplicity
345
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
where the sum ranges over the primes P ⊂ A that are minimal over Q2
and that satisfy dim A/P + ht P = dim A.
Notice that the elements of the formula are well defined: for
such a prime P, a1 , . . . , am is a system of parameters for A/P, so
(Q1 + P)/P is M/P-primary, and am+1 /1, . . . , ad /1 is a system of
parameters for AP , so Q2 · AP is P · AP -primary.
Let us set up some terminology. Just for the purpose of this
proof, we will call a prime P ⊂ A balanced if dim A/P + ht P =
dim A, and a chain
Pd ( P1 ( · · · ( P0
(ak+1 , . . . , ad ) ⊂ Pk .
346
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.3 formulas for multiplicity
Proof. Apply the previous lemma to find a chain for A/Pk and
one for APk , and join them.
X Q + Pm
e(Q, A) = e e(QPm , APm ),
Pm
Pm
where the sum is over all balanced primes that contain (am+1 , . . . , ad )
appearing in a member of Σ. By the previous lemmas, these are
exactly the balanced primes minimal over (am+1 , . . . , ad ), and
we get the thesis.
347
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
[F(B) : F(A)]χQ
A (n) (10.3.3)
and
X
r
[B/Pi : A/M]χQ i
BP (n) (10.3.4)
i
i=1
have the same degree and leading term.
The statement can be simplified when all localizations BPi have
the same dimension as A. In this case, all summands contribute
to the leading term, and we get
348
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.3 formulas for multiplicity
X
r
[F(B) : F(A)]e(Q, A) = [B/Pi : A/M]e(Qi , BPi ).
i=1
Qn
i = Md ( Md−1 ( · · · ( M1 = Pi · BPi
[B/Pi : A/M]χQ i n
BP (n) = [B/Pi : A/M]d = `A (B/Qi ).
i
Tr
Moreover, ·B = Qn n
i=1 Qi , and by the Chinese remainder
theorem we have
X
r
`A (B/Qn n
i ) = `A (B/Q · B).
i=1
349
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
350
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.4 multiplicity and valuations
351
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
352
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.4 multiplicity and valuations
A ∼ (a)
= .
(b) (ab)
(a) A A
0 → → → →0
(ab) (ab) (a)
where the sum ranges over all primes P 3 a such that dim A/P =
d − 1. We can also include primes P that do not contain a, since
in that case AP /(a · AP ) is 0. A similar formula holds for b and
ab.
Using additivity of the lengths (10.4.2) in the rings of the form
AP , we obtain the result.
353
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
354
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.4 multiplicity and valuations
(Qn : a) ∩ Qc = Qn−s
355
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
e(Q, A) d e(Q, A)
(n − (n − s)d ) = · dsnd−1 + · · ·
d! d!
giving e(Q/(a), A/(a)) = e(Q, A) · s.
Proof. The ring A[[x]] is clearly local with maximal ideal (M, x).
Moreover, it is easy to check that x is superficial of order 1. If
dim A > 0, then Corollary 10.4.13 applies and gives the thesis. If
dim A = 0, then e(A) = `(A) and the Hilbert polynomial of A[[x]]
is χA[[x]] (n) = `(A) · n.
356
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.5 superficial elements
µA = n1 v1 + · · · + nr vr .
(Qn : a) ∩ Qc = Qn−s
357
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
so that ai ∈ A+ 0 ,a ∈
i / Pi but at the same time ai ∈ Pj for all j 6= i.
Finally, letting
Xh
a= ad
i
i
i=1
358
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.5 superficial elements
theorem.
k[[x, y]]
A := .
(xy(x + y))
Then A does not have superficial elements of order 1 for its max-
imal ideal M. For if a ∈ A is such an element, then a ∈ M \ M2 .
But there are only 3 such elements: x, y and x + y, and each
of them is annihilated by a homogeneous element of arbitrarily
large order in GrM (A).
359
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
360
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.5 superficial elements
(Qn : a) ⊂ Qn−k .
When n − k > c, we can put this together with (10.5.2) and get
(Qn : a) = Qn−1 .
Using Lemma 10.4.10 we get
Q/(a)
χA/(a) (n) = χQ Q
A (n) − χA (n − 1) = e(Q, A),
361
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
χQ
A
(n) = χQ
A (n) − `(I).
This implies that dim A = 1 and that e(Q, A) = e(Q, A). The
same reasoning, applied to (a), show that e((a), A) = e((a), A).
Since a is not a divisor of 0 in A, we can apply the first part of
the proof to A and conclude that e((a), A) = e(Q, A), so finally
e((a), A) = e(Q, A) and we can take Q 0 = (a). This ends the
proof for the case d = 1.
For d > 1, we perform an inductive step. Using Theorem 10.5.4,
choose an element a ∈ Q which is superficial of order 1 for Q.
Let A = A/(a) and Q = Q/(a); then e(Q, A) = e(Q, A) and by
induction we find a system of parameters a2 , . . . , ad for A such
that
e((a2 , . . . , ad ), A) = e(Q, A).
362
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.6 cohen’s structure theorem
363
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
364
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.6 cohen’s structure theorem
φ : C[[x1 , . . . , xt ]] → A.
d 1 = c2 + d 2 ,
a = (c1 + c2 + · + cn ) + dn ,
365
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
/ M2 , then
ii) If A is not equicharacteristic, char(k) = p > 0 and p ∈
there exists complete DVR C such that
∼ C[[x1 , . . . , xd−1 ]].
A=
φ : C[[x1 , . . . , xd−1 ]] → A
366
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.6 cohen’s structure theorem
φ : k[[x1 , . . . , xd ]] → A
367
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
368
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.6 cohen’s structure theorem
369
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
k) → A
iv) Apply Theorem 7.7.12 to find a lift φ : Wp (b b
370
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.7 exercises
10.7 exercises
1. Prove directly that a regular local ring of dimension 1 is a
discrete valuation ring.
2. Let A be a regular ring of dimension 1. Prove that A is a
Dedekind domain.
3. Prove the properties stated in Proposition 10.3.1.
4. Compute the multiplicity of n lines meeting at the origin in
A2 .
5. Use Example 10.3.7 to compute the multiplicity e(A), where A
is the local ring of the node y2 = x2 + x3 in a simpler way.
6. Verify the final computation (10.2.3) in Proposition 10.2.14.
7. Let A be an integral domain of dimension 1, and assume that
the order function vA is a valuation. Prove that A is a discrete
valuation ring.
8. Let B = k[x, y]/(x2 , xy) and A the localization of B at 0. Com-
pute µA (y) and µA (y2 ) and show that µA (y2 ) 6= 2µA (y) – in
particular the hypothesis that a is a regular element is necessary
in Proposition
9. Let A be a Noetherian ring, a ∈ A a nonzero divisor. Assume
that for a ∈ M \ M2 for every maximal ideal M ⊂ A. If A/(a) is
regular, prove that A is regular.
10. Let A be a regular local ring. Prove that the ring A[[x]] is
regular (use the previous exercise).
11. Let A, M be a complete local ring of dimension d, of mixed
characteristic, and let p = char A/M. Assume that ht(p · A) = 1.
Prove that A is a finitely generated module over a subring B ⊂ A
such that
B= ∼ C[[x1 , . . . , xd−1 ]],
where C is a DVR.
12. Prove Corollary 10.4.14 – that is, e(A[[x]]) = e(A) for a local
Noetherian ring A – by a direct computation (it is easier to write
the Hilbert polynomial of A as a sum of binomial coefficients,
instead of powers of n).
371
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
local structure
372
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
10.7 exercises
373
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
A
FIELDS
375
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
Y
!
[
Li = K Li .
i i
evα : K[x] →L
f(x) → f(α)
376
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.1 algebraic elements
Proof. All such elements are contained in K(α, β), which is a finite
extension of K – since K(α, β)/K(α) and K(α)/K are finite.
377
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
378
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.1 algebraic elements
379
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
Then clearly A∗
is a subset of A of the same cardinality of B.
Moreover, every a ∈ A is algebraic over B, hence over A∗ . Since
380
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.2 finite fields
xq = x. (A.2.1)
381
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
Since the fields Fpd all live inside Fp , we can also consider
whether there is any inclusion among them.
382
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
a.3 separability
Before delving into Galois theory, we need to understand a be-
haviour which is typical of extensions of fields in positive char-
acteristic. In many situations, it would be tempting to assume
that an irreducible polynomial must have distinct roots, but this
is not always the case.
383
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
384
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
f(x) = λ(x − a1 ) · · · (x − an ),
Proof. Since both f and f 0 are defined over K, their greatest com-
mon divisor is also with coefficients in K. Assuming f is irre-
ducible, it cannot share a nontrivial factor with f 0 , unless f 0 =
0.
385
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
αi = γ − tβj = α + tβ − tβj ,
φ: L → K | φ = id .
L
386
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
i) L is separable over K
iii) [L : K] = [L : K]s .
387
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
388
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
[L : K]
[L : K]i := .
[L : K]s
by Proposition A.3.8.
389
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
iii) [L : K]s = 1
r
iv) For every α ∈ L there exists r such that αp ∈ K.
Proof. That i) implies ii) is obvious. Assume ii) and take any
α ∈ L. Then α ∈ K(S 0 ) for a finite set S 0 ⊂ S, so
[K(α) : K]s 6 [K(S 0 ) : K]s = 1.
Assume by contraction that [L : K]s > 1. Then there is an embed-
ding σ : L → K over K which is not the identity on L. Taking any
α ∈ L such that σ(α) 6= α, we also have [K(α) : K]s > 1, which we
have excluded. Hence, ii) implies iii).
Now assume iii) and let α ∈ L. Then [K(α) : K]s = 1, so the
minimal polynomial µα has a single root over K, which means
r
that µα (x) = xp − c for some c ∈ K, so iv) holds.
Finally, assume iv). Then every α ∈ L satisfies the polynomial
r r
xp − αp ∈ K[x], for some r > 0. The minimal polynomial µα is
a divisor of this polynomial, hence it is purely inseparable.
Remark A.3.20. Clearly, in the finite case, all of the above are also
equivalent to the condition [L : K]i = [L : K].
As a consequence of Proposition A.3.19, we prove the analogue
of Proposition A.3.12.
Proposition A.3.21. Let K ⊂ L ⊂ M be algebraic extensions. Then
M/K is purely inseparable if and only if both L/K and M/L are purely
inseparable.
Proof. Use the fact that L/K is purely inseparable if and only if
[L : K]s = 1, together with the multiplicativity of the separable
degree in towers.
Corollary A.3.22. Let L, M ⊂ K be fields purely inseparable over K.
Then the composite L · M = L(M) is itself purely inseparable.
The above theory allows us to factorize any extensions as a
tower of a separable and a purely inseparable one, thus cleanly
splitting the two phenomena. To see this, take any algebraic ex-
tension L/K, and define the field
sep
(L/K)s := {α ∈ L | α is separable over K} = L ∩ K . (A.3.2)
By Proposition A.3.13, (L/K)s is itself a field, and we can factorize
the extension as K ⊂ (L/K)s ⊂ L.
390
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
391
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
392
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.3 separability
X
2p−1 X
2p−1
p
β = g(α) = p
gp p i
i (α ) = gp i
iγ ,
i=0 i=0
βp = aαp + b,
393
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
394
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.4 normal extensions
395
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
√ √
two degree 2 extensions, such as Q ⊂ Q( 2) ⊂ Q( 4 2). The
two extensions of √ degree 2 are normal by b),
√ but the minimal
polynomial
√ of 4
2 over Q is x4 − 2, so 4 2 is conjugate to
iii) Let L/K be a normal extension. Then (L/K)s is also normal over
K.
αp αp
∗ =x
αp αp
∗ = −y.
√ √
If L/K is normal, we have α∗ ∈ L, √ which means that p x, p y ∈
√
L. But this is impossible, since K( p x, p y)/K is an extension of
degree p2 .
396
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.5 the galois correspondence
f(x) = (x − α1 ) · · · (x − αr )
397
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
Remark A.5.2. When L/K is finite and Galois, by the above dis-
cussion the Galois group Gal(L/K) has exactly [L : K] elements.
L0 → Gal(L/L 0 )
LH ← H.
(A.5.1)
0
There are trivial inclusions H < Gal(L/LH ) and L 0 ⊂ LGal(L/L ) .
In fact, much more is true. We first state the main theorem of Ga-
lois theory for the case of finite extensions.
398
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.5 the galois correspondence
Proof. Let M be the normal closure of L/K, that is, the composite
of the extensions σ(L) for all embeddings σ : L ,→ K. Then M
is a finite extension of K, and it is normal and separable by con-
struction. The main theorem of Galois theory applied to M/K
shows that the intermediate fields between K and M are in bijec-
tion with the subgroups of Gal(M/K), hence they are finite in
number. A fortiori, this is true of the extension L/K.
399
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
400
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.5 the galois correspondence
401
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
L0 → Gal(L/L 0 )
LH ← H.
(A.5.3)
are inverse to each other.
Given this result, all Galois groups of the form Gal(L/K), where
L/K is a Galois extension, can be regarded as quotients of a fixed
group:
The absolute Galois group is the biggest Galois group that can
be taken over K, and encodes in a single (albeit complicated) ob-
ject, the structure of all possible (separable) algebraic extensions
of K.
402
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.6 some computations
403
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
404
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.7 the trace and norm
In fact, much more is known: the same can be done for finitely
many polynomials at once, and the set of specializations that
leave the polynomials irreducible is “big” in an appropriate sense
(see [Ser88] for the notion of thin set, or [CD16] for quantitative
results).
Example A.6.2. (h) Let K be a number field, and consider the
general polynomial of degree n
Y
n
f(T ) = (T − xi ) = T n − σ1 T n−1 + · · · ± σn ,
i=1
TrL/K : L → K
defined by
NL/K : L∗ → K∗
by
NL/K (α) = (σ1 (α) · · · σn (α))f .
405
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
(c) Even more generally, take any α ∈ L, which does not neces-
sarily generate the field. Multiplication by α gives a K-linear
map
mα : L → L,
which sends β to αβ. Let
406
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.7 the trace and norm
M → K,
the two sets {σi } and {τj ◦ ηk } have the same number of elements.
If we prove that they are equal, the desired relations follow im-
mediately.
So we only need to prove that there are no repetitions in the
set {τj ◦ ηk }. If we have
τj ◦ ηk = τl ◦ ηm
we obtain τ−1 −1 −1
l ◦ τj = ηm ◦ ηk , so ηm ◦ ηk fixes L. It follows
that m = k, and in turn l = j.
The trace can be used as a measure of separability.
Proposition A.7.6. Let L/K be a finite extension. Then L/K is separa-
ble if, and only if, TrL/K is not identically 0.
We only prove the half of this result here; the last part of the
proof will be given as a consequence of Artin’s theorem on the
independence of characters.
Proof of Proposition A.7.6, first half. If L/K is inseparable, we can
factor the extension through F := (L/K)s . The extension L/F is
purely inseparable by Proposition A.3.23. Using the property of
composition of the trace in Proposition A.7.5, it is enough to show
407
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
with Gk normal inside Gk+1 , such that the quotiens Gk+1 /Gk
are Abelian. If G is finite, it is equivalent to require that each
quotient is cyclic (up to refining the chain).
Remark A.8.2. Certain authors call an extension L/K solvable if
there exists a field M ⊃ L such that M/K is a Galois extension
with solvable Galois group. In our terminology, a solvable ex-
tension will always be implicitly Galois (and the same holds for
cyclic and Abelian).
In this section, we want to show that these conditions on the
Galois group have a natural interpretation in terms of extensions.
In particular, we will be able to characterize the properties of
Abelian extensions. The prototypical result is the following.
Proposition A.8.3. Let L/K be a Galois extension of degree d, where
L = K(α) for some α such that αd ∈ K. Assume that char K does not
divide d, and that K contains the d-th roots of 1. Then L/K is cyclic.
408
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.8 abelian extensions
Y
d Y
d
d
α = ζid α = σi (α) = NL/K (α) ∈ K∗ .
i=1 i=1
σ(α)
ζd =
α
for some α ∈ L∗ .
409
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
Proof. Let A be the group algebra L[G]. Its elements are formal
finite linear combinations
X
n
ai g i
i=1
X
n
ai σi = 0
i=1
410
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.8 abelian extensions
411
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
K = L0 ⊂ L1 ⊂ · · · ⊂ Lr = L
412
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.8 abelian extensions
K = L0 ⊂ L1 ⊂ · · · ⊂ Lr = L
such that each extension Li+1 /Li has cyclic Galois group. Using
Propositions A.8.3 and A.8.7, this is the same as saying that L is
obtained by K adding roots.
Remark A.8.10. Of course, we introduced the terminology in a
way that is backwards with respect to historical usage. First, the
theorem about solvability of equations was proved, then it be-
came customary to call groups obtained as a tower of cyclic ex-
tensions solvable.
Corollary A.8.11 (Abel). Let K be a field of characteristic 0. The
generic equation of degree > 5 does not have a solution in radicals –
that is, the generic polynomial
X
d
f(t) = ai xi
i=0
413
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
414
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.8 abelian extensions
α (L∗ )n ∩ K∗
L →
(K∗ )n
√ β
n
K ∆ ← ∆.
(A.8.1)
Proposition A.8.16 already proves that β ◦ α is the identity. The
converse is more subtle, and needs a little detour on characters
of finite groups.
Definition A.8.17. Let G be a finite Abelian group. The dual group
of G is defined as
b := Hom(G, C∗ )
G
Remark A.8.18. Let Un < C∗ be the subgroup of n-th roots of 1.
If G has exponent n, then G
b := Hom(G, Un ), since the image of
each element of g by a homomorphism is a n-th root of 1.
As in the case of vector spaces, there is a natural homomor-
phism f from G to its double dual G,
b given by
b
f(g)(α) = α(g)
415
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
H⊥ := φ ∈ G
b | φ(h) = 1 for all h ∈ H .
416
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.8 abelian extensions
so ψ is injective.
To check that ψ is surjective, assume first that L/K is finite.
Given a homomorphism χ : G → Un , as in the proof of Hilbert’s
Theorem 90, we find an element b ∈ K∗ such that
σ(b)
χ(σ) = ,
b
But then bn is fixed by all elements of G, so bn ∈ K.
for all σ ∈ G. √
Writing b = n a for some a ∈ K∗ ∩ (L∗ )n = ∆, we recover that
b = χa .
In the infinite case, let χ : G → Un be a continuous homomor-
phism. Then ker χ has finite index, and there exists a subfield
M ⊂ L such that ker χ = Gal(L/M). By the finite case, we find
a ∈ (L∗ )n ∩ M∗ such that χ = χa . But actually, given σ ∈ G we
have √ n
σ(a) σ( n a)
= √
n
= 1,
a a
so σ(a) = a. Since this holds for all σ ∈ G, a ∈ (L∗ )n ∩ K∗ = ∆.
At this point, we have the second part of the theorem. To check
that α ◦ β is the identity, fix ∆ < K∗ /(K∗ )n , and let L = β(∆) =
417
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
√
K n ∆ and ∆ 0 = α(L) = (L∗ )n ∩ K∗ . Clearly, ∆ ⊂ ∆ 0 , and by
the previous part of the proof, we have an isomorphism
∼ Homc (G, Un ),
∆0 =
a.9 exercises
1. Show that the infinite recursion in the proof of Theorem A.1.10
is not necessary: namely, the field K1 constructed in the proof is
already algebraically closed.
418
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.9 exercises
2. Assume we start with S = {(0, 0), (1, 0)}. Prove that a point
s is constructible with ruler and compass if and only if both its
coordinates (x, y) are algebraic of degree 2n for some n.
More generally, if S is a finite set of points – regarded as com-
plex numbers a1 , . . . , ak – prove that s ∈ C is constructible if and
only if it is algebraic of degree 2n for some n over Q(a1 , . . . , an ).
The last classical problem with ruler and compass is the squar-
ing of the circle. This requires understanding the algebraic prop-
erties of π. We offer some exercises proving the classical theorem
of Lindemann that π is transcendental. The approach we take
is from [Fil11], where the transcendence of e is proved as well,
using similar methods.
X
n X
n
I(t) = et f(j) (0) − f(j) (t),
j=0 j=0
419
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
X
n
f(x) = aj xj ,
j=0
X
n
f(x) = aj xj .
j=0
to get
q + eφ1 + · · · + eφn = 0,
J = I(φ1 ) + · · · + I(φr ).
420
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.9 exercises
421
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
fields
19. Use Galois theory to find the formula for the solution to a
general equation of degree 3
f(x) = x3 + px + q = 0
β = a1 + ζ3 a2 + ζ23 a3 .
422
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
a.9 exercises
423
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
BIBLIOGRAPHY
[AT51] Emil Artin and John T. Tate, A note on finite ring ex-
tensions, J. Math. Soc Japan 3 (1951), no. 1, 74–77.
425
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
426
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
[dJea20] Aise Johan de Jong and et al., The stack project, 2020,
available at https://stacks.math.columbia.edu/.
427
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
[Gra74] Anne Grams, Atomic rings and the ascending chain con-
dition for principal ideals, Mathematical proceedings
of the Cambridge Philosophical Society 75 (1974),
no. 3, 321–329.
428
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
429
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
430
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
2011/04/Diego-Mirandola-Groebner-bases.pdf,
2011.
431
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
432
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Bibliography
433
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
I N D E X O F N OTAT I O N
435
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index of Notation
436
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index of Notation
437
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
INDEX
439
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index
440
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index
441
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index
442
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index
443
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22
Index
444
AMS Open Math Notes: Works in Progress; Reference # OMN:202003.110823; Last Revised: 2020-07-24 13:55:22