Теория полей и теория Галуа
Теория полей изучает арифметику полей и их расширений, а теория Галуа устанавливает точное соответствие между расширениями полей и группами симметрий, решая классические вопросы о разрешимости полиномиальных уравнений.
Definition
Поле — это коммутативное кольцо, в котором каждый ненулевой элемент имеет мультипликативный обратный. Теория полей изучает поля и расширения между ними; теория Галуа анализирует нормальное, сепарабельное расширение через его группу автоморфизмов, группу Галуа.
Scope
Эта область охватывает расширения полей и их степени, алгебраические и трансцендентные элементы, поля разложения и алгебраические замыкания, сепарабельность и нормальность, соответствие Галуа между промежуточными полями и подгруппами, разрешимость в радикалах и структуру конечных полей. Она является завершающим этапом первого курса высшей алгебры.
Sub-topics
Core questions
- Какова степень и структура данного расширения поля, и является ли оно алгебраическим или трансцендентным?
- Как группа Галуа расширения классифицирует его промежуточные поля?
- Когда полиномиальное уравнение может быть решено в радикалах?
- Каковы возможные конечные поля и как они строятся?
Key theories
- Основная теорема теории Галуа
- Для конечного расширения Галуа существует включающая обратная биекция между промежуточными полями и подгруппами группы Галуа, при которой нормальные подгруппы соответствуют нормальным подрасширениям.
- Разрешимость в радикалах
- Многочлен разрешим в радикалах тогда и только тогда, когда его группа Галуа является разрешимой группой; этот критерий объясняет невозможность общей радикальной формулы для уравнений пятой степени и выше.
- Классификация конечных полей
- Для каждой простой степени существует, с точностью до изоморфизма, ровно одно конечное поле этого порядка, и его мультипликативная группа является циклической; конечные поля образуют башню, управляемую делимостью их степеней.
Clinical relevance
Теория Галуа решила тысячелетнюю проблему разрешимости полиномиальных уравнений и классические задачи построения с помощью циркуля и линейки. Конечные поля незаменимы в теории кодирования, криптографии и генерации псевдослучайных чисел, а более широкая теория лежит в основе алгебраической теории чисел.
History
Основываясь на доказательстве Абеля о неразрешимости общего уравнения пятой степени в радикалах, Галуа в 1830-х годах ввел понятие группы уравнения и соответствия, которое теперь носит его имя. Штайниц в 1910 году представил современную абстрактную теорию полей, а Артин переформулировал теорию Галуа в терминах групп автоморфизмов и линейной независимости характеров.
Key figures
- Évariste Galois
- Niels Henrik Abel
- Ernst Steinitz
- Emil Artin
- Leopold Kronecker
Related topics
Seminal works
- lang2002
- dummit2004
- artin2011
Frequently asked questions
- Почему общее уравнение пятой степени не может быть решено в радикалах?
- По критерию Галуа, разрешимость в радикалах эквивалентна разрешимости группы Галуа. Симметрическая группа на пяти элементах, которая возникает как группа Галуа общего уравнения пятой степени, не является разрешимой, поэтому общая радикальная формула не существует.
- Что именно сопоставляет соответствие Галуа?
- Оно сопоставляет каждое поле, лежащее между базовым полем и верхним полем, с подгруппой автоморфизмов, фиксирующих его, обращая включения. Это преобразует сложные вопросы о полях в более разрешимые вопросы о конечных группах.