Teoría de números algebraicos

La teoría de números algebraicos o teoría algebraica de números es una rama de la teoría de los números en la cual el concepto de número se expande a los números algebraicos, los cuales son las raíces de los polinomios con coeficientes racionales.

Un campo de números algebraico es una extensión finita (algebraica) del campo de los números racionales. El anillo de enteros de un campo de números algebraico es el conjunto de los enteros en dicho campo, es decir, el subconjunto del campo que consta de los elementos que son raíces de polinomios con coeficientes enteros.

Se puede ver, y tratar, a un campo de números algebraico como un análogo de los racionales, y a su anillo de enteros como un análogo de los enteros. Ahora bien, la analogía no es perfecta: algunas de las propiedades familiares de los racionales y los enteros no se conservan, por ejemplo, la factorización única. (La teoría de ideales suple en parte la falta de factorización única.)

Los campos de números algebraicos, así como los campos de funciones, son llamados campos globales. Gran parte de la teoría se puede desarrollar de manera paralela para ambos tipos de objetos. La localización consiste en el pasaje de un campo global a un campo local: en el caso de los campos de funciones, este procedimiento consiste simplemente en dirigir la mirada a un punto en particular de la superficie o variedad estudiada, y concentrarse en cómo las funciones se comportan en su vecindad inmediata.

Historia de la teoría de números algebraicos

Diofanto

Los comienzos de la teoría de números algebraicos se remontan a las ecuaciones de Diofanto, llamado así por el matemático Alejandrian del Plantilla:Siglo, Diofanto, que estudió y desarrolló métodos para la solución de algunos tipos de ecuaciones diofánticas. Un problema diofántico típico es encontrar dos números enteros x e y tales que su suma y la suma de sus cuadrados sean iguales a dos números dados A y B, respectivamente:

$A=x+y$

$B=x^2+y^2.$

Las ecuaciones diofantinas han sido estudiadas por miles de años. Por ejemplo, las soluciones de la ecuación cuadrática diofantina x² + y² = z² son expresadas por las ternas pitagóricas, originalmente resueltos por lo babilonios (c. 1800 AC). Las soluciones para las ecuaciones diofantinas lineales, tales como 26x + 65y = 13, se pueden calcular utilizando el algoritmo de Euclides (Plantilla:Siglo AC).

La principal obra de Diofanto fue la Arithmetica, de la cual ha sobrevivido solo una parte.

Fermat

El último teorema de Fermat fue primero conjeturado por Pierre de Fermat en 1637, famoso en el margen de una copia de "Arithmetica" donde afirmó que tenía una prueba que era demasiado grande para encajar en el margen. No se publicó ninguna prueba con éxito hasta 1995, a pesar de los esfuerzos de innumerables matemáticos durante los 358 años transcurridos. El problema no resuelto estimuló el desarrollo de la teoría algebraica de los números en el Plantilla:Siglo y la demostración del teorema de la modularidad en el Plantilla:Siglo.

Gauss

Una de las obras fundadoras de la teoría algebraica de los números, las Disquisitiones Arithmeticae (Latín: Investigaciones Aritméticas) es un libro de texto de teoría de números escrito en latín por Carl Friedrich Gauss en 1798 cuando Gauss tenía 21 años y publicado por primera vez en 1801 cuando tenía 24 años. En este libro, Gauss reúne los resultados de la teoría de los números obtenidos por matemáticos como Fermat, Euler, Lagrange y Legendre y añade nuevos e importantes resultados propios. Antes de la publicación de las Disquisitiones, la teoría de los números consistía en una colección de teoremas y conjeturas aisladas. Gauss reunió el trabajo de sus predecesores junto con su propio trabajo original en un marco sistemático, rellenó lagunas, corrigió pruebas poco sólidas y amplió el tema de numerosas maneras.

Las Disquisitiones fueron el punto de partida para el trabajo de otros matemáticos europeos del Plantilla:Siglo, como Ernst Kummer, Peter Gustav Lejeune Dirichlet y Richard Dedekind. Muchas de las anotaciones de Gauss son, en efecto, anuncios de sus propias investigaciones, algunas de las cuales quedaron inéditas. A sus contemporáneos debieron parecerles especialmente crípticas; ahora podemos leerlas como si contuvieran los gérmenes de las teorías de las funciones L y de la multiplicación compleja, en particular.

Dirichlet

En un par de artículos en 1838 y 1839 Peter Gustav Lejeune Dirichlet probó la primera fórmula de número de clase, para forma cuadráticas (más tarde refinada por su alumno Leopold Kronecker). La fórmula, que Jacobi calificó como un resultado que "toca lo máximo de la perspicacia humana", abrió el camino para obtener resultados similares con respecto a number fields más generales. Basado en su investigación de la estructura del grupo de unidades de campo cuadráticos, demostró el teorema de las unidades de Dirichlet, un resultado fundamental en la teoría algebraica de números.

Primero usó el principio del casillero, un argumento básico de conteo, en la prueba de un teorema en la aproximación diofántica, más tarde llamado así por él teorema de aproximación de Dirichlet. Publicó importantes contribuciones al último teorema de Fermat, para el que demostró los casos n = 5 y n = 14, y a la ley de reciprocidad bicuadrática. El problema del divisor de Dirichlet, para el cual encontró los primeros resultados, sigue siendo un problema sin resolver en la teoría de números a pesar de las contribuciones posteriores de otros investigadores.

Nociones básicas

Falta de factorización única

Una propiedad importante del anillo de enteros es que satisface el teorema fundamental de la aritmética, que cada entero (positivo) tiene una factorización en un producto de números primos, y esta factorización es única hasta el orden de los factores. Esto puede no ser cierto en el anillo de enteros Plantilla:Math de un campo numérico algebraico Plantilla:Math.

Un elemento primo es un elemento Plantilla:Math de Plantilla:Math tal que si Plantilla:Math divide un producto Plantilla:Math, entonces divide uno de los factores Plantilla:Math o Plantilla:Math. Esta propiedad está estrechamente relacionada con la primalidad en los números enteros, porque cualquier número entero positivo que satisfaga esta propiedad es Plantilla:Math o un número primo. Sin embargo, es estrictamente más débil. Por ejemplo, Plantilla:Math no es un número primo porque es negativo, pero es un elemento primo. Si se permiten factorizaciones en elementos primos, entonces, incluso en los números enteros, hay factorizaciones alternativas como

$6=2\cdot 3=(-2)\cdot (-3).$

En general, si Plantilla:Math es una unidad, es decir, un número con un inverso multiplicativo en Plantilla:Math, y si Plantilla:Math es un elemento primo, entonces Plantilla:Math es también un elemento primo. Se dice que los números como Plantilla:Math y Plantilla:Math son asociados. En los números enteros, los primos Plantilla:Math y Plantilla:Math son asociados, pero sólo uno de ellos es positivo. Al exigir que los números primos sean positivos se selecciona un único elemento de entre un conjunto de elementos primos asociados. Sin embargo, cuando K no son los números racionales, no hay un análogo de la positividad. Por ejemplo, en los enteros gaussianos Plantilla:Math, los números Plantilla:Math y Plantilla:Math están asociados porque el segundo es el producto del primero por Plantilla:Math, pero no hay forma de señalar uno como más canónico que el otro. Esto lleva a ecuaciones como

$5=(1+2i)(1-2i)=(2+i)(2-i),$

que demuestran que en Plantilla:Math, no es cierto que las factorizaciones sean únicas hasta el orden de los factores. Por esta razón, se adopta la definición de factorización única utilizada en dominio de factorización únicas (UFDs). En un UFD, los elementos primos que aparecen en una factorización sólo se espera que sean únicos hasta las unidades y su orden.

Sin embargo, incluso con esta definición más débil, muchos anillos de enteros en campos numéricos algebraicos no admiten una factorización única. Existe un obstáculo algebraico llamado grupo de clases ideales. Cuando el grupo de clases ideales es trivial, el anillo es un UFD. Cuando no lo es, hay una distinción entre un elemento primo y un elemento irreducible. Un elemento irreducible Plantilla:Math es un elemento tal que si Plantilla:Math, entonces o bien Plantilla:Math o bien Plantilla:Math es una unidad. Estos son los elementos que no se pueden factorizar más. Cada elemento de O admite una factorización en elementos irreducibles, pero puede admitir más de una. Esto se debe a que, mientras que todos los elementos primos son irreducibles, algunos elementos irreducibles pueden no ser primos. Por ejemplo, consideremos el anillo Plantilla:Math. En este anillo, los números Plantilla:Math, Plantilla:Math y Plantilla:Math son irreducibles. Ello significa que el número Plantilla:Math tiene dos factorizaciones en elementos irreductibles,

$9=3^2=(2+\sqrt{-5})(2-\sqrt{-5}).$

Esta ecuación muestra que Plantilla:Math divide el producto Plantilla:Math. Si Plantilla:Math fuera un elemento primo, entonces dividiría Plantilla:Math o Plantilla:Math, pero no lo hace, porque todos los elementos divisibles por Plantilla:Math son de la forma Plantilla:Math. De manera similar, Plantilla:Math y Plantilla:Math dividen el producto Plantilla:Math, pero ninguno de estos elementos divide a Plantilla:Math, por lo que ninguno de ellos es primo. As there is no sense in which the elements Plantilla:Math, Plantilla:Math y Plantilla:Math can be made equivalent, unique factorization fails in Plantilla:Math. Unlike the situation with units, where uniqueness could be repaired by weakening the definition, overcoming this failure requires a new perspective.

Factorización en ideales primos

Si Plantilla:Math es un ideal en Plantilla:Math, entonces siempre hay una factorización $I={𝔭}_1^{e_1}\cdots {𝔭}_t^{e_t},$ donde cada ${𝔭}_i$ es un ideal primo, y donde esta expresión es única hasta el orden de los factores. En particular, esto es cierto si Plantilla:Math es el ideal principal generado por un solo elemento. Este es el sentido más fuerte en el que el anillo de enteros de un campo numérico general admite una factorización única. En el lenguaje de la teoría de los anillos, se dice que los anillos de enteros son dominios Dedekind.

Cuando Plantilla:Math es un UFD, cada ideal primo está generado por un elemento primo. En caso contrario, hay ideales primos que no son generados por elementos primos. En Plantilla:Math, por ejemplo, el ideal Plantilla:Math es un ideal primo que no puede ser generado por un solo elemento.

Históricamente, la idea de factorizar ideales en ideales primos fue precedida por la introducción de Ernst Kummer de los números ideales. Estos son números que se encuentran en un campo de extensión Plantilla:Math de Plantilla:Math. Este campo de extensión se conoce ahora como el campo de clase de Hilbert. Por el teorema del ideal principal, todo ideal primo de Plantilla:Math genera un ideal principal del anillo de enteros de Plantilla:Math. Un generador de este ideal principal se llama número ideal. Kummer los utilizó como sustituto del fracaso de la factorización única en campo ciclotómico. Esto llevó finalmente a Richard Dedekind a introducir un precursor de los ideales y a demostrar la factorización única de los ideales.

Un ideal que es primo en el anillo de enteros de un campo numérico puede dejar de serlo cuando se extiende a un campo numérico mayor. Consideremos, por ejemplo, los números primos. Los ideales correspondientes Plantilla:Math son ideales primos del anillo Plantilla:Math. Sin embargo, cuando este ideal se extiende a los enteros de Gauss para obtener Plantilla:Math}, puede o no ser primo. Por ejemplo, la factorización Plantilla:Math implica que

$2𝐙[i]=(1+i)𝐙[i]\cdot (1-i)𝐙[i]=((1+i)𝐙[i]{)}^2;$

Nótese que como Plantilla:Math, los ideales generados por Plantilla:Math y Plantilla:Math son los mismos. Una respuesta completa a la pregunta de qué ideales siguen siendo primos en los enteros gaussianos la proporciona el Teorema de Fermat sobre sumas de dos cuadrados. Implica que para un número primo impar Plantilla:Math, Plantilla:Math es un ideal primo si Plantilla:Math y no es un ideal primo si Plantilla:Math. Esto, junto con la observación de que el ideal Plantilla:Math es primo, proporciona una descripción completa de los ideales primos en los enteros de Gauss. Generalizar este sencillo resultado a anillos de enteros más generales es un problema básico en la teoría algebraica de los números. La teoría de campos de clases logra este objetivo cuando K es una extensión abeliana de Q (es decir, una extensión de Galois con abeliano grupo de Galois).

Grupo de clase ideal

La factorización única falla si y sólo si hay ideales primos que fallan en ser principales. El objeto que mide el fracaso de los ideales primos en ser principales se llama grupo de clase ideal. Definir el grupo de clases ideales requiere ampliar el conjunto de ideales de un anillo de enteros algebraicos de forma que admitan una estructura de grupo. Ello se realiza mediante la generalización de ideales a ideales fraccionarios. Un ideal fraccionario es un subgrupo aditivo Plantilla:Math de Plantilla:Math que está cerrado por multiplicación de elementos de Plantilla:Math, lo que significa que Plantilla:Math if Plantilla:Math. Todos los ideales de Plantilla:Math también son ideales fraccionales. Si Plantilla:Math y Plantilla:Math son ideales fraccionarios, entonces el conjunto Plantilla:Math de todos los productos de un elemento en Plantilla:Math y un elemento en Plantilla:Math también es un fraccional ideal. Esta operación hace al conjuntode los fraccionales ideales no nulos un grupo. La identidad del grupo es el ideal Plantilla:Math, y la inversa de Plantilla:Math es un (generalized) ideal quotient:

$J^{-1}=(O:J)=\{x\in K:xJ\subseteq O\}.$

Los ideales fraccionarios principales, es decir, los de la forma Plantilla:Math donde Plantilla:Math, forman un subgrupo del grupo de todos los ideales fraccionarios distintos de cero. El cociente del grupo de ideales fraccionarios distintos de cero por este subgrupo es el grupo de clase ideal. Dos ideales fraccionarios Plantilla:Math y Plantilla:Math representan el mismo elemento del grupo de clase ideal si y solo si existe un elemento Plantilla:Math tal que Plantilla:Math. Por lo tanto, el grupo de clase ideal hace que dos ideales fraccionarios sean equivalentes si uno está tan cerca de ser principal como el otro. El grupo de clase ideal generalmente se denota Plantilla:Math, Plantilla:Math, o Plantilla:Math (con el último notación que lo identifica con el grupo de Picard en geometría algebraica).

El número de elementos en el grupo de clase se denomina número de clase de K. El número de clase de Plantilla:Math es 2. Esto significa que solo hay dos clases ideales, la clase de ideales fraccionarios principales y la clase de un ideal fraccionario no principal como Plantilla:Math.

El grupo de clase ideal tiene otra descripción en términos de divisores. Estos son objetos formales que representan posibles factorizaciones de números. El grupo divisor Plantilla:Math se define como el grupo abeliano libre generado por los ideales primos de Plantilla:Math. Existe un homomorfismo de grupo de Plantilla:Math, los elementos no nulos de Plantilla:Math hasta la multiplicación, a Plantilla:Math. Supongamos que Plantilla:Math satisface

$(x)={𝔭}_1^{e_1}\cdots {𝔭}_t^{e_t}.$

Entonces Plantilla:Math se define como el divisor

$\mathrm{div}x=\sum _{i=1}^t{e}_i[{𝔭}_i].$

El núcleo de Plantilla:Math es el grupo de unidades en Plantilla:Math, mientras que el cokernel es el grupo de clases ideales. En el lenguaje del álgebra homológica, esto dice que hay una secuencia exacta de grupos abelianos (escrita multiplicativamente),

$1\to O^{\times }\to K^{\times }\stackrel{\text{div}}{\to }\mathrm{Div}K\to \mathrm{Cl}K\to 1.$

Bibliografía

• kalbim clein
• Kenneth Ireland and Michael Rosen, "A Classical Introduction to Modern Number Theory, Second Edition", Springer-Verlag, 1990
• Ian Stewart and David O. Tall, "Algebraic Number Theory and Fermat's Last Theorem," A. K. Peters, 2002
• Daniel A. Marcus, "Number Fields"
• Plantilla:Citation
• Plantilla:Citation
• Plantilla:Citation