El anillo local henseliano minimal A^h asociado a un anillo local (A,m) obtenido mediante un proceso universal, local y esencialmente étale que hace válido el lema de Hensel; concretamente A^h es inicial entre las homomorfías locales de A hacia anillos locales henselianos y puede construirse como colímite filtrado de entornos étales.

Principio

Adherir las extensiones locales mínimas necesarias para que se satisfagan las propiedades de elevación y factorización de polinomios garantizadas por el lema de Hensel, permaneciendo lo más cerca posible del anillo local original y preservando el campo residual y la estructura local en sentido étale.

Demostración

Partiendo de un anillo local (A,m), formar el sistema dirigido de A-álgebras étales con puntos locales que se proyectan en m y tomar la colímite; el anillo local resultante A^h es henseliano y todo morfismo de A hacia un anillo local henseliano se factoriza de forma única a través de A^h.

Aplicación incorrecta

Confundir henselización con completación (completación m-ádica): la henselización generalmente no es m-ádicamente completa y no introduce límites de sucesiones infinitas, y suponer propiedades de las completaciones (como completitud topológica) para henselizaciones conduce a errores.

Consecuencia

La henselización preserva muchas propiedades algebraicas (p. ej., el campo residual, propiedades étale-locales) permitiendo el levantamiento de raíces y factorizaciones; es un reemplazo mínimo útil en problemas donde es necesario el lema de Hensel pero la completación sería demasiado fuerte o perjudicial globalmente.

Inversión

La completación produce un anillo local m-ádicamente completo que puede ser mayor y completo topológicamente, pero no es minimal para el lema de Hensel; la henselización estricta lo amplía aún más para hacer el campo residual separablemente cerrado, en contraste con la henselización mínima.

Límite

Se aplica a anillos locales y esquemas locales; es la extensión local henseliana mínima y se distingue de la henselización estricta y de la completación. No tiene por qué ser finita sobre A ni necesariamente completa; la construcción se basa en morfismos étales, por lo que en contextos no noetherianos o no étales se debe proceder con cautela.

Tensión semántica

Hay tensión entre henselización, henselización estricta y completación: todas son modificaciones locales con propósitos distintos (propiedad henseliana mínima vs campo residual separablemente cerrado vs completitud topológica), y hay que elegir la noción adecuada para elevaciones, descendencias o argumentos topológicos.

Síntesis

La henselización es la ampliación local étale universal mínima de un anillo local que garantiza el lema de Hensel: preserva datos locales y del campo residual mientras permite elevaciones canónicas de factorizaciones polinomiales sin recurrir a la completación topológica total.