Teoría de Cuerpos y Teoría de Galois
La teoría de cuerpos estudia la aritmética de los cuerpos y sus extensiones, y la teoría de Galois establece un diccionario preciso entre las extensiones de cuerpos y los grupos de simetrías, resolviendo cuestiones clásicas sobre la resolución de ecuaciones polinómicas.
Definition
Un cuerpo es un anillo conmutativo en el que cada elemento no nulo tiene un inverso multiplicativo. La teoría de cuerpos estudia los cuerpos y las extensiones entre ellos; la teoría de Galois analiza una extensión normal y separable a través de su grupo de automorfismos, el grupo de Galois.
Scope
Esta área abarca las extensiones de cuerpos y sus grados, elementos algebraicos y trascendentes, cuerpos de descomposición y clausuras algebraicas, separabilidad y normalidad, la correspondencia de Galois entre cuerpos intermedios y subgrupos, la resolubilidad por radicales y la estructura de los cuerpos finitos. Constituye la culminación de una primera secuencia de álgebra de posgrado.
Sub-topics
Core questions
- ¿Cuál es el grado y la estructura de una extensión de cuerpo dada, y es algebraica o trascendente?
- ¿Cómo clasifica el grupo de Galois de una extensión sus cuerpos intermedios?
- ¿Cuándo se puede resolver una ecuación polinómica por radicales?
- ¿Cuáles son los posibles cuerpos finitos y cómo se construyen?
Key theories
- Teorema fundamental de la teoría de Galois
- Para una extensión de Galois finita, existe una biyección que invierte las inclusiones entre los cuerpos intermedios y los subgrupos del grupo de Galois, bajo la cual los subgrupos normales corresponden a subextensiones normales.
- Resolubilidad por radicales
- Un polinomio es resoluble por radicales si y solo si su grupo de Galois es un grupo resoluble; este criterio explica la imposibilidad de una fórmula radical general para ecuaciones quínticas y de grado superior.
- Clasificación de cuerpos finitos
- Para cada potencia de un primo existe, salvo isomorfismo, exactamente un cuerpo finito de ese orden, y su grupo multiplicativo es cíclico; los cuerpos finitos forman una torre gobernada por la divisibilidad de sus grados.
Clinical relevance
La teoría de Galois resolvió el problema milenario de la resolución de ecuaciones polinómicas y los problemas clásicos de construcción con regla y compás. Los cuerpos finitos son indispensables en la teoría de la codificación, la criptografía y la generación de números pseudoaleatorios, y la teoría más amplia subyace a la teoría algebraica de números.
History
Basándose en la prueba de Abel de que la quíntica general es irresoluble por radicales, Galois introdujo en la década de 1830 el grupo de una ecuación y la correspondencia que ahora lleva su nombre. Steinitz formuló la teoría abstracta moderna de cuerpos en 1910, y Artin reformuló la teoría de Galois en términos de grupos de automorfismos e independencia lineal de caracteres.
Key figures
- Évariste Galois
- Niels Henrik Abel
- Ernst Steinitz
- Emil Artin
- Leopold Kronecker
Related topics
Seminal works
- lang2002
- dummit2004
- artin2011
Frequently asked questions
- ¿Por qué la quíntica general no puede resolverse por radicales?
- Según el criterio de Galois, la resolubilidad por radicales es equivalente a que el grupo de Galois sea resoluble. El grupo simétrico en cinco letras, que surge como el grupo de Galois de una quíntica general, no es resoluble, por lo que no existe una fórmula radical general.
- ¿Qué empareja realmente la correspondencia de Galois?
- Empareja cada cuerpo que se encuentra entre el cuerpo base y el cuerpo superior con el subgrupo de automorfismos que lo fija, invirtiendo las inclusiones. Esto convierte preguntas difíciles sobre cuerpos en preguntas más manejables sobre grupos finitos.