Cuáles enteros de Gauss son primos.
Los enteros de Gauss, que escribes como $\mathbb{Z}[i]$, son el conjunto de números complejos de la forma $a+bi$ donde $a$ y $b$ son enteros. Este conjunto forma un dominio euclidiano, lo que significa que tiene un algoritmo de la división y, lo más importante, cumple con la propiedad de factorización única. Así como construyes los enteros $\mathbb{Z}$ a partir de los primos racionales, construyes $\mathbb{Z}[i]$ a partir de los primos de Gauss. Dices que un entero de Gauss $\pi$ es un primo de Gauss si no es una unidad (las unidades son $\pm 1, \pm i$) y no lo puedes escribir como el producto de dos enteros de Gauss que no sean unidades.
Entender los primos de Gauss es clave para resolver ecuaciones diofánticas que involucran sumas de dos cuadrados, como $x^2 + y^2 = n$. Esto pasa porque puedes factorizar $x^2 + y^2$ como $(x+yi)(x-yi)$ en $\mathbb{Z}[i]$. Así que las preguntas sobre las soluciones enteras de estas ecuaciones muchas veces terminan siendo problemas de factorización dentro de los enteros de Gauss. Esta técnica es fundamental en la teoría algebraica de números y te muestra cómo extender el sistema numérico puede simplificar problemas de la aritmética normal.
La clasificación de los primos de Gauss revela una relación fascinante con los primos racionales comunes. No todos los