30-08-2023
Тео́рия Галуа́ — раздел алгебры, изучающий симметрии корней многочленов. Симметрии описываются в терминах группы перестановок корней многочлена (группа уравнения) — термин, впервые использованный Эваристом Галуа.
Содержание |
Теория Галуа даёт единый элегантный подход к решению таких классических задач как
Симметрии корней — такие перестановки на множестве корней многочлена, для которых любому алгебраическому уравнению с рациональными коэффициентами, которому удовлетворяют корни, удовлетворяют и переставленные корни.
У многочлена второй степени a x² + b x + c имеются два корня x1 и x2, симметричных относительно точки x=-b/2a. Возможны два варианта:
Рассмотрим теперь многочлен (x2−5)2−24.
Его корни: .
Существует 4!=24 различных перестановки корней этого уравнения, но не все они являются симметриями. Элементы группы Галуа должны сохранять любые алгебраические уравнения с рациональными коэффициентами.
Одно из таких уравнений — a+d=0. Поскольку a+c≠0, перестановка a→a, b→b, c→d, d→c не входит в группу Галуа.
Кроме того, можно заметить, что (a+b)²=8, но (a+c)²=12. Поэтому перестановка a→a, b→c, c→b, d→d не входит в группу.
Окончательно можно получить, что группа Галуа многочлена состоит из четырёх перестановок:
и является четверной группой Клейна, изоморфной .
Теория полей даёт более общее определение группы Галуа.
Пусть есть основное поле K и многочлен . Рассмотрим алгебраическое расширение L поля K корнями многочлена. Тогда группа Галуа многочлена это группа автоморфизмов поля L, оставляющих элементы поля K на месте.
В классической теории Галуа в качестве основного поля используется поле рациональных чисел .
Решения полиномиального уравнения P(x)=0 выражаются в радикалах тогда и только тогда, когда группа уравнения разрешима.
Для уравнения n-й степени в общем виде группа Галуа изоморфна симметрической группе Sn, то есть состоит из всех возможных перестановок. Поскольку группы Sn при n>4 не являются разрешимыми, существуют многочлены степени n, корни которых не представимы в виде радикалов — теорема Абеля-Руффини.
Теория Галуа.