Ir al contenido

Teoría de Kummer

De Wikipedia, la enciclopedia libre

En álgebra abstracta y teoría de números, la teoría de Kummer[1]​ proporciona una descripción de ciertos tipos de extensiones de campo que implican la adjunción de enésimas raíces de elementos del campo base. La teoría fue desarrollada originalmente por Ernst Eduard Kummer alrededor de la década de 1840 en su trabajo pionero sobre el último teorema de Fermat. Las declaraciones principales no dependen de la naturaleza del campo, aparte de su característica, que no debe dividir el entero n, y por lo tanto pertenecen al álgebra abstracta. La teoría de las extensiones cíclicas del campo K cuando la característica de K divide a n se llama teoría de Artin-Schreier.

La teoría de Kummer es básica, por ejemplo, en la teoría de campo de clase, y en general, en la comprensión de las extensiones abelianas. La teoría afirma que en presencia de suficientes raíces de la unidad, las extensiones cíclicas pueden entenderse en términos de extracción de raíces. La carga principal en la teoría de campo de clase es prescindir de raíces adicionales de la unidad ('descender' de regreso a campos más pequeños); que es algo mucho más trascendente.

Extensiones de Kummer

[editar]

Una extensión de Kummer es una extensión de campo L/K, donde para un entero dado n>1 se tiene que

Por ejemplo, cuando n = 2, la primera condición siempre es verdadera si K tiene la característica ≠ 2. Las extensiones de Kummer en este caso incluyen extensiones cuadráticas donde a en K es un elemento no cuadrado. Por la solución habitual de ecuaciones cuadráticas, cualquier extensión de grado 2 de K tiene esta forma. Las extensiones de Kummer en este caso también incluyen extensiones bicuadráticas y extensiones multicuadráticas más generales. Cuando K tiene la característica 2, no existen tales extensiones de Kummer.

Tomando n = 3, no hay extensiones de Kummer de grado 3 del campo numérico racional Q, ya que para tres raíces cúbicas de 1 se requieren números complejos. Si se considera que L es el campo de división de (X3a) sobre Q, donde a no es un cubo en los números racionales, L contiene un subcampo K con tres raíces cúbicas de 1. Esto se debe a que si α y β son raíces del polinomio cúbico, se tendrá que (α/β)3 = 1 y la cúbica es un polinomio separable. Entonces L/K es una extensión de Kummer.

De manera más general, es cierto que cuando K contiene n raíces enésimas de la unidad distintas, lo que implica que la característica de K no divide n, entonces contiguo a K la enésima raíz de cualquier elemento a de K crea una extensión de Kummer (de grado m, para algunos m dividiendo n). Como el campo de división del polinomio (Xna), la extensión de Kummer es necesariamente de Galois, con un grupo de Galois que es cíclico de orden m. Es fácil seguir la acción de Galois a través de la raíz de la unidad frente a

La teoría de Kummer proporciona declaraciones inversas. Cuando K contiene n raíces enésimas de la unidad distintas, se establece que cualquier extensión abeliana de K de exponente dividiendo n se forma mediante la extracción de raíces de elementos de K. Además, si K× denota el grupo multiplicativo de elementos distintos de cero de K, las extensiones abelianas de K del exponente n corresponden biyectivamente con subgrupos de

es decir, elementos de K× módulo enésimas potencias. La correspondencia se puede describir explícitamente de la siguiente manera. Dado un subgrupo

la extensión correspondiente está dada por

donde

De hecho, es suficiente unir la enésima raíz de un representante de cada elemento de cualquier conjunto de generadores del grupo Δ. Por el contrario, si L es una extensión de Kummer de K, entonces la regla recupera Δ

En este caso existe un isomorfismo.

dado por

donde α es cualquier raíz enésima de a en L. Aquí denota el grupo multiplicativo de enésimas raíces de la unidad (que pertenecen a K) y es el grupo de homomorfismos continuos de equipado con topología de Krull para con topología discreta (con operación grupal dada por multiplicación puntual). Este grupo (con topología discreta) también se puede ver como una dualidad de Pontryagin de , suponiendo que se tenga en cuenta como un subgrupo del grupo circular. Si la extensión L/K es finita, entonces es un grupo discreto finito y se tiene que

Sin embargo, el último isomorfismo no es natural.

Recuperación de de un elemento primitivo

[editar]

Para primo, sea un campo que contenga , y una extensión de Galois de grado . Tenga en cuenta que el grupo de Galois es cíclico, generado por . Sea

Entonces

Dado que y

.

Cuando es una extensión abeliana de grado sin cuadrados, de tal manera que , se aplica el mismo argumento a los subcampos de Galois de grado determinados por , para obtener

donde

.

Generalizaciones

[editar]

Supóngase que G es un grupo profinito que actúa sobre un módulo A con un homomorfismo suryectivo π con G módulo A sobre sí mismo. Supóngase también que G actúa trivialmente en el núcleo C de π y que el primer grupo de cohomología H1 (G, A) es trivial. Entonces, la secuencia exacta de la cohomología del grupo muestra que existe un isomorfismo entre AG/π(AG) y Hom(G, C).

La teoría de Kummer es el caso especial del supuesto anterior cuando A es el grupo multiplicativo del cierre separable de un campo k, G es el grupo de Galois, π es la aplicacióne de la nésima potencia, y C el grupo de nenésimastaíces de la unidad. La teoría de Artin-Schreier es el caso especial cuando A es el grupo aditivo del cierre separable de un campo k de característica positiva p, G es el grupo de Galois, π es el endomorfismo de Frobenius menos la identidad y C el campo finito de orden p. Si se considera que A es un anillo de vectores de Witt truncados, se obtiene la generalización de Witt de la teoría de Artin-Schreier a extensiones de exponentes que dividen pn.

Véase también

[editar]

Referencias

[editar]
  1. Pierre Guillot (2018). A Gentle Course in Local Class Field Theory: Local Number Fields, Brauer Groups, Galois Cohomology. Cambridge University Press. pp. 14 de 306. ISBN 9781108421775. Consultado el 2 de enero de 2020. 

Bibliografía

[editar]