🧮 Линал

Группа Галуа

Q: Как выглядит группа Галуа у простого примера?

У многочлена $x^2 - 2$ над $\mathbb{Q}$: корни $\sqrt{2}$ и $-\sqrt{2}$, и единственная нетривиальная симметрия — их перестановка $\sqrt{2} \leftrightarrow -\sqrt{2}$. Группа состоит из двух элементов и совпадает с $\mathbb{Z}_2$. У кубического $x^3 - 2$ группа — все шесть перестановок трёх корней, то есть $S_3$.

англ. Galois group

Группа автоморфизмов расширения поля, сохраняющих базовое поле: симметрии корней многочлена; её разрешимость отвечает за разрешимость уравнения в радикалах.

Группа Галуа $Gal (E / F)$ — совокупность всех перестановок корней многочлена, которые сохраняют все алгебраические соотношения между ними; формально — автоморфизмы расширения поля $E$ , неподвижные на базовом поле $F$ . Это «симметрии корней»: операции, которые можно проделать с корнями, не разорвав ни одного алгебраического уравнения, их связывающего. Относительно композиции такие симметрии образуют группу в строгом смысле — с единицей, обратными и ассоциативностью.

Революционная идея Галуа: сложность уравнения — это структура его группы симметрий. Квадратное уравнение имеет группу из двух перестановок — «маленькую», и его корни выражаются через квадратный корень; у уравнений третьей и четвёртой степени группы порядка 6 и 24, ещё разрешимые. Уравнение пятой степени несёт группу $S_{5}$ из 120 перестановок, в которой структура неразрешима — поэтому универсальной формулы в радикалах для пятой степени не существует: никакие радикалы её не дадут. Критерий Галуа: уравнение разрешимо в радикалах тогда и только тогда, когда его группа Галуа разрешима (обладает цепочкой нормальных подгрупп с циклическими факторами).

Gal (E / F) = {φ : E \to E ∣ φ — автоморфизм, φ (a) = a \forall a \in F}; ∣ Gal (E / F) ∣ = [E : F] для нормального расширения

определение и порядок группы Галуа

Частые вопросы

Как выглядит группа Галуа у простого примера?

У многочлена $x^{2} - 2$ над $Q$ : корни $2$ и $- 2$ , и единственная нетривиальная симметрия — их перестановка $2 \leftrightarrow - 2$ . Группа состоит из двух элементов и совпадает с $Z_{2}$ . У кубического $x^{3} - 2$ группа — все шесть перестановок трёх корней, то есть $S_{3}$ .

Что означает «разрешимость группы»?

Это способность группы разлагаться в башню всё более мелких коммутативных кусочков: цепочка подгрупп, где каждый шаг нормален, а фактор цикличен. Каждому шагу башни соответствует один радикал — корень степени $n$ . Если башни нет, радикалы не помогают: именно поэтому степень пять «непроходима».