Lema de Hensel
![]() | Este artículo o sección tiene referencias, pero necesita más para complementar su verificabilidad. Busca fuentes: «Lema de Hensel» – noticias · libros · académico · imágenes Este aviso fue puesto el 30 de septiembre de 2023. |
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 (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 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.
Reducción modular y levantamiento
![]() | Este artículo o sección tiene un estilo difícil de entender para los lectores interesados en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a los especialistas. |
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 y sus potencias. 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 tienen la forma , donde 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 un anillo conmutativo, e un ideal de . Reducción módulo se refiere a la sustitución de cada elemento de con su imagen bajo el mapa canónico . Por ejemplo, si es un polinomios con coeficientes en , su reducción módulo , denotada es el polinomio en obtenido al reemplazar los coeficientes de por los de su imagen en . Dos polinomios y en son congruentes módulo , denotado si tienen los mismos coeficientes módulo , eso es si .Si , una factorización de módulo consiste en dos (o más) polinomios en tal que .
El proceso de elevamiento es el inverso de la reducción. Eso es, dados objetos dependientes de los elementos de , el proceso de elevamiento reemplaza esos elementos por los elementos de (o de para algún ) que asigna a ellos de manera que conservan las propiedades de los objetos. Por ejemplo, dado un polinomio y una factorización módulo expresada como , levantando esta factorización módulo consiste en encontrar polinomios tal que , , . 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 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.
Referencias
Bibliografía
- Eisenbud, David (1995), Commutative algebra, Graduate Texts in Mathematics 150, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94269-8, MR 1322960, doi:10.1007/978-1-4612-5350-1 .
Véase también
Datos: Q1424496