En matemática, el lema de Hensel, también conocido como lema de elevación de Hensel, llamado así en honor al matemático alemán Kurt Hensel, es un resultado de la aritmética modular, que establece que si un polinomio de una variable tiene una raíz simple módulo un número primo
, entonces esta raíz puede elevarse a una única raíz módulo cualquier potencia mayor de
[1][2] De manera más general, si un polinomio se factoriza módulo
en dos polinomios coprimos, esta factorización se puede elevar a una factorización módulo cualquier potencia mayor de
Al pasar al límite (de hecho, es un límite inverso) cuando el exponente de
tiene al infinito, sucede que la raíz o la factorización módulo
puede elevarse a una raíz o una factorización en los enteros p-ádicos.
Estos resultados han sido ampliamente generalizados, bajo el mismo nombre, para el caso de polinomios en un anillo conmutativo arbitrario, donde
es reemplazado por un ideal, y "polinomios coprimos" significa "polinomios que generan un ideal que contiene a 1".
El lema de Hensel es fundamental en el análisis p-ádico, una rama de teoría analítica de números.
La demostración del lema de Hensel es constructiva, y conduce a un algoritmo eficiente para el levantamiento Hensel, el cual es fundamental para factorizar polinomios, y proporciona el algoritmo más eficiente conocido para álgebra lineal exacta en números racionales.
El lema original de Hensel se refiere a la relación entre la factorización polinómica en los enteros y en los enteros módulo un número primo
Puede extenderse directamente al caso donde los números enteros son reemplazados por cualquier anillo conmutativo y
se reemplaza por cualquier ideal máximo (de hecho, los ideales máximos de
Para ser precisos se requiere una generalización de la aritmética modular habitual, por lo que es útil definir con precisión la terminología que se utiliza comúnmente en este contexto.
un anillo conmutativo, e
con su imagen bajo el mapa canónico
obtenido al reemplazar los coeficientes de
consiste en dos (o más) polinomios
, el proceso de elevamiento reemplaza esos elementos por los elementos de
) que asigna a ellos de manera que conservan las propiedades de los objetos.
Por ejemplo, dado un polinomio
consiste en encontrar polinomios
{\displaystyle h\equiv f'g'({\bmod {I}}^{k})}
El lema de Hensel afirma que tal levantamiento siempre es posible en ciertas condiciones.
Compleción de un anillo no es una condición necesaria para que el anillo tenga la propiedad Henseliana: Goro Azumaya en 1950 definió un anillo local conmutativo que satisface la propiedad Henseliana para el ideal maximal m sea un anillo Henseliano.
Masayoshi Nagata probó en la década de 1950 que para cualquier anillo local conmutativo A con ideal maximal m siempre existirá el menor anillo Ah que contiene a A tal que Ah es Henseliano con respecto a mAh.
Este Ah es llamado la Henselización de A.
Si A es noetheriano, Ah también es noetheriano, y Ah es manifiestamente algebraico ya que es construido como un límite de entornos étale.
Esto implica que Ah es usualmente mucho menor que el completion  mientras mantiene la propiedad Henseliana y se mantiene en la misma categoría.