Целые числа и рациональные числа, или дроби, содержат бесконечное число элементов, и можно было бы предположить, что чем больше группа, тем больший интерес она вызывает к себе в математике. Но Галуа придерживался философии «чем меньше, тем лучше» и показал, что небольшие тщательно построенные группы могут обладать весьма богатым набором свойств. Вместо того, чтобы воспользоваться бесконечными группами, Галуа начал с конкретного уравнения и построил свою группу из нескольких решений этого уравнения. Именно группы, образованные из решений уравнений пятой степени, позволили Галуа получить результаты об этих уравнениях. Через полтора столетия Уайлс воспользовался теорией Галуа как одной из основ для своего доказательства гипотезы Таниямы-Шимуры.
Чтобы доказать гипотезу Таниямы-Шимуры, математикам было необходимо показать, что каждое из бесконечного множества эллиптических уравнений может быть поставлено в соответствие с какой-то модулярной формой. Первоначально математики пытались показать, что целая молекула ДНК одного эллиптического уравнения (
Уайлс избрал совершенно другой подход к этой проблеме. Вместо того, чтобы пытаться установить соответствие между всеми элементами
При традиционном подходе мы получили бы бесконечную задачу, состоявшую в том, что даже если бы удалось доказать соответствие между всеми членами каких-то конкретных
Решающее значение имело то обстоятельство, что в методе Уайлса члены в
Именно такой естественный порядок был необходим Уайлсу, чтобы создать доказательство по индукции. Прежде всего Уайлсу было необходимо доказать, что первый элемент
Первый шаг в осуществлении этой программы был сделан, когда Уайлс понял всю мощь групп Галуа. Чтобы создать такую группу, можно было воспользоваться несколькими решениями уравнения, соответствующего эллиптической кривой. После анализа, на который ушло несколько месяцев, Уайлс доказал, что группы Галуа позволяют прийти к одному несомненному заключению: первый член любого
На преодоление первого этапа, Уайлсу понадобилось два года, и у него не было ни малейшего понятия о том, сколько времени потребуется, чтобы продолжить доказательство. Уайлс хорошо сознавал, какую проблему ему предстоит решить: «Вы можете спросить, как я мог неограниченно тратить время на проблему, которая могла просто оказаться неразрешимой. Ответ заключается в том, что мне очень нравилось работать над ней, я был очень увлечен. Мне нравилось испытывать свой разум. Кроме того, я знал, что та математика, с помощью которой я намеревался атаковать гипотезу Таниямы-Шимуры, позволит получить какой-нибудь интересный результат, даже если ее окажется недостаточно для доказательства гипотезы Таниямы-Шимуры. Я не собирался заниматься безнадежным делом, у меня на вооружении была заведомо превосходная математика. Разумеется, существовала ненулевая вероятность того, что я так и не сумею найти доказательство Великой теоремы Ферма, но я никогда не думал, что напрасно трачу время».