Простая одержимость

Конкретное кольцо, показанное на рисунке 17.1, имеет официальное обозначение Z/4Z. Должен сознаться, что мне такое обозначение никогда не нравилось, так что на правах автора я изобрету для него свое собственное обозначение: CLOCK₄.[158]^{4} Ясно, что можно построить такое кольцо для любого натурального числа N. В моих обозначениях оно будет называться CLOCK_N.

Но поле F_N можно построить не для любого числа N, а только для простых чисел и их степеней. Для простого числа p самого по себе поле F_p выглядит в точности как CLOCK_p — та же таблица сложения, та же таблица умножения. Однако для степени простого числа ситуация усложняется. На рисунке 17.2 показаны сложение и умножение (откуда, конечно, извлекаются вычитание и деление) в поле F₄. Видно, что F₄ отличается от CLOCK₄.

+	0	1	2	3		×	0	1	2	3
0	0	1	2	3		0	0	0	0	0
1	1	0	3	2		1	0	1	2	3
2	2	3	0	1		2	0	2	3	1
3	3	2	1	0		3	0	3	1	2

Рисунок 17.2. Сложение и умножение в конечном поле F₄.

Всякое поле, конечное или бесконечное, имеет важный параметр — число, называемое характеристикой. Характеристика поля говорит о том, сколько раз надо прибавить единицу к самой себе, чтобы получить нуль. Если 1 + 1 + 1 + … = 0 (где берется N слагаемых), то характеристика равна N. Понятно, что характеристика поля F₂ равна 2. Чуть менее очевидно, хотя и без труда проверяется с помощью таблицы сложения на рисунке 17.2, то, что характеристика поля F₄ тоже равна 2. Такие поля, как Q, R, С, в которых никакое прибавление единицы к самой себе какое угодно количество раз никогда не даст в результате нуль, по определению имеют характеристику «нуль». (Вы могли бы подумать, что более логичной будет характеристика «бесконечность», и вы, возможно, правы, но имеются веские причины и для того, чтобы объявить характеристику нулевой.) Можно проверить, что характеристика любого поля есть или нуль, или некоторое простое число.

Поскольку мы имеем дело с алгеброй, элементы полей не обязаны быть числами. Алгебра позволяет работать с математическими объектами любого типа. Рассмотрим все многочлены (полиномиальные функции) любой заданной степени, т.е. все выражения вида axⁿ + bxⁿ⁻¹ + cxⁿ⁻² + …, где a, b, c и т.д. — целые числа. Теперь образуем множество всех рациональных функций, другими словами, функций, являющихся отношением (ratio) двух многочленов. Получим поле. Приведем пример сложения в этом поле:

(Примерно этим и занимаются на уроках алгебры в старших классах.)

Коэффициенты многочленов не обязаны быть целыми. На самом деле можно позабавиться, сделав их элементами из конечного поля, такого как рассмотренное выше поле F₂. В качестве примера сложения, которое при этом получается, имеем

(При проверке этого равенства надо помнить, что в поле F₂ выполнено 1 + 1 = 0, а потому x + x = 0, x² − x² = 0 и т.д.) Это поле будет называться полем рациональных функций над F₂. В нем, разумеется, бесконечно много элементов; лишь коэффициенты ограничены своей принадлежностью к конечному полю. Таким образом, можно использовать конечное поле для построения бесконечного. Заметим еще, что, поскольку 1 + 1 = 0, это поле имеет характеристику 2. Следовательно, и бесконечные поля могут иметь конечную характеристику.

Не имеет особого смысла спрашивать, что собой представляет x в последних двух примерах. Это символ, для манипуляций с которым у нас имеются строго определенные правила. С алгебраической точки зрения главное в этом и состоит. На самом деле почти наверняка ответ на данный вопрос звучит как «x представляет собой число». Однако алгебраисты куда больше интересуются тем, какого типа это число — каким семействам, каким группам, каким полям оно принадлежит и какие правила манипуляций с ним выполнены. Для аналитика же наше число а + b√2 не слишком интересно. «Это просто вещественное число», — скажет аналитик. — «Ладно, алгебраическое число» (см. главу 11.ii), — если на него надавить. Но для алгебраиста, однако, оно представляет особый интерес постольку, поскольку относится к некоторому полю. Вообще алгебраисты и аналитики рассматривают не столько разные вещи, сколько аспекты одной и той же вещи.[159]^{A8}

III.

Краткий взгляд на размах, мощь и красоту теории алгебраических полей — это все, на что нам здесь хватает места, хотя мы и вернемся ненадолго к полям, рассмотрев их под другим углом зрения в главе 20.v. Я привел здесь этот краткий обзор алгебраических сведений, потому что в 1921 году Артин в своей диссертации, которую он защищал в Лейпцигском университете, применил теорию полей для развития нового подхода к Гипотезе Римана. Соответствующий математический аппарат достаточно серьезен, и я расскажу о нем лишь очень бегло.