|
|
Статьи Соросовского Образовательного журнала в текстовом формате
Даны некоторые понятия и результаты теории групп и показано, каким образом проблема разрешимости в радикалах алгебраического уравнения n-й степени связана с теорией групп и решается с ее помощью.
О НЕРАЗРЕШИМОСТИ АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙВ РАДИКАЛАХ И ТЕОРИИ ГРУПП
В. Г. ЗВЯГИН
Воронежский государственный университет
В курсе средней школы подробно изучают алгебраические уравнения с одним неизвестным 1-й и 2-й степеней. При этом оказывается, что для решения таких уравнений существуют общие формулы, выражающие корни уравнения через его коэффициенты с помощью арифметических операций и радикалов (для уравнений 2-й степени). Подобного типа формулы были установлены еще в XVI веке и для уравнений 3-й (Дж. Кардано) и 4-й (Л. Феррари) степеней. Долгое время математики пытались найти метод решения в радикалах общего уравнения 5-й степени. Однако в 1824 году норвежский математик Нильс Генрик Абель доказал следующую теорему: Общее алгебраическое уравнение с одним неизвестным степени выше 4-й неразрешимо в радикалах, то есть не существует формулы, выражающей корни общего уравнения степени выше 4-й через коэффициенты с помощью операций сложения, вычитания, умножения, деления, возведения в натуральную степень и извлечения корней натуральной степени.
Цель статьи - познакомить читателя с рядом понятий и результатов теории групп и показать, каким образом проблема разрешимости в радикалах алгебраического уравнения n-й степени от одного неизвестного сводится к некоторой проблеме в теории групп и каким образом она там решается.
ГРУППА
Определение 1. Группой называется множество G элементов произвольной природы, в котором любой упорядоченной паре (a, b) элементов этого множества поставлен в соответствие третий элемент, который мы будем обозначать символом a " b, и при этом предполагаются выполненными следующие условия:
1) a " (b " c) = (a " b) " c для любых a, b, c k G ;
2) в G существует такой элемент e, называемый единицей группы G, для которого a " e = e " a = a для любого элемента a k G ;
3) для любого элемента a k G существует такой элемент a-1 в G, называемый обратным к элементу a, для которого a " a-1 = a-1 " a = e.
Множество вещественных чисел с обычной операцией сложения чисел, множество вещественных чисел, отличных от нуля, с операцией умножения чисел - все это простейшие примеры групп.
Мы подробнее обсудим более важный для темы этой статьи пример группы, причем вначале в общей ситуации, а затем и в частной ситуации, в которой он и будет использован ниже.
Определение 2. Пусть X и Y - два множества произвольной природы. Отображение j: X Y называется взаимно однозначным отображением, если для каждого y k Y существует единственный x k X, такой, что j(x) = y.
Пусть M - произвольное множество. Произвольное взаимно однозначное отображение множества M на себя называется преобразованием множества M.
Во множестве преобразований множества M можно ввести операцию произведения преобразований, а именно пусть j1 , j2 : M M - два преобразования множества M, тогда произведение преобразований j1 " j2 : M M определяется так: (j1 " j2)(m) = j1(j2(m)), m k M, то есть сначала делается преобразование j2 , затем j1 . Первое условие определения 1 выполнено, поскольку [(j1 " j2) " j3](m) = j1(j2(j3(m))) и [j1 " (j2 " " j3)](m) = j1(j2(j3(m))) для любого m k M. Следовательно, (j1 " j2) " j3 = j1 " (j2 " j3). Роль единицы в условии 2 этого определения играет тождественное отображение множества M на себя. И наконец, поскольку преобразование j: M M есть взаимно однозначное отображение множества M на себя, то существует обратное отображение j-1 : M M, которое также является преобразованием и которое есть обратный элемент для j во множестве всех преобразований множества M в себя.
Рассмотрим теперь частный случай, когда M = {1, 2, _, n} - множество первых n натуральных чисел. Подстановкой n-й степени будем называть любое преобразование множества M в себя. Таким образом, произвольную подстановку n-й степени можно записать в виде где im - образ элемента m при данной подстановке. Заметим, что порядок столбцов в подстановке неважен. Важно только, что m отображается в im .
Множество всех подстановок n-й степени обозначают символом Sn . Во множестве Sn аналогично тому, как это сделано в случае произвольного множества M, вводится операция умножения двух подстановок, а именно под умножением двух подстановок будем понимать последовательное выполнение первой подстановки, а затем второй (то есть, другими словами, композицию этих подстановок). Множество Sn с этой операцией является группой.
Два элемента группы G называются перестановочными или коммутирующими, если a " b = b " a. Если все элементы группы коммутируют между собой, то такая группа называется коммутативной или абелевой.
Коммутативные группы - наиболее изученные объекты в теории групп. Однако имеется большое число важных для приложений и некоммутативных групп. В частности, группа Sn при n $ 3 является некоммутативной.
ПОДГРУППЫ
В теории групп представляют интерес не произвольные подмножества группы, а подмножества, называемые подгруппами и учитывающие ту операцию, которая определена в группе.
Определение 3. Подмножество H группы G называется подгруппой, если H само является группой относительно той же операции, которая задана в G.
Опишем в группе Sn важную для нас подгруппу.
Пусть числа 1, 2, _, n записаны в строку в некотором произвольном порядке. Скажем, что пара чисел i, j образует инверсию в этой строке, если i < j, но j встречается в строке раньше, чем i. Число инверсий характеризует беспорядок в данной строке по отношению к обычному порядку чисел 1, 2, _, n.
Определение 4. Подстановка называется четной, если число инверсий в нижней строке четно.
Множество четных подстановок группы Sn обозначается символом An . Легко проверить, что An - подгруппа группы Sn , причем при n $ 4 это некоммутативная подгруппа. An также называют знакопеременной группой степени n.
Среди всех подгрупп произвольной группы G выделяются нормальные подгруппы. Дадим их определение.
Пусть a - произвольный элемент группы G. Для любого элемента g k G элемент g " a " g-1 называется сопряженным к элементу a.
Определение 5. Подгруппа H группы G называется нормальной, если она с каждым своим элементом a содержит все сопряженные элементы gag-1, g k G.
В частности, An является нормальной подгруппой в Sn .
РАЗРЕШИМЫЕ ГРУППЫ
Ниже описывается класс групп, близких к коммутативным. Разрешимыми группы из этого класса называются потому, что возможность решить алгебраическое уравнение в радикалах, как увидим ниже, зависит от разрешимости некоторой группы.
Вначале заметим, что степень коммутативности двух элементов группы можно измерить с помощью произведения a " b " a-1 " b-1, которое равно единице тогда и только тогда, когда элементы a и b перестановочны. Элемент a " b " a-1 " b-1 называется коммутатором элементов a и b.
Определение 6. Коммутантом K(G ) группы G называется множество всевозможных произведений конечного числа коммутаторов группы G.
Несложно проверить, что коммутант группы является нормальной подгруппой группы.
Итак, пусть G - некоторая группа и K(G ) - ее коммутант. Коммутант K(G ) сам является группой, и в нем также можно рассмотреть коммутант K(K(G )). В полученной группе снова можно рассмотреть коммутант и т.д. Группу будем для краткости обозначать Kr(G ). Таким образом, Kr + 1(G ) = K(Kr(G )).
Определение 7. Группа G называется разрешимой, если цепочка групп G, K(G ), K2(G ), K3(G ), _ заканчивается при некотором конечном n единичной группой, то есть при некотором n получаем Kn(G ) = {e}.
Конечно, любая коммутативная группа разрешима, так как если G - коммутативная группа, то уже на первом шаге K(G ) = {e}. Также группа G разрешима, если ее коммутант коммутативен, так как в этом случае K2(G ) = {e}.
Имеет место следующий важный факт.
Теорема 1. Если группа G некоммутативна и не имеет нормальных подгрупп, отличных от {e} и G, то она неразрешима.
Доказательство. Так как группа G некоммутативна, то коммутант K(G ) ? {e}. Так как K(G ) - нормальная подгруппа в G, то по условию теоремы K(G ) = G. Следовательно, в цепочке G, K(G ), K2(G ), _ все группы совпадают с G и, следовательно, эта цепочка никогда не заканчивается единичной группой, то есть группа G неразрешима. Теорема доказана.
Отметим также следующий результат.
Теорема 2. Всякая подгруппа разрешимой группы разрешима.
Доказательство. Пусть группа G разрешима. Тогда существует n, такое, что подгруппа Kn(G ) является единичной. Если H - подгруппа группы G, то K(H ) содержится в K(G ), K2(H ) содержится в K2(G ) и т.д. Тогда Kn(H ) содержится в Kn(G ) и, следовательно, является единичной группой. Поэтому подгруппа H разрешима. Теорема доказана.
Простой анализ показывает, что знакопеременная группа A5 степени 5 не содержит нормальных подгрупп, кроме единичной подгруппы и всей группы. Поэтому из теоремы 1 и того факта, что A5 - некоммутативная группа, следует, что A5 - неразрешимая группа.
Определение 8. Говорят, что группа G1 изоморфна группе G2 , и записывают это в символах так: G1 щ G2 , если существует отображение j: G1 G2 , обладающее следующими двумя свойствами:
1) j - взаимно однозначное отображение;
2) j(a1 " a2) = j(a1) " j(a2) для всех a1 , a2 k G1 .
С точки зрения теории групп изоморфные группы обладают одними и теми же свойствами, и поэтому в теории групп изоморфные группы не различаются.
Легко видеть, что группа Sn при n $ 5 содержит подгруппу, изоморфную группе A5 . В самом деле, такой подгруппой является, например, подгруппа, содержащая все подстановки вида
с четным числом инверсий в строке i1 , i2 , i3 , i4 , i5 .
Из этого факта и теорем 1 и 2 следует результат, на котором основано утверждение о неразрешимости алгебраических уравнений степени n $ 5 в радикалах.
Теорема 3. При n $ 5 группа Sn неразрешима.
АЛГЕБРАИЧЕСКИЕ УРАВНЕНИЯ
n-Й СТЕПЕНИ. КОМПЛЕКСНЫЕ ЧИСЛА
Алгебраическим уравнением с одним неизвестным степени n называется уравнение вида
b0xn + b1xn - 1 + _ + bn - 1x + bn = 0,
где b0 , b1 , _, bn - коэффициенты этого уравнения, причем b0 ? 0.
Если предположить, что все коэффициенты уравнения (1) - вещественные числа, и попытаться искать решение уравнения (1) во множестве вещественных чисел, то хорошо известно, что эта попытка окажется неудачной. Так, например, уравнение x2 + 1 = 0 не имеет действительных корней. Попытка найти решение этого уравнения в более широком множестве, чем множество вещественных чисел, приводит к понятию комплексного числа. Перейдем к определению этого понятия.
Рассмотрим всевозможные упорядоченные пары действительных чисел, то есть пары вида (a, b), где a и b - действительные числа. На множестве таких пар определим две операции - сложение и умножение:
(a, b) + (c, d) = (a + c, b + d),
(a, b) " (c, d) = (ac - bd, ad + bc).
Определение 9. Множество всевозможных упорядоченных пар действительных чисел с указанными выше операциями сложения и умножения называется множеством комплексных чисел.
Положим i = (0, 1) и отождествим пару (a, 0) с действительным числом a. Тогда (a, b) = (a, 0) + (0, b) = = (a, 0) + (b, 0) " (0, 1), что позволяет записать комплексное число (a, b) в виде a + bi. Эта форма записи комплексного числа называется алгебраической и является одной из наиболее часто используемых.
Если на плоскости зафиксировать некоторую прямоугольную систему координат, то каждое комплексное число a + bi можно отождествить с точкой этой плоскости с координатами (a, b). Если произведено такое отождествление, то такая плоскость называется комплексной плоскостью.
Далее отметим, что во множестве комплексных чисел определены не только операции сложения и умножения, но и обратные к ним операции вычитания и деления на числа, отличные от нуля.
Следующая теорема и обусловливает в значительной степени то значение, которое имеют комплексные числа в математике.
Теорема 4. Всякое алгебраическое уравнение, то есть уравнение вида
b0zn + b1zn - 1 + _ + bn - 1z = a,
где a и все bi - комплексные числа, n $ 1 и b0 ? 0, имеет по крайней мере одно решение во множестве комплексных чисел.
Эта теорема иногда называется основной теоремой алгебры комплексных чисел. Она была доказана в 1799 году немецким математиком К.Ф. Гауссом.
На самом деле, из теоремы 4 несложно следует, что уравнение (2) имеет n решений, среди которых, правда, могут быть повторяющиеся. Однако имеется только конечное число комплексных чисел a, для которых уравнение (2) имеет повторяющиеся решения. Для всех остальных значений a уравнение (2) имеет n различных решений z1 , z2 , _, zn .
ГРУППА ГАЛУА МНОГОЗНАЧНОЙ ФУНКЦИИ
Рассмотрим следующую многозначную функцию: каждой точке a поставим в соответствие z(a) - множество решений уравнения (2). Мы уже знаем, что если коэффициенты b0 , b1 , _, bn - 1 фиксированы, то z(a) состоит ровно из n различных комплексных чисел z1(a), z2(a), _ _, zn(a) для всех комплексных чисел a, за исключением конечного числа таких чисел. В этом конечном множестве "плохих" чисел a функция z(a) имеет меньше, чем n значений.
Итак, пусть z(a) - многозначная функция, рассмотренная выше. Зафиксируем в некоторой точке a0 одно из значений zi функции z(a0), и пусть C - непрерывная кривая, идущая из точки a0 в некоторую точку a1 (рис. 1). Будем двигаться по кривой C, выбирая для каждой точки a, лежащей на C, одно из значений функции z(a) так, чтобы выбираемые значения изменялись непрерывно при движении точки a по кривой C, начиная со значения zi . При этом, когда мы достигнем точки a1 , получим вполне определенное значение wi k z(a1). Скажем, что wi - значение z(a1), определенное по непрерывности вдоль кривой C при условии исходного выбора zi k k z(a0). Если таким образом выбрать значения функции z(a) для всех точек кривой C и затем изобразить на плоскости z, то должна получиться непрерывная кривая, которая начинается в точке zi и оканчивается в точке wi . Эта кривая является одним из непрерывных образов кривой C при отображении z = z(a).
В действительности при определении такой однозначной ветви многозначной функции мы можем столкнуться с такой неприятностью, что в некоторых точках нарушается однозначность выбора образа для функции z(a). Точки, в которых нарушается однозначность выбора непрерывных образов кривых, будем называть точками неоднозначности данной функции. Ниже мы будем рассматривать для данной функции только те кривые, которые не проходят через эти точки неоднозначности данной функции.
Итак, пусть точка a0 не является точкой неоднозначности многозначной функции z(a) и пусть z1 , z2 , _ _, zn - все значения функции z(a) в точке a0. Рассмотрим некоторую непрерывную кривую C, начинающуюся и кончающуюся в точке a0 и не проходящую через точки неоднозначности функции z(a). Если для каждого значения zi k z(a0) определим новое значение по непрерывности вдоль кривой C, то при этой конструкции разным значениям zi отвечают различные значения zj (рис. 2).
Таким образом, кривой C соответствует некоторая подстановка
определяемая преобразованиями значений z1 , z2 , _, zn . При этом если кривой C соответствует подстановка g, то кривой C -1 соответствует подстановка g-1, и если кривым C1 и C2 (с концами в точке a0) соответствуют подстановки g1 и g2 , то кривой C1C2 соответствует подстановка g2 g1 .
Таким образом, если рассмотреть всевозможные кривые, начинающиеся и кончающиеся в точке a0 , то соответствующие им подстановки будут образовывать некоторую группу подстановок значений z(a0).
Можно показать, что группы подстановок значений z(a0) для всех точек a0 , для которых она определена, изоморфны между собой и являются фактически одной и той же группой. Эту группу будем называть группой Галуа многозначной функции z(a).
Говорят, что многозначная функция h(z) выражается в радикалах, если она может быть получена из функции f (z) = z и постоянных функций g(z) ╞ c (c - произвольное фиксированное комплексное число) с помощью операций сложения, вычитания, умножения, деления, возведения в натуральную степень и извлечения корней натуральной степени.
Оказывается, имеет место следующий фундаментальный в этой теории факт:
Теорема 5. Если многозначная функция h(z) выражается в радикалах, то группа Галуа функции h(z) разрешима.
ТЕОРЕМА АБЕЛЯ
Рассмотрим уравнение
3z5 - 25z3 + 60z - a = 0.
Будем считать, что в этом уравнении a является параметром, и для каждого комплексного значения a будем искать все комплексные корни z(a) этого уравнения. Мы уже знаем, что уравнение (3) (как и каждое уравнение 5-й степени) имеет пять корней, некоторые из которых могут совпадать.
Несложно убедиться, что повторяющиеся корни уравнения (3) могут быть лишь для a = ? 38 и a = ? 16, при остальных значениях a функция z(a) принимает пять различных значений. Таким образом, группа подстановок значений z(a) является подгруппой группы S5 . На самом деле оказывается, она совпадает со всей группой S5 !
Итак, группа Галуа для функции z(a), соответствующей уравнению (3), - это группа S5 всех подстановок 5-й степени, которая неразрешима. Таким образом, функция z(a) не выражается в радикалах, поскольку в противном случае соответствующая ей группа Галуа должна быть разрешимой.
Далее, рассматривая уравнение
(3z5 - 25z3 + 60z - a)zn - 5 = 0, n > 5,
и замечая, что группа Галуа для функции z1(a), соответствующей левой части уравнения (4), совпадает с группой Галуа, соответствующей функции z(a), выражающей корни уравнения (3) через параметр a, то есть с группой S5 всех перестановок 5-й степени, которая неразрешима, делаем также заключение, что функция z1(a) не выражается в радикалах.
Отсюда следует
Теорема Абеля. При n $ 5 общее алгебраическое уравнение степени n
b0z n + b1z n - 1 + _ + bn - 1z + bn = 0, b0 ? 0,
с комплексными коэффициентами, неразрешимо в радикалах, то есть не существует формулы, выражающей корни этого уравнения через коэффициенты с помощью операций сложения, вычитания, умножения, деления, возведения в натуральную степень и извлечения корней натуральной степени.
В самом деле, если бы такая формула существовала, то, подставив в нее коэффициенты уравнения (3) для n = 5 или коэффициенты уравнения (4) для n > 5, мы получили бы, что в первом случае функция z(a), а во втором случае функция z1(a) выражались бы в радикалах, что, как мы выяснили выше, невозможно.
Тем читателям, которые заинтересовались материалом, изложенным в данной статье, рекомендуем продолжить знакомство с этой тематикой по книгам [1-3].
РЕКОМЕНДУЕМАЯ ЛИТЕРАТУРА
1. Алексеев В.Б. Теорема Абеля в задачах и решениях. М.: Наука, 1976. 208 с.
2. Постников М.М. Теория Галуа. М.: Физматгиз, 1963. 124 с.
3. Чеботарев Н.Г. Основы теории Галуа. М.: ОНТИ-ГТТИ, 1934. 221 с.
Рецензент статьи И.Б. Симоненко
* * *
Виктор Григорьевич Звягин, доктор физико-математических наук, профессор, зав. кафедрой алгебры и топологических методов анализа Воронежского государственного университета. Область научных интересов - нелинейный функциональный анализ, топологические и алгебраические методы анализа и их приложения к нелинейным проблемам уравнений в частных производных. Автор более 100 научных статей в отечественных и зарубежных журналах.
