A [polynomial ring](/page/Polynomial%20Ring) over a field looks enormous: it contains polynomials of every degree, ideals can be generated by many equations, and algebraic sets can be cut out by apparently infinite systems. The surprise behind Noetherian rings is that, in many rings that arise in algebra, this infinitude is illusory. If the ring is Noetherian, every ideal has a finite list of generators, every ascending process of enlarging ideals eventually stops, and many constructions become finite enough to compute with.

The opposite behaviour is not a technical nuisance; it changes the subject. In a non-Noetherian ring, an ideal may require infinitely many independent generators, so an algebraic condition cannot be compressed into finitely many equations. Noetherian rings isolate the rings in which ideal-theoretic information is finite in a strong structural sense.

Throughout the main ring-theoretic sections of this chapter, rings are commutative and have a multiplicative identity unless a statement explicitly says otherwise. The later module section briefly records the left-module version because it is the form needed in broader algebra, but the central page topic is the commutative Noetherian ring.

[example: An Ideal That Never Becomes Finitely Generated] Let $k$ be a field and let \begin{align*} R = k[x_1,x_2,x_3,\ldots] \end{align*} be the polynomial ring in countably many variables. Consider the ideal \begin{align*} I = (x_1,x_2,x_3,\ldots) \trianglelefteq R. \end{align*} We show that $I$ cannot be generated by finitely many elements. Suppose, for contradiction, that \begin{align*} I = (f_1,\ldots,f_m) \end{align*} for some $f_1,\ldots,f_m \in R$. Each polynomial is a finite $k$-linear combination of monomials, and each monomial uses only finitely many variables, so the finite list $f_1,\ldots,f_m$ involves only finitely many variables altogether. Hence there exists $N \in \mathbb{N}$ such that \begin{align*} f_i \in k[x_1,\ldots,x_N] \quad \text{for every } 1 \le i \le m. \end{align*} Since $f_i \in I$, no $f_i$ has a nonzero constant term: indeed, every element of $I=(x_1,x_2,\ldots)$ is a finite sum of terms $a_jx_j$, and each term $a_jx_j$ has zero constant term. Therefore, when $f_i$ is regarded as a polynomial in $k[x_1,\ldots,x_N]$, every monomial appearing in $f_i$ is divisible by at least one of $x_1,\ldots,x_N$. Thus \begin{align*} f_i \in (x_1,\ldots,x_N)R \quad \text{for every } 1 \le i \le m. \end{align*} Because $(x_1,\ldots,x_N)R$ is an ideal, every $R$-linear combination of the $f_i$ also lies in $(x_1,\ldots,x_N)R$. Hence \begin{align*} (f_1,\ldots,f_m) \subseteq (x_1,\ldots,x_N)R. \end{align*} Using the assumed equality $I=(f_1,\ldots,f_m)$, this gives \begin{align*} I \subseteq (x_1,\ldots,x_N)R. \end{align*} But $x_{N+1} \in I$ by the definition of $I$. To see that $x_{N+1} \notin (x_1,\ldots,x_N)R$, define the $k$-algebra homomorphism \begin{align*} \varphi:R \to k[x_{N+1},x_{N+2},\ldots] \end{align*} by $\varphi(x_j)=0$ for $1 \le j \le N$ and $\varphi(x_j)=x_j$ for $j>N$. Every generator $x_1,\ldots,x_N$ of $(x_1,\ldots,x_N)R$ maps to $0$, so every element of $(x_1,\ldots,x_N)R$ maps to $0$. However, \begin{align*} \varphi(x_{N+1}) = x_{N+1} \ne 0. \end{align*} Thus $x_{N+1} \notin (x_1,\ldots,x_N)R$, contradicting $I \subseteq (x_1,\ldots,x_N)R$. Therefore $I$ is not finitely generated. [/example]

This example shows the failure that Noetherianity forbids. It is not about the cardinality of the ring: even countable rings can be Noetherian or non-Noetherian. The issue is whether ideals can be controlled by finite data.

## Definition

Before naming auxiliary chain language, recall the parent object. A Noetherian ring is not a new kind of algebraic operation; it is a finiteness condition imposed on a commutative [ring](/page/Ring). The first problem is to make sense of an ideal-building process that never runs out of new information. The definition records exactly the demand that every such process must stop.

[definition: Noetherian Ring] A commutative ring $R$ is a Noetherian ring if for every sequence of ideals \begin{align*} I_1 \subset I_2 \subset I_3 \subset \cdots \end{align*} there exists $N \in \mathbb{N}$ such that $I_n = I_N$ for all $n \ge N$. [/definition]

This definition turns the informal phrase "eventually no new ideal appears" into a precise stopping rule. To compare Noetherianity with other finiteness conditions, it helps to separate the stopping mechanism from the ring name itself. The next definition names the chain condition directly, so later arguments can point to the exact obstruction: an infinite process of enlarging ideals that never stabilises.

[definition: Ascending Chain Condition on Ideals] Let $R$ be a commutative ring. The ring $R$ satisfies the ascending chain condition on ideals if for every sequence of ideals \begin{align*} I_1 \subset I_2 \subset I_3 \subset \cdots \end{align*} there exists $N \in \mathbb{N}$ such that $I_n = I_N$ for all $n \ge N$. [/definition]

Thus a commutative ring is Noetherian exactly when it satisfies the ascending chain condition on ideals. The definition is stated using chains, but in practice one usually checks finite generation of ideals. This matters because a finite generating set is explicit algebraic data, while a universal statement about chains is often hard to inspect directly. The next theorem is the basic equivalence that makes the concept usable.

[quotetheorem:9999]

This equivalence is the working form of the definition. It says that Noetherianity is not merely a condition on chains; it is exactly the assertion that every ideal admits a finite description.

A second formulation is useful when one wants to extract a maximal ideal with some property. Instead of building an infinite chain, one asks whether every nonempty collection of ideals has a maximal member under inclusion.

[quotetheorem:10000]

The maximal condition is a compactness principle for ideals. It lets arguments choose a largest counterexample, then enlarge it to get a contradiction.

The smallest examples come from rings where ideals are already well understood. Principal ideal domains provide the first reliable supply because their ideals are generated by a single element.

[example: Integers as a Noetherian Ring] Let $I \trianglelefteq \mathbb{Z}$ be an ideal. If $I=\{0\}$, then $I=(0)$, so $I$ is generated by one element. If $I\ne \{0\}$, choose the least positive integer $n\in I$; this exists by the [well-ordering principle](/theorems/721), since $I$ contains some nonzero integer and therefore contains a positive one. We show that $I=(n)$. Because $n\in I$ and $I$ is closed under multiplication by arbitrary integers, every multiple $qn$ lies in $I$, so $(n)\subseteq I$. Conversely, let $a\in I$. By Euclidean division, there exist $q,r\in\mathbb{Z}$ such that \begin{align*} a=qn+r \quad \text{with} \quad 0\le r<n. \end{align*} Since $a\in I$ and $qn\in I$, closure of $I$ under subtraction gives \begin{align*} r=a-qn\in I. \end{align*} If $r>0$, then $r$ is a positive element of $I$ smaller than $n$, contradicting the choice of $n$. Hence $r=0$, so $a=qn\in(n)$. Thus $I\subseteq(n)$, and therefore $I=(n)$. Every ideal of $\mathbb{Z}$ is therefore generated by one element, so by *[Ideal Characterisation of Noetherian Rings](/theorems/9999)*, $\mathbb{Z}$ is Noetherian. The same reasoning applies to any [principal ideal domain](/page/Principal%20Ideal%20Domain), because in such a ring every ideal is principal by definition. [/example]

A field is even smaller from the ideal-theoretic viewpoint. Its only ideals are $0$ and the whole field, so no infinite growth of ideals can begin.

[example: Fields and Polynomial Rings in One Variable] Let $k$ be a field. We first identify its ideals. If $I \trianglelefteq k$ and $I=\{0\}$, then $I=(0)$. If $I\ne \{0\}$, choose $a\in I$ with $a\ne 0$. Since $k$ is a field, $a^{-1}\in k$, and closure of the ideal $I$ under multiplication by elements of $k$ gives \begin{align*} 1=a^{-1}a\in I. \end{align*} For any $b\in k$, closure under multiplication by $b$ gives \begin{align*} b=b\cdot 1\in I. \end{align*} Thus $I=k$. Hence the only ideals of $k$ are $(0)$ and $(1)=k$, so every ideal of $k$ is finitely generated. By *Ideal Characterisation of Noetherian Rings*, $k$ is Noetherian. Now consider $k[x]$. Since $k[x]$ is a principal ideal domain, every ideal $J\trianglelefteq k[x]$ has the form \begin{align*} J=(f) \end{align*} for some $f\in k[x]$. This means every element of $J$ is of the form $g(x)f$ with $g(x)\in k[x]$, so $J$ is generated by the single element $f$. Therefore every ideal of $k[x]$ is finitely generated, and by *Ideal Characterisation of Noetherian Rings*, $k[x]$ is Noetherian. [/example]