# An ideal that is radical but not prime.

I'm preparing for an exam and, as part of this preparation,

I'm looking for an ideal $I$ in an integral domain $R$ that is radical but not prime.

Here is an example I'm fooling around with:

Let $R=\mathbb{R}[x]$ and let $I=(x(x-1))$. I'm having trouble showing that this ideal is in fact radical. My intuition is to consider the quotient ring $\mathbb{R}[x]/(x(x-1))$ and determine if it is reduced, that is, whether or not it has trivial nilradical. However, this has only led me in circles so far. $(x(x-1))$ is clearly not a prime ideal, so it suffices to show it's radical.

Any help would be appreciated.

-
Is $6\mathbb Z$ not a radical ideal? – Thomas Andrews Dec 7 '12 at 4:26
Oh! Well, that's certainly a better example then the one I had. Thanks. – Alexander Sibelius Dec 7 '12 at 4:33
Generally, any squarefree integer will generate one. – rondo9 Dec 7 '12 at 4:33

$x(x-1)$ is certainly not prime. Suppose $f^{n}\in \langle x(x-1) \rangle$. Since $f^{n}\in \langle x \rangle$, and $\langle x \rangle$ is prime, for some $m<n,f^{m}\in \langle x \rangle$. Proceed this way we can prove $f$ must be divisible by $x$, and similarly for $x-1$. This gives $f$ is divisible by $x(x-1)$. So this ideal is its own radical.
@Prism In general, the product of maximal ideals is radical. For prime ideals consider $(X)(X,Y)$ whose radical is ...? – user26857 Dec 29 '14 at 9:10
$(4) = (2)(2)$ is a product of prime ideals in $\mathbb{Z}$ which is not radical. $(x^2, xy) = (x)(x,y)$ is a product of prime ideals in $\mathbb{C}[x,y]$ which is not radical. A product of distinct prime principal ideals in a commutative domain is indeed radical. – Konstantin Ardakov Dec 29 '14 at 9:10
Why don't you use a simple example ... Suppose the ring to be $R=\mathbf{Z}$ and take the ideal $6\mathbf{Z}$. Since the $\sqrt{m\mathbf{Z}}=r\mathbf{Z}$ where $r=\Pi_{p|m} p$ and $p$ is a prime number. Here $\sqrt{6\mathbf{Z}}=6\mathbf{Z}$ but $6\mathbf{Z}$ is not a prime ideal since 6 is not prime.