Сам того не понимая, Абель заполнил пробел в доказательстве Руффини. Он показал, что если уравнение может быть решено с помощью радикалов, то должна существовать башня радикалов, приводящая к этому решению, обязательно содержащая только коэффициенты исходного уравнения. Это теорема Абеля о решении алгебраических уравнений; она содержит утверждение, что нельзя решить уравнение за счет включения множества новых величин, не связанных с исходными коэффициентами. Вроде бы очевидно, но Абель понимал, что это решающий момент для всего доказательства.
Ключом к абелеву доказательству невозможности стал искусный предварительный результат. Предположим, мы взяли некоторое выражение от корней
и
Затем Абель показал, что
Первый этаж башни – безобидное выражение с коэффициентами – не меняется, когда мы применяем перестановки
Но последний этаж содержит некое решение. Может ли им быть
Из этой логической ловушки нет выхода. Уравнения пятой степени не имеют решения, потому что любое решение в радикалах должно обладать взаимоисключающими свойствами, а значит, не может существовать.
Галуа
Эстафету в разгадке не только тайны решения уравнения пятой степени, но и алгебраических уравнений в целом принял Эварист Галуа, одна из самых трагических фигур в истории математики. Галуа сам перед собой поставил задачу определить, какие уравнения могут быть решены в радикалах, а какие нет. Как и многие его предшественники, он понимал, что ключ к алгебраическому решению кроется в поведении корней в результате перестановок. Проблема заключалась в симметрии.
Руффини и Абель понимали, что выражение корней может быть как симметричным, так и нет. Оно может оказаться частично симметричным: неизменным при одних перестановках и изменяемым при других.
Галуа заметил, что перестановки, фиксирующие некоторые выражения с корнями, не обязательно формируют такие соотношения для любого их старого набора. Они имеют простую и очень характерную особенность. Если вы берете любые две перестановки, фиксирующие выражение, и перемножаете их, результат