I am trying to prove that for a ring $R$ and an ideal $I\leq R$ we have
$$
\sqrt{I}=\bigcap_{I\leq\mathfrak p}\mathfrak p,
$$
the intersection of all prime ideals containing $I$.
The definition of the radical of an ideal I am working with is
$$
\sqrt{I}=\{x\in R\mid\exists m\in\mathbb{N} \text{ with }x^m\in I\}.
$$
I am a bit confused about the RHS in particular, since the intersection could theoretically be infinite, in which case we do not have primality of the ideal on the left. Is another assumption necessary, maybe that the ring is Noetherian?
Best Answer
I'll let $N$ represent the intersection of all prime ideals of $R$ which contain $I$. Following through with definitions, you can prove $\sqrt{I}\subset N$. Proving the reverse containinment is not as simple. Given $x\notin \sqrt{I}$, consider the collection $\Omega$ of all ideals $J \supset I$ such that for all $n\in \Bbb N$, $x^n \notin J$. Partially order $\Omega$ by inclusion, and show by Zorn's lemma that $\Omega$ has a maximal element $\frak{p}$. Since $\mathfrak{p}\supset I$, if you can show that $\frak{p}$ is prime, then you can claim $x\notin N$ (since $x\notin \frak{p}$). Take $a,b\notin \frak{p}$, and using maximality of $\mathfrak{p}$, show that $\mathfrak{p} + (ab) \notin \Omega$; this will imply $ab\notin \mathfrak{p}$ and thus $\mathfrak{p}$ is prime.