Une méthode pour relever des solutions de congruences polynomiales modulo une puissance d'un premier vers des solutions modulo des puissances supérieures (ou vers des solutions p-adiques), utilisant des conditions d'inversibilité locale souvent analogues à l'itération de Newton dans la topologie p-adique.

Principe

Étant donné une solution modulo p^k et un polynôme f dont la dérivée est non nulle modulo p au point relevé, construire un terme de correction (via le lemme de Hensel ou une étape de Newton) pour produire une solution modulo p^{k+1}, et itérer jusqu'à la précision p-adique voulue.

Démonstration

Si f(x) ≡ 0 (mod p) et f'(x) ≠ 0 (mod p), alors le relèvement de Hensel fournit x1 modulo p^2 tel que f(x1) ≡ 0 (mod p^2), et la répétition donne une suite convergeant vers une racine dans Z_p ; utilisé pour relever un facteur linéaire modulo p en facteur sur Z_p.

Mauvaise application

Tenter d'appliquer le relèvement de Hensel lorsque la dérivée s'annule modulo p (racine multiple) sans critère raffiné ou relever d'ordre supérieur peut échouer ou donner des relèvements non uniques ; l'utiliser hors du cadre p-adique ou des puissances de premiers est incorrect.

Conséquence

Lorsqu'il est applicable, le relèvement de Hensel construit des racines p-adiques, factorise des polynômes sur les entiers p-adiques, permet la reconstruction d'solutions entières à partir de solutions modulaires et constitue une étape locale essentielle en théorie des nombres et en algorithmique.

Inversion

La réduction modulo p (ou modulo p^k) est le processus inverse : réduire une racine p-adique pour obtenir des congruences ; conceptuellement, le relèvement de Hensel inverse cette réduction lorsque les conditions locales de non-singularité sont satisfaites.

Limite

Nécessite un premier p (ou un anneau local analogue) et des conditions d'inversibilité appropriées (par exemple dérivée non nulle modulo p) ou des critères d'ordre supérieur ; ne s'applique pas directement à la factorisation modulo arbitraire sans structure p-adique.

Tension sémantique

Analogue à Newton–Raphson sur les réels mais dans la métrique non-archimédienne p-adique ; complémentaire aux méthodes du reste chinois pour combiner données modulaires : chaque méthode traite des aspects différents de la reconstruction modulaire-vers-globale.

Synthèse

Le Relèvement de Hensel est la méthode locale itérative qui élève des solutions modulaires vers une précision p-puissance supérieure en utilisant des corrections basées sur la dérivée ; il transforme des informations modulaires grossières en données p-adiques ou entières précises lorsque la non-singularité locale est vérifiée.