In ring theory, a branch of mathematics, the radical of an ideal I {\displaystyle I} of a commutative ring is another ideal defined by the property that an element x {\displaystyle x} is in the radical if and only if some power of x {\displaystyle x} is in I {\displaystyle I} . Taking the radical of an ideal is called radicalization. A radical ideal (or semiprime ideal or reduced ideal) is an ideal that is equal to its radical. The radical of a primary ideal is a prime ideal. This concept is generalized to non-commutative rings in the semiprime ring article.
Definition The radical (occasionally also called the nilradical) of an ideal I {\displaystyle I} in a commutative ring R {\displaystyle R} , denoted by rad ( I ) {\displaystyle \operatorname {rad} (I)} or I {\displaystyle {\sqrt {I}}} , is defined as
I = { r ∈ R ∣ r n ∈ I for some n ∈ Z + } , {\displaystyle {\sqrt {I}}=\left\{r\in R\mid r^{n}\in I\ {\hbox{for some}}\ n\in \mathbb {Z} ^{+}\!\right\},}
(note that I ⊆ I {\displaystyle I\subseteq {\sqrt {I}}} ). Intuitively, I {\displaystyle {\sqrt {I}}} is obtained by taking all roots of elements of I {\displaystyle I} within the ring R {\displaystyle R} . Equivalently, I {\displaystyle {\sqrt {I}}} is the preimage of the ideal of nilpotent elements (the nilradical of the ring) of the quotient ring R / I {\displaystyle R/I} (via the natural map π : R → R / I {\displaystyle \pi \colon R\to R/I} ). The latter proves that I {\displaystyle {\sqrt {I}}} is an ideal. If the radical of I {\displaystyle I} is finitely generated, then some power of I {\displaystyle {\sqrt {I}}} is contained in I {\displaystyle I} . In particular, if I {\displaystyle I} and J {\displaystyle J} are ideals of a Noetherian ring, then I {\displaystyle I} and J {\displaystyle J} have the same radical if and only if I {\displaystyle I} contains some power of J {\displaystyle J} and J {\displaystyle J} contains some power of I {\displaystyle I} . If an ideal I {\displaystyle I} coincides with its own radical, then I {\displaystyle I} is called a radical ideal or semiprime ideal.
… excerpt ends here. Continue reading the full article.
