Radical of a primary ideal (source code)

= Radical of a primary ideal

The radical $\sqrt I=\{x:x^n\in I\text{ for some }n\geq1\}$ of a primary ideal is prime. In a number ring this forces a nonzero primary ideal to have only one prime in its unique factorization.