Un lema (a menudo abreviado LTE) que proporciona fórmulas para la valoración p-ádica v_p(a^n − b^n) bajo condiciones habituales de divisibilidad sobre enteros a, b, n y un primo p, con casos especiales para p = 2 y cuando p divide a − b o a + b.

Principio

El principio organizador es que la valoración p-ádica de diferencias de enteros elevados a la misma potencia puede 'elevarse' desde una valoración base de a − b (o a + b) añadiendo la valoración del exponente n bajo hipótesis apropiadas, reflejando la estructura multiplicativa de la valoración p-ádica.

Demostración

Ejemplo concreto: para p = 3, a = 2, b = 1, n = 3, tenemos 2^3 − 1^3 = 7 y v_3(7) = 0; si en cambio a = 4, b = 1, n = 3, 4^3 − 1^3 = 63 y v_3(63) = 2, que LTE calcula a partir de v_3(4 − 1) = 0 y v_3(3) = 1 en el caso aplicable donde 3 divide 4 − 1.

Aplicación incorrecta

Un uso indebido típico es aplicar LTE sin verificar las hipótesis requeridas (por ejemplo cuando gcd(a, b) ≠ 1, o cuando p = 2 y las condiciones de paridad difieren), lo que conduce a valoraciones incorrectas; otro es descuidar las fórmulas para p = 2 o cuando p divide a + b.

Consecuencia

El uso correcto simplifica muchas cuentas de valoraciones en teoría de números y problemas de competición, convirtiendo diferencias de potencias complicadas en sumas manejables de valoraciones y a menudo proporcionando las multiplicidades exactas de factores primos.

Inversión

La inversión sería intentar deducir valoraciones ingenuamente solo por el tamaño del exponente o por la expansión binomial sin usar la estructura de elevación; esto pasa por alto cancelaciones multiplicativas y puede sobrestimar o subestimar mucho v_p.

Límite

Ámbito: se aplica a enteros a, b, n y primo p bajo condiciones explícitas de divisibilidad y gcd; las excepciones incluyen casos en que las hipótesis fallan (p divide a y b) y reglas especiales para p = 2 y para a + b divisible por p.

Tensión semántica

La tensión semántica surge al escoger entre LTE y métodos alternativos (orden de a módulo p, desarrollos binomiales, argumentos tipo Hensel); LTE es eficaz cuando sus hipótesis se cumplen pero menos apropiado fuera de dicho dominio.

Síntesis

LTE agrupa fórmulas precisas para valoraciones p-ádicas de a^n − b^n en una herramienta compacta: si se satisfacen las condiciones de divisibilidad, la valoración equivale a la valoración de a − b más la valoración de n (con ajustes en casos especiales), transformando problemas de exponentes en aritmética aditiva de valoraciones.