En Atiyah y McDonald: Álgebra Conmutativa el dominio ideal principal es un ideal principal anillo que es también un dominio integral.
Lo he intentado pero no he podido encontrar ejemplos de anillos conmutativos con identidad que tengan la propiedad de que cada ideal esté generado por un solo elemento pero que no sean integrales. ¿Alguna sugerencia?
Creo que el hecho de que el conjunto de todos los divisores de cero no sea cerrado bajo " $+$ " (en $\mathbb{Z_6}$ por ejemplo $3+2=5$ ) está dificultando la búsqueda de dicho ejemplo.
