Теорія Галуа

🎯 Що таке теорія Галуа?

Теорія Галуа — це галузь абстрактної алгебри, яка встановлює зв'язок між теорією полів та теорією груп. Вона була створена Еваристом Галуа для розв'язання проблеми розв'язності поліноміальних рівнянь у радикалах та стала одним з найважливіших інструментів в сучасній алгебрі та теорії чисел.

🔍 Основні концепції

Розширення полів: вкладення одного поля в інше

Групи Галуа: групи автоморфізмів розширень

Теорія Галуа: зв'язок між полями та групами

Розв'язність рівнянь: можливість розв'язати в радикалах

Теорема Абеля-Руффіні: неможливість розв'язати загальне рівняння 5-го степеня

Диференціальна теорія Галуа: узагальнення для диференціальних рівнянь

📐 Розширення полів

Розширення полів — це фундаментальна концепція теорії Галуа.

🎯 Визначення розширення поля

Розширення поля:

Якщо K є підполем поля L, то L називається розширенням поля K, позначається L/K.

📊 Ступінь розширення

Ступінь розширення:

Ступінь розширення [L:K] — це розмірність L як векторного простору над K.

🔧 Типи розширень

Скінченні розширення: [L:K] < ∞

Алгебраїчні розширення: кожен елемент L є алгебраїчним над K

Трансцендентні розширення: існують трансцендентні елементи

Нормальні розширення: розкладають всі незвідні поліноми

Сепарабельні розширення: всі елементи сепарабельні

🎯 Приклади розширень

Розширення раціональних чисел:

ℚ(√2)/ℚ: [ℚ(√2):ℚ] = 2

ℚ(∛2)/ℚ: [ℚ(∛2):ℚ] = 3

ℚ(i)/ℚ: [ℚ(i):ℚ] = 2

ℚ(ζ₅)/ℚ: [ℚ(ζ₅):ℚ] = 4, де ζ₅ — примітивний корінь єдності

🔢 Групи Галуа

Групи Галуа — це групи автоморфізмів розширень полів.

📊 Визначення групи Галуа

Група Галуа:

Група Галуа розширення L/K (позначається Gal(L/K)) — це група всіх автоморфізмів L, що зберігають K.

🎯 Властивості груп Галуа

Основні властивості:

Кінцевість: |Gal(L/K)| ≤ [L:K]

Рівність: |Gal(L/K)| = [L:K] для нормальних розширень

Гомоморфізм: Gal(L/K) → Gal(M/K) для K ⊆ M ⊆ L

🔧 Приклади груп Галуа

Групи Галуа розширень:

Gal(ℚ(√2)/ℚ) ≅ ℤ/2ℤ: {id, σ}, де σ(√2) = -√2

Gal(ℚ(i)/ℚ) ≅ ℤ/2ℤ: {id, σ}, де σ(i) = -i

Gal(ℚ(ζ₅)/ℚ) ≅ (ℤ/5ℤ)*: циклічна група порядку 4

Gal(ℚ(√2,√3)/ℚ) ≅ ℤ/2ℤ × ℤ/2ℤ: група Клейна

🔢 Основна теорема теорії Галуа

Основна теорема теорії Галуа встановлює бієкцію між підгрупами групи Галуа та проміжними полями.

📊 Формулювання теореми

Основна теорема теорії Галуа:

Для скінченного нормального розширення L/K існує бієкція між:

Підгрупами H ⊆ Gal(L/K)

Проміжними полями K ⊆ M ⊆ L

задана відповідністю:

H ↦ L^H: поле нерухомих елементів

M ↦ Gal(L/M): група автоморфізмів

🎯 Властивості відповідності

Властивості бієкції:

Оберненість: Gal(L/L^H) = H та L^Gal(L/M) = M

Вкладення: H₁ ⊆ H₂ ⟺ L^H₂ ⊆ L^H₁

Індекси: [H₁:H₂] = [L^H₂:L^H₁]

Нормальність: H ⊴ Gal(L/K) ⟺ L^H/K нормальне

🔧 Застосування

Приклад: ℚ(√2,√3)/ℚ

Gal(ℚ(√2,√3)/ℚ) ≅ ℤ/2ℤ × ℤ/2ℤ = {id, σ₁, σ₂, σ₁σ₂}

H = {id, σ₁}: L^H = ℚ(√3)

H = {id, σ₂}: L^H = ℚ(√2)

H = {id, σ₁σ₂}: L^H = ℚ(√6)

🔢 Розв'язність рівнянь

Теорія Галуа дає критерій розв'язності поліноміальних рівнянь у радикалах.

📊 Визначення розв'язності

Розв'язність у радикалах:

Поліноміальне рівняння розв'язне у радикалах, якщо його корені можна виразити через коефіцієнти за допомогою арифметичних операцій та добування коренів.

🎯 Критерій розв'язності

Теорема Галуа:

Поліноміальне рівняння розв'язне у радикалах тоді і тільки тоді, коли його група Галуа розв'язна.

🔧 Розв'язні групи

Розв'язна група:

Група G розв'язна, якщо існує послідовність підгруп:

G = G₀ ⊵ G₁ ⊵ ... ⊵ Gₙ = {e}

така, що Gᵢ₊₁ ⊴ Gᵢ та Gᵢ/Gᵢ₊₁ абелева для всіх i.

📊 Приклади розв'язних груп

Розв'язні групи:

Абелеві групи: розв'язні

Діедральні групи Dₙ: розв'язні для непарних n

Симметричні групи Sₙ: розв'язні для n ≤ 4

Альтернативні групи Aₙ: розв'язні для n ≤ 4

🔢 Теорема Абеля-Руффіні

Теорема Абеля-Руффіні стверджує неможливість розв'язати загальне рівняння 5-го степеня у радикалах.

📊 Формулювання теореми

Теорема Абеля-Руффіні:

Загальне поліноміальне рівняння степеня n ≥ 5 не розв'язне у радикалах.

🎯 Доведення

Ідея доведення:

Група Галуа загального рівняння степеня n є Sₙ

Група Sₙ не розв'язна для n ≥ 5

За теоремою Галуа рівняння не розв'язне у радикалах

🔧 Розв'язні випадки

Рівняння, що розв'язні у радикалах:

Степінь 1: лінійні рівняння

Степінь 2: квадратні рівняння

Степінь 3: кубічні рівняння (формули Кардано)

Степінь 4: рівняння 4-го степеня (метод Феррарі)

Спеціальні випадки: рівняння з розв'язними групами Галуа

🔢 Диференціальна теорія Галуа

Диференціальна теорія Галуа — це узагальнення теорії Галуа для диференціальних рівнянь.

📊 Основні концепції

Диференціальне поле:

Диференціальне поле — це поле K разом з похідною ∂: K → K, що задовольняє:

Лінійність: ∂(a + b) = ∂(a) + ∂(b)

Правило Лейбніца: ∂(ab) = ∂(a)b + a∂(b)

🎯 Диференціальні розширення

Диференціальне розширення:

Диференціальне розширення L/K — це розширення полів, де ∂ на L продовжує ∂ на K.

🔧 Групи Галуа для диференціальних рівнянь

Диференціальна група Галуа:

Група Галуа диференціального рівняння — це група автоморфізмів диференціального розширення, що зберігає базове поле.

📊 Критерій розв'язності

Теорема Ковальського:

Лінійне диференціальне рівняння розв'язне у квадратурах тоді і тільки тоді, коли його група Галуа розв'язна.

🔗 Застосування теорії Галуа

🎯 Теорія чисел

Циклотомні поля: розширення, породжені коренями єдності

Квадратичні поля: розширення, породжені квадратними коренями

Кубичні поля: розширення, породжені кубічними коренями

Теорія класів: арифметика числових полів

📊 Алгебраїчна геометрія

Криві та поверхні: алгебраїчні варіанти

Точки кручення: на еліптичних кривих

Модулярні форми: зв'язок з теорією Галуа

🔧 Теорія кодування

Алгебраїчні коди: коди, що використовують алгебраїчні структури

Коди Рида-Соломона: коди над скінченними полями

Коди БЧХ: коди, що використовують теорію Галуа

🎓 Історичний розвиток

🏛️ Ранній період

Нільс Хенрік Абель (1802-1829): неможливість розв'язати рівняння 5-го степеня

Паоло Руффіні (1765-1822): перші спроби доведення

Жозеф Луї Лагранж (1736-1813): теорія перестановок

🔄 Класичний період

Еварист Галуа (1811-1832): створення теорії Галуа

Каміль Жордан (1838-1922): систематизація теорії

Річард Дедекінд (1831-1916): алгебраїчні числа

Девід Гільберт (1862-1943): теорія полів класів

🌟 Сучасний період

Андре Вейль (1906-1998): арифметична геометрія

Александр Гротендік (1928-2014): схеми, еталева когомологія

П'єр Делінь (нар. 1944): гіпотеза Вейля

Владимир Дрінфельд (нар. 1954): модулярні форми

🔮 Сучасні напрямки

🌟 Програма Ленглендса

Глобальна програма, що пов'язує теорію Галуа з автоморфними формами.

🎯 Арифметична геометрія

Вивчення алгебраїчних варіантів над числовими полями.

🔄 Мотиви та когомології

Універсальні ко-гомологічні теорії для алгебраїчних варіантів.

🌐 Локальна теорія поля

Вивчення числових полів на локальному рівні.

📚 Практичні вправи

Вправа 1: Група Галуа

Знайдіть групу Галуа розширення ℚ(√2,√3)/ℚ та всі її підгрупи.

Вправа 2: Проміжні поля

Знайдіть всі проміжні поля для розширення ℚ(ζ₈)/ℚ, де ζ₈ — примітивний корінь єдності.

Вправа 3: Розв'язність

Перевірте, чи розв'язне у радикалах рівняння x⁴ - 2 = 0.

Вправа 4: Диференціальна теорія Галуа

Знайдіть групу Галуа для диференціального рівняння y'' + y = 0.

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте Spirograph і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.