4.4 Noetherian Rings
4.4 Noetherian Rings
4 Noetherian Rings
Recall that a ring A is Noetherian if it satisfies
the following three equivalent conditions:
806
Later in this section we will prove
Hilberts Basis Theorem
which says that a polynomial ring in one
indeterminate over a Noetherian ring is itself
Noetherian.
In particular, by iteration, the polynomial ring
F [x1, . . . , xn] over a field F is Noetherian.
807
But first we will prove that all proper ideals in
Noetherian rings have primary decompositions,
and simplify the First Uniqueness Theorem
concerning the uniqueness of associated prime ideals.
808
Proof: Suppose the set
= { J A | J is not a finite
intersection of irreducible ideals }
J 6= M 6= K .
809
But M J and M K , so, by maximality of
M in ,
J 6 and K 6 .
z = vx = wy n (v, w A) ,
so
so
813
w Ann (y n+1) = Ann (y n) ,
yielding
z = wy n = 0 .
This proves hxi hy ni = {0} . By irreducibility of
{0} , we get
814
The previous two lemmas prove:
815
Proof: Let I be an ideal of a Noetherian ring A ,
so
r(I) = h x1 , . . . , xk i
ni
(i = 1, . . . , k)(ni 1) xi I.
Put
k
X
m = (ni 1) + 1 .
i=1
816
Observe that
k
m j1 jk
X
r(I) = h x 1 . . . xk | ji = m i .
i=1
k
X
But if ji = m then j n for some
i=1
{1, . . . , k}) .
m
Hence each generator of r(I) lies in I , so
m
r(I) I.
817
Corollary: The nilradical is nilpotent in a
Noetherian ring.
N = r({0})
819
Theorem: Let A be Noetherian, Q and M
ideals of A with M maximal. TFAE
(i) Q is M -primary;
(ii) r(Q) = M ;
(iii) Mn Q M (n > 0) .
so r(Q) = M .
{ (I : x) | x A } .
n
\
Proof: Let I = Qi be a minimal primary
i=1
decomposition of I , and put
Pi = r(Qi) (i) .
822
Then, by the First Uniqueness Theorem,
{ P1 , . . . , Pn } = { prime ideals P |
(x A) P = r(I : x) }
r(I : x) = (I : x)
(m 1) Qi Pim .
\
Put R = Qj . Then
j6=i
R Pim R Pim R Qi = I .
R I R,
x R P m01 \ I .
(I : x) = (Qi : x)
and
r(I : x) = r(Qi : x) = Pi .
Certainly then
(I : x) r(I : x) Pi .
826
Also,
m01
Pi x R Pi Pi = R P m0 I ,
This shows
{ P1 . . . , Pn } = { prime ideals (I : x) | x A } ,
827
We now investigate the preservation of the
property of being Noetherian under certain natural
constructions.
828
a finitely generated module over a Noetherian
ring is Noetherian.
829
Proof: By the immediately preceding observation,
B is a Neotherian A-module.
But all ideals of B are also A-submodules of B
(though not necessarily conversely).
Since A-submodules satisfy the a.c.c., so do ideals
of B , so B is a Noetherian ring.
I = h x1 , . . . , xn i
831
for some x1, . . . xn A , whence
J = h x1/1 , . . . , xn/1 i.
832
Proof: We prove that all ideals of A[x] are finitely
generated. Consider {0} = 6 J A[x] , and put
I = h a1 , . . . , an i
J = h p1(x) , . . . , pn(x) i
and
d = max { d1 , . . . , dn } .
834
Let
M = { q(x) A[x] | degree of q(x) d } .
Claim: J = (J M ) + J .
Put
Pn
q(x) = p(x) i=1 ui xmdi pi(x) .
q(x) (J M ) + J ,
so
n
X
p(x) = q(x) + ui xndi pi(x)
i=1
(J M ) + J .
837
This proves J (J M ) + J , whence equality
holds, and the Claim is proved.
q1(x) , . . . , qk (x) .
840
Corollary: If A is a Noetherian ring and B
is a finitely generated A-algebra, then B is a
Noetherian ring.
In particular, every finitely generated ring, and
every finitely generated algebra over a field, is
Noetherian.
b1 , . . . , bn ,
841
then B is a homomorphic image of the polynomial
ring A[x1, . . . , xn] under the map
so must be Noetherian,
843
The next (tricky) result says that, under certain
conditions, an intermediate ring B , sandwiched
between well-behaved rings A and C is itself
well-behaved.
C
B
844
Theorem: Suppose A B C is a chain
of subrings and that
(i) A is Noetherian;
845
Proof: Let
x1 , . . . , xm generate C as an A-algebra,
and
y1 , . . . , yn generate C as a B-module.
Then
(i = 1, . . . , m) ( bi1 , . . . , bin B )
n
X
xi = bik yk
k=1
846
and
Claim: C is generated by y1 , . . . , yn
as a B0-module.
C is a Noetherian B0-module.
849
But B is a B0-submodule of C , so
B is a Noetherian B0-module,
so is finitely generated.
But B0 is finitely generated as an A-algebra, so,
finally,
B is also finitely generated as an A-algebra,
and the Theorem is proved.
850