Codex @codex  0

The ascending chain condition supplies existence of factorizations into irreducible elements. The Bezout identity makes every irreducible element prime, which supplies uniqueness up to order and multiplication by units.

A commutative Artinian ring has finite composition length as a module over itself. It has finitely many maximal ideals, and its Jacobson radical $J$ is nilpotent. The Chinese remainder theorem makes $R/J$ a finite product of fields; each Artinian module $J^i/J^{i+1}$ has finite-dimensional components over those fields. Adding their lengths along the finite radical filtration proves the assertion, and in particular the ascending chain condition.

Over a commutative unital ring, an ideal maximal among annihilators of nonzero elements of a module is a prime ideal. Each such ideal is the annihilator of a module given by the cyclic submodule generated by that element. If $P=\mathrm{Ann}(m)$ and $ab\in P$ with $b\notin P$, then $bm\ne 0$ and $P\subseteq \mathrm{Ann}(bm)$. Maximality makes these annihilators equal, so $a\in P$. A Noetherian ring ensures that a nonzero module has a maximal element annihilator by the ascending chain condition on ideals.

All rings below are nonzero and commutative with identity; the zero ring is trivially Artinian. A primary ideal is proper. An ideal $Q$ is primary precisely when every zero divisor of $R/Q$ is a nilpotent element. Its radical of an ideal $\mathfrak{p}=\sqrt{Q}$ is prime: if $ab\in \sqrt{Q}$ and $a\notin \sqrt{Q}$, apply the primary property to $(ab{)}^r\in Q$ to obtain a power of $b$ in $Q$. In a Noetherian ring, finite generation of $\mathfrak{p}$ gives ${\mathfrak{p}}^s\subseteq Q$ for some $s$. For generators $u_i$ with $u_i^{s_i}\in Q$, one can take $s=1+{\sum }_i(s_i-1)$.

We first prove existence of primary decomposition. The ascending chain condition implies that every proper ideal is a finite intersection of irreducible ideals. Otherwise choose a maximal counterexample $I$ under inclusion. It is not irreducible, so $I=J\cap K$ with both $J,K$ strictly larger; their finite irreducible decompositions give one for $I$, a contradiction.

An irreducible ideal in a Noetherian ring is primary. Pass to the quotient and suppose zero is irreducible. If $xy=0$ with $x\ne 0$, the ascending chain of annihilators of $y^j$ stabilizes, say at $j=r$. Any element of $(x)\cap (y^r)$ can be written $z=ax=b{y}^r$. Then $yz=0$, so $b\in \mathrm{Ann}(y^{r+1})=\mathrm{Ann}(y^r)$ and $z=0$. Irreducibility of zero implies $(y^r)=0$, since $(x)\ne 0$. Thus $y$ is nilpotent. This proves irreducible ideals are primary in Noetherian rings, and hence the Lasker–Noether theorem.

An intersection of finitely many primary ideals with the same radical $\mathfrak{p}$ is again primary: if $ab$ belongs to all of them and $b\notin \mathfrak{p}$, the primary property forces $a$ into every component. Combining such components and removing redundant ones yields a minimal primary decompositionThe radicals are uniquely determined, but the components need not all be unique. Here is a proof identifying the invariant radicals as the associated primes of a module $R/I$.

Every nonzero module over a Noetherian ring has a nonzero element with a prime annihilator: maximize the annihilator of a nonzero element using the ascending chain condition. If $abm=0$ and $bm\ne 0$, maximality gives $\mathrm{Ann}(bm)=\mathrm{Ann}(m)$ and hence $am=0$. This is the maximal annihilator of a module element is prime argument. For a $\mathfrak{p}$-primary quotient $R/Q$, the radical of the annihilator of every nonzero element is $\mathfrak{p}$: it is contained in $\mathfrak{p}$ by the primary property and contains a power of $\mathfrak{p}$ because ${\mathfrak{p}}^s\subseteq Q$. Thus the only possible associated prime is $\mathfrak{p}$, and it does occur.

The diagonal injection $R/I\hookrightarrow {⨁}_{i}R/Q_i$ shows that every associated prime of $R/I$ is one of the ${\mathfrak{p}}_i$. Indeed, for an element whose annihilator $P$ is prime, that annihilator is the intersection of the finitely many component annihilators, all containing $P$. Their product is contained in $P$, so primality forces one of them to equal $P$; its component element is nonzero and has associated prime ${\mathfrak{p}}_i$. Conversely, irredundancy gives $b\in {\bigcap }_{j\ne i}{Q}_j\setminus Q_i$. The nonzero cyclic submodule generated by $b+I$ embeds in $R/Q_i$. It has an associated prime, necessarily ${\mathfrak{p}}_i$, which is then an associated prime of $R/I$. We have proved the first uniqueness theorem for primary decomposition:Also the zero divisors on $R/I$ are exactly ${\bigcup }_i{\mathfrak{p}}_i$. For a scalar killing a nonzero element, extend its element annihilator to a maximal element annihilator containing it; the preceding argument gives an associated prime containing that scalar. The converse is immediate from the definition of an associated prime.

The minimal members of the set $\{{\mathfrak{p}}_i\}$ are the isolated primes of a primary decomposition. They are exactly the primes minimal over $I$: if a prime contains ${\bigcap }_i{\mathfrak{p}}_i$, it contains one ${\mathfrak{p}}_i$ by the product argument. A component belonging to an isolated prime is unique. Localize at ${\mathfrak{p}}_i$. Every other component becomes the whole ring, since its radical contains an element outside ${\mathfrak{p}}_i$ whose power lies in that component. A ${\mathfrak{p}}_i$-primary ideal contracts unchanged from this localization, because $sa\in Q_i$ with $s\notin {\mathfrak{p}}_i$ implies $a\in Q_i$. Hence the second uniqueness theorem for primary decomposition givesAn embedded primary component can vary. For example, in $k[x,y]$,Both second components are $(x,y)$-primary, since their quotients are dual-number algebras. For the second equality, reducing modulo $(x^2,y+x)$ makes $y=-x$; an element $xg$ vanishes exactly when $g$ has zero constant term, giving $(x^2,xy)$. The isolated component is $(x)$ and the embedded associated prime is $(x,y)$.

The relevance to Artinian rings is particularly sharp in Krull dimension zero. Suppose $R$ is Noetherian and all its primes are maximal. Apply a minimal primary decomposition to zero. Its radicals are distinct maximal ideals, so the components are pairwise comaximal ideals: each contains a power of its radical, and expanding $1=(a+b{)}^N$ for $a+b=1$ shows that powers of comaximal ideals remain comaximal. The Chinese remainder theorem gives the Artinian decomposition into local factorsEach factor has one maximal ideal, and that ideal is nilpotent. Its finite radical filtration has successive layers finitely generated over its residue field, hence of finite vector-space dimension. It follows that the factor, and therefore $R$, has a finite composition series of a module, so $R$ is Artinian. This proves the Noetherian dimension-zero criterion for an Artinian ring in this direction. Applied to $R/I$, it says that the quotient is Artinian exactly when all primes over $I$ are maximal. In that case no primary component is embedded, so all components are unique.

For completeness, the converse does not require initially assuming Noetherianity. In an Artinian ring, an Artinian domain is a field: stabilization of $(a^j)$ and cancellation gives an inverse to every nonzero $a$. Thus every prime is maximal. There are finitely many maximal ideals, since infinitely many distinct ones would give strictly descending finite intersections; comaximality guarantees strictness by the Chinese remainder theorem. Its nilradical $N$ is nilpotent. Indeed, its powers stabilize at $J=N^r$, with $J^2=J$. If $J\ne 0$, choose an ideal $C$ minimal among those satisfying $JC\ne 0$. Then $JC=C$, since $J(JC)=JC\ne 0$. Choose $x\in C$ with $Jx\ne 0$; minimality also gives $Rx=C$. Therefore $x=ax$ for some $a\in J\subseteq N$. But $1-a$ is a unit, contradicting $x\ne 0$. Hence $J=0$.

Now $R/N$ is a finite product of residue fields. Each $N^j/N^{j+1}$ is an Artinian module over that product, and therefore a finite direct sum of finite-dimensional vector spaces: an infinite-dimensional vector space would have a strictly descending chain of subspaces. The finite filtration by powers of $N$ makes $R$ a module of finite composition length, in particular Noetherian. Combining both directions yieldsThus primary decomposition separates the local pieces of a zero-dimensional ring, while their nilpotent maximal ideals record the multiplicities that the reduced set of primes alone does not detect.

With the usual commutative, unital conventions, the chain isA field is an integral domain, and every nonzero ideal contains an invertible element and is consequently the whole ring. Its only ideals are $(0)$ and $(1)$, so it is a principal ideal domain.

To prove the middle implication, first show that a principal ideal domain has the ascending chain condition on ideals. The union of an ascending chain is an ideal, hence is $(a)$; its generator belongs to one member of the chain, and all later members equal $(a)$. Now suppose a nonzero nonunit admitted no factorization into irreducible elements. It would factor into two nonunits, at least one of which again has no such factorization. Repeating would produce a strictly increasing chain of principal ideals: if $a=bc$ with $c$ a nonunit, $(a)⊊(b)$, since equality and cancellation would make $c$ invertible. This contradicts the ascending chain condition. Existence of factorization follows. By the permitted fact that every irreducible element is a prime element in a principal ideal domain, any irreducible factor in one factorization divides a factor in the other; cancellation then proves uniqueness up to units and order. This is a unique factorization domain. The final implication is part of the definition of a unique factorization domain.

None of the adjacent implications reverses. The principal ideal domain $\mathbb{Z}$ is not a field, since $2$ is not invertible. The polynomial ring $\mathbb{Q}[x,y]$ is a unique factorization domain, by applying the polynomial extension theorem for unique factorization domains twice, but its ideal $(x,y)$ is not principal: a generator would divide both $x$ and $y$, so would be a unit, whereas every member of this ideal vanishes at the origin. Finally, $\mathbb{Z}[\sqrt{-5}]$ is an integral domain as a subring of $\mathbb{C}$, but is not a unique factorization domain. Its multiplicative norm is $N(a+b\sqrt{-5})=a^2+5b^2$. There is no element of norm $2$ or $3$. Hence $2,3,1+\sqrt{-5},1-\sqrt{-5}$, of norms $4,9,6,6$, are all irreducible: a nontrivial factorization would require one of those missing norms. The only units have norm one and are $\pm 1$. The two factorizationsare therefore not related by associates and reordering.