Si quieres un ejemplo que sea un dominio integral , considere el anillo $\mathbf{Z}[i \sqrt3]$ que consiste en números complejos de la forma $$ z = a + b i \sqrt{3} ,\qquad a,b \in \mathbf{Z} . $$ Entonces $$ 4 = 2 \cdot 2 $$ y $$ 4 = (1+i \sqrt3)(1-i \sqrt3) $$ son dos factorizaciones esencialmente diferentes de $4$ en elementos irreducibles.
Que los números $z=2$ y $z=1 \pm i \sqrt3$ son irreducible en este anillo se puede ver al contemplar el $\mathbf{Z}$ -función valorada $N(z)=|z|^2=a^2+3b^2$ que tiene la propiedad multiplicativa $N(z_1 z_2)=N(z_1)N(z_2)$ . Desde $N(z)=4$ en ambos casos, y $N=1$ sólo para los elementos invertibles $\pm 1$ una factorización no trivial $z=w_1 w_2$ tendría que tener $N(w_1)=N(w_2)=2$ pero el anillo no contiene elementos con $N=2$ .
Por otro lado, esos números no pueden ser prime en este anillo, ya que una factorización de un elemento del anillo en primos es siempre esencialmente único (es decir, único hasta la reordenación y la multiplicación por elementos invertibles), y vimos dos factorizaciones diferentes de $4$ arriba.
0 votos
Si no recuerdo mal, un dominio integral es un dominio de factorización único si y sólo si esas dos definiciones son equivalentes.
0 votos
No. Parece que "irreducible $\implies$ primo" también es válido en Dominios GCD que no tienen por qué ser UFD. Quizás "irreducible $\implies$ primo" es equivalente a ser un dominio GCD, pero eso está más allá de mis conocimientos.
0 votos
@CameronBuie, ver es.wikipedia.org/wiki/Dominio_de_factorización_única#Propiedades . Necesitamos ACCP, que es esencialmente la existencia de la factorización.
0 votos
@lhf: Sí, ya profundicé en la madriguera del conejo y publiqué una retractación. :-)
0 votos
math.stackexchange.com/questions/804208/
4 votos
Incluso la definición " $p$ sólo es divisible por $1$ y sí mismo" es demasiado restrictivo para ser interesante. Ni siquiera es válido para $\mathbb Z$ pero sí es válido para $\mathbb N$ . Otros en los comentarios ya se han encendido a la mejora obvia: para qué anillos son "irreducibles( lo que significa $x=ab$ implica una de $a$ o $b$ ¿es una unidad) elementos" lo mismo que "elementos primos"?
1 votos
@CameronBuie: Si entiendo bien las cosas, los dominios integrales donde irreducible implica prime forman una clase propia (que incluye estrictamente la clase de los llamados Dominios de Schreier que a su vez incluye estrictamente la clase de dominios GCD). A menudo se les llama Dominios AP para "los átomos (= irreducibles) son primos", y también Dominios EL para el "Lemma de Euclides", en Apuntes de álgebra conmutativa de Pete Clark .