Por qué cualquier campo es una de las principales ideales de dominio?
De acuerdo a la definición de P. I. D, primero, un anillo ideal puede ser generado a partir de un solo elemento; en segundo lugar, este anillo no tiene ningún cero divisor. Estas dos condiciones hacen que un anillo de P. I. D.
Pero, ¿cómo demostrar cualquier campo de la P. I. D?