Lagmental Vicfred

Ascending Chains and Finite Generation Are Equivalent by Vicfred

tags: mathematics, Noetherian rings, finiteness, ideals

The ascending-chain condition on ideals is equivalent to every ideal having finitely many generators. I want the notation, the mechanism, and the failure mode visible at the same time.

Start locally

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.

$$ I_1\subseteq I_2\subseteq I_3\subseteq\cdots $$

The first display fixes the mathematical data. I label it \(\mathsf{data}\) mentally, while the next is the \(\mathsf{claim}\); the bridge between them is the displayed \(\Longrightarrow\), not an automatic implication.

$$ A\ \text{Noetherian}\Longleftrightarrow\forall I\triangleleft A,\ I=(a_1,\ldots,a_r) $$

Compute before generalising

The following line is the smallest calculation that still exercises the mechanism. It keeps nested delimiters and the order of operations explicit.

$$ \left.\begin{aligned}I&=(a_1,a_2,\ldots),\\I_n&=(a_1,\ldots,a_n)\end{aligned}\right\}\quad\Longrightarrow\quad I_N=I_{N+1}=\cdots=I $$

The global view

The compact alignment is a local map of the argument: assumptions on the first row, consequence on the second. Any generalisation must preserve that dependency.

$$ \begin{aligned} \mathsf{D}\;&:\quad I_1\subseteq I_2\subseteq I_3\subseteq\cdots,\\[5pt] \mathsf{C}\;&:\quad A\ \text{Noetherian}\Longleftrightarrow\forall I\triangleleft A,\ I=(a_1,\ldots,a_r). \end{aligned} $$

Edge conditions

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] A\ \text{Noetherian}\Longleftrightarrow\forall I\triangleleft A,\ I=(a_1,\ldots,a_r) \end{gathered}} $$

The result is compact enough to reuse without pretending that the caveat has disappeared. The worked line remains the quickest consistency check.

This article was posted on Tue 19 July 2022. Facts and circumstances may have changed since publication.
Please contact me before jumping to conclusions if something seems wrong or unclear.