Teoría algebraica de números
La teoría algebraica de números extiende la aritmética de los números enteros a anillos de enteros algebraicos dentro de extensiones finitas de los racionales, donde la factorización única puede fallar, pero se restaura a nivel de ideales.
Definition
La teoría algebraica de números es el estudio de los cuerpos numéricos (extensiones finitas de los números racionales) y sus anillos de enteros, utilizando las herramientas del álgebra conmutativa y la teoría de Galois para comprender la factorización, las unidades y las extensiones de cuerpos de forma aritmética.
Scope
Esta área abarca los cuerpos numéricos y sus anillos de enteros, la factorización de ideales en ideales primos, el grupo de clases de ideales que mide el fallo de la factorización única, el teorema de las unidades de Dirichlet, la ramificación y el comportamiento de los números primos en las extensiones, la teoría de Galois de los cuerpos numéricos y la teoría de cuerpos de clases que describe las extensiones abelianas en términos de datos aritméticos.
Sub-topics
Core questions
- ¿Qué reemplaza la factorización única en un anillo de enteros algebraicos y cómo la restauran los ideales primos?
- ¿Cuán grande es el fallo de la factorización única, medido por el grupo de clases de ideales, y es siempre finito?
- ¿Cómo se comportan las unidades de un anillo de enteros y cuál es su rango?
- ¿Cómo se dividen, ramifican o permanecen inertes los números primos racionales en una extensión, y cómo rige esto la teoría de Galois?
Key theories
- Factorización única de ideales
- En un dominio de Dedekind, como el anillo de enteros de un cuerpo numérico, cada ideal no nulo se factoriza de forma única en ideales primos, recuperando el papel estructural del teorema fundamental de la aritmética.
- Finitud del número de clases y teorema de las unidades de Dirichlet
- El grupo de clases de ideales es finito y el grupo de unidades es finitamente generado con un rango determinado por el número de incrustaciones reales y complejas, dos pilares establecidos por la geometría de números al estilo de Minkowski.
- Teoría de cuerpos de clases
- Las extensiones abelianas de un cuerpo numérico se clasifican por cocientes de grupos de clases de ideales generalizados, generalizando la reciprocidad cuadrática en la ley de reciprocidad del mapa de Artin.
Clinical relevance
Los anillos de enteros y la aritmética de ideales proporcionan la base algebraica de la criptografía moderna, incluyendo los esquemas basados en retículos y retículos ideales considerados para la seguridad post-cuántica, y subyacen al cribado de cuerpos numéricos, el algoritmo de factorización general más rápido conocido.
History
El campo surgió de la introducción de los números ideales por Kummer alrededor de 1847 para reparar la factorización única en los cuerpos ciclotómicos, motivado por el Último Teorema de Fermat. Dedekind los reformuló como ideales en la década de 1870, Minkowski añadió métodos geométricos, y Hilbert, Takagi y Artin construyeron la teoría de cuerpos de clases a principios del siglo XX.
Key figures
- Ernst Kummer
- Richard Dedekind
- Leopold Kronecker
- Emil Artin
Related topics
Seminal works
- neukirch1999
Frequently asked questions
- ¿Por qué la factorización única no siempre se cumple para los enteros algebraicos?
- En muchos anillos de enteros, un elemento puede factorizarse en irreducibles de maneras genuinamente diferentes; el remedio es factorizar ideales en lugar de elementos, donde la unicidad siempre se restaura.
- ¿Qué es el número de clases?
- Es el orden del grupo de clases de ideales, un número finito que mide exactamente cuán lejos está un anillo de enteros de tener factorización única; es igual a uno precisamente cuando la factorización es única.