Простая одержимость. Бернхард Риман и величайшая нерешенная проблема в математике - Джон Дербишир

Рисунок 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}