Например, набор [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 каждая.