В 1847 г. Габриель Ламе заявил, что нашел доказательство для любой степени, но Эрнст Эдуард Куммер указал на допущенную им ошибку. Ламе без доказательств принял утверждение, что единственность разложения числа на простые множители справедлива для алгебраических чисел, но это неверно для некоторых (скорее, для большинства) полей алгебраических чисел. Куммер показал, что единственность не соблюдается для поля, полученного в исследовании Великой теоремы Ферма для 23-й степени. Однако это не обескуражило Куммера, и он нашел способ обойти возражение, изобретя новый математический аппарат – теорию идеальных чисел. В 1847 г. он доказал теорему Ферма для всех подряд степеней вплоть до 100, за исключением 37, 59 и 67. Развивая свое изобретение, ученый сумел справиться и с этими случаями в 1857 г. К 1980-м гг. эти методы позволили найти доказательства для всех случаев до 150 000-й степени, но их возможности к этому моменту оказались практически исчерпаны.
Кольца, поля и алгебры
Определение Куммера для идеального числа было громоздким, и Дедекинд заново сформулировал его в терминах идеалов – специальных подсистем целых алгебраических чисел. Благодаря школе Давида Гильберта в Гёттингене, в частности Эмми Нётер, эта отрасль науки получила солидный фундамент в виде аксиом. В их списке, кроме групп, были определены три другие алгебраические системы: кольца, поля и алгебры.
В кольце определены такие действия, как сложение, вычитание и умножение, причем они удовлетворяют всем обычным законам алгебры, за исключением коммутативного для умножения. Если же в системе выполняется и он, значит, мы имеем дело с коммутативным кольцом.
ЭММИ АМАЛИЯ НЁТЕР 1882–1935
Эмми Нётер появилась на свет в еврейской семье математика Макса Нётера и Иды Кауфманн. В 1900 г. она получила право преподавать языки, но решила связать свое будущее с математикой. К тому времени в немецких университетах уже позволяли женщинам обучаться на неофициальной основе с позволения их профессора, чем Нётер и пользовалась с 1900 по 1902 г. в Университете Эрлангена. Затем она перебралась в Гёттинген, чтобы прослушать курсы лекций Гильберта, Клейна, Минковского в 1903 и 1904 гг.
Она написала докторскую диссертацию под руководством Пауля Гордана в 1907 г. Диссертация была посвящена вычислениям очень сложной системы инвариантов. Для мужчины следующим шагом стало бы получение степени хабилитированного доктора, но это было невозможно для женщины. Она оставалась дома в Эрлангене, ухаживая за больным отцом, однако продолжала свои исследования и быстро заслужила репутацию серьезного ученого.
В 1915 г. ее снова пригласили в Гёттинген Клейн и Гильберт, приложившие все силы, чтобы получить для нее разрешение работать на факультете. Им удалось добиться своего в 1919 г. Вскоре после своего прибытия она доказала фундаментальную теорему, известную как теорема Нётер, о связывающей симметрии физической системы с законом сохранения. Ряд ее работ Эйнштейн использовал для формулировки некоторых частей своей общей теории относительности. В 1921 г. она написала статью по теории колец и идеалов, изложив ее с точки зрения абстрактной аксиоматики. Ее работа заметно повлияла на классический труд Бартеля Леендерта ван дер Вардена «Современная алгебра». Когда Германия оказалась под властью нацистов, Нётер уволили из-за еврейского происхождения, и она эмигрировала в США. Ван дер Варден говорил, что для нее взаимоотношения между числами, функциями и преобразованиями абсолютно прозрачны и легко поддаются обобщению и обработке, подчиняясь общей концепции.
Для поля определены такие действия, как сложение, вычитание, умножение и деление, и они удовлетворяют всем обычным законам алгебры, в том числе и коммутативному для умножения. Если последний не работает, мы имеем дело с алгебраическим телом.
Любая алгебра подобна кольцу, но число ее элементов можно также умножить на различные константы, действительные, комплексные числа или – в самом общем случае – на поле. Законы сложения самые обычные, а умножение должно удовлетворять набору разных аксиом. Если при этом выполняется ассоциативность, мы имеем дело с ассоциативной алгеброй. Если они удовлетворяют законам, связанным с коммутатором xy – yx, то это будет алгебра Ли.
Существуют десятки, если не сотни, различных типов алгебраических структур, каждая со своим списком аксиом. Некоторые были созданы только для изучения последствий отдельных интересных аксиом, но большинство обязаны своим появлением необходимости решить какую-то определенную проблему.
Простые конечные группы
Высшим достижением исследований XX в., посвященных конечным группам, стала успешная классификация самых простых из них. Это открытие Киллинг совершил, работая с группами и алгебрами Ли. Это буквально привело к полному описанию всех возможных базовых элементарных кирпичиков для конечных групп, а именно простых групп. Если под группой подразумеваются молекулы какого-то вещества, простыми группами будут образующие их атомы.
Эндрю Уайлс родился в Кембридже в 1953 г. В возрасте десяти лет он прочел о Великой теореме Ферма. Тогда он решил стать математиком и доказать ее. К тому времени, как ученый получил докторскую степень, он практически отказался от этой идеи, поскольку теорема казалась неразрешимой. Уайлс предпочел заняться теорией чисел эллиптических кривых – вроде бы совершенно другой областью математики. Он переехал в США и стал профессором в Принстоне.
К 1980-м гг. уже стало ясно, что между Великой теоремой Ферма и глубокими и трудными вопросами по эллиптическим кривым есть неожиданная связь. Герхард Фрай сделал ее явной с помощью так называемой гипотезы Таниямы – Симуры. Когда Уайлс узнал об идее Фрая, он прекратил все другие исследования, чтобы полностью сосредоточиться на Великой теореме Ферма. После семи лет исследований он убедил себя, что нашел доказательство, основанное на особом случае гипотезы Таниямы – Симуры. Как выяснилось, в этом доказательстве была серьезная дыра, но Уайлсу с Ричардом Тейлором удалось ее закрыть: полное доказательство было опубликовано в 1995 г.
Другие математики вскоре расширили доказательство гипотезы Таниямы – Симуры, продолжая развивать новый метод. За свою работу Уайлс удостоился больших почестей, в том числе премии Вольфа. В 1998 г., уже не подходя по возрасту для конкурса на Филдсовскую премию и медаль, по традиции присуждаемые ученым до 40 лет, он был награжден специальной серебряной тарелкой от Международного математического союза. В 2000 г. он был посвящен в рыцари-командоры ордена Британской империи.