α | β implica que N(α) | N(β).
El concepto de Divisibilidad mediante la Norma es una herramienta fundamental en la teoría algebraica de números, especialmente cuando trabajas con anillos de enteros cuadráticos como los enteros de Gauss ($\mathbb{Z}[i]$) o los enteros de Eisenstein ($\mathbb{Z}[\omega]$). La función norma $N(\alpha)$ manda un entero algebraico $\alpha$ a un entero racional en $\mathbb{Z}$. El principio central dice que la divisibilidad se preserva bajo el mapeo de la norma: si un entero algebraico $\alpha$ divide a otro entero algebraico $\beta$, entonces el entero $N(\alpha)$ tiene que dividir al entero $N(\beta)$.
Esta técnica es crucial en las olimpiadas de matemáticas porque transforma problemas complejos de divisibilidad en redes 2D en problemas de divisibilidad estándar en los enteros ($\mathbb{Z}$). Te da una condición necesaria muy potente: si $N(\alpha)$ no divide a $N(\beta)$, puedes concluir de inmediato que $\alpha$ no divide a $\beta$. Esto se usa seguido para determinar si un número específico es primo (irreducible) en un anillo, para encontrar todos los divisores de un entero de Gauss, o para resolver ecuaciones diofánticas factorizando sobre un campo cuadrático.
Sin embargo, es vital que entiendas que el converso no siempre es cierto. La condición $N(\alpha) \mid N(\beta)$ no garantiza que $\alpha \mid \beta$. Por ejemplo, en $\mathbb{Z}[i]$, si tomas