Algebra 557: Week 1: 1 Rings and Modules
Algebra 557: Week 1: 1 Rings and Modules
Theorem 1. If I is a proper ideal of a ring A then there exists at least one max-
imal ideal containing I.
Proof. By Zorn’s lemma there exists an ideal P which is maximal amongst the
ideals containing I and disjoint from S. We claim that P is prime. Suppose that
x, y ∈P . Then, P + x A, P + y A both meet S, and hence their product (P +
x A)(P + yA) also meets S since S is multiplicative. But (P + xA)(P + y A) =
P + xyA, which implies that xy ∈ P , proving that P is prime.
√
Definition 6. The radical of an ideal I (written I ) is defined by
√
I = {a ∈ A |an ∈ I for some n > 0}.
√ \
Theorem 7. I = P.
P ⊃I ,P prime
1
2 Section 1
n
Proof. If P is a prime ideal
√ √ containing I , and a ∈ I ⊂ P , then a ∈2 P .3 Thus,
I ⊂ P . Conversely, if x ∈ I , then the multiplicative set Sx = {1, x, x , x , } is
disjoint from I. By previous theorem there exists a prime √ ideal P containing I
T
but disjoint from S. In particular, x ∈P , implying that I = P ⊃I ,P prime P .
p
Definition 8. (0) is called the nilradical of A (denoted nil(A)). Clearly,
\
nil(A) = P.
P prime ideal of A
Definition 9. A ring A having only one maximal ideal m is called a local ring.
The field k = A/m is the called the residue field (and we denote such a local ring
by the triple (A, m, k). A ring having a finite number of maximal ideals will be
called semi-local.
Lemma 13. If I , J are coprime and I , K are co-prime then I is co-prime to JK.
By induction we obtain
Remark 15. In particular, if A is a semi-local ring and m1, , mn are its max-
imal ideals then
rad(A) = m1 ∩ ∩ mn = m1 mn.
We also have
Theorem 16. (Chinese Remainder) If I1, I2, , In are co-prime in pairs then
A/I1 In @ A/I1 × × A/In.
1.3 Modules.
1.3.1 Basic Definitions.
Proof. Take in the previous theorem φ = IdM . Then the obtained relation has
the form
1 + a1 + + an = 0
and choose for a = 1 + a1 + + an.
Theorem 22. If A is a local ring and M a f.g. A-module, then every minimal
generating set of M has the same number of elements.
Proof. Choose a basis u¯1, , ūn ∈ M /mM of the k-vector space M /mM , and lift
vector ūi to an element ui ∈ M . We claim that u1, , un generate M . Let
each P
N = 1 ≤i≤n Aui. Then
M = N + mM .
Applying Nakayama (Theorem 20), we have that M = N .
Conversely, any minimal generating set of M is of the above form. If u1, ,
un ∈ M is a minimal generating set, then clearly ū1, , ūn ∈ M /mM span M /mM .
We claim that if fact they form a basis. Indeed if any proper subset of these vec-
tors spanned, then by the above argument their inverse images would generate M
contradicting the minimality of the generating set.