p ≡ 3 (mod 4) se queda primo; p ≡ 1 (mod 4) se factoriza.
La clasificación de los primos de Gauss es un resultado fundamental en la teoría algebraica de números que determina qué enteros de Gauss $\alpha \in \mathbb{Z}[i]$ son elementos primos. A diferencia de los enteros normales $\mathbb{Z}$, donde un número como $5$ es primo, en el anillo de los enteros de Gauss, puedes factorizar el $5$ como $(2+i)(2-i)$. A este fenómeno se le conoce como "escisión" (o splitting). Por el contrario, un primo como el $3$ no se puede factorizar en elementos que no sean unidades en $\mathbb{Z}[i]$ y se queda como primo; a esto se le conoce como quedarse "inerte".
Esta clasificación depende mucho de cómo se portan los primos racionales módulo 4 y del concepto de norma, que definimos como $N(a+bi) = a^2 + b^2$. Como $\mathbb{Z}[i]$ es un Dominio de Factorización Única (DFU), entender estos primos te permite resolver ecuaciones diofánticas que involucran sumas de cuadrados (como $x^2 + y^2 = n$) factorizando la ecuación en $\mathbb{Z}[i]$. La clasificación te da las piezas básicas para la aritmética de este anillo, conectando la estructura multiplicativa de los enteros complejos directamente con la aritmética modular en $\mathbb{Z}$.
La idea clave es que un primo racional $p$ es la suma de dos cuadrados ($p = a^2 + b