##  [Teorema de Zsigmondy](/es/node/62963) 

 Definición

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

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

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

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

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

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

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

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

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.