Lagmental Vicfred

Finitely Generated Modules over Noetherian Rings Are Noetherian by Vicfred

tags: mathematics, Noetherian rings, finiteness, ideals

Submodules of finite modules inherit finite generation when the base ring is Noetherian. The point is to make the formal expression readable enough to audit line by line.

Objects and notation

A ring \(A\) is Noetherian when ascending chains of ideals stabilise. Equivalently, every ideal \(I\triangleleft A\) is finitely generated, so finite data controls all later ideal growth.

$$ A\ \text{Noetherian},\qquad M=A m_1+\cdots+A m_n $$

I keep the defining relation \(\mathsf D\) above the derived relation \(\mathsf C\). This exposes whether cancellation used \(x\ne0\) and whether the conclusion is canonical.

$$ N\le M\Longrightarrow N\ \text{is finitely generated} $$

Push the symbols

Now evaluate one representative case. The result should agree with the structural law above, but it is obtained without assuming the conclusion.

$$ 0=M_0\subset M_1\subset\cdots\subset M_n=M,\qquad M_i/M_{i-1}\cong A/\operatorname{Ann}(m_i) $$

Structural reading

The abstraction earns its keep by explaining why the same computation reappears. The notation compresses repeated reasoning without erasing the hypothesis that licenses it.

$$ \begin{aligned} \mathsf{D}\;&:\quad A\ \text{Noetherian},\qquad M=A m_1+\cdots+A m_n,\\[5pt] \mathsf{C}\;&:\quad N\le M\Longrightarrow N\ \text{is finitely generated}. \end{aligned} $$

A hypothesis worth keeping

Noetherian does not mean finite, Artinian, or a domain. Each additional adjective imposes a different chain condition or multiplicative property.

$$ \boxed{\begin{gathered} \text{compact conclusion}\\[-2pt] N\le M\Longrightarrow N\ \text{is finitely generated} \end{gathered}} $$

I would use the boxed line as a reference later, while returning to the full display whenever a hypothesis becomes uncertain. That division keeps compression from becoming ambiguity.

This article was posted on Thu 12 February 2015. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.