Alg 1
Alg 1
Introduction 4
Chapter 1. Rings 5
1.1. Ideals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. The Spectrum of a Ring . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3. Radicals . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.4. Local Rings and Rings of Fractions . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
Appendix B. Categories 90
B.1. General Categories and Functors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 90
2
CONTENTS 3
These are my lecture notes for the course Algebra 1, held by Dr. Thorsten
Heidersdorf in the summer term 20191. You can find the current version
on my website (https://pankratius.gitlab.io/notes). There is also
a version on the course hompage, but it might be outdated. If you find
mistakes (there are still a lot) or have suggestions, please send me an e-mail
to [email protected]. I want to thank everyone who already pointed
some of them out to me and apologize for the long time it took me to fix
them.
The recomended literature for this course is [AM94], [EE95] and
[MR89]. I also like to use [Alu09].
Dr. Heidersdorf introduced categories and (exact) functors in lecture 6.
I decided to put this (and a bit more) in a seperate appendix, which will be
added during the semester. For now, the reader is e.g. refered to [Ste19].
Rings
1.1. Ideals
Definitionb 1.A. Let I ⊆ R be an ideal. Then I is a proper ideal or proper
if I 6= R.
Definition 1.1.
i) A proper ideal p ( R is a prime ideal if for all x, y ∈ R with xy ∈ p,
already x ∈ p or y ∈ p holds.
ii) A proper ideal m ( R is a maximal ideal if there is no ideal I with
m ( I ( R.
Corollary 1.5.
/ R× is contained in some maximal ideal of R.
i) Every x ∈
ii) The units of R are given by the complement of the union over all
maximal ideals m:
[
R× = R \ m.
m maximal ideal
iii) Let m ⊆ R be a maximal ideal in a local ring R and x ∈ m. Then
1 + x is a unit in R.
Proof.
i) Consider the ideal generated by x. As x is not a unit hxi ( h1i
holds. So by Corollary 1.5, there is a maximal ideal containing hxi,
and in particular x.
ii) Let x ∈/ m for all maximal ideals m. Then hxi ( m for all maximal
ideals m, and hence hxi = h1i.
Example 1.6. Consider the case R = Z. Then the prime ideals are h0i
and hpi, for every prime number p.
Lemmab 1.C. Let R be a ring, and consider the polynomial ring R[X1 , . . . , Xn ]
in n variables. Then for every 0 ≤ m ≤ n there is an isomorphism
R[X1 , . . . , Xn ]/hX1 , . . . , Xm i ∼
= R[Xm+1 , . . . , Xn ].
Example 1.7. Let R be an integral domain. Consider the polynomial ring
in n variables, R[X1 , . . . , Xn ]. Let m ≤ n and consider the ideal hX1 , . . . , Xm i.
Then by Lemmab 1.C, we have R[X1 , . . . , Xn ]/hX1 , . . . Xm i ∼
= R[Xm+1 , . . . , Xn ].
As R is an integral domain, R[Xm+1 , . . . , Xn ] is too. So by Lemma 1.2,
1.2. THE SPECTRUM OF A RING 7
Proof.
i) Every prime ideal that contains J also contains I, hence Z(J) ⊆ Z(I).
ii) IJ is a subset of both I and J. So by i), Z(IJ) ⊇ Z(I) and
Z(IJ) ⊇ Z(J); hence Z(IJ) ⊇ Z(I) ∪ Z(J).
Let p be a prime ideal with IJ ⊆ p. Assume I * p, and let
x ∈ I be an element with x ∈ / p. For all y ∈ J the product xy is an
element of IJ ⊆ p. As p is a prime ideal, y ∈ p follows, and hence
J ⊆ p. This implies Z(IJ) ⊆ Z(I) ∪ Z(J).
8 1. RINGS
Corollary 1.13. The collection of the Z(I) for all ideals I of R define a
topology on the set of all prime ideals of R.
Definition 1.14. The spectrum Spec R of R is the set of all prime ideals of
R with the topology from Corollary 1.13. This topology is called the Zariski
topology.
Definitionb 1.D. The set of all maximal ideals of R is denoted by MaxSpec R.
Definition 1.15. A set in Spec R is open if it is of the form Spec R \ Z(I),
for an ideal I.
Recall the following fact about quotient rings:
Proposition 1.16. Let I ⊆ R be an ideal and ϕ : R → R0 a ring homo-
morphism such that I ⊆ ker ϕ. Then there is a unique ring homomorphism
ϕ0 : R/I → R0 such that the following diagram commutes:
ϕ
R R0
ϕ0
R/I
In the case I = ker ϕ, ϕ0 is a ring isomorphism
∼
R/ ker ϕ im ϕ.
R/ϕ−1 (p) ϕ0
commutes.
This identifies R/ϕ−1 (p) with a subring of R0 /p. By applying Lemma 1.2
twice, we get that ϕ−1 (p) is indeed a prime ideal.
Remarkb 1.E. This statement is in general not true for maximal ideals:
Consider the embedding Z ,→ Q. Then the preimage of the maximal ideal
h0i ⊆ Q is h0i, but h0i is not maximal in Z.
1.2. THE SPECTRUM OF A RING 9
= p ∈ Spec R0 ϕ (I) ⊆ p
= Z (ϕ(I)) ,
End of Lecture 1
1.3. Radicals
We now want to find an equivalent characterisation of Z(I) = Z(J) for
two ideals I, J of R.
Definition 1.22. Let I ⊆ R be an ideal. The radical of I is
√
I := {x ∈ R | there exists an n > 0 such that xn ∈ I} .
Definitionb 1.H. An element x ∈ R is called nilpotent if there is an n > 0
such that xn = 0.
Exampleb 1.I.
i) The zero element is always nilpotent.
ii) In an integral domain, there are no non-zero nilpotent elements.
Lemma √ 1.23.
i) I is an ideal
p√ of R.
√
ii) I√⊆ I = I.
iii) I√= R if and only if I = R.
iv) R/ I has no non-zero nilpotent elements.
Proof. √
i) Let x, y ∈ I and m, n > 0 such that xm , y n ∈ I. Then
m+n−1
X m + n − 1
m+n−1
(x + y) = xi y m+n−1−i .
i
i=0
Definition 1.24. √
i) An ideal p
I is a radical ideal if I = I holds.
ii) Nil R := h0i is the nilradical .
iii) If R has no non-zero nilpotent elements then R is reduced .
p
Then hai p= hp1 . . . pl i:
If x ∈ hai, then there is a n > 0 such that xn ∈ hai. So a divides xn , and
hence p1 , . . . pl divide x, which implies x ∈ hp1 . . . pl i. Let now x ∈ hp1 . . . pl i.
n n n m1 ml
Choose n ≥ max {m p1 , . . . , ml }. Then x ∈ hp1 . . . pl i ⊆ hp1 . . . pl i = hai
which implies x ∈ hai.
Proposition 1.28. For any ideal I
√ \
I= p
p prime
I⊆p
holds.
√
Proof. Let x ∈ I and n > 0 such that xn ∈ I. Let p be a prime ideal
with I ⊆ p. Then xn ∈ p, and as p is a prime ideal, this already implies
x ∈ p.
For the converse, assume √that x is in the intersection of all prime ideals
that contain I and that x ∈/ I. We now want to use Zorn’s Lemma in a
non-obvious way to arrive at a contradiction. For that, define
J is an ideal of R,
Σ := J ⊂R .
for all n > 0: xn ∈/ J.
12 1. RINGS
√
First note that I ∈ Σ, as x ∈ / I; so Σ 6= ∅. Furthermore, Σ is partially
ordered by inclusion. Let (Jt )t∈T be a non-empty chain in Σ and consider
[
J˜ := Jt .
t∈T
Then J˜ contains I, is an ideal1 and does not contain xn for any n > 0. So J˜
is an upper bound of (Jt )t∈T . By Zorn’s Lemma, this implies that Σ contains
a maximal element p̃. We now show that p̃ is a prime ideal:
Let a, b ∈ R \ p̃. Then hai + p̃, hbi + p̃ strictly contain p̃ and hence cannot
be in Σ. By definition of Σ, there are now m, n > 0 such that xm ∈ hai + p̃
and y n ∈ hbi + p̃. So there are c, d ∈ R and r, s ∈ p̃ such that xm = ac + r
and xn = bd + s. Now
xm+n (ac + r) · (bd + s)
= abcd
|{z} + rbd + sac + rs,
| {z }
∈habi ∈p̃
so xn+m ∈ habi + p̃. If ab would be an element of p̃, then habi ⊆ p̃, which
would imply xn+m ∈ p̃. Therefore ab cannot be an element of p̃, which is
equivalent to p̃ being prime.
T
But by the original assumption, x ∈ p p, and hence x ∈ p̃. This is a
I⊆p
contradiction as p̃ is an element of Σ.
Corollary 1.29.
i) The nilradical of R is given the intersection of all prime ideals of R:
\
Nil R = p.
p prime
where a = pm ml b
1 · . . . · pl . Note that this recovers the results of Example 1.J
1
√ √
Proof. By symmetry, √ to prove i). If I ⊆ J, then by
√ it suffices
Proposition 1.12 Z I ⊇ Z J holds. Corollary 1.30 now implies
Z(I) ⊇ Z(J).
For the other direction, assume Z(J) ⊆ Z(I). Then every prime ideal
that contains J also contains I. Now
√ \
I= p
p prime
I⊆p
\ √
⊆ p= J.
p prime
J⊆p
Proof.
⊆ “: Let x ∈ Jac R and a ∈ R. Assume 1 − ax is not a unit in R.
”
Then by Corollary 1.5 there is a maximal ideal m containing 1 − ax.
But then
1 = (1 − ax) + ax
14 1. RINGS
End of Lecture 2
Lemma 1.36. Let m ⊂ R be a maximal ideal. If 1 + x is a unit in R for
every x ∈ m, then R is a local ring with maximal ideal m.
Proof. Let b ∈ R \ m. As m is maximal, hbi + m = R. So there are
a ∈ R, x ∈ m such that ab + x = 1. Hence ab = 1 − x ∈ R× , by assumption.
But then hbi = 1, and hence b is a unit in R. The claim follows now from
Lemma 1.35.
Lemmab 1.M. Let R be a local ring, with maximal ideal m. Then 1 + x
is a unit for every x ∈ m.
Proof. This follows direclty from Proposition 1.33.
Lemmab 1.N. Let ϕ : R → k be a surjective ring homomorphism, where
k is a field. Then ker ϕ is a maximal ideal of R.
Proof. By Proposition 1.16, there is a unique isomorphism R/ ker ϕ ∼
= k.
The claim now follows from Lemma 1.2.
1.4. LOCAL RINGS AND RINGS OF FRACTIONS 15
Example 1.37.
i) For every prime number p and every n ≥ 1, R := Z/pn Z is a local
ring: The prime ideals in R are in one-to-one, order preserving
correspondence with the prime ideals in Z that contain hpn i. But
the only prime ideal that contains hpn i is hpi. So R has only one
prime ideal, given by hpi, which has to be maximal.
Note that for all n > 1, Z/pn Z is a finite local ring, which is
not an integral domain, so in particular not a field.
ii) Let R be a local ring with maximal ideal m, and consider the ring
of formal power series
(∞ )
X
i
R[[t]] := ai t ai ∈ R
i=0
ev : R[[t]] −→ R/m
X∞
ai ti 7−→ a0
i=0
(1 + a0 ) bn + a1 bn−1 + . . . + an b0 = 0
can be re-written as
U1 U2
W
Remarkb 1.O. Germs and stalks can be defined in the more general context
of (pre-)sheaves. The example we considered is for the sheaf of continous
functions Rn → R. For more, the reader is refered to [Vak18, Chapter 2].
Remarkb 1.P. Here are some more facts on R[[t]] for a general ring R:
1.4. LOCAL RINGS AND RINGS OF FRACTIONS 17
is a well-defined isomorphism.
Q It is a classical (non-trivial) result
that the infinite product N Z is not a free.
ii) The units in R[[t]] are of the form a0 + . . ., where a0 is a unit in R.
This similar to the case where R is local.
iii) So we can still describe the maximal ideals MaxSpec R[[t]]: by ii),
every maximal ideal necessarily contains t and hence corresponds
to a maximal ideal of R[[t]]/hti ∼= R. So we have
MaxSpec R[[t]] = {m + hti | m ∈ MaxSpec R} .
Since for any ideal I ⊆ R the maximal ideals over I + hti are
precisley of the form m + hti for the maximal ideals m over I ⊆ m
the assignment
MaxSpec R[[t]] ←→ MaxSpec R
m 7−→ m ∩ R
m + hti ←−[ m
is a homeomorphism (where we equip MaxSpec R[[t]] and MaxSpec R
with the subspace topology).
i) The map
η : R −→ S −1 R
a
a 7−→
1
is a ring homomorphism. The elements of S are invertible in S −1 R:
×
η (S) ⊆ S −1 R .
Proof. Ommited.
Proposition 1.41. Let S ⊆ R be a multiplicative subset and g : R → R0
a ring homomorphism such that g (S) ⊆ (R0 )× . Then g factors over the ring
of fractions: there is a unique ring homomorphism g 0 : S −1 R → R0 such that
g
R R0
η
g0
S −1 R
commutes.
Proof. Ommited.
Example 1.42.
i) Let S = {1}. Then S −1 R ∼
= R.
ii) Let 0 6= a ∈ R be an element and
S := {an | n > 0} .
Then Ra := S −1 R is called the localization at a.
iii) Let p be a prime ideal and S := R \ p. Then S is a multiplicative
subset. Then Rp := S −1 R is the localization at p.
Example 1.43. Consider the case R = Z. Then for any prime number p,
the localization at p is given by
a
Zp = a ∈ Z, n ≥ 0 .
pn
The localization at a prime ideal p = hpi however is given by
na o
Zp = a, b ∈ Z, p does not divide b .
b
Note that Zp and Zp are different from each other; both are extremly different
from Z/pZ!
Lemmab 1.Q. For an element x ∈ R, the following are equivalent:
i) x = 0,
ii) η(x) = 0 for all prime ideals p ∈ Spec R,
iii) η(x) = 0 for all maximal ideals m ∈ MaxSpec R.
Proof. Ommited.
1.4. LOCAL RINGS AND RINGS OF FRACTIONS 19
ideal in S −1 R.
v) The maps
Spec S −1 R ←→ {p ∈ Spec R | p ∩ S = ∅}
q 7−→ q ∩ R
−1
p S R ←−[ p
are mutually inverse and preseve inclusions.
End of Lecture 3
CHAPTER 2
Exampleb 2.B.
i) Let k be a field. Then k-submodules of k-modules are precisely
k-subspaces.
ii) Let I ⊆ R be an ideal. Then I is an R-submodule of R.
iii) Let H ⊆ G be a subgroup of an abelian group G. Then H is a
Z-submodule.
· : R × R/M 0 −→ M/M 0
r, x + M 0 −→ (rx) + M 0 .
ker f := {x ∈ M | f (x) = 0} .
im f := {f (x) | x ∈ M } .
f
M N
f
M/M 0
2.2. FREE AND FINITELY GENERATED MODULES 25
∼
ii) There is a unique isomorphism f˜ : M/ ker f −
→ im f such that the
following diagram commutes:
f
M N
∼
M/ ker f im f
f˜
Proof. Ommited.
End of Lecture 4
Remarkb 2.D.
i) If we regard two submodules M1 , M2 ⊆ M of an R-module M with
M1 ⊕int M2 = M as R-modules, then M1 ⊕ M2 ∼ = M = M1 ⊕int M2 .
So we will not distinguish further between the two notions.
ii) If (Mi ) is a finite family of R-modules, then the product and direct
sum of the Mi are equal.
iii) The product of a family (Mi ) is indeed a product in the category
R-Mod. The coproduct of a family (Mi ) is indeed a coprodcut in
the category R-Mod.
X
ai ∈ I,
Lin {xi } := ai xi .
ai 6= 0 for only finitely many i.
a1 x1 + . . . + an xn = 0.
Rm Rn M 0
Exampleb 2.F.
i) If M is finitely presented then M is already finitely generated.
ii) The converse is in general not true: The sequence Rm → Rn → M
being exact is equivalent to saying that Rm → Rn is a kernel for
the projection Rn → M . Consider now any non-noetherian ring
and I ⊆ R an ideal which is not finitely generated. Then R/I is not
finitely presented. As a concrete example, there is no presentation
for k[t1 , . . .]/ht1 , . . .i.
Remark 2.16. Let M be a free R-module with basis {xi }i∈I . Let M 0
be another R-module and {yi }i∈I a subset of M 0 . Then there is a unique
R-linear map f : M → M 0 such that the diagram
∃!f
M M0
f
{xi }i∈I
commutes. Here, the map of sets f : {xi }i∈I is given by f (xi ) := yi for all
i ∈ I. This is called the universal property of a free module.
If M 0 is a finitely generated R-module, then in particular there is a
surjective map Rn → M 0 .
Example 2.17.
i) For R = Z and M = Z/pZ, M is not a free Z-module, as every
element has torsion.
ii) For R = Z and M = Q, M is not finitely generated as Z-module.
Proof.
2.2. FREE AND FINITELY GENERATED MODULES 29
M = IM + N.
Then M = N holds.
Proof. We have
Then by Lemmab 2.J and Lemma 2.24, M/N = 0 follows, which implies
M = N.
End of Lecture 5
Lemma 2.26. Let M be a finitely-generated R-module, m1 , . . . , mn ∈ M
and I ⊆ Jac R an ideal. Then the following are equivalent:
i) The set {mi }i generates M as an R-module.
ii) The set {mi }i generates M/IM as an R/I-module.
2.3. Algebras
Definition 2.27. Let R be a ring.
i) A R-algebra consists of a tuple (R0 , ϕ), where R0 is a ring and
ϕ : R → R0 is a ring homomorphism.
2.4. LOCALIZATION OF MODULES 31
ϕ0 ϕ00
R
iii) LetR0 be an R-algebra. We say R0 is finitely generated as R-algebra
if there is a n ≥ 0 and b1 , . . . , bn ∈ R0 such that the evaluation map
evb1 ,...,bn : R[t1 , . . . , tn ] −→ R0
ti 7−→ bi
is surjective. In this case, we will also sometimes say that R0 is an
R-algebra of finite type.
Lemma 2.32.
f
i) The sequence 0 M0 M is exact if and only if f is injective.
g
ii) The sequence M N 0 is exact if and only if g is surjective.
iii) The sequence 0 M0 h M 0 is exact if and only if h is an
isomorphism.
iv) Let M 0 ⊆ M be a submodule. Then the sequence
0 M0 M M/M 0 0
is short-exact.
Let now y/t ∈ ker F (g), so g(y)/t = 0. Now by the definition of the
localization there is a u ∈ S such that ug(y) = 0, and hence uy ∈ ker g. As
2.5. INTEGRAL EXTENSIONS 33
the original sequence is short exact, there is a x ∈ M such that f (x) = uy.
Then F (f ) (x/(ut)) = (uy)/(ut) = y/t, so y/t is in the image of F (f ).
Corollary 2.34. Let N ⊆ M be a submodule of an R-module M . Then
S −1 (M/N ) ∼
= S −1 M / S −1 N .
Proof. Consider the short-exact sequence
0 N M M/N 0 .
Since localization is an exact functor, the sequence
0 S −1 N S −1 M S −1 (M/N ) 0
End of Lecture 6
Warning 2.37. Unlike in the special case of fields, the condition that a
polynomial p is monic is necessary, as it is in general not possible to invert
the leading coefficient. For example, a = 1/2 ∈ Q is a root of 2t − 1 ∈ Z[t],
but still not integral over Z.
Remark/Definition 2.38. Let R0 be an R-algebra and b1 , . . . , bn ∈ R0 .
We denote by
X
R[b1 , . . . , bn ] := ai1 ,...,in bi1 . . . bin ai1 ,...,in ∈ R ⊆ R0
i1 ,...,in
Proof. Ommited.
Proof. Ommited.
R/p ϕ0
Rp Rp0
ϕ0 , integral
with maps
a
η 0 : R0 → Rp0 , a 7→
1
and
ϕ0 : Rp −→ Rp0
a ϕ(a) ϕ(a)
7−→ =
s ϕ(s) s
where we identify s ∈ R and ϕ(s) ∈ R0 .
We now have that q0i := qi Rp0 is a prime ideal in Rp0 for i = 1, 2, as
qi ∩ (ϕ (R \ p)) = ∅.
By the commutativity of the above diagram we get
q0i ∩ Rp ∩ R = q0i ∩ R0 ∩ R
= qi Rp0 ∩ R0 ∩ R.
2.6. GOING UP AND GOING DOWN 37
= p.
q0i ∩ Rp ∩ R Rp
pRp =
= q0i ∩ Rp .
Now by Corollary 1.47, ii) we have that Rp is a local ring with maximal ideal
pRp , so by Corollary 2.46 we have that both q01 and q2 are maximal in Rp0 .
But since we assumed q1 ⊆ q2 this implies q01 = q02 .
Using Theorem 1.46 one last time, we get
q1 = q1 · Rp0 ∩ R0
= q01 ∩ R0
= q02 ∩ R0
= q2 ,
which finishes the proof.
End of Lecture 7
Lemma 2.48 (Lying Over). Let ϕ : R ,− → R0 be an integral extension of
R. Then for all prime ideals p ∈ Spec R there is a prime ideal q ∈ Spec R0
such that q ∩ R = p, i.e. the induced morphism Spec ϕ : Spec R0 → Spec R
is surjective.
Proof. Let p ∈ Spec R be a prime ideal. Consider the commutative
diagram
ϕ, integral
R R0
η η0
ϕ0 , integral
Rp Rp0
38 2. MODULES AND INTEGRAL EXTENSIONS
= (n ∩ Rp ) ∩ R
= (pRp ) ∩ R
= p.
Definition 2.49. Let ϕ : R → R0 be an algebra.
i) We say that ϕ satisfies going up if given a chain of prime ideals
p1 ⊆ p2 ⊆ . . . ⊆ pn
in R and a chain of prime ideals
q1 ⊆ q2 ⊆ . . . qm
in R0 with m ≤ n and pi = qi ∩ R for all 1 ≤ i ≤ m there are prime
ideals qm+1 , . . . , qn such that the following holds:
• pi = qi ∩ R for all m + 1 ≤ i ≤ n; and
• the ideals qm+1 , . . . , qn fit into the chain
q1 ⊆ . . . ⊆ qm+1 ⊆ . . . ⊆ qn .
ii) We say that ϕ satisfies going down if given a chain of prime ideals
p1 ⊇ p2 ⊇ . . . ⊇ pn
in R and a chain of prime ideals
q1 ⊇ q2 ⊇ . . . qm
with m ≤ n and pi = qi ∩ R for all 1 ≤ i ≤ m there are prime ideals
qm+1 , . . . , qn such that the following holds:
• pi = qi ∩ R for all m + 1 ≤ i ≤ n; and
• the ideals qm+1 , . . . , qn fit into the chain
q1 ⊇ . . . ⊇ qm+1 ⊇ . . . ⊇ qn .
R/p1 R0 /q1
ϕ0 , integral
where ϕ0 is an integral extension by Lemma 2.43 and Lemma 2.45. The ideal
p2 /p1 is prime in R/p1 (Remarkb 1.G) and hence Lying Over (Lemma 2.48)
implies that there is a prime ideal q02 ∈ Spec R0 /q1 such that q02 ∩R/p1 = p2 /p1 .
Consider now the prime ideal q2 := q02 ∩ R0 . Then q1 ⊆ q2 and
q2 ∩ R = q02 ∩ R0 ∩ R
= (p2 /p1 ) ∩ R
= p2 .
Remarkb 2.T. There are also extension that are not integral but still
satisfy going up: A trivial example is the embedding Q ,− → R or more
generaly any field extension that is not algebraic.
As another example, consider the embedding Z ,− → Z[t]. This is not
integral (because by Corollary 2.41 this would imply that Z[t] is a finite
Z-module). However, for every prime ideal q ∈ Z the image pZ[t] is prime
too.
Going Down for Integral over Normal.
Definition 2.52. Let ϕ : R → R0 be an algebra and I ⊆ R an ideal.
i) An element b ∈ R0 is integral over I if there is a monic polynomial
p ∈ R[t] such that p(b) = 0 and the non-leading coefficients of p are
in I.
ii) The set
I := b ∈ R0 b is integral over I .
Proof.
i) Since ϕ is injective, every non-zero element in R gets mapped to a
unit in Quot R0 . So by the univesal property of the localization, we
get an induced map
ϕ
R R0
Quot R Quot R0
→ Quot R0 is algebraic.
Quot R ,−
iii) Localizing once again at S := R \ {0} gives a finite (localizing is
exact) extension Quot R = S −1 R ,− → S −1 R0 . Arguing as in ii),
2.6. GOING UP AND GOING DOWN 41
Lemma 2.56. Let ϕ : R ,− → R0
be an integral extension, with R, R0
integral
0
domains and R normal. Let b ∈ R be integral over some ideal I ⊆ R. Then
b/1 is algebraic over Quot √
R and the non-leading coefficients of its minimal
polynomial are already in I.
Proof. By Lemmab 2.W, there is indeed a minimal polynomial for b.
Set K := Quot R, and consider the intermediate field K ⊆ K[b] ⊆ Quot R0 .
Let L be a field extension of K[b] such that the minimal polynomial p of b is
a product of linear factors in L (e.g. the algebraic closure of K[b]). So p has
the form
p = (t − x1 ) . . . (t − xn ) ,
where the x1 , . . . , xn are elements of L.
As b is integral over R, there is a monic polynomial f ∈ R[t] ⊆ K[t]
with f (b) = 0. By the minimal property of the minimal polynomial, p | f
follows and hence all roots of p are also roots of f which shows that the
x1 , . . . , xn are integral over I. Since the non-leading coefficients of p are in
K[x1 , . . . , xn ] we get that they are integral over I too (Lemmab 2.U).
Since we assumed that R is normal, we get that √ the ai are√already in R.
By applying Lemmab 2.U to R0 = K, we get I = I, so ai ∈ I.
Lemma 2.57. Let ϕ : R → R0 be a ring homomorphism and p ∈ Spec R a
prime ideal. Then the following are equivalent:
i) There is a prime ideal q ∈ Spec R0 such that p = ϕ−1 (q).
ii) It holds that ϕ−1 (ϕ(p)R0 ) = p.
End of Lecture 8
Proof. Let p1 ⊆ p2 ⊆ R and q2 ⊆ R0 be prime ideals such that
p2 = q2 ∩ R. We want to find a prime ideal q1 ∈ R0 such that p1 = q1 ∩ R
and q1 ⊆ q2 :
R0 ∃q1 ⊆ q2
ϕ
R p1 ⊆ p2
Consider now the map
ϕ η
ϕ0 : R R0 Rq0 2 .
holds. Assume for now that this is the case. Then Lemma 2.57 implies that
there is a prime ideal q01 ⊆ Rq0 2 such that q01 ∩ R = p1 . For q1 := q01 ∩ R0 we
have that q1 ∩ R = p1 , and q1 ⊆ q2 (by Corollary 1.47, i)), which shows that
ϕ satisfies going down.
We now prove (∗): Note first that p1 ⊆ p1 Rq0 2 ∩ R is always true. So it
contradicting s ∈
/ q2 .
More Examples of Going Down. The proofs for the following propo-
sitions will (hopefully) be added in the future.
Theoremb 2.X. Let ϕ : R → R0 be flat, i.e. R0 is flat as an R-module.
Then ϕ satisfies going down.
Theoremb 2.Y. Let ϕ : R → R0 be a ring homomorphism such that
Spec ϕ : Spec R0 → Spec R is open (i.e. maps open sets to open sets.). Then
ϕ satisfies going down.
We will only prove i) and ii). The proof of iii) can be found in [Fra18b].
2.7. NOETHER NORMALIZATION LEMMA 43
i=1
(terms where tn has stricly lower degrees) .
Claim 1. The ri can be choosen in such a way that for each different pair of
multi-indices σ, τ ∈ Nn , the associated exponents e(σ), e(τ ) are different too:
By definition, there is a M > 0 such that bσ = 0 for all multi-indices
σ ∈ Nn \{0, . . . , M − 1}. Set now r1 := M, r2 := M 2 , . . . , rn−1 := M n−1 ,
and let σ ∈ Nn be a multi-index with bσ 6= 0. Then the value of
n−1
X
e(σ) = σn + σi ri = σn + σ1 M + . . . + σn−1 M n−1
i=1
is uniquely determined by the values of the σ1 , . . . , σn (since the M -adic
expansion of a natural number is unique, and M was chosen in such a
way that σi < M for all 1 ≤ i ≤ n).
If, however, the xi are not algebraically independent, then there is a poly-
nomial 0 6= f ∈ k[t1 , . . . , tm ] such that f (x1 , . . . , xm ) = 0. Set yi := xi − xrmi
for 1 ≤ i ≤ 0 and (yet to be determined) ri . We then have
rm−1
0 = f y1 + xrm1 , . . . , ym−1 + xm−1 .
But by Lemma 2.60, there is a set of exponents ri such that
r
0 = f (y1 + xrm1 , . . . , ym−1 + xm−1
m−1
) = cxdm + h1 xd−1
m + . . . + hd
with h1 , . . . , hd ∈ k[y1 , . . . , ym−1 ] and c ∈ k × . So xm is integral over
k[y1 , . . . , ym−1 ] and k[y1 , . . . , ym−1 ][xm ] is a finite k[y1 , . . . , ym−1 ]-module
(Corollary 2.41). By induction hypothesis, there are algebraically indepen-
→ k[y1 , . . . , ym−1 ] is finite. Hence
dent a1 , . . . , an such that k[a1 , . . . , an ] ,−
k[a1 , . . . , an ] k[y1 , . . . , ym−1 ] k[y1 , . . . , ym−1 ][xm ] = A
is finite (Lemma 2.40), which proves the claim.
End of Lecture 9
Notation. Let s ∈ R and consider the multiplicative set S := 1, s, s2 , . . . .
Then the localization of an R-module M at S is denoted by
M [s−1 ] := S −1 M.
Lemmab 2.Z. Let R0 be an R-algebra of finite type, and S ⊆ R a mul-
tiplicative subset. Then the localization S −1 R0 of R0 (as R-algebra) is an
S −1 R-algebra of finite type.
Proof. Since R0 is of finite type, there is surjective ring homomorphism
R[t1 , . . . , tn ] R0 . Since localization is exact, we get an induced epimorphism
S −1 R [t1 , . . . , tn ] ∼ S −1 (R[t1 , . . . , tn ]) S −1 R0 .
The following is a generalization of NNL to integral domains:
Proposition 2.61. Let R be an integral domain and R0 an R-algebra of
finite type.
i) There exists an element s ∈ R \ {0} and elements b1 , . . . , bn ∈ R0
such that
• the elements b1 , . . . , bn are algebraically independent over the
fraction field Quot R; and
• the ring extension
R[s−1 ][b1 , . . . , bn ] R0 [s−1 ]
is finite.
ii) For all prime ideals p ⊆ R[s−1 ] there is a prime ideal q ⊆ R0 [s−1 ]
such that q ∩ R[s−1 ] = p.
iii) For all prime ideals p ∈ Spec R[s−1 ] and the prime ideal q which
was constructed in ii), it holds that
Quot (R/(p ∩ R)) = Quot R[s−1 ]/p ⊆ Quot R0 [s−1 ]/q
= Quot R0 /(q ∩ R0 ) ,
2.7. NOETHER NORMALIZATION LEMMA 45
Proof.
i) Set S := R \ {0}. Then the induced extension
k := Quot R = S −1 R S −1 R0
induces an isomorphism
R[s−1 ][b1 , . . . , bn ]/p0 −→
∼
R[s−1 ]/p.
(Note that this is well-defined, since the bi are algebraically inde-
pendent). As p is a prime ideal, we get that p0 is too.
Using Lying Over (Lemma 2.48) for the finite integral extension
(by i))
R[s−1 ][b1 , . . . , bn ] R0 [s−1 ]
we get that there is a prime ideal q sin Spec R0 [s−1 ] such that
q ∩ R[s−1 ][b1 , . . . , bn ] = p0 . Thus
q ∩ R[s−1 ][b1 , . . . , bn ] ∩ R[s−1 ] = p.
CHAPTER 3
Example 3.3.
i) Fields are Jacobson rings.
ii) If R is a local ring, which has only one prime ideal, the R is a
Jacobson ring.
Exampleb 3.A.
i) If R be a noetherian domain such that every non-zero prime ideal
is maximal and R has infinitely many maximal ideals, then R is
Jacobson: Since every non-zero ideal is maximal, it suffices to show
h0i = Jac R. For that, it suffices that every non-zero x ∈ R is only
contained in finitely many prime ideals, i.e. that Z(x) is finite. But
Z(x) is isomorphic to Spec R/hxi. Now R/hxi is noetherian and
every prime ideal is minimal. It is a general fact that noetherian
rings have only finitely many minimal prime ideals so the claim
follows.
ii) Claim i) implies that all factorial rings with infinitly many prime
ideals are Jacobson (like Z). Note that for a factorial ring the
condition Jac R = 0 suffices for being jacobson.
47
48 3. HILBERT’S NULLSTELLENSATZ AND SOME ALGEBRAIC GEOMETRY
iii) Let on the other hand R be a domain which has only finitely many
prime ideals. Then R cannot be Jacobson: We have
0 6= m1 · . . . · mn ⊆ m1 ∩ . . . ∩ mn ,
for the maximal ideals m1 , . . . , mn .
Rp integral
R0 qRp0 .
= q,
so J = q follows.
Proof.
i) Let q ∈ Spec R0 be a prime ideal and b ∈ R0 \ q. By Lemma 3.2, we
want to show that there is a maximal ideal n ∈ MaxSpec R0 such
that q ⊆ n and b ∈
/ n.
3.2. HILBERT’S NULLSTELLENSATZ 49
R/m R0 /n
finite
Quot R̃/m̃ Quot R̃0 /ñ
q̃ 7−→ q̃ ∩ R0
So b ∈
/ n, which concludes the proof.
ii) Let q ∈ MaxSpec R0 be a maximal ideal. By applying the con-
struction for b = 1, we get a maximal ideal m ∈ MaxSpec R with
q ∩ R ⊆ m and a maximal ideal n ∈ MaxSpec R0 with n ∩ R = m
and q ⊆ n. Since q is a maximal ideal, q = n follows. So
n ∩ R = q ∩ R = m, which is maximal.
We also have that Quot R̃/m̃ ,− → Quot R̃0 /ñ is finite. Since
Quot R̃/m̃ = R/m̃ and Quot B̃/ñ = B/q, the claim follows.
50 3. HILBERT’S NULLSTELLENSATZ AND SOME ALGEBRAIC GEOMETRY
End of Lecture 10
Corollary 3.6. Let k be a field and A a k-algebra of finite type. Then
i) A is a Jacobson ring.
ii) For all maximal ideals m ∈ MaxSpec A the map k → A → A/m is
a finite field extension.
iii) The maximal ideals of A are given by
MaxSpec A = {p ∈ Spec A | k → Quot A/p is finite} .
iv) Let f : A → B be a homomorphism of k-algebras of finite type and
m ∈ MaxSpec B a maximal ideal. Then m ∩ A is maximal too.
Proof.
i) This is just i) of GHNS (Theorem 3.5).
ii) By ii) of GHNS, m ∩ k is a maximal ideal in k. But since k is a
field, this implies that m ∩ k = h0i. So by the second part of ii),
→ A/m is a finite field extension.
k ,−
iii) The inclusion ⊆“ is just ii). For the other direction let p ⊆ A be a
”
prime ideal and assume that in
k A/p Quot A/p
the composition k ,− → Quot A/p is a finite field extension. Then
→ Quot A/p is necessarily finite, and so in particular integral.
A/p ,−
Now by Lemma 2.44, this implies that A/p is a field, and hence p
is a maximal ideal.
iv) Since B is of finite type, it is in particular an A-algebra of finite
type. By applying ii) of GHNS to A → B, the claim follows.
Corollary 3.7. Denote by k-Algf.t. the category whose objects are k-
algebras of finite type and whose morphisms are k-algebra homomorphisms
maps. Then MaxSpec(−) induces a contravariant functor
MaxSpec(−) : k-Algf.t. −→ Top
A 7−→ MaxSpec A
which maps k-algebra homomorphisms ϕ : A → B to the restriction of ϕ#
to MaxSpec B.
Proof. We only show that the restriction of ϕ# is well-defined, i.e. that
we indeed get a map ϕ# : MaxSpec B → MaxSpec A. But this is just iv) of
Corollary 3.6.
Theorem 3.8 (Weak Nullstellensatz). Let k be an algebraically closed field.
For a tupel x = (x1 , . . . , xn ) ∈ k n , denote by mx the ideal
mx := ht1 − x1 , t2 − x2 , . . . , tn − xn i ⊆ k[t1 , . . . , tn ].
Then mx is a maximal ideal and the assignment
k n −→ MaxSpec k[t1 , . . . , tn ]
x 7−→ mx
3.3. THE DIMENSION OF A RING 51
is a bijection.
Proof. As k[t1 , . . . , tn ]/mx ∼
= k we find that mx is indeed a maximal
ideal. We also have mx 6= my for x, y ∈ k n with x 6= y.
It remains to show the surjectivity: Let m ∈ MaxSpec k[t1 , . . . , tn ] be a
maximal ideal. Then by Corollary 3.6, we have that k ,− → A/m is a finite
field extension. As k is algebraically closed, there are no non-trivial algebraic
field extensions of k, so in particular there are no finite extensions. So we
have k ∼ = a/m.
∼
Denote by π the map π : A A/m −→ k and set xi := π(ti ). Then
ti − xi ∈ ker π, and so mx = ht1 − x1 , . . . , tn − xn i ⊆ ker π = m. But as mx
is maximal and m 6= A, it follows that mx = m.
Remarkb 3.B. That a field satiesfies the Weak Nullstellensatz is equiva-
lent to k being algebraically closed, since it implies that every irreducible
polynomial in k[t] is of the form t − a for a a ∈ k.
Example 3.10.
i) Let k be a field. Then dim k = 0, as every prime ideal is maximal.
ii) Let R be a prinicipal ideal domain which is not a field. Then every
ascending chain of prime ideals in R is of the form h0i ( hpi, for a
prime element p ∈ R. So dim R = 1.
iii) Consider the polynomial ring in n variables over a field k. Then
0 ( ht1 i ( ht1 , t2 i ( . . . ( ht1 , . . . , tn i
is stricly ascending, so dim k[t1 , . . . , tn ] ≥ n.
Proof.
i) By the classification of prime ideals in Rp (Corollary 1.47), there is
a order-preserving bijection
∼
Spec Rp {p0 ∈ Spec R | p0 ⊆ p} .
Now the statement is now just the definition of height and dimension.
ii) This follows from the classification of prime ideals of R/p (Remarkb 1.G)
and the definition of height and dimension.
iii) After localising at a maximal ideal, the image of an ascending chain
is still an ascending chain. Vice versa, every ascending chain in the
localization at a maximal ideal can be lifted to an ascending chain
in R. This shows the first equality. The second equality follows
from i).
Proof.
i) Let q0 ( . . . ( ql be an ascending chain in R0 . Then q0 ∩R ( . . . ( ql ∩R
is an ascending chain in R (That the inclusions are strict follows
from Lemma 2.47). This shows dim R ≥ dim R0 .
3.3. THE DIMENSION OF A RING 53
q0 ( q1 ( ... ( qd
p0 ( p1 ( ... ( pd
q0 ) ql−1 ) ... ) q0
So dim Rq0 ≥ dim Rq∩R . The claim now follows from ii).
Remarkb 3.E. Note that in the setting of going between, it does not
necessarily hold that q2 ∩ R = p2 . A counterexample can also be found in
the solutions to sheet 6.
Theorem 3.14. Let k be a field.
i) It holds that dim k[t1 , . . . , tn ] = n.
ii) All maximal chains in k[t1 , . . . , tn ] = n have the same length.
End of Lecture 11
ii) V (x · y) = (a, b) ∈ k 2 a = 0 or b = 0 .
Lemma 3.19.
i) Let S1 ⊆ S2 ⊆ k[t1 , . . . , tn ]. Then V (S1 ) ⊇ V (S2 ).
ii) Let S ⊆ k[t1 , . . . , tn ]. Then V (S) = V (hSi).
Proof. Ommited.
Example 3.20. We want to describe the varieties in A1k for k algebraically
closed. Let I ⊆ k[t] be an ideal. Since k[t] is a prinicipal ideal domain, there
is a f ∈ k[t] such that I = hf i. Then, using Lemma 3.19 we get
V (I) = V ({f })
= {x ∈ k | f (x) = 0}
= {x ∈ k | (t − a1 ) · . . . · (t − an ) = 0}
= {a1 , . . . , an } .
Note that it was crucial that k is algebraically closed, since otherwise we
would have not obtained a factorisation of f .
Definition 3.21.
i) Let X ⊆ Ank be a subset. Define
I(X) := {f ∈ k[t1 , . . . , tn ] | f (x) = 0 for all x ∈ X} .
ii) Let X ⊆ Ank be a subset. Define A(X) := k[t1 , . . . , tn ]/ I(X) as the
ring of polynomial functions on X or the coordinate ring at X.
Note that A(X) is a finitely-generated k-algebra.
Proof. I(X) is indeed an ideal, so this is well-defined.
Remarkb 3.G. Note that A (Ank ) = k[t1 , . . . , tn ].
Example 3.22. Let a := (a1 , . . . , an ) ∈ Ank . Then
I(a) = ma = (t1 − a1 , . . . , tn − an ) .
Definition 3.23. Let Y ⊆ X ⊆ Ank and S ⊆ A(X).
i) The set VX (S) := {x ∈ X | f (x) = 0 for all f ∈ S} is a subvariety
of X.
ii) We define IX (Y ) := {f ∈ A(X) | f (y) = 0 for all y ∈ Y } .
Proof. i), ii) and v) are clear from the definition. For iii), note that we
only need to show VX (IX (Y )) ⊆ Y , since the other inclusion follows from ii).
But since Y is a subvariety of X, there is a S ⊆ A(X) such that Y = VX (S).
Then, using i) and ii), we get
ii) i)
S ⊆ IX (VX (S)) = I(Y ) =⇒ VX (IX (Y )) ⊆ VX (S) = Y.
For iv), note that the restricion map
A(X) −→ A(Y )
f 7−→ f |Y
is well-defined and surjective, with kernel IX (Y ).
Notation 3.25. In the following, if the subset X is clear, we will ommit it
in the notation for I and V.
Remark 3.26. In light of Lemma 3.24 it seems reasonable to ask if
I(V (J)) ⊆ J holds for a general ideal. But in general, this is far from
being true:
i) For the ideal
J := h(t − a1 )k1 · . . . · (t − an )kn i ⊆ C[t]
with ki ≥ 0 and ai ∈ C, we have V (J) = {a1 , . . . , an }. So I(V (J))
consists of all polynomials which have each of the factors t − ai at
least once. So if one of the ki is greater than 1 J is a proper subset
of I(V (J)).
ii) Consider
J := ht2 + 1i ⊆ R[t].
Then I(J) = ∅, so I(V (J)) = I(∅) = R[t].
End of Lecture 12
Proof. P
i) WeP have V T( l Il ) ⊆ V (Il ) for all l ∈ L, by Lemma 3.19. So
V ( l Il ) ⊆ l V (IT l ). P
Let now x ∈ P l V (Il ). Then for any polynomial f ∈ l Il ,
f (x) = 0, so x ∈ V ( l Il ).
ii) We have V (J) ⊇ V (I ∩ J) ⊇ V (I) ∪ V (J). Let x ∈ V (IJ), with
x∈ / V (I). Then there is a f ∈ I such that f (x) 6= 0. Now for any
g ∈ J, we have f g ∈ IJ and hence (f g)(x) = 0. So g(x) = 0 and
thus x ∈ V (J).
Proposition 3.30. By the above lemma, the subsets of the form V (I) ⊆ Ank
satisfy the axioms of closed sets of a topology on Ank . This topology is the
Zariski-Topology on Ank
58 3. HILBERT’S NULLSTELLENSATZ AND SOME ALGEBRAIC GEOMETRY
Proof. This is on the seventh exercise sheet. (Part iv) actually not).
Definition b 3.I. Let I ⊆ R be an ideal. We say I is a radical ideal if
√
I = I holds.
Definitionb 3.J. A topological space X is called irreducible if every de-
composition X = X1 ∪ X2 in closed subsets X1 , X2 implies that X1 or X2
equals X.
Theorem 3.32.
i) The maps
{varieties in Ank } ←→ {radical ideals in k[t1 , . . . , tn ]}
Y 7−→ I(Y )
V (J) ←−[ J
are mutually inverse bijections.
ii) The bijection from i) restricts to a bijection
{closed, irreducible subsets of Ank } ←→ Spec k[t1 , . . . , tn ].
iii) The bijection from i) restricts to a bijection
{{x} ⊆ Ank } ←→ MaxSpec k[t1 , . . . , tn ].
Proof. p
i) Since k is an integral domain, we have I(X) = I(X) for all
X ⊆ Ank . If X ⊆ Ank is a variety then by Lemma 3.27, we have
V (I(X)) = X. Since the closed sets in Ank are precisley the varieties,
we get V (I(X)) = X.
Let J ⊆ k[t1 , . . . , tn ] be a radical√ideal. By the Nullstellensatz
(Theorem 3.28), we have I(V (J)) = J = J.
ii) Let Y ⊆ Ank be closed and irreducible. We want to show that I(Y )
is a prime ideal. We do this by contradiction:
Assume there are polynomials f, g ∈ k[t1 , . . . , tn ] \ I(Y ) such
that f g ∈ I(Y ). Now V (I(Y ) + hf i) , V (I(Y ) + hgi) ⊆ Y are proper
3.5. THE ZARISKI-TOPOLOGY ON An
k 59
Corollary 3.33. Let X ⊆ Ank be a variety.
i) The maps
{closed subsets of X} ←→ {radical ideals in A(X)}
Y 7−→ IX (Y )
VX (J) ←−[ J
are mutually inverse bijections.
ii) The bijection from i) restricts to a bijection
{closed, irreducible subsets of X} ←→ Spec A(X).
60 3. HILBERT’S NULLSTELLENSATZ AND SOME ALGEBRAIC GEOMETRY
End of Lecture 13
Remarkb 3.K. The set O(X) has a natural ring structure, which is given
by (f + g)(x) := f (x) + g(x) and (f · g)(x) := f (x)g(x). That’s why it is also
called the ring of regular functions on X.
Lemma 3.37. The ring O(X) of regular functions and the coordinate ring
A(X) are isomorphic.
Proof. Consider the ring homomorphism
k[t1 , . . . , tn ] −→ O(X)
f 7−→ (x 7→ f (x)) .
Hom(X, X 0 ) −→
∼
hom(O(X 0 ), O(X)).
3.7. SOME EXAMPLES 61
Example 4.2.
i) Every field is noetherian and artinian.
ii) Let V be a vector space. Then V is noetherian if and only if it is
artinian if and only if it is finite dimensional.
iii) The ring of integers Z is noetherian: For every chain of ideals
I0 ⊆ I1 ⊆ . . ., the ideal I1 is generated by a single element a ∈ Z.
Since Z/aZ is finite, there are only finitely many ideals lying over
I1 .
However, Z is not artinian: The chain Z ) 2Z ) 4Z ) . . . is
stricly descending but does not terminate.
iv) The polynomial in infinitely many variables over a field k[t1 , . . .] is
neither noetherian nor artinian: The chain ht1 i ( ht1 , t2 i ( . . . is
stricly increasing but does not terminate; the chain ht1 i ) ht21 i ) . . .
is stricly decreasing but does not terminate.
End of Lecture 14
Lemma 4.3. Let M be an R-module.
i) The following are equivalent:
a) M is noetherian.
b) Every non-empty family of submodules of M has an inclusion-
maximal element.
c) Every submodule of M is finitely generated.
62
4. NOETHERIAN RINGS AND MODULES 63
Proof.
i) For a) =⇒ b), let (Ni )i be a family of submodules of M . Then
(Ni ) is partially ordered by inclusion, and since M is noetherian,
every chain of elements from (Ni ) has an upper bound (namely the
subspace that terminates the chain). So by Zorn’s Lemma, there is
an inclusion-maximal subspace of (Ni ).
For b) =⇒ c), let N be a submodule of M and let (Ni ) be
the family of finitely-generated submodules of N . Then (Ni ) is
non-empty, since {0} ⊆ N is finitely-generated. So by b), there
is an inclusion-maximal subspace P ∈ (Ni ). Assume that P is a
proper submodule of N , and let P be generated by the elements
p1 , . . . , pk . Then there is an element pk+1 ∈ N \ P . But now the
subspace hp1 , . . . , pk+1 i is a finitely-generated submodule of N that
has P as a proper subset. This contradicts the maximality of P .
Finally, for c) =⇒ a), let M0 ( M1 ( . . . be an ascending
chain of submodules of M . Consider the subspace M̃ := ∪Mi . Then
by assumption, M̃ is finitely generated. So there is a i ≥ 0 such
that the set of generators is in Mk for all k ≥ i. So Mk = Mi for
all k ≥ i follows, and hence the chain terminates.
ii) That M being artinian implies that every non-empty family of
subspaces has an inclusion-minimal element can be shown analogous
to a) =⇒ b) in i). For the other direction, note that every
descending chain of submodules of M has an inclusion-minimal
element which necessarily terminates the chain.
Proof.
i) This follows from the previous lemma, using the short-exact sequence
0 → M → M ⊕ N → N → 0.
ii) By i), Rn is noetherian for all n > 0. Since M is finitely-generated
as R-module, it is isomorphic to a quotient of Rn for a n > 0. So
by the previous lemma, M is noetherian.
for some c0 , . . . , cn ∈ R.
4. NOETHERIAN RINGS AND MODULES 65
Remark 4.10.
i) Let X ⊆ Ank be a variety. Then A(X) is noetherian and hence every
ideal I ⊆ A(X) is finitely generated. So every subvariety of X is
already determined by finitely many polynomial equations.
ii) By the ascending chain condition for A(X), we get that every chain
of subvarities X0 ⊇ X1 ⊇ . . . terminates.
iii) Assume X has infinitely many points a1 , a2 , . . . ∈ X ⊆ A n
Sk . This
gives an ascending chain of closed subsets, by setting Xn := k≤n {ak }.
Then this chain corresponds to a descending chain of ideals in A(X)
which does not become stationary. So A(X) cannot be artinian.
Proposition 4.11.
i) If R is an artinian ring, then R has only finitely many maximal
ideals and all prime ideals are maximal.
ii) For a ring R the following are equivalent
a) R is artinian.
b) R is noetherian and every prime ideal is maximal.
End of Lecture 15
66 4. NOETHERIAN RINGS AND MODULES
Proof.
i) For the inclusion “⊇“, let a ∈ R and assume that there is a s ∈ R \ p
such that sa ∈ pn . Then in Rp we have that a/1 = sa/s ∈ pn Rp
and hence a ∈ (pn Rp ) ∩ R.
For the reverse inclusion, let a ∈ (pn Rp ) ∩ R. Then a/1 ∈ pn Rp
and so there is a b ∈ pn and a t ∈ R \ p such that a/1 = b/t. Hence
there exists a u ∈ R \ p such that uta = ub ∈ pn . So s := ut ∈ /p
(since p is prime) and sa = ub ∈ pn .
ii) This is clear.
iii) This follows from i).
iv) The first equality is just Lemma 1.45 applied to p. For the second
n
P direction “⊆“, let b ∈ p . Then there are bij ∈ p
equality and the
such that b = i bi,1 . . . bi,n . For s ∈ R \ p we have
b X bi,1 bi,2 bi,n
= · ... ∈ (pRp )n
s s 1 1
i
For the inclusion ⊇“, let c ∈ (pRp )n . Then there are bi,j ∈ p
”
and si,j ∈ R \ p such that
X bi,1 bi,n
c= ... .
si,1 si,n
i
Set
Y X Y n
Y
s := si,j and b :=
sij
bi,j
.
i,j i 1≤j≤n j=1
j6=i
NoWe now apply the classical Nakayama Lemma (Lemma 2.24) to M = (qRq )n ,
I = qRq = Jac Rq , and since
Applying this to R/I proves i) =⇒ ii). Now ii) =⇒ iii) is just the definition
of dim R/I.
iii) =⇒ iv): R/I is still a noetherian ring and dim R/I = 0 is equivalent
to all prime ideals of R/I being already maximal. The claim now follows
from Proposition 4.11.
iv) =⇒ i): By Lemma 4.16 we have that Jac R/I is nilpotent. But since
Jac R/I = m, this just means that there is a n ≥ 1 with mn ⊆ I.
Theorem 4.18. Let (R, m) be a local noetherian ring.
i) If I = ha1 , . . . , al i is an ideal of definition, then dim R ≤ l.
ii) Assume dim R = d. Then there is an ideal of definition which is
generated by d elements.
4.1. DIMENSION THEORY OF NOETHERIAN RINGS 69
End of Lecture 16
Lemma 4.21. Let R be a noetherian ring and I ⊆ R an ideal. Then there
are only finitely many prime ideals q ∈ Spec R which are minimal over I.
Proof. This will be on Exercise Sheet 10.
Proof of Theorem 4.18. We prove both claims by induction, on l
and d respectivley.
i) The case l = 0 is trivial, and the case l = 1 is precisley Theorem 4.15
(Note that m is minimal over hai and that dim R = ht m holds for
a local ring, Lemma 3.11). So assume the claim holds for ideals of
definition in local rings which are generated by l − 1 elements.
Let q ∈ Spec R be a prime ideal such that q ( m and that there
is no prime ideal between q and m. So I 6⊆ q (since m is minimal
over I) and hence we can assume a1 ∈ / q.
Consider now the ideal ha1 i+q. Then this is an ideal of definition,
by the maximality of q. By Lemma 4.17 there is a n ≥ 1 such that
mn ⊆ ha1 i + q and in particular g2 , . . . , gl ∈ q, c2 , . . . , cl ∈ R such
that ani = ci a1 + gi for all i ≥ 2.
Claim 1. The ideal hg2 , . . . , gl , a1 i is an ideal of definition.
r r
P I ⊆ ha1 , g2 , . . . , gl i: An element x ∈ I is of
Set r := ln. Then
the form x = ν cν ai1 ,ν . . . air ,ν . Now in each of the summands,
each of the ai appears with a power ≥ n, and so the claim
follows from the above observation.
Now since I is an ideal of definition, there is an s > 0 such
that ms ⊆ I and so in total mrs ⊆ I r ⊆ ha1 , g2 , . . . , gl i follows,
which implies that ha1 , g2 , . . . , gl i is an ideal of definition.
a1 ∈
/ q and hence that m is minimal over a1 . Theorem 4.15 now
implies that dim (R/hg2 , . . . , gl i)m ≤ 1.
We now have
dim (R/hg2 , . . . , gl i)m = dim Rm /hg2 , . . . , gl i and
dim (R/hg2 , . . . , gl i)q = dim Rq /hg2 , . . . , gl i,
and since q ( m this implies dim Rq /hg2 , . . . , gl i = 0. So by
Lemma 4.17, hg2 , . . . , gl i is an ideal of definition in Rq . By the
induction hypothesis, we get dim Rq ≤ l − 1.
Let now p0 ( . . . ( pd be a chain in R such that m = pd and
that there is no prime ideal between pd−1 and m. We then have
dim Rpd−1 ≥ d − 1 and by the above reasoning dim Rpd−1 ≤ l − 1.
So d ≤ l, which proves i).
ii) Let q ∈ Spec R be prime with ht q = d − 1. Then by the induction
hypothesis, there are b1 , . . . , bd−1 ∈ Rq such that hb1 , . . . , bd−1 i is
an ideal of definition in Rq . Now bi = ai /si for some ai ∈ R and
si ∈ R \ q and so hb1 , . . . , bd−1 i = ha1 /1, . . . , ad−1 /1i. Hence in R,
q is minimal over I := ha1 , . . . , ad−1 i. By Lemma 4.21, there are
only finitely many prime ideals q1 , . . . , qr which are minimal over
ha1 , . . . , ad−1 i.
Claim 2. We have m 6⊆ q1 ∪ . . . ∪ qr .
If m ⊆ q1 ∪ . . . ∪ qr then by prime avoidance (Lemmab 3.H)
there is an i such that m ⊆ qi and hence m = qi . So m is a
minimal prime ideal of ha1 , . . . , ad−1 i and by i), this would imply
dim R ≤ d − 1.
√
Lemma 4.24. Let I be a primary ideal. Then I is a prime ideal.
√ n ∈ I. So
Proof. Let ab ∈ I. Then there is a n > 0 such that (ab)
√ √
n nm
√ I is primary, a ∈ I or b ∈ I follows, and hence a ∈ I or b ∈ I.
since
So I is indeed a prime ideal.
4.2. PRIMARY DECOMPOSITION IN NOETHERIAN RINGS 71
Remark 4.32.
i) Let A(X) be the coordinate ring of an affine variety X. Let
I ( A(X) be an ideal and I = I1 ∩ . . . ∩ Ir a primary decom-
position. Then
V (I) = V (I1 ) ∪ . . . ∪ V (Ir )
p p
=V I1 ∪ . . . ∪ V Ir .
End of Lecture 17
Lemma 4.33. Let p ∈ Spec R be a prime ideal and I1 , I2 ⊆ R two p-
primary ideals. Then the intersection I1 ∩ I2 is p-primary too.
√ √ √
Proof. It holds that I1 ∩ I2 = I1 ∩ I2 = p.
Furthermore, I1 ∩ I2 is a primary ideal: Let ab ∈ I1 ∩ I2 . Then a ∈ I1
or b ∈ p and a ∈ I2 or b ∈ p. So a ∈ I1 ∩ I2 or b ∈ p, showing that I1 ∩ I2 is
indeed primary.
Definition
√ 4.34. Let I = I1 ∩ . . . ∩ Ir be a primary decomposition, with
pi := Ii . We say this decomposition is minimal if the following two
conditions are satisfied:
i) none of the Ii is redundant: for all 1 ≤ i ≤ r it holds that
\
Ij 6⊆ Ii .
i6=j
Proposition 4.40.
√ Let I = I1 ∩. . .∩Ir be a minimal primary decomposition
of I, with pi := Ii . Then {p1 , . . . , pl } = Ass(I). So in particular, the number
of primary ideals in the decomposition does not depend on the decomposition.
Proof. We first show pi ∈ Ass(I): Since T the primary decomposition is
minmal, there is an a ∈ R such that a ∈ i6=j Ij and a ∈ / Ii for an 1 ≤ i ≤ r.
Now I : a = (I1 : a) ∩ . . . ∩ (Ir : a) and hence
√ p
I : a = (I1 : a) ∩ . . . ∩ (Ir : a)
p p
= I1 : a ∩ . . . Ir : a
4.38 p
= R ∩ . . . ∩ R ∩ Ii : a ∩ R ∩ . . . ∩ R
4.38 p
= Ii : a = pi ,
where we used Lemma 4.38 in the marked equalities. So the inclusion ⊆ “
”
follows. √
For the other direction, let p ∈ Ass(I), so there is an a ∈ R with I : a.
Now
√
p= I:a
p p
= I1 : a ∩ . . . ∩ Ir : a.
√
Now by prime avoidance (Lemmab 3.H) we get p = Ii : a for an 1 ≤ i ≤ r,
and hence (again by Lemma 4.33) p = pi (since p = R is not possible.)
Proposition 4.41. Let R be a noetherian ring and I ⊆ R an ideal.
i) The isolated prime ideal of I are precisley the minimal prime ideals
over I.
74 4. NOETHERIAN RINGS AND MODULES
ii) There are only finitely many minimal prime ideals over I.
√
Proof. If S ∩ p 6= ∅, then there is a s ∈ S with s ∈ p = I. So sn ∈ I
for a n ≥ 1. Now
1 sn
= n ∈ IS −1 R
1 s
and hence (IS −1 R) ∩ R = R.
Assume now S ∩ p = ∅ and let a ∈ (S −1 R) ∩ R. Then a/1 ∈ IS −1 R and
hence there are q ∈ I, s, n ∈ S such that n(q − as) = 0. Now ans = nq ∈ I.
Since I is p-primary, this implies a ∈ I or ns ∈ p, which in this case means
a ∈ I.
Proposition 4.43.
√ Let I = I1 ∩. . .∩Ir be a minimal primary decomposition
of I, with pi := Ii . If pi is minimal over I, then (IRpi )∩R = Ii . In particular,
the corresponding Ii do not depend on the decomposition.
Proof. Let S ⊆ R be a multiplicative set, then
(I1 ∩ . . . ∩ Ir )S −1 R = I1 S −1 R ∩ . . . ∩ Ir S −1 R ,
and hence
r
\
−1
Ii S −1 R .
IS R =
i=1
Set now S := R \ pi , such that pi is minimal over I. Then S ∩ pi = ∅ and
S ∩ pj 6= ∅ for i 6= j, since pj 6⊆ pi . Hence by Lemma 4.42 we get
(IRpi ) ∩ R = (Ii Rpi ) ∩ R.
Remark 4.44. It is possible to defined primary decomposition in the more
general context of modules:
i) Let M be an R-module and p ∈ Spec R. We say that p is associated
to M if there is an m ∈ M such that p = Ann m (Note that this
does not coincide with the definition of an associated prime ideal
for an ideal I ⊆ R, regarded as an R-module).
ii) We say that a submodule N ⊆ M is primary if it has an associated
primary ideal. It can be shown that every proper submodule N has
a decomposition N = N1 ∩ . . . ∩ Nr into primary submodules (if R
is noetherian).
iii) The uniqueness results are similar to the ones for ideals. (ToDo: do
this in more detail).
CHAPTER 5
Regular Rings
Remarkb 5.A. Let (R, m) be a regular noetherian ring. Then R has finite
Krull-dimension.
Proof. The maximal ideal m is an ideal of definition. Since R is noether-
ian, m is finitely generated, and hence dim R ≤ number of generators of m,
by Theorem 4.18.
Definition 5.2.
i) Let (R, m) be a local noetherian ring. We say R is regular if
d = dimk m/m2 holds.
ii) We say a noetherian ring R is regular if all localization Rp with
p ∈ Spec R are regular in the sense of i).
iii) Let X be a variety. We say a point a ∈ X is regular if A(X)I(a) is
a regular local ring.
Remarkb 5.B.
i) Note that regular rings are by definition noetherian.
ii) It is not clear that the definitions of regular rings are consistent
(i.e. that for a regular local ring (in the sense of i)) the dimension
equality is satisfied for all localizations at prime ideals). But this
seems to be the case ([Sta19, 00NN]) or [Fra18a, Page 33, Cor. 1]
End of Lecture 18
Lemmab 5.C. Let (R, m) be a local noetherian ring. Then R is a field if
and only if dimk m/m2 = 0.
Proof. The one direction is clear. If, on the other hand, dimk m/m2 = 0,
then this is equivalent to m = m2 . By Nakayama (Lemma 2.24), m = 0
follows and hence R is a field.
75
76 5. REGULAR RINGS
0 hf i ∩ m2 m2 m2 0
0 hf i m m 0
hf i/ hf i ∩ m2 m/m2 m/m2
0 0
0 0 0
Now all three columns and the two upper rows are exact, and hence the
lower one is too (by the 9-lemma). So it is in particular exact as sequence of
k-vector spaces and hence
dimk m/m2 = dimk hf i/ hf i ∩ m2 + dimk m/m2
= dim R − dimk hf i/ hf i ∩ m2 .
For iii), note that dim R ≤ dimk m/m2 = dim R − 1, by i) and Lemma 5.1.
Furthermore, by Lemmab 5.D, we have dim R ≥ dim R − 1. Hence equality
follows, and R is regular by ii).
Proof.
i) Since dimk m/m2 = 1, m is generated by one element (Lemma 5.1,ii)).
ii) Since R is an integral domain (Proposition 5.3), h0i is the only mini-
mal prime ideal and R being 1-dimensional implies Spec R = {h0i, m}.
So for every non-zero a ∈ R, hai is an ideal of definition, and hence
there is a minimal n ≥ 1 such that mn ⊆ hai (Lemma 4.17). By i),
m = hti for a t ∈ R and hence there is a b ∈ R such that tn = ba. If
b ∈ m, then there is a b0 such that b = b0 t and hence tn = b0 ta which
would imply tn−1 = b0 a, contradicting the minimality of n. So b is
a unit, and hence mn = hai.
Definition 5.5.
78 5. REGULAR RINGS
Then
L× −→ Z
X
an tn 7−→ min {n ∈ Z | an 6= 0}
is a valuation on L, with valuation ring K[[t]]. Note that this is a
special case of ii), with R = K[[t]].
End of Lecture 19
Lemma 5.7. Let R = Rν be a valuation ring.
i) The ring R is an integral domain.
ii) For all a ∈ K × it holds that a ∈ R or a−1 ∈ R.
5.1. VALUATION RINGS 79
iii) For all a, b ∈ R it holds that ν(a) ≤ ν(b) if and only if b ∈ hai.
iv) The group of units of R is given by R× = ker ν.
v) It holds that R is a local ring, with unique maximal ideal
m = {a ∈ R | ν(a) > 0} .
vi) The ring R is normal.
Proof.
i) Since R is a subring of a field, it is an integral domain.
ii) Since ν is a group homomorphism, we have
ν(a) + ν(a−1 ) = ν(1) = 0.
So ν(a) ≥ 0 or ν(a−1 ) ≥ 0.
iii) Assume that a = 0. Then ν(b) ≥ ∞ if and only if ν(b) = ∞ if and
only if b = 0 if and only if b ∈ h0i, since R is an integral domain.
So assume a 6= 0. Then ν(a) ≤ ν(b) if and only if ν(b/a) ≥ 0 if
and only if b/a ∈ R if and only if b ∈ hai.
iv) Let a ∈ R \ {0}. Then a ∈ R× if and only if a−1 ∈ R if and only if
ν(a−1 ) = −ν(a) ≥ 0 if and only if ν(a) = 0.
v) Since ν is a group homomorphism, m is an ideal. Let now I ⊆ R be
an ideal such that I 6⊆ m. Then I contains an element a ∈ R such
that ν(a) = 0, and hence I = h1i, by iv).
vi) The fraction field of R is given by K. Let now a ∈ K × be integral
over R. So there are cn−1 , . . . , c0 such that
an + cn−1 an−1 + . . . + c0 = 0.
/ R. Then a−1 ∈ R by ii). Hence
Assume a ∈
a = − cn−1 + cn−2 a−1 + . . . + an−1 c0 ,
Proof. The direction i) =⇒ ii) follows from Lemma 5.7. For the other
direction, set K := Quot R, G := K × /R× (as quotient of abelian groups) and
denote by a the image of a ∈ K × in G. We make G into a totally ordered
abelian group by setting:
a ≤ b if and only if b/a ∈ R.
Then this is well-defined, since for units c1 , c2 ∈ R× , we have a/b ∈ R if
and only if c1 /c2 · a/b ∈ R. It is antisymmetric, since a/b ∈ R and b/a ∈ R
implies that there is a unit c ∈ R× such that a/b = c, transitive and by
assumption a ≤ b or b ≤ a always holds. The relation is also compatible with
the group structure on G, since b/a ∈ R implies bc/ac ∈ R for all c ∈ K × .
80 5. REGULAR RINGS
End of Lecture 20
λ1 b1 + . . . + λn bn = 0,
then (by factoring out the common denominator) we can assume that
λ1 , . . . , λn ∈ Z and that not all λi are divisible by p. But then in OK ,
we get
λ1 b1 + . . . + λn bn = 0,
contradicting that b1 , . . . , bn are linearly independent. So each linearly
independet subsest of OK /mOK lifts to a linearly independet subset of
OK ⊆ K and hence dimFp OK /mOK ≤ dimQ OK ≤ dimQ K.
In the general case, note first that for any ring R a short-exact
sequence of R-modules
0 M0 M M 00 0
the module M is finite if and only if both M 0 and M 00 are finite. Fur-
thermore, for a Z-module M and all m1 , m2 ∈ Z the sequence
is short-exact.
So if m = pk11 , . . . , pknn for prime number p1 , . . . , pn ∈ Z then the
above observations show that for each prime number, OK /pki i is finite
and hence OK /(pn1 1 . . . pknn )OK is finite too.
Proof.
i) The direction “ ⇐= “ is true in any ring. For the other direction,
we note that IRp 6= 0 and that (by definition) Rp is a discrete
valuation ring. So by Proposition 5.12 and Lemma 5.4 there is a
unique k ≥ 0 such that IRp = (pRp )k = pk Rp . Now by Lemma 4.42
I = pk follows.
ii) Since R is noetherian, there is a minimal primary decomposition of
I such that I = I1 ∩ . . . In and Ass(I) = {p1 , . . . , pn }. By part i),
there are ki ≥ 1 such that Ii = pki 1 . Since the pi are maximal and
coprime, we get
pk11 ∩ . . . ∩ pknn = pk11 · . . . · pknn .
Lemma 5.18. Let R be a Dedekind domain.
i) For all collections p1 , . . . , pn of maximal ideals and natural numbers
k1 , . . . , kn , l1 , . . . , ln it holds that
pk11 · . . . · pknn ⊆ pl11 · . . . · plnn if and only if li ≤ ki for all i.
ii) Let a ∈ R be non-zero. Then there is a decomposition of the form
ν (a)
hai = p11 · . . . · pνnn (a)
where {p1 , . . . , pn } = Ass(hai) and νi : Rpi → Quot(Rpi ) is the
valuation on the localization.
Proof.
5.4. THE CLASS GROUP 83
Now
pk11 · . . . · pknn ⊆ pl11 · . . . · plnn
if and only if (pi Rpi )ki ⊆ (pi Rpi )li if and only if ki ≤ li (since Rpi is
a discrete valuation ring). The result now follows from Fact 1 a)
and b) (and the fact that pi Rpk = Rp for i 6= j).
ii) Let
ν (a)
hai = p11 · . . . · pνnn (a)
with {p1 , . . . , pn } = Ass(hai). Then
haiRp1 = (pi Rpi )ki ,
which is exactly νi (a).
Example 5.20.
i) Every ideal of R is a fractional ideal in K.
ii) The fractional ideal generated by some elements a1 , . . . , an is indeed
a fractional ideal.
and
I :K J := {a ∈ K | aJ ⊆ I} .
ii) We say an R-submodule I ⊆ K is invertible if there is an R-
submodule J ⊆ K such that I · J = K.
Proof.
i) Assume R = IJ. We now have
J ⊆ R :K I = (R :K I) (IJ) ⊆ RJ = J
and hence R :K I = J.
ii) If I = hai then hai · h1/ai = R.
P I · (R :K I) = R, so there are aiP
iii) Let I be invertible, i.e. ∈ I and
bi ∈ R :K I such that ai bi = 1. Let now b ∈ I then b = ai (bi b)
with bi b ∈ R. Let a be the product of the denominators of the ai ,
then ab ∈ R and hence aI ⊆ R. So I is a fractional ideal.
End of Lecture 21
Technical Remark. The proofs of the statements of this lecture will be
added (hopefully) int the beginnig of September.
Proposition 5.24. Let R be a Dedekind domain. Then every fractional
ideal is invertible.
Corollary 5.25. Let R be a Dedekind ring. Then the set of fractional
ideals becomes an group with the multiplication of fractional ideals as
binary operation and the ring R as unit. We denote this group by Div(R).
Furthermore, Div(R) is abelian.
Lemma 5.26. The set Prin(R) principal fractional ideals are a subgroup
of Div(R).
Definition 5.27. The quotient Div(R)/ Prin(R) is denoted by Cl(R) and
called the class group of R.
Remark 5.28. Here are two fun facts about the class group, which we are
not able to prove in this lecture:
i) For every abelian group G there is a Dedekind ring R such that
G∼ = Cl(R).
ii) If OK is the ring of integers of a number field, then Cl(OK ) is finite.
The class number of K is defined as |Cl(OK )|.
5.5. MODULES OVER PIDS AND PROJECTIVE MODULES 85
M M 00
commutes.
Example 5.37. If P is a free R-module, then P is projective.
Definition 5.38. Let
f g
0 M0 M M 00 0
be a short-exact sequence of R-modules. A split of g is an R-linear map
σ : M 00 → M such that gσ = idM 00 . If there is a split of g, we say that g
splits or that the sequence is split-exact.
Lemma 5.39. Let
f g
0 M0 M M 00 0
86 5. REGULAR RINGS
∼
→ M 0 ⊕ M 00 such
be split-exact. Then there is a unique isomorphism h : M −
that the diagram
f g
0 M0 M M 00 0
∼
0 M0 M M 00 0
commutes.
End of Lecture 22
Technical Remark. Dr. Heidersdorf said in the lecture that the content of
the following is not relevant for the first exam. Moreover, he uses some pretty
advanced facts about modules. I am not sure if I will be able to add their
proofs in the future. The reader can find more on this topic in [Sta19, 05E3].
Lemma 5.40. Let P be an R-module. Then the following are equivalent:
i) P is projective.
ii) For every surjective map π : M M 00 the induced map
π∗ : hom(P, M ) → hom(P, M 00 )
is surjective.
iii) For every surjective map π : F M 00 with F free the induced map
π∗ : hom(P, M ) → hom(P, M 00 ) is surjective.
iv) P is a direct summand of a free R-module, i.e. there is an R-module
Q and a free R-module F such that F ∼ = P ⊕ Q.
v) For every surjective map g : M → P the induced sequence
g
0 ker g M P 0
splits.
Definition 5.53. Let R be any ring. We define the Picard group Pic(R)
of R as the set of isomorphism classes of invertible R-modules, where the
multiplication is given by the tensor product.
Lemma 5.54. Let R be an integral domain. Then every invertible module
is isomorphic to a fractional ideal.
Theorem 5.55. If R is a Dedekind Domain, then Pic(R) is isomorphic to
the class group Cl(R).
End of Lecture 23
End of Algebra 1
APPENDIX A
Prerequisites - Rings
A.1. Basics
We recall some basic facts and definitions about rings which can be found
in [Alu09, Chapter 3],[Str18, Sch19].
Proposition A.1 (Chinese Remainder Theorem). Let R 6= 0 be a ring,
and I1 , . . . , Ir ⊆ R ideals such that Ii + Ij = R for all i 6= j. Then there is a
surjective ring homomorphism
ϕ : R −→ R/I1 × . . . × R/Ir
r 7−→ (r, . . . , r) ,
and ker ϕ = I1 ∩ . . . ∩ Ir . In particular there is a ring isomorphism
∼
R/ (I1 ∩ . . . ∩ Ir ) R/I1 × . . . × R/Ir .
A.1.1. Formal Power Series. Under construction.
89
APPENDIX B
Categories
This chapter is currently under construction. The reader can find the
necessary (and much more!) material e.g. in [Ste19].
The maps
{natural transformations C (A, −) → F } −→ F (A)
(η : C (A, −) → F ) 7−→ ηA (idA )
(ηu : C (A, −) → F ) ←−[ u
are mutually inverse and natural in F and A.
ii) Let F : C op → Set be a functor and A ∈ C an object. Then for
every element u ∈ F (A), there is a natural transformation
ηu : C (−, A) −→ F
f
ηu (B) : A − →B 7−→ F (f )(u) (for all B ∈ C) .
The maps
{natural transformations C (−, A) → F } −→ F (A)
(η : C (A, −) → F ) 7−→ ηA (idA )
(ηu : C (A, −) → F ) ←−[ u
are mutually inverse and natural in F and A.
C −→ Fun (C op , Set)
Y 7−→ C(−, Y )
is fully faithful.
∼
C(A, −) −→ F.
0 X1 X2 X3 X4 X5 0
f1 f2 f3 f4 f5
0 Y1 Y2 Y3 Y4 Y5 0
Proof. Ommited.
i p
X0 X X 00 0
f0 f f 00
0 Y0 j
Y q Y 00
92 B. CATEGORIES
i p
X0 X X 00 0
f0 f f 00
0 Y0 j
Y q Y 00
j̃ q̃
coker f 0 coker f coker f 00
i) There is a morphism δ : ker f 00 → coker f 0 such that the sequence
ĩ p̃
ker f 0 ker f ker f 00
δ
j̃ q̃
coker f 0 coker f coker f 00
is exact.
ii) If i is a monomorphism, then ĩ is a monomorphism too.
iii) If q is an epimorphisms, then q̃ is an epimorphisms too.
Proof. Ommited.
APPENDIX C
X Y 0
commutes.
Example C.2.
i) Let M be a free R-module. Then M is projective: Let (ei ) be a
basis for M . For each epimorphisms f : X → Y and morphism
M → Y we can choose for a basis element ei a preimage under f ,
say xi . Then the assignment ei 7→ xi can be extended to an R-linear
map M → X, by the universal property of the free module.
ii) The Z-module Z/2Z is not projective: Consider the projection
Z Z/2Z. Now any lift of the identity
Z/2Z
?
Z Z/2Z
commutes.
ii) The tensor product is unique in the following sense: If there is
another R-module T with an R-bilinear map h : M × N → T
and the property that every R-bilinear map f : M × N → P
factors uniquely over T , then there exists a unique isomorphism of
∼
R-modules λ : M ⊗R N −→ T such that the diagram
g
M ×N M ⊗R N
∃!λ
h
T
commutes.
Then there exists a representing object M ⊗R N for bilinR (M, N ; −), i.e.
a natural isomorphism bilinR (M, N ; −) → homR (M × N, −).
The notions of a tensor product from Proposition C.4 and Proposition C.5
are the same. We call the R-module M ⊗R N the tensor product of M and
N over R.
We will now use the Yoneda-Embedding (Lemma B.2) to show several
properties of the tensor product:
C.2. TENSOR PRODUCTS 95
Then these are well-defined natural bijections. So we get for all M, N, P ∈ R-Mod
a natural isomorphism
bilinR (M × N, P ) ∼
= homR (M, homR (N, P )) .
But since
bilinR (M × N, P ) ∼
= homR (M ⊗R N, P )
by the universal property of the tensor-product, the claim follows.
Proposition C.9. Let N be an R-module and let
f g
0 M0 M M 00 0
be a short-exact sequence of R-modules. Then the sequence
f ⊗ id g ⊗ id
M0 M M 00 0
is again exact. So the tensor-product functor is right-exact.
Proof. This follows from the fact that the tensor product functor is
left-adjoint.
Corollary C.10. Let M be an R-module and I ⊆ R an ideal. Then
R/I ⊗R M ∼
= M/IM as R-modules.
C.2. TENSOR PRODUCTS 97
Proof.
98 C. FURTHER REMARKS - MODULES
C.4. Local-Global
For more, the reader is refered to [Sta19, 00EN].
Proposition C.16 (being zero is local). Let M be an R-module. Then
the following are equivalent:
i) M = 0.
ii) Mp = 0 for all prime ideals p ⊆ R.
iii) Mm = 0 for all maximal ideal m ⊆ R.
[Alu09] Paolo Aluffi, Algebra: chapter 0, Vol. 104, American Mathematical Soc., 2009.
[AM94] M.F. Atiyah and I.G. MacDonald, Introduction to commutative algebra, Addison-
Wesley series in mathematics, Avalon Publishing, 1994.
[Bra16] M. Brandenburg, Einführung in die kategorientheorie: Mit ausführlichen erklärun-
gen und zahlreichen beispielen, Springer Berlin Heidelberg, 2016.
[EE95] D. Eisenbud and P.D. Eisenbud, Commutative algebra: With a view toward
algebraic geometry, Graduate Texts in Mathematics, Springer, 1995.
[Fra17] J. Franke, Algebra 1 (lecture notes) (2017), available at https://github.com/
Nicholas42/AlgebraFranke/blob/master/AlgebraI/Alg1.pdf.
[Fra18a] , Homological methods in commutative algebra (lecture notes) (2018), avail-
able at https://github.com/Nicholas42/AlgebraFranke/raw/master/HomAlg/
HomAlg.pdf.
[Fra18b] H. Franzen, Algebra 1 (lecture notes) (2018), available at https://github.com/
lkempf/AlgebraStroppel.
[MR89] H. Matsumura and M. Reid, Commutative ring theory, Cambridge Studies in
Advanced Mathematics, Cambridge University Press, 1989.
[Sch18] J. Schröer, Lineare algebra (lecture notes) (2018).
[Sch19] , Einführung in die algebra (lecture notes) (2019).
[Sta19] The Stacks project authors, The stacks project, 2019.
[Ste19] J. Stelzner, Foundations of representation theory (lec-
ture notes) (2019), available at https://github.com/cionx/
foundations-in-representation-theory-notes-ws-18-19.
[Str18] C. Stroppel, Einführung in die algebra (lecture notes) (2018), available at https:
//github.com/lkempf/AlgebraStroppel.
[Vak18] R. Vakil, MATH 216: Foundations of Algebraic Geometry (2018), available at
http://math.stanford.edu/~vakil/216blog/FOAGnov1817public.pdf.
[Wei94] C. Weibel, An introduction to homological algebra, Graduate Texts in Mathematics,
Cambridge University Press, 1994.
100
Index
MaxSpec, 8 of a module, 26
germ, 16
affine going down, 38
space, 54 going up, 38
algebra, 30 group
of finite type, 31 class, 84
algebraic subset, 55 totally ordered, 78
artinian, 62
height
basis of a prime ideal, 51
of a module, 26 Hilbert
of a topology, 21 Nullstellensatz, 48
bilinear
map of R-modules, 93 ideal
contraction of, 19
class group, 84 fractional, 83
closure maximal, 5
integral, 33 prime, 5
cokernel, 24 primary, 70
contraction, 19 proper, 5
coordinate ring, 55 radical, 11, 58
coproduct image, 24
of R-modules, 25 integral
over an ideal, 39
decomposition closure, 33
primary, 71 element, 33
Dedekind domain, 80 extension, 35
determinant, 27 over another ring, 33
dimension integral closure
of a ring, 51 of an ideal, 39
direct sum, 25 irreducible
dual component, 60
of a module, 87 isomorphism
of R-modules, 23
exact
sequence, 32 jacobson
ring, 47
finite type, 31 Jacobson radical, 13
finitely generated
as algebra, 31 kernel, 24
as module, 26
formal power series, 15 Lemma
free Nakayama, 28
module, 26 linear map, 22
linearly independent subset, 26
generating system local
101
102 INDEX
ring, 14 sequence
localization exact, 32
at a prime ideal, 18 short exact, 32
at an element, 18 space
lying over, 37 affine, 54
spectrum, 8
module, 22 split, 85
finitely generated, 26 stalk, 16
free, 26 submodule, 23
invertible, 87 subset
localization, 31 multiplicative, 17
projective, 93 subvariety, 55
morphism symbolic power, 66
of modules, 22
Theorem
Nakayama Lemma, 28 Cayley-Hamilton, 28
nilpotent element, 10 theorem
nilradical, 11 Chinese Remainer, 89
noetherian, 62 Hilbert’s Nullstellensatz, 48
normal topology, 7
ring, 40 basis of, 21
object valuation, 78
representing, 91 valuation ring
of scalars discrete, 80
restriction, 22 valution
ring, 78
picard group, 88
subgroup, 78
primary
variety, 55
decomposition, 71
ideal, 70 Zariski Topology
primary decomposition on Ank ., 57
minimal, 72 Zariski topology
prime ideal on Spec R, 8
height, 51
associated, 73
embedded, 73
isolated, 73
principal open subset, 21
product
of R-modules, 25
radical, 10
jacobson, 13
nil-, 11
regular, 60
ring, 75
representing object, 91
restriction
of scalars, 22
ring
local, 14
of formal power series, 15
of fractions, 17
of polynomial functions, 55
PID, 99
jacobson, 47
reduced, 11
regular, 75