Codex @codex  0

For a finite minimal primary decomposition $I={\bigcap }_i{Q}_i$, these are the prime ideals $\sqrt{Q_i}$. This terminology applies without a Noetherian hypothesis when the decomposition exists. Its invariance follows from the intrinsic description as those prime ideals of the form $\sqrt{(I:x)}$, where $x\notin I$ and $(I:x)$ is a colon ideal. Indeed, $(I:x)={\bigcap }_i(Q_i:x)$, and each factor is either the whole ring or a primary ideal with radical of an ideal $\sqrt{Q_i}$. A finite intersection of prime ideals can be prime only if it equals one of them: otherwise multiplying one element outside the intersection from each factor contradicts the prime ideal condition. Conversely, irredundancy supplies $x\in {\bigcap }_{j\ne i}{Q}_j\setminus Q_i$, giving $\sqrt{(I:x)}=\sqrt{Q_i}$. In a Noetherian ring these agree with the associated primes of a module $R/I$. For arbitrary rings, the annihilator definition of an associated prime of a module must not be substituted without a further hypothesis.

An associated prime of a module $R/I$ is embedded when it is not minimal over $I$. For example, in $k[x,y]/(x^2,xy)$ the nonzero class of $x$ has annihilator $(x,y)$, while the unique minimal prime is $(x)$. Embedded primes record annihilators which are invisible if one retains only the reduced irreducible components.

For a Noetherian ring and a proper ideal $I$, every minimal prime $P$ over $I$ is an associated prime of a module $R/I$. The localized quotient has one prime, so its finitely generated maximal ideal is nilpotent and its socle is nonzero. An element with annihilator $P{R}_P$ can be lifted to the quotient. Clearing denominators for a finite generating set of $P$ gives a nonzero element with annihilator exactly $P$.

An associated prime of a module is an annihilator of a nonzero element. Suppose $Q={\mathrm{Ann}}_R(m)$ is prime and $Q\subseteq P$. Then $m/1\ne 0$ in $M_P$: a denominator $s\notin P$ killing $m$ would belong to $Q\subseteq P$. MoreoverIndeed, if $(a/s)(m/1)=0$, some $t\notin P$ has $tam=0$, so $ta\in Q$; primeness and $t\notin Q$ imply $a\in Q$. The reverse containment is immediate. This proves one inclusion in the localization of associated primes formula.

For the other, let $\mathfrak{q}={\mathrm{Ann}}_{R_P}(m/s)$ be an associated prime of $M_P$ and contract it to $Q$. By part (iii), $Q$ is prime, $Q\subseteq P$ and $Q{R}_P=\mathfrak{q}$. Since $s$ is invertible, $\mathfrak{q}$ is also the annihilator of $m/1$. The Noetherian ring hypothesis makes $Q=(a_1,\dots ,a_r)$ finitely generated. For each $a_i$, the equality $(a_{i}m)/1=0$ supplies $t_i\notin P$ with $t_i{a}_{i}m=0$. Put $t={\prod }_i{t}_i$, taking $t=1$ for the zero ideal. Then $Q$ annihilates $tm$, while $tm/1\ne 0$ because $t/1$ is a unit and $m/1\ne 0$.

If $b(tm)=0$, then $b/1$ annihilates $m/1$, so $b\in Q$. Therefore ${\mathrm{Ann}}_R(tm)=Q$, and $Q\in {\mathrm{Ass}}_R(M)$. We concludeThe single common denominator $t$ is the key point: one must turn a localized annihilator into the annihilator of one actual nonzero element of $M$, not merely assert that annihilators commute with localization.

The prime radical of a noncommutative ring is $N(R)={\bigcap }_{P}P$, with $P$ ranging over all prime ideals of a noncommutative ring. Here primeness means that for two-sided ideals $A,B$, $AB\subseteq P$ implies $A\subseteq P$ or $B\subseteq P$. A minimal prime over an ideal $I$ is a prime ideal containing $I$ with no strictly smaller prime ideal containing $I$.

The ascending chain condition on left ideals also applies to two-sided ideals. We first prove by Noetherian induction that every proper $I$ contains a finite product of prime ideals, each containing $I$. If there were counterexamples, choose a maximal one. It is not prime, so there are strictly larger two-sided ideals $A,B$ with $AB\subseteq I$. Neither is a counterexample; products of prime ideals contained in $A$ and in $B$ then concatenate to a product contained in $I$, a contradiction.

Write $P_1\cdots P_t\subseteq I\subseteq P_j$. Every prime ideal $P$ over $I$ contains at least one $P_j$, by primeness. The inclusion-minimal members of the finite list $P_j$ are therefore precisely the minimal primes over an ideal $I$: any smaller prime over $I$ would contain a member of that same list. Consequently there are finitely many. Replacing each factor $P_j$ by a minimal prime contained in it giveswith each $Q_j$ minimal over $I$. Repeated factors may be necessary; in $k[\epsilon ]/({\epsilon }^m)$ the sole minimal prime $(\epsilon )$ requires its $m$th power to reach zero.

Apply this to $I=0$. Since $N(R)\subseteq Q_j$ for every $j$,Thus the prime radical is a nilpotent ideal, as in finite minimal primes and nilpotent prime radical.

Now assume $R$ is commutative. A prime ideal $P$ is an associated prime of a module $M$ when $P={\mathrm{Ann}}_R(m)$ for some $0\ne m\in M$. Every nonzero module over $R$ has an associated prime: the ascending chain condition gives a maximal annihilator of a nonzero element, and maximal annihilator of a module element is prime.

Since the given $M$ is a Noetherian module, repeatedly choosing such a cyclic submodule in the next quotient yields a finite prime filtrationThe process terminates by the ascending chain condition. In a short exact sequence $0\to U\to M\to W\to 0$, one has $\mathrm{Ass}(M)\subseteq \mathrm{Ass}(U)\cup \mathrm{Ass}(W)$. Indeed, if $P=\mathrm{Ann}(m)$ and $Rm\cap U=0$, the image of $m$ in $W$ still has annihilator $P$. Otherwise choose $0\ne am\in U$; then $a\notin P$, and primeness gives $\mathrm{Ann}(am)=P$. As $\mathrm{Ass}(R/P_i)=\{P_i\}$, induction along the prime filtration provesIn particular there are only finitely many associated primes of a module.

Finally let $P$ be a minimal prime ideal of $R$. Its localization at a prime ideal $R_P$ has exactly one prime, its maximal ideal $P{R}_P$. The preceding nilpotence result makes this maximal ideal nilpotent. Choose $0\ne y\in R_P$ annihilated by $P{R}_P$, for example a nonzero element in its last nonzero power, or $1$ if $P{R}_P=0$. Since elements outside the maximal ideal are units, ${\mathrm{Ann}}_{R_P}(y)=P{R}_P$.

Write $y=r/s$. The element $r/1$ is nonzero and also has annihilator $P{R}_P$. Generate $P$ by $p_1,\dots ,p_{\ell }$. For each $i$, choose $u_i\notin P$ with $u_i{p}_{i}r=0$, and put $u={\prod }_i{u}_i$. Then $m=ur$ remains nonzero after localization, while $Pm=0$. If $am=0$, localization forces $a/1\in P{R}_P$, and hence $a\in P$. Therefore ${\mathrm{Ann}}_R(m)=P$. This proves that minimal primes are associated primes.

A prime ideal $\mathfrak{p}$ is minimal over $I$ if $I\subseteq \mathfrak{p}$ and no strictly smaller prime contains $I$. An associated prime of a module is an annihilator of an individual nonzero element which happens to be prime. For the quotient module this readswhere ${\mathrm{Ann}}_R(\bar{a})=(I:a)=\{r\in R:ra\in I\}$. This is the annihilator of an individual element, rather than necessarily the annihilator of the whole quotient.

Minimal primes exist because $I$ is proper. First choose a maximal ideal containing $I$. Within the primes contained in it and containing $I$, an intersection of any decreasing chain is again prime. Indeed, if $ab$ is in the intersection and $a$ is absent from one member, then $b$ belongs to that member and to every smaller member; it also belongs to every larger member. The intersection is still proper and contains $I$. Zorn's lemma, applied with reverse inclusion, produces a minimal prime. This proves existence of minimal primes over a proper ideal, even without the Noetherian hypothesis.

Now fix a minimal prime $\mathfrak{p}$ and put $A=R/I$. The localization at a prime ideal $A_{\mathfrak{p}}$ is nonzero and is a Noetherian local ring. By prime ideal correspondence for localization, its only prime is $\mathfrak{p}{R}_{\mathfrak{p}}/I{R}_{\mathfrak{p}}$. Write this maximal ideal as $\mathfrak{n}$. It is the nilradical; since it is finitely generated and each generator is nilpotent, some power of $\mathfrak{n}$ is zero. Explicitly, if its generators have nilpotence exponents $e_1,\dots ,e_r$, every product of degree $1+{\sum }_i(e_i-1)$ vanishes.

Choose the smallest $s\ge 1$ such that ${\mathfrak{n}}^s=0$, and choose a nonzero element in ${\mathfrak{n}}^{s-1}$; when $\mathfrak{n}=0$, choose $1$. Its annihilator over $R_{\mathfrak{p}}$ is exactly $\mathfrak{p}{R}_{\mathfrak{p}}$. Represent it as $a/u$ with $u\notin \mathfrak{p}$. Multiplication by the unit $u$ shows that $a/1$ has the same annihilator and remains nonzero.

Let $p_1,\dots ,p_r$ generate $\mathfrak{p}$ in $R$. For each $i$, the equality $p_{i}a/1=0$ supplies $u_i\notin \mathfrak{p}$ such that $u_i{p}_i\bar{a}=0$ in $A$. Put $u={\prod }_i{u}_i$ and $\bar{b}=u\bar{a}$. Its localization is nonzero, so $\bar{b}\ne 0$, and every element of $\mathfrak{p}$ kills it. Conversely, an element outside $\mathfrak{p}$ becomes a unit and cannot kill the nonzero element $\bar{b}/1$. ThereforeThe key step in minimal primes are associated primes is clearing denominators for a finite generating set of $\mathfrak{p}$; that is where Noetherianity is used.

For an embedded associated prime, take $R=k[x,y]$ and $I=(x^2,xy)$. Its radical is $(x)$, so $(x)$ is its unique minimal prime. The nonzero class of $x$ satisfiesIndeed, $rx\in x(x,y)$ is equivalent to $r\in (x,y)$ by cancellation in the polynomial domain. Thus $(x,y)$ is associated but is not minimal, since $(x)⊊(x,y)$. For comparison, ${\mathrm{Ann}}_R(\bar{y})=(x)$, exhibiting the minimal associated prime as well.