Factorización única salvo unidades.
Los enteros de Gauss, que escribimos como $\mathbb{Z}[i]$, son el conjunto de números complejos $a+bi$ donde $a$ y $b$ son enteros. Este conjunto forma un anillo que se parece mucho en su estructura a los enteros normales $\mathbb{Z}$. La similitud más importante es que $\mathbb{Z}[i]$ es un Dominio de Factorización Única (DFU). Así como el Teorema Fundamental de la Aritmética dice que cualquier entero mayor a 1 se factoriza de forma única en primos, cualquier entero de Gauss que no sea cero ni una unidad se puede factorizar de forma única en primos de Gauss (sin importar el orden o si multiplicas por unidades, que son los elementos invertibles).
Este concepto es una herramienta súper potente en teoría de números, sobre todo para resolver ecuaciones diofánticas que tienen sumas de cuadrados, como $x^2 + y^2 = z^2$ o $y^2 = x^3 - 1$. Si factorizas una expresión como $x^2 + y^2$ en $(x+yi)(x-yi)$ dentro de $\mathbb{Z}[i]$, puedes usar argumentos sobre máximos comunes divisores y factorización en primos que serían imposibles de usar con números reales. Esta técnica suele transformar una sola ecuación en $\mathbb{Z}$ en un sistema de ecuaciones más simples que salen de los factores primos en $\mathbb{Z}[i]$.
El truco clave para trabajar con $\