Teorema de teoría de números que afirma que, para enteros a>b>0 con gcd(a,b)=1 y n>1, el entero a^n−b^n posee un divisor primo primitivo (un primo que divide a^n−b^n pero no divide a^k−b^k para ningún 1≤k

Principio

Los divisores primos primitivos suelen aparecer en la sucesión a^n−b^n conforme n crece; el teorema organiza cuándo debe existir tal primo nuevo y aísla los casos estructurales excepcionales.

Demostración

Ejemplo: para a=3, b=1 y n=3, 3^3−1=26 y 13 es un divisor primo primitivo porque 13 divide 26 pero no divide ni 3^1−1=2 ni 3^2−1=8.

Aplicación incorrecta

Suponer la existencia de un divisor primo primitivo para n=1 o ignorar las excepciones explícitas (por ejemplo afirmar el enunciado para (a,b,n)=(2,1,3) sin comprobar la excepción) o aplicar el teorema cuando gcd(a,b)≠1 sin ajustar hipótesis.

Consecuencia

Se obtiene control sobre el orden multiplicativo de a módulo los primos que dividen a^n−b^n, útil para resultados sobre órdenes, factores ciclotómicos y argumentos de finitud en problemas diofánticos.

Inversión

Si no existe divisor primo primitivo para un triple (a,b,n) dado, los números pertenecen a uno de los patrones estructurales excepcionales del teorema, lo que indica relaciones algebraicas especiales entre a y b o un n pequeño.

Límite

El teorema se formula para bases enteras a>b>0 con gcd(a,b)=1 y exponente entero n>1; no se aplica directamente a polinomios arbitrarios en n, a bases no coprimas sin modificación, ni a sucesiones distintas de a^n−b^n.

Tensión semántica

El término «divisor primo primitivo» puede confundirse con «raíz primitiva» o con primos relacionados con polinomios ciclotómicos; el teorema aclara que los primos relevantes son los que aparecen por primera vez en el término de índice n, no primos que formen raíces primitivas ni cualquier primo ciclotómico.

Síntesis

El Teorema de Zsigmondy formaliza la intuición de que cada término suficientemente grande a^n−b^n aporta un nuevo factor primo, caracterizando exactamente cuándo falla y proporcionando una herramienta estructural para análisis multiplicativos y diofánticos.