Английская Википедия:Eakin–Nagata theorem
In abstract algebra, the Eakin–Nagata theorem states: given commutative rings <math>A \subset B</math> such that <math>B</math> is finitely generated as a module over <math>A</math>, if <math>B</math> is a Noetherian ring, then <math>A</math> is a Noetherian ring.[1] (Note the converse is also true and is easier.)
The theorem is similar to the Artin–Tate lemma, which says that the same statement holds with "Noetherian" replaced by "finitely generated algebra" (assuming the base ring is a Noetherian ring).
The theorem was first proved in Paul M. Eakin's thesis Шаблон:Harv and later independently by Шаблон:Harvs.[2] The theorem can also be deduced from the characterization of a Noetherian ring in terms of injective modules, as done for example by David Eisenbud in Шаблон:Harv; this approach is useful for a generalization to non-commutative rings.
Proof
The following more general result is due to Edward W. Formanek and is proved by an argument rooted to the original proofs by Eakin and Nagata. According to Шаблон:Harv, this formulation is likely the most transparent one.
Proof: It is enough to show that <math>M</math> is a Noetherian module since, in general, a ring admitting a faithful Noetherian module over it is a Noetherian ring.[3] Suppose otherwise. By assumption, the set of all <math>IM</math>, where <math>I</math> is an ideal of <math>A</math> such that <math>M/IM</math> is not Noetherian has a maximal element, <math>I_0 M</math>. Replacing <math>M</math> and <math>A</math> by <math>M/I_0 M</math> and <math>A/\operatorname{Ann}(M/I_0 M)</math>, we can assume
- for each nonzero ideal <math>I \subset A</math>, the module <math>M/IM</math> is Noetherian.
Next, consider the set <math>S</math> of submodules <math>N \subset M</math> such that <math>M/N</math> is faithful. Choose a set of generators <math>\{ x_1, \dots, x_n \}</math> of <math>M</math> and then note that <math>M/N</math> is faithful if and only if for each <math>a \in A</math>, the inclusion <math>\{ a x_1, \dots, a x_n \} \subset N</math> implies <math>a = 0</math>. Thus, it is clear that Zorn's lemma applies to the set <math>S</math>, and so the set has a maximal element, <math>N_0</math>. Now, if <math>M/N_0</math> is Noetherian, then it is a faithful Noetherian module over A and, consequently, A is a Noetherian ring, a contradiction. Hence, <math>M/N_0</math> is not Noetherian and replacing <math>M</math> by <math>M/N_0</math>, we can also assume
- each nonzero submodule <math>N \subset M</math> is such that <math>M/N</math> is not faithful.
Let a submodule <math>0 \ne N \subset M</math> be given. Since <math>M/N</math> is not faithful, there is a nonzero element <math>a \in A</math> such that <math>aM \subset N</math>. By assumption, <math>M/aM</math> is Noetherian and so <math>N/aM</math> is finitely generated. Since <math>aM</math> is also finitely generated, it follows that <math>N</math> is finitely generated; i.e., <math>M</math> is Noetherian, a contradiction. <math>\square</math>
References
Further reading
