Radical of an ideal
= Radical of an ideal
{title2=$\sqrt I$}
{wiki}
= Ideal radical
{synonym}
= Radicals of ideals
{synonym}
The radical of an <ideal> $I$ is
$$
\sqrt I=\{f:f^m\in I\text{ for some }m\geq1\}.
$$
An ideal equal to its radical is a radical ideal.