Todo ideal primo es radical: En efecto, Si formula_33 es un ideal primo, entonces formula_34 es un dominio integral, esto es, no tiene divisores de cero, y en particular no puede tener nilpotentes.