Z[i] = {a + bi : a, b ∈ Z}, con factorización única.
Los enteros de Gauss, que escribimos como $\mathbb{Z}[i]$, forman un conjunto de números complejos ${a + bi \mid a, b \in \mathbb{Z}}$ donde $a$ y $b$ son enteros e $i^2 = -1$. Este conjunto forma un anillo que extiende los enteros ordinarios $\mathbb{Z}$ al plano complejo. Así como los enteros vienen con una noción de tamaño (valor absoluto) y factorización prima, los enteros de Gauss tienen una norma y la propiedad de factorización única. Esta estructura hace que $\mathbb{Z}[i]$ sea un Dominio de Factorización Única (DFU), lo que te permite aplicar argumentos de divisibilidad y primos a los números complejos.
Este concepto es una herramienta poderosa en la teoría de números, especialmente para ecuaciones diofánticas que involucran sumas de dos cuadrados, como $x^2 + y^2 = n$. Al factorizar la expresión $x^2 + y^2$ en $(x+yi)(x-yi)$, transformas un problema aditivo en uno multiplicativo. Esta técnica es esencial para demostrar el Teorema de Fermat sobre la suma de dos cuadrados y se usa seguido en problemas de olimpiada (USAMO/IMO) para analizar la estructura de los enteros $n$ que puedes representar como sumas de cuadrados, o para resolver ecuaciones donde las variables aparecen en formas cuadráticas.
La intuición clave detrás de los enteros de Gauss es que forman una cuadrícula cuadrada en el plano complejo. El "tamaño" de un entero de Gauss lo mides con el cuadrado de su distancia euclidiana al origen, que conocemos como la Norma. Como la geometría de esta cuadrícula permite un algoritmo de "división con residuo" (división euclidiana), el teorema fundamental de la aritmética se cumple: puedes factorizar cada entero de Gauss de forma única en primos de Gauss (excepto por las unidades). Esto te permite clasificar qué primos racionales estándar siguen siendo primos en este nuevo sistema y cuáles se "rompen" en factores más pequeños.
1. La Norma Para un entero de Gauss $z = a + bi$, definimos la norma $N(z)$ como el cuadrado del módulo: $$N(a + bi) = |a + bi|^2 = a^2 + b^2 = (a+bi)(a-bi)$$ La norma es completamente multiplicativa: $$N(\alpha