Recordemos que llamamos dominio de ideales principales, DIP a un dominio tal que cada ideal propio está generado por un elemento.