Читать книгу - "Истина и красота. Всемирная история симметрии - Йен Стюарт"

Галуа понял, что некое очень простое и очевидное свойство этой таблицы оказывается исключительно важным. Произведение любых двух перестановок само является перестановкой; во всей таблице содержатся только символы I, U, V, P, Q, R. Некоторые меньшие наборы, состоящие из перестановок, обладают тем же «групповым свойством» — произведение любых двух перестановок из набора также представляет собой перестановку из этого набора. Галуа назвал такой набор перестановок группой.

Например, набор [I, U, V] дает меньшую таблицу — таблицу умножения для подгруппы из трех перестановок.

Здесь возникают только те же три символа. В такой ситуации, когда одна группа является частью другой, она называется подгруппой.

Другие подгруппы — а именно [I, P], [I, Q] и [I, R] — содержат только по две перестановки. Имеется также подгруппа [I], состоящая только из I. Можно доказать, что эти шесть подгрупп исчерпывают список подгрупп в группе всех перестановок на шести символах.

Итак, говорит нам (хотя и на несколько ином языке) Галуа, если взять некоторое кубическое уравнение, можно задаться вопросом о его симметриях — тех перестановках, которые сохраняют все алгебраические соотношения между корнями. Предположим, например, что между корнями a и b имеется алгебраическое соотношение a + b² = 5. Является ли перестановка R симметрией? Ну, если следовать данному выше определению, то R оставляет a на месте, но меняет местами b и c, так что должно быть выполнено еще и условие a + c² = 5. Если оно не выполняется, то R определенно не является симметрией. Если же выполняется, то надо проверить все остальные алгебраические соотношения между корнями, которые могут иметь место, и если R пройдет все эти проверки, то, значит, R — симметрия.

Нахождение того, какие именно перестановки являются симметриями данного уравнения, представляет собой технически сложное упражнение. Но есть что-то, в чем можно быть уверенным вообще без всяких вычислений: набор всех симметрий любого заданного уравнения должен быть подгруппой в группе всех перестановок корней.

Почему? Предположим, например, что и P, и R сохраняют все алгебраические соотношения между корнями. Если взять некоторое соотношение и применить R, то получится верное соотношение. Если далее применить P, то снова получится верное соотношение. Но применение R, а затем P — это то же самое, что применение PR. Следовательно, PR является симметрией. Другими словами, набор симметрий обладает групповым свойством.

Этот простой факт лежит в основе всего сделанного Галуа. Он говорит нам, что с любым алгебраическим уравнением связана некая группа — его группа симметрии; сейчас она называется группой Галуа в честь своего изобретателя. Причем группа Галуа любого уравнения всегда является подгруппой в группе всех перестановок его корней.

Из этого ключевого усмотрения вырастает естественная стратегия атаки. Узнаем, какие подгруппы возникают в каких обстоятельствах. В частности, если уравнение можно решить в радикалах, то группа Галуа этого уравнения должна отражать этот факт в своей внутренней структуре. Далее, задавшись любым уравнением, находим его группу Галуа и проверяем, действительно ли она обладает требуемой структурой. Таким образом мы получаем ответ на вопрос о разрешимости в радикалах.

А далее Галуа переформулировал всю задачу с совершенно иной точки зрения. Вместо построения башни с лестницами он вырастил некое дерево.

Не то чтобы он сам называл свой метод «деревом» — так же как не упоминал Абель о «башне» Кардано, однако идею Галуа можно, тем не менее, изобразить как процесс, который снова и снова ответвляется от центрального ствола. Ствол — это группа Галуа данного уравнения. Ветви, веточки и листья — различные подгруппы.

Подгруппы возникают естественным образом, как только мы задумаемся о том, как изменяются симметрии уравнений, когда мы начинаем брать радикалы. Как изменяется группа? Галуа показал, что если извлекается корень p-й степени, то группа симметрии должна разбиться на p различных блоков одинакового размера. (Здесь, как заметил Абель, всегда можно предполагать, что число p простое.) Так, например, некая группа из 15 перестановок может разбиться на 5 групп из 3 элементов каждая или на три группы из 5 каждая. Существенно важно, что блоки должны удовлетворять некоторым очень строгим условиям; в частности, один из них должен сам по себе образовывать подгруппу некоторого специального вида, известного под именем «нормальной подгруппы индекса p». Можно представлять себе, что ствол дерева разбился на p меньших веток, одна из которых соответствует нормальной подгруппе.

Нормальные подгруппы в группе всех шести перестановок на трех символах таковы: вся группа [I, U, V, P, Q, R], подгруппа [I, U, V] (таблицы умножения которых мы только что видели) и подгруппа из одной-единственной перестановки, т.е. [I]. Три другие подгруппы, содержащие каждая по две перестановки, не являются нормальными.

Пусть, например, мы желаем решить общее уравнение пятой степени. Имеется пять корней, так что наши перестановки будут перестановками на пяти символах. Таких перестановок ровно 120. Коэффициенты уравнения, будучи полностью симметричными, обладают группой, состоящей из всех 120 перестановок. Эту группу мы будем представлять себе как ствол дерева. Каждый отдельный корень обладает группой, которая содержит лишь одну перестановку — тривиальную. Так что у дерева 120 листьев. Наша цель состоит в том, чтобы соединить ствол с листьями, добавляя ветви и веточки, структура которых отражала бы свойства симметрии различных величин, возникающих, если начать возиться с формулой для корней, которые, по нашему предположению, выражаются в радикалах.

Пусть для удобства рассуждений первый шаг в формуле состоит в извлечении корня пятой степени. Тогда группа из 120 перестановок должна разбиться на 5 кусков, в каждом из которых содержится по 24 перестановки. Так что у дерева вырастут пять ветвей. Технически это ветвление должно соответствовать нормальной подгруппе индекса 5.