Procedimiento, basado en el lema de Hensel, para elevar soluciones de congruencias polinómicas o factorizaciones módulo una potencia prima p^k a soluciones módulo potencias superiores p^{k+1}, a menudo iterado para obtener soluciones p-ádicas o factorizaciones en anillos locales completos.

Principio

Usar condiciones locales sobre la derivada o sobre el levantamiento de factorizaciones: dada una solución a mod p^k con f(a) ≡ 0 (mod p^k) y f'(a) no ≡ 0 (mod p), corregir a por un término determinado por el lema de Hensel (un paso de Newton) para obtener un levantamiento único módulo p^{k+1}; de forma análoga se elevan factorizaciones cuando los factores son coprimos módulo p.

Demostración

Si f(x)=x^2-4 y conocemos x ≡ 2 (mod 5) como raíz simple porque f'(2)=4 ≠ 0 (mod 5), el levantamiento de Hensel da un único levantamiento x ≡ 2 (mod 25) y, por iteración, una raíz 5-ádica. En general se eleva una factorización f ≡ gh (mod p) con gcd(g,h)=1 a una factorización en potencias superiores de p.

Aplicación incorrecta

Intentar levantar cuando falla la condición de la derivada (f'(a) ≡ 0 (mod p)) sin emplear criterios de Hensel de orden superior, o asumir la existencia constructiva de levantamientos no únicos sin verificar la coprimalidad o la separabilidad.

Consecuencia

Permite el cálculo recursivo de raíces p-ádicas y factorizaciones con precisión creciente, siendo fundamental para algoritmos p-ádicos en teoría de números y álgebra computacional, incluyendo búsqueda de raíces, factorización sobre Z_p y construcción de soluciones locales a partir de aproximaciones modulares.

Inversión

La reducción módulo p (o p^k) es el proceso inverso: pierde la información p-ádica de orden superior. Mientras la reducción descarta detalles de orden superior, el levantamiento de Hensel reconstruye esa información bajo hipótesis adecuadas de no degeneración.

Límite

El levantamiento de Hensel estándar requiere un anillo local henseliano o condiciones como f(a) ≡ 0 (mod p^k) con f'(a) invertible módulo p; versiones más generales exigen separabilidad, coprimalidad de factores o el paso a anillos locales completos. En ausencia de estas condiciones los levantamientos pueden no existir o no ser únicos.

Tensión semántica

A veces se confunde con un simple levantamiento de Newton numérico: el levantamiento de Hensel es un análogo p-ádico de la iteración de Newton, pero su aplicabilidad rigurosa depende de condiciones algebraicas (derivada invertible o coprimalidad), no sólo de convergencia numérica.

Síntesis

El levantamiento de Hensel es el proceso algebraico de refinar por etapas soluciones modulares o factorizaciones hacia mayor precisión p-ádica aprovechando la invertibilidad de la derivada o la coprimalidad de factores, produciendo raíces p-ádicas y factorizaciones elevadas cuando se cumplen las condiciones de Hensel.