## [Lema de Hensel](/es/node/63501) Definición Un principio de elevación en aritmética p-ádica y modular que, bajo condiciones adecuadas de la derivada (no degeneración), permite que una solución de una congruencia polinómica módulo p^n se eleve a una solución módulo potencias superiores p^{n+k}, dando finalmente una raíz en los enteros p-ádicos. ## Principio Principio Si f(x) ≡ 0 (mod p^n) y f'(x) es invertible modulo p, entonces existe un único x' módulo p^{n+1} con x' ≡ x (mod p^n) tal que f(x') ≡ 0 (mod p^{n+1}); la aplicación repetida produce una raíz p-ádica, evocando la iteración de Newton en un contexto de valoración discreta. ## Demostración Demostración Supongamos f(x) ∈ Z_p[x] y x_0 resuelve f(x_0) ≡ 0 (mod p) con f'(x_0) no ≡ 0 (mod p). Entonces existe una sucesión x_1, x_2, ... con x_{k+1} ≡ x_k (mod p^{k+1}) y f(x_k) ≡ 0 (mod p^{k+1}), que converge a una raíz en Z_p. ## Aplicación incorrecta Aplicación incorrecta Intentar elevar una raíz múltiple módulo p cuando f'(x) ≡ 0 (mod p) usando el criterio simple de Hensel conduce al fracaso; deben emplearse versiones refinadas o analizar derivadas de orden superior y factorización, de lo contrario se asume erróneamente unicidad de los relevos. ## Consecuencia Consecuencia Proporciona un método sistemático para construir raíces p-ádicas y factorizar polinomios sobre los enteros p-ádicos a partir de datos módulo p; sustenta argumentos locales en teoría de números y el estudio de cómo soluciones locales se ensamblan en soluciones globales. ## Inversión Inversión La ausencia de la condición de no degeneración (f'(x) ≡ 0 mod p) no prohíbe categóricamente los relevos, pero invierte la garantía: los relevos pueden no existir o no ser únicos, y se requieren criterios adicionales de orden superior para decidir la elevabilidad. ## Límite Límite El levantamiento estándar de Hensel se aplica en anillos de valoración discreta completos (como Z_p) y exige la invertibilidad de f'(x) modulo la característica residual; existen variantes para raíces múltiples, para sistemas y sobre anillos locales completos más generales, con hipótesis distintas. ## Tensión semántica Tensión semántica A menudo se contrapone al método de Newton sobre los reales: ambos son procedimientos iterativos de refinamiento de raíces, pero el lema de Hensel actúa en la topología no arquimediana p-ádica y depende de invertibilidad algebraica más que de derivadas analíticas y límites. ## Síntesis Síntesis El lema de Hensel es el análogo algebraico de la refinación de Newton en el contexto p-ádico: dada una raíz modular no degenerada, la eleva de forma única a potencias superiores de p y a soluciones p-ádicas, constituyendo un puente entre congruencias modulares y la estructura algebraica p-ádica.