# Noetherian Rings and Modules

Let  be a commutative ring with unit element. We will frequently work with -modules, which are like vector spaces but over a ring. More precisely, recall that an is an additive abelian group equipped with a map such that for all  and all we have , , , and . A is a subgroup of that is preserved by the action of .

Example 4.1.1   The set of abelian groups are in natural bijection with -modules.

A of -modules is a abelian group homomorphism such that for any and we have . A of -modules

is a specific choice of injective homomorphism and a surjective homomorphism such that .

Definition 4.1.2 (Noetherian)   An -module  is if every submodule of is finitely generated. A ring  is if  is Noetherian as a module over itself, i.e., if every ideal of  is finitely generated.

Notice that any submodule of is Noetherian, because if every submodule of is finitely generated then so is every submodule of , since submodules of are also submodules of .

Definition 4.1.3 (Ascending chain condition)   An -module satisfies the if every sequences of submodules of  eventually stabilizes, i.e., there is some such that .

Proposition 4.1.4   If is an -module, then the following are equivalent:
1. is Noetherian,
2. satisfies the ascending chain condition, and
3. Every nonempty set of submodules of contains at least one maximal element.

Proof. : Suppose is a sequence of submodules of . Then is a submodule of . Since is Noetherian, there is a finite set of generators for . Each must be contained in some , so there is an such that . But then for all , which proves that the ascending chain condition holds for .

: Suppose 3 were false, so there exists a nonempty set  of submodules of  that does not contain a maximal element. We will use  to construct an infinite ascending chain of submodules of  that does not stabilize. Note that  is infinite, otherwise it would contain a maximal element. Let be any element of . Then there is an in that contains , otherwise would contain the maximal element . Continuing inductively in this way we find an in that properly contains , etc., and we produce an infinite ascending chain of submodules of , which contradicts the ascending chain condition.

: Suppose 1 is false, so there is a submodule of  that is not finitely generated. We will show that the set  of all finitely generated submodules of does not have a maximal element, which will be a contradiction. Suppose  does have a maximal element . Since  is finitely generated and , and is not finitely generated, there is an such that . Then is an element of  that strictly contains the presumed maximal element , a contradiction.

Lemma 4.1.5   If

is a short exact sequence of -modules, then  is Noetherian if and only if both  and  are Noetherian.

Proof. First suppose that  is Noetherian. Then  is a submodule of , so  is Noetherian. If is a submodule of , then the inverse image of in  is a submodule of , so it is finitely generated, hence its image is finitely generated. Thus  is Noetherian as well.

Next assume nothing about , but suppose that both  and  are Noetherian. If is a submodule of , then is isomorphic to a submodule of the Noetherian module , so is generated by finitely many elements . The quotient is isomorphic (via ) to a submodule of the Noetherian module , so is generated by finitely many elements . For each , let be a lift of to , modulo . Then the elements generate , for if , then there is some element such that is an -linear combination of the , and  is an -linear combination of the .

Proposition 4.1.6   Suppose  is a Noetherian ring. Then an -module  is Noetherian if and only if it is finitely generated.

Proof. If  is Noetherian then every submodule of  is finitely generated so  is finitely generated. Conversely, suppose  is finitely generated, say by elements . Then there is a surjective homomorphism from to  that sends ( in th factor) to . Using Lemma 4.1.5 and exact sequences of -modules such as , we see inductively that is Noetherian. Again by Lemma 4.1.5, homomorphic images of Noetherian modules are Noetherian, so  is Noetherian.

Lemma 4.1.7   Suppose is a surjective homomorphism of rings and is Noetherian. Then is Noetherian.

Proof. The kernel of is an ideal in , and we have an exact sequence

with  Noetherian. By Lemma 4.1.5, it follows that  is a Noetherian -modules. Suppose  is an ideal of . Since  is an -submodule of , if we view  as an -module, then  is finitely generated. Since  acts on  through , the -generators of  are also -generators of , so  is finitely generated as an ideal. Thus  is Noetherian.

Theorem 4.1.8 (Hilbert Basis Theorem)   If is a Noetherian ring and is finitely generated as a ring over , then  is Noetherian. In particular, for any  the polynomial ring and any of its quotients are Noetherian.

Proof. Assume first that we have already shown that for any the polynomial ring is Noetherian. Suppose is finitely generated as a ring over , so there are generators for . Then the map extends uniquely to a surjective homomorphism , and Lemma 4.1.7 implies that is Noetherian.

The rings and are isomorphic, so it suffices to prove that if  is Noetherian then is also Noetherian. (Our proof follows [Art91, §12.5].) Thus suppose is an ideal of and that  is Noetherian. We will show that is finitely generated.

Let be the set of leading coefficients of polynomials in along with 0. If are nonzero with , then there are polynomials and in with leading coefficients and . If , then is the leading coefficient of , so . If and with , then is the leading coefficient of , so . Thus is an ideal in , so since is Noetherian there exists that generate as an ideal. Since is the set of leading coefficients of elements of , and the are in , we can choose for each an element with leading coefficient . By multipying the by some power of , we may assume that the all have the same degree .

Let be the set of elements of  that have degree strictly less than . This set is closed under addition and under multiplication by elements of , so is a module over . The module is submodule of the -module of polynomials of degree less than , which is Noetherian because it is generated by . Thus is finitely generated, and we may choose generators for .

Suppose is an arbitrary element. We will show by induction on the degree of  that  is an -linear combination of . Thus suppose this statement is true for all elements of  of degree less than the degree of . If the degree of  is less than , then , so  is in the -ideal generated by . Next suppose that  has degree . Then the leading coefficient  of  lies in the ideal  of leading coefficients of , so there exist such that . Since has leading coefficient , the difference has degree less than the degree  of . By induction is an linear combination of , so is also an linear combination of . Since each and lies in , it follows that is generated by , so is finitely generated, as required.

Properties of Noetherian rings and modules will be crucial in the rest of this course. We have proved above that Noetherian rings have many desirable properties.

Subsections
William Stein 2004-05-06