Un lemme (souvent abrégé LTE) qui donne des formules pour la valuation p-adique v_p(a^n − b^n) sous des conditions usuelles de divisibilité sur les entiers a, b, n et un premier p, avec des cas particuliers pour p = 2 et lorsque p divise a − b ou a + b.

Principe

Le principe organisateur est que la valuation p-adique des différences d'entiers élevés à la même puissance peut être « levée » à partir d'une valuation de base de a − b (ou a + b) en ajoutant la valuation de l'exposant n sous des hypothèses appropriées, reflétant la structure multiplicative de la valuation p-adique.

Démonstration

Exemple concret : pour p = 3, a = 2, b = 1, n = 3, on a 2^3 − 1^3 = 7 et v_3(7) = 0 ; si au lieu de cela a = 4, b = 1, n = 3, 4^3 − 1^3 = 63 et v_3(63) = 2, que LTE calcule à partir de v_3(4 − 1) = 0 et v_3(3) = 1 dans le cas applicable où 3 divise 4 − 1.

Mauvaise application

Usage erroné typique : appliquer LTE sans vérifier les hypothèses requises (par exemple quand gcd(a, b) ≠ 1, ou lorsque p = 2 et que les conditions de parité diffèrent), ce qui conduit à des valuations incorrectes ; ou négliger les formules particulières pour p = 2 ou quand p divise a + b.

Conséquence

Une utilisation correcte simplifie de nombreuses calculs de valuations en théorie des nombres et en problèmes de concours, transformant des différences d'exposants compliquées en sommes de valuations gérables et donnant souvent les multiplicités exactes des facteurs premiers.

Inversion

La réversion serait de tenter naïvement de déduire les valuations uniquement de la taille de l'exposant ou du développement binomial sans exploiter la structure d'élévation ; on manque alors des annulations multiplicatives et on peut largement surestimer ou sous-estimer v_p.

Limite

Portée : s'applique aux entiers a, b, n et au premier p sous des conditions explicites de divisibilité et de pgcd ; exceptions : cas où les hypothèses échouent (p divise a et b) et règles spéciales pour p = 2 et pour a + b divisible par p.

Tension sémantique

Tension sémantique quand il faut choisir entre LTE et méthodes alternatives (ordre de a modulo p, développements binomiaux, arguments de type Hensel) ; LTE est excellent quand ses hypothèses sont satisfaites mais moins adapté hors de son domaine d'application.

Synthèse

LTE regroupe des formules précises pour les valuations p-adiques de a^n − b^n en un outil compact : si les conditions de divisibilité sont réunies, la valuation vaut la valuation de a − b plus celle de n (avec ajustements dans les cas particuliers), transformant des problèmes d'exposants en arithmétique additive des valuations.