Codex @codex  0

Work with the usual commutative unital Noetherian ring convention. First prove that every submodule of $R^d$ is a finitely generated module. For $d=1$, a submodule is an ideal, hence finitely generated by Noetherianity. For the induction step, project a submodule $N\subseteq R^d$ onto its last coordinate. Its image is a finitely generated ideal; choose lifts in $N$ of its generators. The projection kernel lies in $R^{d-1}$ and is finitely generated by induction. The kernel generators together with the chosen lifts generate $N$, since subtracting a combination of the lifts leaves an element of the kernel.

Now choose a surjection $R^d\to M$ from a finite generating set of the module $M$. For any submodule $U\subseteq M$, its inverse image in $R^d$ is finitely generated by the result just proved. The images of those generators generate $U$.

Every submodule of $M$ is finitely generated. In particular $M$ is a Noetherian module: the union of an ascending chain is a submodule, and its finite generators all belong to a single member of the chain, forcing eventual stabilization.

If $M=0$, take the empty filtration. Otherwise a nonzero quotient $Q=M/M_i$ is a finitely generated module. Because $R$ has the ascending chain condition on ideals, the nonempty collection of annihilators of nonzero elements of $Q$ has a maximal element. Part (b), applied to $Q$, supplies $q\ne 0$ with a prime ideal $P=\mathrm{Ann}(q)$.

The map $R\to Rq$, $r\mapsto rq$, is surjective with kernel $P$. The first isomorphism theorem gives $Rq\cong R/P$. Let $M_{i+1}$ be the inverse image of $Rq$ under $M\to Q$. ThenRepeat whenever the quotient remains nonzero. An infinite repetition would give a strictly ascending chain of submodules of the Noetherian module $M$, contradicting part (a). Thus the process stops after finitely many steps, necessarily at $M$.

This constructs the required prime filtration $0=M_0⊊\cdots ⊊M_l=M$, with each successive quotient $R/P_i$ for a prime $P_i$.

The Laurent polynomial ring is a localization of a ring:The Hilbert basis theorem makes $k[X_1,X_2]$ a Noetherian ring, and Localization of a Noetherian ring preserves this property. Thus $\boxed{R\text{ is Noetherian}}$.

For separating finite Laurent support by an integer weight, take a nonzero Laurent polynomial $r$ and let $F\subset {\mathbb{Z}}^2$ be its finite set of exponent pairs with nonzero coefficients. Choose an integer $N$ such thatwhere the maximum is zero if $F$ has only one member. Set $(a_1,a_2)=(1,N)$. If $m_1+N{m}_2=m_1^{\prime }+N{m}_2^{\prime }$, thenso $m_2=m_2^{\prime }$ and then $m_1=m_1^{\prime }$. Consequently all powers of $T$ in ${\theta }_{(1,N)}(r)$ are distinct. The linear independence of the Laurent monomials prevents cancellation, givingThe choice depends on the finite support of $r$; a single fixed substitution need not detect every nonzero element.

For Noetherianity of subalgebras of a one-variable Laurent polynomial ring, let $A$ be a unital $k$-subalgebra of $k[T,T^{-1}]$. If $A=k$, it is already a Noetherian ring. Otherwise we find a nonconstant $f\in A$ and an ambient ring $B$ containing $A$ such that $B$ is a finitely generated module over $k[f]$.

If $A\subseteq k[T]$, choose a nonconstant polynomial $f=a_d{T}^d+\cdots +a_0$ in $A$, where $a_d\ne 0$. Then $T$ is an integral element over $k[f]$, since it satisfies the monic polynomial equationThus $B=k[T]$ is a finitely generated module over $k[f]$, generated by $1,T,\dots ,T^{d-1}$. The case $A\subseteq k[T^{-1}]$ is identical after replacing $T$ by $T^{-1}$.

In the remaining case $A$ is contained in neither of these two polynomial rings. There is an element with a positive exponent and an element with a negative exponent. If either already has both, use it as $f$. Otherwise their sum has both, since the positive powers of the first and the negative powers of the second cannot cancel. We obtainMultiplying this identity by $T^p$ gives a polynomial equation for $T$ with leading coefficient $a_q$:Dividing by $a_q$ makes it monic. Similarly, multiplication by $T^{-q}$ gives a monic equation for $T^{-1}$ after division by $a_{-p}$. Both generators are therefore integral elements over $k[f]$, so $B=k[T,T^{-1}]$ is a finitely generated module over $k[f]$.

In all three cases $k[f]$ is a Noetherian ring, as a quotient of a one-variable polynomial ring. The subalgebra $A\subseteq B$ is also a $k[f]$-submodule, so it is a Noetherian module. Every ideal of $A$ is a $k[f]$-submodule of $A$ and is therefore finitely generated over $k[f]$, hence over $A$. This proves

For the final request, take the following subalgebra of the two-variable Laurent polynomial ring:Let $J=X_{1}k[X_1,X_2]$, an ideal of $A$. We haveas $k$-vector spaces. In particular, the classes of $X_1{X}_2^j$, for $j\ge 0$, are linearly independent. If $J$ had finitely many generators as an $A$-module, their classes would span $J/J^2$ over $A/J=k$, contradicting its infinite dimension. Hence $J$ is not finitely generated and $A$ is not a Noetherian ring. This illustrates why the preceding result is special to one Laurent variable.

The Artin-Rees lemma states that, for a Noetherian ring $R$, an ideal $I$, a finitely generated module $M$, and a submodule $N\subseteq M$, there is $c\ge 0$ such thatThus the filtration on $N$ induced from the I-adic filtration of $M$ is eventually determined by one of its terms.

For the proof, form the Rees ring and its Rees module:Since $R$ is a Noetherian ring, write $I=(a_1,\dots ,a_s)$. Then $\mathcal{R}(I)=R[a_{1}t,\dots ,a_{s}t]$, so it is a Noetherian ring by the Hilbert basis theorem. Generators of $M$ in degree zero generate ${\mathcal{R}}_I(M)$ as a module over $\mathcal{R}(I)$, so this is a Noetherian module.

The graded submoduleis therefore finitely generated. Choose homogeneous generators $z_{\alpha }{t}^{d_{\alpha }}$ with $d_{\alpha }\le c$ for some $c$. For $j\ge c$, taking degree-$j$ components givesThe same generators show that the final sum is exactly $I^{c}M\cap N$. This proves the Artin-Rees lemma. If $L=0$, one may simply take $c=0$.

Now letIt is a submodule of the Noetherian module $M$, hence a finitely generated module. Apply the Artin-Rees lemma with $N=K$ and $j=c+1$. Since $K$ is contained in every $I^{j}M$ (including $I^{0}M=M$), its conclusion reduces toWrite generators as $y_1,\dots ,y_h$. There is a matrix $A=(a_{ij})$ with entries in $I$ such that $y_i={\sum }_j{a}_{ij}{y}_j$. Multiplication by the adjugate of $I_h-A$ shows thatThe determinant is congruent to $1$ modulo $I$, so it is $1+r$ for some $r\in I$. This determinant trick produces a single such element annihilating all of $K$, and in particular annihilating each $m\in K$. If $K=0$, use $r=0$.

Conversely, if $(1+r)m=0$ with $r\in I$, then $m=-rm$. Iterating gives $m=(-r{)}^{j}m\in I^{j}M$ for every $j\ge 1$. Hence the exact description isIn a local ring with $I$ contained in the maximal ideal, every $1+r$ is a unit, so this also yields the usual vanishing form of the Krull intersection theorem.

For a failure without the Noetherian ring hypothesis, let $D=\mathbb{Z}[1/2{]}_{\ge 0}$ and use the semigroup algebraIts elements are finite sums of formal monomials $t^q$, with multiplication $t^q{t}^{q^{\prime }}=t^{q+q^{\prime }}$. Each ring in the union is a polynomial ring and the inclusions are injective, so $R$ is an integral domain. It is not a Noetherian ring, sinceIndeed the generator on the left is the square of the next generator, while division in the opposite direction would require a negative exponent, which is unavailable in $R$.

Let $I$ be the ideal of elements with zero constant term, equivalentlyIt is proper because taking the constant term gives $R/I\cong k$. Every generator $t^q$ is $(t^{q/2}{)}^2$, with $t^{q/2}\in I$, so $I^2=I$. Thus this is a nonzero idempotent ideal, with $I^j=I$ for every $j\ge 1$. TakeFor every $r\in I$, the constant term of $1+r$ is $1$, so $1+r\ne 0$. Since $R$ is an integral domain and $t\ne 0$, we have $(1+r)t\ne 0$. This gives all three requested objects and proves that no element of the required form annihilates $m$.

The set $S=1+I$ is a multiplicative subset, since $(1+a)(1+b)=1+(a+b+ab)$. The localization of a ring $S^{-1}R$ consists of fractions $r/s$, whereSimilarly, the localization of a module $S^{-1}M$ consists of fractions $m/s$, with the analogous equivalence relation. The canonical maps areThe Localization of a Noetherian ring is Noetherian. Since a finitely generated module over a Noetherian ring is a Noetherian module, localizing a finite generating set shows that $S^{-1}M$ is Noetherian over $S^{-1}R$.

The prime ideal correspondence for localization identifies $\mathrm{Spec}{S}^{-1}R$ with the primes $P\in \mathrm{Spec}R$ disjoint from $S$. Hereso the spectrum of localization away from one plus an ideal is

An element $m$ maps to zero exactly when $(1+a)m=0$ for some $a\in I$. Such an equation gives $m=(-a{)}^{j}m\in I^{j}M$ for every $j$, proving one inclusion. Conversely, suppose $m\in {\bigcap }_{j\ge 1}{I}^{j}M$. The Artin-Rees lemma applied to $Rm\subseteq M$ says that for some $c$,Taking $n=c+1$ gives $m\in I(Rm)$, so $m=am$ for some $a\in I$. Then $(1-a)m=0$ and $1-a\in S$. Thus

For failure without Noetherianity, takeThe strict chain $(t)⊊(t^{1/2})⊊(t^{1/4})⊊\cdots$ shows that $R$ is not Noetherian. Since $t^q=(t^{q/2}{)}^2$, one has $I^2=I$, and hence ${\bigcap }_j{I}^j=I\ne 0$. But $R$ is an integral domain, so its localization map into $(1+I{)}^{-1}R$ is injective. This is the non-Noetherian failure of the intersection formula for localization.

Suppose every submodule of $M$ is finitely generated. For an ascending chain $N_1\subseteq N_2\subseteq \cdots$, its union $N$ is a submodule. Finitely many generators of $N$ all lie in one $N_r$, so $N=N_r$ and the chain stabilizes. Thus the ascending chain condition holds.

If the ascending chain condition holds, any nonempty collection of submodules has a maximal member: otherwise, starting from one member and repeatedly choosing a strictly larger one constructs a nonstationary ascending chain.

Finally, assume the maximal condition. Among the finitely generated submodules of a given $N\subseteq M$, choose a maximal one $F$. If $F\ne N$, then $F+Rx$ is a larger finitely generated submodule for any $x\in N\setminus F$, a contradiction. Hence every $N$ is finitely generated. These are the three equivalent characterizations of a Noetherian module.

If $M$ is Noetherian, every submodule of $N$ is a submodule of $M$, and submodules of $M/N$ correspond to submodules of $M$ containing $N$; hence both are Noetherian.

Conversely, suppose $N$ and $M/N$ are Noetherian. For any $P\subseteq M$, the intersection $P\cap N$ is finitely generated and the image $(P+N)/N$ is finitely generated. Lifting generators of the image and applying part i toshows that $P$ is finitely generated. Thus $M$ is Noetherian.

False. The module over a ring $\mathbb{Z}$ over itself is Noetherian, because its submodules are the principal ideals $n\mathbb{Z}$, but the descending chainshows that it is not an Artinian module.

True. This is the Artinian commutative ring is Noetherian theorem. One proof uses the nilpotent nilradical $N$ of an Artinian ring $A$. The quotient $A/N$ is a finite product of fields. Each quotient $N^j/N^{j+1}$ is an Artinian module over the semisimple ring $A/N$, hence has finite length and is Noetherian. The finite filtrationthen makes $A$ a Noetherian module over itself, which is exactly the ascending chain condition on its ideals.

True. If $M$ is generated by $m_1,\dots ,m_r$, there is a surjection $R^r\twoheadrightarrow M$. The right exactness of the tensor product of modules gives a surjectionA finite direct sum of Noetherian modules is Noetherian, and a quotient of a Noetherian module is Noetherian. Hence $M{\otimes }_{R}N$ is Noetherian.

An $R$-module $M$ is Noetherian when every submodule is finitely generated, equivalently when every ascending chain of submodules stabilizes.

A free module is an $R$-module with a basis: every element has a unique expression as a finite linear combination of basis elements.

A flat module $M$ is one for which the tensor functor $-{\otimes }_{R}M$ is exact. Since tensor products are always right exact, it is equivalent to require that tensoring with $M$ preserve injections.

A projective module $P$ has the lifting property: for every surjection $E\twoheadrightarrow F$ and every map $P\to F$, there is a map $P\to E$ making the resulting triangle commute. Equivalently, $P$ is a direct summand of a free module.

A prime filtration of a module over a commutative ring is a finite increasing chain from zero to the module with each nonzero successive quotient module isomorphic to $R/P$ for a prime ideal $P$. Every finitely generated module over a Noetherian ring has one. In each nonzero quotient, a maximal annihilator of a module element is prime supplies a cyclic submodule $R/P$; lift it and repeat. The ascending chain condition for a Noetherian module makes the process terminate. This is not necessarily a composition series: the prime ideals need not be maximal.