2 = -i(1+i)², se ramifica.
En el anillo de los enteros de Gauss $\mathbb{Z}[i]$, el comportamiento de los primos racionales determina la estructura aritmética del anillo. Mientras que primos como el 3 siguen siendo primos (inertes) y primos como el 5 se descomponen en conjugados distintos, el primo racional 2 tiene un comportamiento único: se ramifica. Esto significa que puedes factorizar al 2 como el cuadrado de un primo de Gauss, salvo por una unidad. Específicamente, el 2 ya no es primo en $\mathbb{Z}[i]$ porque lo puedes escribir como $2 = (1+i)(1-i)$.
Una observación crucial es que los factores $1+i$ y $1-i$ no son primos distintos; son asociados. Dos enteros de Gauss son asociados si solo se diferencian por la multiplicación de una unidad ($\pm 1, \pm i$). Como $1-i = -i(1+i)$, los factores primos del 2 son esencialmente el mismo. Por lo tanto, puedes expresar la factorización como $2 = -i(1+i)^2$. Esto hace que el 2 sea el único primo racional que se ramifica en $\mathbb{Z}[i]$.
Esta factorización es fundamental en teoría de números, sobre todo cuando analizas la estructura de ideales de $\mathbb{Z}[i]$. El ideal generado por el 2 es el cuadrado del ideal generado por $1+i$, y lo escribes como