## [Levantamiento de Hensel](/es/node/61534) Definición Un método para levantar soluciones de congruencias polinómicas modulo una potencia de primo a soluciones modulo potencias superiores (o a soluciones p-ádicas), usando condiciones locales de invertibilidad análogas a la iteración de Newton en la topología p-ádica. ## Principio Principio Dada una solución modulo p^k y un polinomio f con derivada no nula modulo p en la raíz, construir un término de corrección (por el lema de Hensel o un paso de Newton) para obtener una solución modulo p^{k+1}, iterando hasta la precisión p-ádica deseada. ## Demostración Demostración Si f(x) ≡ 0 (mod p) y f'(x) ≠ 0 (mod p), Hensel lifting produce x1 modulo p^2 con f(x1) ≡ 0 (mod p^2), y repitiendo se obtiene una sucesión que converge a una raíz en Z_p; se usa para elevar un factor lineal modulo p a un factor sobre Z_p. ## Aplicación incorrecta Aplicación incorrecta Intentar aplicar Hensel lifting cuando la derivada se anula modulo p (raíz múltiple) sin criterios refinados o elevación de orden superior puede fallar o producir elevaciones no únicas; usarlo fuera del contexto p-ádico o de potencias de primos es inválido. ## Consecuencia Consecuencia Cuando es aplicable, Hensel lifting construye raíces p-ádicas, factoriza polinomios sobre los enteros p-ádicos, permite reconstruir soluciones enteras a partir de modulares y actúa como paso local crítico en muchos procedimientos numérico‑teóricos y algorítmicos. ## Inversión Inversión La reducción modulo p (o modulo p^k) es el proceso inverso: reducir una raíz p-ádica para obtener congruencias; conceptualmente, Hensel lifting invierte esa reducción cuando se cumplen condiciones locales de no singularidad. ## Límite Límite Requiere un primo p (o un anillo local análogo) y condiciones de invertibilidad apropiadas (por ejemplo derivada no nula modulo p) o criterios de orden superior; no se aplica directamente a factorizaciones con módulo arbitrario sin estructura p-ádica. ## Tensión semántica Tensión semántica Análogo a Newton–Raphson sobre los reales pero en la métrica no aritmética p-ádica; complementario a métodos del Teorema Chino del Resto para combinar datos modulares: cada método aborda aspectos distintos de la reconstrucción modular a global. ## Síntesis Síntesis El Levantamiento de Hensel es el método local iterativo que eleva soluciones modulares a mayor precisión en potencias de p mediante pasos correctores basados en la derivada; convierte información modular burda en datos p-ádicos o enteros precisos cuando se verifica la no singularidad local.