# Lema de Hensel

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 $p$, entonces esta raíz puede elevarse a una única raíz módulo cualquier potencia mayor de $p$. De manera más general, si un polinomio se factoriza módulo $p$ en dos polinomios coprimos, esta factorización se puede elevar a una factorización módulo cualquier potencia mayor de $p$ (el caso de raíces corresponde al caso de grado 1 para uno de los factores).
Al pasar al límite (de hecho, es un límite inverso) cuando el exponente de $p$ tiene al infinito, sucede que la raíz o la factorización módulo $p$ 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 $p$ 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.

## Reducción modular y levantamiento

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 $p$ y sus potencias. Puede extenderse directamente al caso donde los números enteros son reemplazados por cualquier anillo conmutativo y $p$ se reemplaza por cualquier ideal máximo (de hecho, los ideales máximos de $\mathbb {Z}$ tienen la forma $p\mathbb {Z}$, donde $p$ es un número primo).
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.
Sea $R$ un anillo conmutativo, e $I$ un ideal de $R$. Reducción módulo $I$ se refiere a la sustitución de cada elemento de $R$ con su imagen bajo el mapa canónico $R\rightarrow R/I$. Por ejemplo, si $f\in R[X]$ es un polinomios con coeficientes en $R$, su reducción módulo $I$, denotada $f{\bmod {I}}$ es el polinomio en $(R/I)[X]=R[X]/IR[X]$ obtenido al reemplazar los coeficientes de $f$ por los de su imagen en $R/I$. Dos polinomios $f$ y $g$ en $R[X]$ son congruentes módulo $I$, denotado $f\equiv g({\bmod {I}})$ si tienen los mismos coeficientes módulo $I$, eso es si $f-g\in IR[X]$.Si $h\in R[X]$, una factorización de $h$ módulo $I$ consiste en dos (o más) polinomios $f,g$ en $R[X]$ tal que $h\equiv fg({\bmod {I}})$.
El proceso de elevamiento es el inverso de la reducción. Eso es, dados objetos dependientes de los elementos de $R/I$, el proceso de elevamiento reemplaza esos elementos por los elementos de $R$ (o de $R/I^{k}$ para algún $k>1$) que asigna a ellos de manera que conservan las propiedades de los objetos. Por ejemplo, dado un polinomio $h\in R[X]$ y una factorización módulo $I$ expresada como $h\equiv fg({\bmod {I}})$, levantando esta factorización módulo $I^{k}$ consiste en encontrar polinomios $f',g'\in R[X]$ tal que $f'\equiv f({\bmod {I}})$, $g'\equiv g({\bmod {I}})$, $h\equiv f'g'({\bmod {I}}^{k})$. El lema de Hensel afirma que tal levantamiento siempre es posible en ciertas condiciones.

## Conceptos relacionados

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 A$^h$ que contiene a A tal que A$^h$ es Henseliano con respecto a mA$^h$. Este A$^h$ es llamado la Henselización de A. Si A es noetheriano, A$^h$ también es noetheriano, y A$^h$ es manifiestamente algebraico ya que es construido como un límite de entornos étale. Esto implica que A$^h$ es usualmente mucho menor que el completion Â mientras mantiene la propiedad Henseliana y se mantiene en la misma categoría.