# Commutative Algebra/Primary decomposition or Lasker–Noether theory

The following theory was originally developed by world chess champion Emmanuel Lasker in his doctoral thesis under David Hilbert and then greatly simplified (and generalised to noetherian rings) by Emmy Noether.

## Primary ideals

Definition 19.4:

An ideal ${\displaystyle q\leq R}$ is called primary ideal if and only if the following holds:

${\displaystyle xy\in q\Rightarrow x\in q\vee \exists n\in \mathbb {N} :y^{n}\in q}$.

Clearly, every prime ideal is primary.

We have the following characterisations:

Theorem 19.5 (characterisations of primary ideals):

Let ${\displaystyle q\leq R}$. The following are equivalent:

1. ${\displaystyle q}$ is primary.
2. If ${\displaystyle xy\in q}$, then either ${\displaystyle x\in q}$ or ${\displaystyle y\in q}$ or ${\displaystyle x\in r(q)\wedge y\in r(q)}$.
3. Every zerodivisor of ${\displaystyle R/q}$ is nilpotent.

Proof 1:

1. ${\displaystyle \Rightarrow }$ 2.: Let ${\displaystyle q}$ be primary. Assume ${\displaystyle xy\in q}$ and neither ${\displaystyle x\in q}$ nor ${\displaystyle y\in q}$. Since ${\displaystyle x\notin q}$, ${\displaystyle y^{k}\in q}$ for a suitable ${\displaystyle k\geq 2}$. Since ${\displaystyle yx\in q}$ and ${\displaystyle y\notin q}$, ${\displaystyle x^{m}\in q}$ for a suitable ${\displaystyle m\geq 2}$.

2. ${\displaystyle \Rightarrow }$ 3.: Let ${\displaystyle d+q}$ be a zerodivisor of ${\displaystyle R/q}$, that is, ${\displaystyle cd\in q}$ for a certain ${\displaystyle c\in R}$ such that ${\displaystyle c\notin q}$. Hence ${\displaystyle d\in r(q)}$, that is, ${\displaystyle d^{k}\in q}$ for a suitable ${\displaystyle k}$.

3. ${\displaystyle \Rightarrow }$ 1.: Let ${\displaystyle xy\in q}$. Then either ${\displaystyle x\in q}$ or ${\displaystyle y\in q}$ or ${\displaystyle x+q}$ is a zerodivisor within ${\displaystyle R/q}$, which is why ${\displaystyle x^{k}+q=0}$ for a suitable ${\displaystyle k}$.${\displaystyle \Box }$

Proof 2:

1. ${\displaystyle \Rightarrow }$ 3.: Let ${\displaystyle q}$ be primary, and let ${\displaystyle x+q}$ be a zerodivisor within ${\displaystyle R/q}$. Then ${\displaystyle xy\in q}$ for a ${\displaystyle y\notin q}$ and hence ${\displaystyle x^{k}\in q}$ for a suitable ${\displaystyle k}$.

3. ${\displaystyle \Rightarrow }$ 2.: Let ${\displaystyle xy\in q}$. Assume neither ${\displaystyle x\in q}$ nor ${\displaystyle y\in q}$. Then both ${\displaystyle x+q}$ and ${\displaystyle y+q}$ are zerodivisors in ${\displaystyle R/q}$, and hence are nilpotent, which is why ${\displaystyle x^{k},y^{m}\in q}$ for suitable ${\displaystyle k,m}$ and hence ${\displaystyle x,y\in r(q)}$.

2. ${\displaystyle \Rightarrow }$ 1.: Let ${\displaystyle xy\in q}$. Assume not ${\displaystyle x\in q}$ and not ${\displaystyle y\in q}$. Then in particular ${\displaystyle y\in r(q)}$, that is, ${\displaystyle y^{k}\in q}$ for suitable ${\displaystyle k}$.${\displaystyle \Box }$

Theorem 19.6:

If ${\displaystyle q\leq R}$ is any primary ideal, then ${\displaystyle r(q)}$ is prime.

Proof:

Let ${\displaystyle xy\in r(q)}$. Then ${\displaystyle (xy)^{n}\in q}$ for a suitable ${\displaystyle n\in \mathbb {N} }$. Hence either ${\displaystyle x^{n}\in q}$ and thus ${\displaystyle x\in r(q)}$ or ${\displaystyle (y^{n})^{m}\in q}$ for a suitable ${\displaystyle m\in \mathbb {N} }$ and hence ${\displaystyle y\in r(q)}$.${\displaystyle \Box }$

## Existence

### Existence in the Noetherian case

Following the exposition of Zariski, Samuel and Cohen, we deduce the classical Noetherian existence theorem from two lemmas and a definition.

Definition 19.7:

An ideal ${\displaystyle I\leq R}$ is called irreducible if and only if it can not be written as the intersection of finitely many proper superideals.

Lemma 19.8:

In a Noetherian ring, every irreducible ideal is primary.

Proof:

Assume there exists an irreducible ideal ${\displaystyle I}$ which is not primary. Since ${\displaystyle I}$ is not primary, there exist ${\displaystyle x,y\in R}$ such that ${\displaystyle xy\in I}$, but neither ${\displaystyle x\in I}$ nor ${\displaystyle y^{n}\in I}$ for any ${\displaystyle n\in \mathbb {N} }$. We form the ascending chain of ideals

${\displaystyle (I:y)\subseteq (I:y^{2})\subseteq (I:y^{3})\subseteq \cdots }$;

this chain is ascending because ${\displaystyle ry^{n}\in I\Rightarrow ry^{n+1}\in I}$. Since we are in a Noetherian ring, this chain eventually stabilizes at some ${\displaystyle m\in \mathbb {N} }$; that is, for ${\displaystyle k\geq m}$ we have ${\displaystyle (I:y^{k})=(I:y^{k+1})}$. We now claim that

${\displaystyle I=(I+\langle x\rangle )\cap (I+y^{n}R)}$.

Indeed, ${\displaystyle \subseteq }$ is obvious, and for ${\displaystyle \supseteq }$ we note that if ${\displaystyle r\in (I+\langle x\rangle )\cap (I+y^{n}R)}$, then

${\displaystyle r=i+sx=j+y^{n}t}$

for suitable ${\displaystyle i,j\in I}$ and ${\displaystyle s,t\in R}$, which is why ${\displaystyle sx-y^{n}t\in I}$, hence ${\displaystyle sxy-y^{n+1}t\in I}$, since ${\displaystyle xy\in I}$ thus ${\displaystyle y^{n+1}t\in I}$, ${\displaystyle t\in (I:y^{n+1})=(I:y^{n})}$, hence ${\displaystyle y^{n}t\in I}$ and ${\displaystyle sx\in I}$. Therefore ${\displaystyle r\in I}$.

Furthermore, by the choice of ${\displaystyle x}$ and ${\displaystyle y}$ both ${\displaystyle I+\langle x\rangle }$ and ${\displaystyle I+y^{n}R}$ are proper superideals, contradicting the irreducibility of ${\displaystyle I}$.${\displaystyle \Box }$

Lemma 19.9:

In a Noetherian ring, every ideal can be written as the finite intersection of irreducible ideals.

Proof:

Assume otherwise. Consider the set of all ideals that are not the finite intersection of irreducible ideals. If we are given an ascending chain within that set

${\displaystyle I_{1}\subsetneq I_{2}\subsetneq \cdots }$,

this chain has an upper bound, since it stabilizes as we are in a Noetherian ring. We may hence choose a maximal element ${\displaystyle I}$ among all ideals that are not the finite intersection of irreducible ideals. ${\displaystyle I}$ itself is thus not irreducible. Hence, it can be written as the intersection of strict superideals; that is

${\displaystyle I=J_{1}\cap \cdots \cap J_{n}}$

for appropriate ${\displaystyle J_{i}\supsetneq I}$. Since ${\displaystyle I}$ is maximal, each ${\displaystyle J_{i}}$ is a finite intersection of irreducible ideals, and hence so is ${\displaystyle I}$, which contradicts the choice of ${\displaystyle I}$.${\displaystyle \Box }$

Corollary 19.10:

In a Noetherian ring, every ideal can be written as the finite intersection of primary ideals.

Proof:

Combine lemmas 19.8 and 19.9.${\displaystyle \Box }$

### Minimal decomposition

Definition 19.11:

Let ${\displaystyle I\leq R}$ be an ideal in a ring, and let

${\displaystyle I=\bigcap _{s=1}^{r}q_{s}}$

be a primary decomposition of ${\displaystyle I}$. This decomposition is called minimal if and only if

1. there does not exist ${\displaystyle t\in \{1,\ldots ,r\}}$ with ${\displaystyle q_{t}\supseteq \bigcap _{s=1 \atop s\neq t}^{r}q_{s}}$, and
2. for all ${\displaystyle i\neq j}$, ${\displaystyle r(q_{i})\neq r(q_{j})}$ (that is, the radicals of the prime ideals are pairwise distinct).

In fact, once we have a primary composition for a given ideal, we can find a minimal primary decomposition of that ideal. But before we prove that, we need a general fact about radicals first.

Lemma 19.12:

Let ${\displaystyle I_{1},\ldots ,I_{n}}$ be ideals. Then

${\displaystyle r\left(\bigcap _{j=1}^{n}I_{j}\right)=\bigcap _{j=1}^{n}r(I_{j})}$.

One could phrase this lemma as "radical interchanges with finite intersections".

Proof:

${\displaystyle \Rightarrow }$:

{\displaystyle {\begin{aligned}s\in r\left(\bigcap _{j=1}^{n}I_{j}\right)&\Leftrightarrow \exists k\in \mathbb {N} :s^{k}\in \bigcap _{j=1}^{n}I_{j}\\&\Leftrightarrow \exists k\in \mathbb {N} :\forall j\in \{1,\ldots ,n\}:s^{k}\in I_{j}\\&\Rightarrow \forall j\in \{1,\ldots ,n\}:\exists k\in \mathbb {N} :s^{k}\in I_{j}\\&\Leftrightarrow s\in \bigcap _{j=1}^{n}r(I_{j}).\end{aligned}}}

${\displaystyle \Leftarrow }$: Let ${\displaystyle s\in \bigcap _{j=1}^{n}r(I_{j})}$. For each ${\displaystyle j}$, choose ${\displaystyle k_{j}}$ such that ${\displaystyle s^{k_{j}}\in I_{j}}$. Set

${\displaystyle k:=\max\{k_{1},\ldots ,k_{n}\}}$.

Then ${\displaystyle s^{k}\in \bigcap _{j=1}^{n}I_{j}}$, hence ${\displaystyle s\in r\left(\bigcap _{j=1}^{n}I_{j}\right)}$.${\displaystyle \Box }$

Note that for infinite intersections, the lemma need not (!!!) be true.

Theorem 19.13:

Let ${\displaystyle I\leq R}$ be an ideal in a ring that has a primary decomposition. Then ${\displaystyle I}$ also has a minimal primary decomposition.

Proof 1:

First of all, we may exclude all primary ideals ${\displaystyle q_{t}}$ for which

${\displaystyle q_{t}\supseteq \bigcap _{s=1 \atop s\neq t}^{r}q_{s}}$;

the intersection won't change if we do that, for intersecting with a superset changes nothing in general.

Then assume we are given a decomposition

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$,

and for a fixed prime ideal ${\displaystyle p}$ set

${\displaystyle q_{p}:=\bigcap _{r(q_{j})=p}q_{j}}$;

due to theorem 19.6,

${\displaystyle I=\bigcap _{p\leq R{\text{ prime}}}q_{p}}$.

We claim that ${\displaystyle q_{p}}$ is primary, and ${\displaystyle r(q_{p})=p}$. For the first claim, note that by the previous lemma

${\displaystyle r\left(\bigcap _{r(q_{j})=p}q_{j}\right)=\bigcap _{r(q_{j})=p}r(q_{j})=p}$.

For the second claim, let ${\displaystyle xy\in q_{p}}$. If ${\displaystyle x\in q_{p}}$ there is nothing to prove. Otherwise let ${\displaystyle x\notin q_{p}}$. Then there exists ${\displaystyle q_{l}}$ such that ${\displaystyle x\notin q_{l}}$, and hence ${\displaystyle y^{k}\in q_{l}}$ for a suitable ${\displaystyle k}$. Thus ${\displaystyle y\in p}$, and hence ${\displaystyle y^{k_{j}}\in q_{j}}$ for all ${\displaystyle j}$ and suitable ${\displaystyle k_{j}}$. Pick

${\displaystyle m:=\max\{k_{j}|r(q_{j})=p\}}$.

Then ${\displaystyle y^{m}\in q_{p}}$. Hence, ${\displaystyle q_{p}}$ is primary.${\displaystyle \Box }$

## Uniqueness properties

In general, we don't have uniqueness for primary decompositions, but still, any two primary decompositions of the same ideal in a ring look somewhat similar. The classical first and second uniqueness theorems uncover some of these similarities.

Theorem 19.14 (first uniqueness theorem):

Let ${\displaystyle I\leq R}$ be an ideal within a ring ${\displaystyle r}$, and assume we are given a minimal primary decomposition

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$.

Then the prime (theorem 19.6) ideals ${\displaystyle p_{j}:=r(q_{j})}$ are exactly the prime ideals among the ideals ${\displaystyle r((I:x)),x\in R}$ and hence are independent of the choice of the particular decomposition. That is, the ideals ${\displaystyle p_{j}}$ are uniquely determined by ${\displaystyle I}$.

Proof:

We begin by deducing an equation. According to theorem 19.2 and lemma 19.12,

${\displaystyle r((I:x))=r\left(\left(\bigcap _{j=1}^{n}q_{j}:x\right)\right)=r\left(\bigcap _{j=1}^{n}(q_{j}:x)\right)=\bigcap _{j=1}^{n}r((q_{j}:x))}$.

Now we fix ${\displaystyle q_{j}}$ and distinguish a few cases.

1. If ${\displaystyle x\in q_{j}}$, then obviously ${\displaystyle (q_{j}:x)=R}$.
2. If ${\displaystyle x\notin p_{j}}$ (where again ${\displaystyle p_{j}=r(q_{j})}$), then if ${\displaystyle sx\in q_{j}}$ we must have ${\displaystyle s\in q_{j}}$ since no power of ${\displaystyle x}$ is contained within ${\displaystyle q_{j}}$.
3. If ${\displaystyle x\in p_{j}}$, but ${\displaystyle x\notin q_{j}}$, we have ${\displaystyle r((q_{i}:x))=p_{i}}$, since
{\displaystyle {\begin{aligned}r\in r((q_{i}:x))&\Leftrightarrow \exists k\in \mathbb {N} :r^{k}x\in q_{i}\\&\Leftrightarrow \exists k\in \mathbb {N} :\exists m\in \mathbb {N} :(r^{k})^{m}\in q_{i}\\&\Leftrightarrow r\in p_{i}.\end{aligned}}}

In conclusion, we find

${\displaystyle r((I:x))=\bigcap _{j=1 \atop x\notin q_{j}}^{n}p_{j}}$.

Assume first that ${\displaystyle r((I:x))}$ is prime. Then the prime avoidance lemma implies that ${\displaystyle r((I:x))}$ is contained within one of the ${\displaystyle p_{j}}$, ${\displaystyle x\notin q_{j}}$, and since ${\displaystyle p_{j}=r((q_{j},x))\subseteq r((I:x))}$, ${\displaystyle r((I:x))=p_{j}}$.

Let now ${\displaystyle p_{j}}$ for ${\displaystyle j\in \{1,\ldots ,n\}}$ be given. Since the given primary decomposition is minimal, we find ${\displaystyle x\in R}$ such that ${\displaystyle x\notin p_{j}}$, but ${\displaystyle x\in \bigcap _{l=1 \atop l\neq j}^{n}p_{l}}$. In this case, ${\displaystyle r((I:x))=p_{j}}$ by the above equation.${\displaystyle \Box }$

This theorem motivates and enables the following definition:

Definition 19.15:

Let ${\displaystyle I}$ be any ideal that has a minimal primary decomposition

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$.

Then the ideals ${\displaystyle p_{j}:=r(q_{j})}$ are called the prime ideals belonging to ${\displaystyle I}$.

We now prove two lemmas, each of which will below yield a proof of the second uniqueness theorem (see below).

Lemma 19.16:

Let ${\displaystyle I\leq R}$ be an ideal which has a primary decomposition

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$,

and let again ${\displaystyle p_{j}:=r(q_{j})}$ for all ${\displaystyle j}$. If we define

${\displaystyle q_{j}':=\{x\in R|(I:x)\not \subseteq p_{j}\}}$,

then ${\displaystyle q_{j}'}$ is an ideal of ${\displaystyle R}$ and ${\displaystyle q_{j}'\subseteq q_{j}}$.

Proof:

Let ${\displaystyle a,b\in q_{j}'}$. There exists ${\displaystyle c\notin p_{j}}$ such that ${\displaystyle c\langle a\rangle \subseteq I}$ without ${\displaystyle c\in p_{j}}$, and a similar ${\displaystyle d}$ with an analogous property in regard to ${\displaystyle b}$. Hence ${\displaystyle cd\langle a-b\rangle \subseteq I}$, but not ${\displaystyle cd\in p_{j}}$ since ${\displaystyle p_{j}}$ is prime. Also, ${\displaystyle cd\langle ab\rangle \subseteq I}$. Hence, we have an ideal.

Let ${\displaystyle x\in q_{j}'}$. There exists ${\displaystyle c\notin p_{j}}$ such that

${\displaystyle c\langle x\rangle \subseteq I=\bigcap _{j=1}^{n}q_{j}}$.

In particular, ${\displaystyle cx\in q_{i}}$. Since no power of ${\displaystyle c}$ is in ${\displaystyle q_{i}}$, ${\displaystyle x\in q_{i}}$.${\displaystyle \Box }$

Lemma 19.17:

Let ${\displaystyle S\subseteq R}$ be multiplicatively closed, and let

${\displaystyle \pi _{S}:R\to S^{-1}R,r\mapsto r/1}$

be the canonical morphism. Let ${\displaystyle I}$ be a decomposable ideal, that is

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$

for primary ${\displaystyle q_{j}}$, and number the ${\displaystyle q_{j}}$ such that the first ${\displaystyle r}$ ${\displaystyle q_{j}}$ have empty intersection with ${\displaystyle S}$, and the others nonempty intersection. Then

${\displaystyle \pi _{S}^{-1}\circ \pi _{S}(I)=\bigcap _{j=1}^{r}q_{r}}$.

Proof:

We have

${\displaystyle \pi _{S}(I)=\pi _{S}\left(\bigcap _{j=1}^{n}q_{j}\right)=\bigcap _{j=1}^{n}\pi _{S}(q_{j})}$

by theorem 9.?. If now ${\displaystyle S\cap q_{j}\neq \emptyset }$, lemma 9.? yields ${\displaystyle \pi _{S}(q_{j})=S^{-1}R}$. Hence,

${\displaystyle \pi _{S}(I)=\bigcap _{j=1}^{n}\pi _{S}(q_{j})=\bigcap _{j=1}^{r}\pi _{S}(q_{j})}$.

Application of ${\displaystyle \pi _{S}^{-1}}$ on both sides yields

${\displaystyle \pi _{S}^{-1}\circ \pi _{S}(I)=\bigcap _{j=1}^{r}\pi _{S}^{-1}\pi _{S}(q_{j})}$,

and

${\displaystyle \pi _{S}^{-1}\pi _{S}(q_{j})=q_{j}}$

since ${\displaystyle \supseteq }$ holds for general maps, and ${\displaystyle x\in \pi _{S}^{-1}\pi _{S}(q_{j})}$ means ${\displaystyle \pi _{S}(x)=r/s}$, where ${\displaystyle r\in q_{j}}$ and ${\displaystyle s\in S}$; thus ${\displaystyle \pi _{S}(sx)=r/1}$, that is ${\displaystyle (sx)/1=r/1}$. This means that

${\displaystyle \exists t\in S:tsx=tr}$.

Hence ${\displaystyle tsx\in q_{j}}$, and since no power of ${\displaystyle ts}$ is in ${\displaystyle q_{j}}$ (${\displaystyle S}$ is multiplicatively closed and ${\displaystyle S\cap q_{j}=\emptyset }$), ${\displaystyle x\in q_{j}}$.${\displaystyle \Box }$

Definition 19.18:

Let ${\displaystyle I}$ be an ideal which admits a primary decomposition, and let ${\displaystyle P\subseteq \operatorname {Spec} R}$ be a set of prime ideals of ${\displaystyle R}$ that all belong to ${\displaystyle I}$. ${\displaystyle P}$ is called isolated if and only if for every prime ideal ${\displaystyle p\in P}$, if ${\displaystyle p'}$ is a prime ideal belonging to ${\displaystyle I}$ such that ${\displaystyle p'\subseteq p}$, then ${\displaystyle p'\in P}$ as well.

Theorem 19.19 (second uniqueness theorem):

Let ${\displaystyle I}$ be an ideal that has a minimal primary decomposition. If ${\displaystyle P=\{p_{i_{1}},\ldots ,p_{i_{k}}\}}$ is a subset of the set of the prime ideals belonging to ${\displaystyle I}$ which is isolated, then

${\displaystyle \bigcap _{l=1}^{k}q_{i_{l}}}$

is independent of the particular minimal primary decomposition from which the ${\displaystyle q_{i_{l}}}$ are coming.

Note that applied to reduced sets consisting of only one prime ideal, this means that if all prime subideals of a prime ideal ${\displaystyle p_{i}}$ belonging to ${\displaystyle I}$ also belong to ${\displaystyle I}$, then the corresponding ${\displaystyle q_{i}}$ is predetermined.

Proof 1 (using lemma 19.16):

We first reduce the theorem down to the case where ${\displaystyle P}$ is the set of all prime subideals belonging to ${\displaystyle I}$ of a prime ideal that belongs to ${\displaystyle I}$. Let ${\displaystyle P}$ be any reduced system. For each maximal element of that set ${\displaystyle p_{r}}$ (w.r.t. inclusion) define ${\displaystyle P_{r}}$ to be the set of all ideals in ${\displaystyle P}$ contained in ${\displaystyle p_{r}}$. Since ${\displaystyle P}$ is finite,

${\displaystyle P=\bigcup _{p_{r}{\text{ maximal in }}P}P_{r}}$;

this need not be a disjoint union (note that these are not maximal ideals!). Hence

${\displaystyle \bigcap _{l=1}^{k}q_{i_{l}}=\bigcap _{p_{r}{\text{ maximal in }}P}\bigcap _{p_{j}\in P_{r}}q_{j}}$.

Hence, let ${\displaystyle p}$ be an ideal belonging to ${\displaystyle I}$ and let ${\displaystyle P=\{p_{i_{1}},\ldots ,p_{i_{k}}\}}$ be an isolated system of subideals of ${\displaystyle p}$. Let ${\displaystyle p_{j_{1}},\ldots ,p_{j_{m}}}$ be all the primary ideals belonging to ${\displaystyle I}$ not in ${\displaystyle P}$. For those ideals, we have ${\displaystyle p_{j_{l}}\not \subseteq p}$, and hence we find ${\displaystyle b_{j_{l}}\in p_{j_{l}}\setminus p}$. For each ${\displaystyle l}$ take ${\displaystyle s(l)\in \mathbb {N} }$ large enough so that ${\displaystyle b_{j_{l}}^{s(l)}\in q_{j_{l}}}$. Then

${\displaystyle b:=\prod _{l=1}^{m}b_{j_{l}}^{s(l)}\in \bigcap _{l=1}^{m}q_{j_{l}}}$,

which is why ${\displaystyle b\bigcap _{p_{t}\in P}q_{t}\subseteq I}$. From this follows that

${\displaystyle \bigcap _{p_{t}\in P}q_{t}\subseteq q'}$,

where ${\displaystyle q}$ is the element in the primary decomposition of ${\displaystyle I}$ to which ${\displaystyle p}$ is associated, since clearly for each element ${\displaystyle x}$ of the left hand side, ${\displaystyle bx\in I}$ and thus ${\displaystyle b\langle x\rangle \subseteq I}$, but also ${\displaystyle b\notin p}$. But on the other hand, ${\displaystyle p_{t}\subseteq p}$ implies ${\displaystyle q\subseteq q_{t}}$. Hence for any such ${\displaystyle t}$ lemma 19.16 implies

${\displaystyle q'\subseteq q\subseteq q_{t}}$,

which in turn implies

${\displaystyle \bigcap _{p_{t}\in P}q_{t}\supseteq q'}$.${\displaystyle \Box }$

Proof 2 (using lemma 19.17):

Let ${\displaystyle \{p_{i_{1}},\ldots ,p_{i_{k}}\}}$ be an isolated system of prime ideals belonging to ${\displaystyle I}$. Pick

${\displaystyle S:=R\setminus (p_{i_{1}}\cup \ldots \cup p_{i_{k}})=(R\setminus p_{i_{1}})\cap \cdots \cap (R\setminus p_{i_{k}})}$,

which is multiplicatively closed since it's the intersection of multiplicatively closed subsets. The primary ideals of the decomposition of ${\displaystyle I}$ which correspond to the ${\displaystyle p_{i_{l}}}$ are precisely those having empty intersection with ${\displaystyle S}$, since any other primary ideal ${\displaystyle q_{j}}$ in the decomposition of ${\displaystyle I}$ must contain an element outside all ${\displaystyle \{p_{i_{1}},\ldots ,p_{i_{k}}\}}$, since otherwise its radical would be one of them by isolatedness. Hence, lemma 19.17 gives

${\displaystyle \bigcap _{l=1}^{k}q_{i_{l}}=\pi _{S}^{-1}\circ \pi _{S}(I)}$

and we have independence of the particular decomposition.${\displaystyle \Box }$

## Characterisation of prime ideals belonging to an ideal

The following are useful further theorems on primary decomposition.

First of all, we give a proposition on general prime ideals.

Proposition 19.20:

Let ${\displaystyle R}$ be a (commutative) ring, and let ${\displaystyle p\leq R}$ be a prime ideal. If ${\displaystyle p}$ contains

either the intersection ${\displaystyle \bigcap _{j=1}^{n}I_{j}}$ or the product ${\displaystyle I_{1}\cdot I_{2}\cdots I_{n}}$

of certain arbitrary ideals, then it contains one of the ${\displaystyle I_{j}}$ completely.

Proof:

Since the product is contained in the intersection, it suffices to prove the theorem under the assumption that ${\displaystyle I_{1}\cdots I_{n}\subseteq p}$.

Indeed, assume none of the ${\displaystyle I_{1},\ldots ,I_{n}}$ is contained in ${\displaystyle p}$. Choose ${\displaystyle r_{j}\in I_{j}\setminus p}$ for ${\displaystyle j=1,\ldots ,n}$. Since ${\displaystyle p}$ is prime, ${\displaystyle r_{1}\cdots r_{n}\notin p}$. But it's in the product, contradiction.${\displaystyle \Box }$

This proposition has far-reaching consequences for primary decomposition, given in Corollary 19.22. But first, we need a lemma.

Lemma 19.21:

Let ${\displaystyle q\leq R}$ be a primary ideal, and assume ${\displaystyle p\leq R}$ is prime such that ${\displaystyle q\subseteq p}$. Then ${\displaystyle r(q)\subseteq p}$.

Proof:

If ${\displaystyle x^{n}\in q}$, then ${\displaystyle x\in p}$.${\displaystyle \Box }$

Corollary 19.22:

Let ${\displaystyle I}$ be an ideal admitting a prime decomposition

${\displaystyle I=\bigcap _{j=1}^{n}q_{j}}$.

If ${\displaystyle p\leq R}$ is any prime ideal that contains ${\displaystyle I}$, then it also contains a prime ideal belonging to ${\displaystyle I}$. Further, the prime ideals belonging to ${\displaystyle I}$ are exactly those that are minimal with respect to the partial order induced by inclusion on ${\displaystyle V(I)\subseteq \operatorname {Spec} (R)}$.

Proof:

The first assertion follows from proposition 19.20 and lemma 19.21. The second assertion follows since any prime ideal belonging to ${\displaystyle I}$ contains ${\displaystyle I}$.${\displaystyle \Box }$