Radical of an ideal

For other radicals, see radical of a ring.

In commutative ring theory, a branch of mathematics, the radical of an ideal I is an ideal such that an element x is in the radical if and only if some power of x is in I. (Taking the radical is called radicalization.) A radical ideal (or semiprime ideal) is an ideal that is equal to its own radical. The radical of a primary ideal is a prime ideal.

This concept is generalized to noncommutative rings in the Semiprime ring article.

Definition

The radical of an ideal I in a commutative ring R, denoted by Rad(I) or ${\sqrt {I}}$, is defined as

${\sqrt {I}}=\{r\in R\mid r^{n}\in I\ {\hbox{for some positive integer}}\ n\}.$

(Note that $I\subset {\sqrt {I}}$.) Intuitively, ${\sqrt {I}}$ is obtained by taking all roots of elements of I within the ring R. Equivalently, ${\sqrt {I}}$ is the pre-image of the ideal of nilpotent elements (the nilradical) in the quotient ring $R/I$. The latter shows ${\sqrt {I}}$ is itself an ideal.

If the radical of I is finitely generated, then some power of ${\sqrt {I}}$ is contained in I. In particular, If I and J are ideals of a noetherian ring, then I and J have the same radical if and only if I contains some power of J and J contains some power of I.

If an ideal I coincides with its own radical, then I is called a radical ideal or semiprime ideal.

Examples

• Consider the ring Z of integers.

1. The radical of the ideal 4Z of integer multiples of 4 is 2Z.
2. The radical of 5Z is 5Z.
3. The radical of 12Z is 6Z.
4. In general, the radical of mZ is rZ, where r is the product of all distinct prime factors of m, the largest square-free factor of m (see radical of an integer). In fact, this generalizes to an arbitrary ideal (see the Properties section).

• Consider the ideal $I=(y^{4})\subset \mathbb {C} [x,y].$ It is trivial to show ${\sqrt {I}}=(y)$ (using the basic property ${\sqrt {I^{n}}}={\sqrt {I}}$), but we give some alternative methods. The radical ${\sqrt {I}}$ corresponds to the nilradical ${\sqrt {0}}$ of the quotient ring $R=\mathbb {C} [x,y]/(y^{4}),$ which is the intersection of all prime ideals of the quotient ring. This is contained in the Jacobson radical, which is the intersection of all maximal ideals, which are the kernels of homomorphisms to fields. Any ring morphism $R\to \mathbb {C}$ must have $y$ in the kernel in order to have a well-defined morphism (if we said, for example, that the kernel should be $(x,y-1)$ the composition of $\mathbb {C} [x,y]\to R\to \mathbb {C}$ would be $(x,y^{4},y-1)$ which is the same as trying to force $1=0$). Since $\mathbb {C}$ is algebraically closed, every morphism $R\to \mathbb {F}$ must factor through $\mathbb {C} ,$ so we only have the compute the intersection of $\{\ker(\Phi ):\Phi \in {\text{Hom}}(R,\mathbb {C} )\}$ to compute the radical of $(0).$ We then find that ${\sqrt {0}}=(y)\subset R.$

Properties

This section will continue the convention that I is an ideal of a commutative ring R:

• It is always true that ${\sqrt {\sqrt {I}}}={\sqrt {I}}$; that is, radicalization is an idempotent operation. Moreover, ${\sqrt {I}}$ is the smallest radical ideal containing I.
• ${\sqrt {I}}$ is the intersection of all the prime ideals of R that contain I. Proof: On one hand, every prime ideal is radical, and so this intersection contains ${\sqrt {I}}$. Suppose r is an element of R which is not in ${\sqrt {I}}$, and let S be the set $\{r^{n}\mid n{\text{ is a nonnegative integer}}\}$. By the definition of ${\sqrt {I}}$, S must be disjoint from I. S is also multiplicatively closed. Thus, by a variant of Krull's theorem, there exists a prime ideal P that contains I and is still disjoint from S. (see prime ideal.) Since P contains I, but not r, this shows that r is not in the intersection of prime ideals containing I. This finishes the proof. The statement may be strengthened a bit: the radical of I is the intersection of all prime ideals of R that are minimal among those containing I.
• Specializing the last point, the nilradical (the set of all nilpotent elements) is equal to the intersection of all prime ideals of R.
• An ideal I in a ring R is radical if and only if the quotient ring R/I is reduced.
• The radical of a homogeneous ideal is homogeneous.
• The radical of an intersection of ideals is equal to the intersection of their radicals: ${\sqrt {I\cap J}}={\sqrt {I}}\cap {\sqrt {J}}$.
• The radical of a primary ideal is prime. If the radical of an ideal I is maximal, then I is primary.
• If I is an ideal, ${\sqrt {I^{n}}}={\sqrt {I}}$. A prime ideal is a radical ideal. So ${\sqrt {P^{n}}}=P$ for any prime ideal P.
• Let I, J be ideals of a ring R. If ${\sqrt {I}},{\sqrt {J}}$ are comaximal, then $I,J$ are comaximal.
• Let M be a finitely generated module over a noetherian ring R. Then

${\sqrt {\operatorname {ann} _{R}(M)}}=\bigcap _{{\mathfrak {p}}\in \operatorname {supp} M}{\mathfrak {p}}=\bigcap _{{\mathfrak {p}}\in \operatorname {ass} M}{\mathfrak {p}}$

where $\operatorname {supp} M$ is the support of M and $\operatorname {ass} M$ is the set of associated primes of M.

Applications

The primary motivation in studying radicals is Hilbert's Nullstellensatz in commutative algebra. One version of this celebrated theorem states that for any ideal J in the polynomial ring $k[x_{1},x_{2},\ldots ,x_{n}]$ over an algebraically closed field k, one has

$\operatorname {I} (\operatorname {V} (J))={\sqrt {J}}$

where

$\operatorname {V} (J)=\{x\in k^{n}\ |\ f(x)=0{\mbox{ for all }}f\in J\}$

and

$\operatorname {I} (S)=\{f\in k[x_{1},x_{2},\ldots x_{n}]\ |\ f(x)=0{\mbox{ for all }}x\in S\}.$

Geometrically, this says that if a variety S is cut out by the polynomial equations $f_{1}=0,\ldots ,f_{r}=0$, then the only other polynomials which vanish on S are those in the radical of the ideal $(f_{1},\ldots ,f_{r})$.

Another way of putting it: The composition $\operatorname {I} (\operatorname {V} (-))={\sqrt {-}},$ is a closure operator on the set of ideals of a ring.

See also

• Jacobson radical
• Nilradical of a ring

References

• M. Atiyah, I.G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley, 1994. ISBN 0-201-40751-5
• Eisenbud, David, Commutative Algebra with a View Toward Algebraic Geometry, Graduate Texts in Mathematics, 150, Springer-Verlag, 1995, ISBN 0-387-94268-8.
• Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556, Zbl 0984.00001