*
Г. Гутфройнд, У. Литтл
Physics Department, Stanford University, Stanford, Calif. 94305.
В теории чисел немаловажное значение имеют простые числа, которые образуют базис, или представление, всех составных чисел. Здесь мы покажем, что существует связь между разложением целых чисел на простые множители и свойствами симметрии спиновых конфигураций в модели Изинга. Это позволит нам предложить «физическую» интерпретацию простых чисел, которую, как мы надеемся, по достоинству оценят физики, широко использующие соображения симметрии.
Так называемая малая 1 теорема Ферма – одна из наиболее известных теорем о делимости в элементарной теории чисел, сыгравшая важную роль в развитии последней. Формулируется малая теорема Ферма следующим образом: для любого числа p и положительного целого числа a, не кратного p,
ap-1 ≡ 1 (mod p),
т.е. ap-1 – 1 делится на p без остатка. Доказательство этой теоремы, приводимое обычно в учебниках по теории чисел, основано на арифметике вычетов [1]. Мы приведём доказательство малой теоремы Ферма, основанное на свойстве симметрии спиновых конфигураций в одномерной модели Изинга. Для ясности разобьём доказательство на три этапа.
Во-первых, докажем, что если p – любое простое число, то 2p – 2 делится на p без остатка. Для этого рассмотрим окружность с p узлами и каждому узлу i припишем какое-то значение спиновой переменной Изинга si = ±1. В пространстве 2p возможных конфигураций α = (s1, s2, …, sp) зададим оператор сдвига T. Действие его на данную конфигурацию сводится к сдвигу всех спиновых переменных на один узел, скажем, по часовой стрелке. Разобьём все конфигурации на классы следующим образом: две конфигурации α и β считаются принадлежащими одному и тому же классу, если при некотором целом n выполняется равенство β = T nα. Конфигурация, в которой все спины обращены «вверх» (или все спины обращены «вниз»), сама по себе образует класс. Очевидно также, что для любой конфигурации α справедливо равенство α = T pα, поскольку T p соответствует полному повороту. Мы утверждаем, что если p – простое число, то при любой спиновой конфигурации α (отличной от двух тривиальных конфигураций, в которых все спины направлены в одну сторону)
α ≠ T nα при np.
Установив это, мы можем утверждать, что каждая конфигурация принадлежит какому-то классу, содержащему p различных элементов. Следовательно, число всех конфигураций за вычетом двух тривиальных конфигураций делится на p без остатка. Ясно, что равенство α = T nα может выполняться только в том случае, когда конфигурация содержит целое число повторяющихся подпериодов длиной n. При np отсюда следовало бы, что n – делитель числа p. Поскольку p – простое число, такое возможно только в том случае, когда n=1; это даёт две тривиальные конфигурации.
То, что число p является простым, означает, что в рассматриваемом нами случае ни одна (нетривиальная) конфигурация не имеет более высокую симметрию, чем полный поворот. Иными словами, абелева группа поворотов на угол 2π/p не имеет подгрупп.
Во-вторых, заметим, что число 2p – 2, которое делится на p без остатка, должно делиться и на 2p, так как число 2p – 2 чётно, а p, как простое число, нечётно. Таким образом, 2p-1 – 1 делится на p без остатка. Используя спиновые конфигурации в модели Изинга, мы можем получить этот результат непосредственно. Определим оператор инверсии I, который, действуя на данную конфигурацию, приводит к обращению знаков всех спиновых переменных. Разобьём, как и прежде, конфигурации на классы: две конфигурации α, β будем считать принадлежащими одному и тому же классу, если β = (TI)nα при некотором целом n. При любой конфигурации α справедливо равенство α = (TI)2pα, поскольку p, будучи простым числом, должно быть нечётным, и, следовательно, один поворот содержит нечётное число инверсий. Конфигурация переходит в самоё себя лишь после двукратного поворота. Как и прежде, мы заключаем, что каждая конфигурация (за исключением двух тривиальных, образующих класс из двух элементов) принадлежит какому-то классу из 2p различных элементов.
Наконец, обобщим соображения, приведённые выше для a = 2, на случай произвольного a, чтобы получить малую теорему Ферма в её обычной форме. Для этого рассмотрим спин j, причём 2j+1=a и каждая спиновая переменная Изинга si, совпадает с одной из 2j+1 возможных проекций спина (-j, -j+1, …, j). Всего существует ap конфигураций, из которых необходимо вычесть a трансляционно-инвариантных конфигураций. Из приведённых выше соображений следует, что для любого a разность ap – a делится на p без остатка. Чтобы обобщить второй этап доказательства, введём оператор инверсии I, действие которого на данную конфигурацию увеличивает переменные si на единицу, за исключением того случая, когда si = j (в этом случае si под действием оператора I переходит в si = -j). Ясно, что для любой конфигурации α мы имеем a = (TI)apα. Если потребовать, чтобы a не было кратным p, то при любом n <>ap имеем α ≠ (TI)nα. В противном случае мы получили бы α = (TI)aα для любого α. Следовательно, если a не кратно p, то каждая конфигурация принадлежит какому-то классу из ap различных элементов, так что (ap – a)/ap и (ap-1 – 1)/p являются целыми числами. Тем самым малая теорема Ферма полностью доказана.
Заметим, что, потребовав, чтобы a не было кратным p, мы исключили возможность симметрии, более высокой, чем произведение полных поворотов положений узлов и спиновых переменных.
Ещё одно достоинство предложенного нами метода доказательства состоит в том, что он позволяет легко обобщить малую теорему Ферма на случай некоторых составных чисел. Например, если m – произведение двух различных простых чисел p1 и p2, то можно показать, что
(am-1 -1) – (ap1-1 -1) – (ap2-1 -1)
делится на m без остатка. Члены, вычитаемые из (am-1 -1), представляют собой число конфигураций, которые попадают в классы с циклической структурой, имеющие менее чем m элементов. Малая теорема Ферма допускает обобщение и на случай более сложных составных чисел. Рассмотрим, например, число m = p1a1p2a2… pnan, где pi – простые, а ai – целые числа. Пусть a не делится на m без остатка. Тогда можно показать, что на m делится без остатка следующее выражение:
(am-1 -1) –
∑
(am/pi -1 -1) +
∑
(am/pi pj -1 -1) – … + (-1)k(am/p1 p2 … pn -1 -1).
i
i,j
Примечания
H. Gutfreund, W.A. Little. “Physicist's proof of Fermat's theorem of primes”. – Amer. J. Phys., March 1982, p. 219-220. Перевод с английского Ю.А. Данилова.
1. Более известна другая (так называемая «великая» или «последняя») теорема Ферма, утверждающая, что ни при каких целых n ≥ 3 уравнение xn + yn = zn не имеет решений в целых числах x, y, z. Ей посвящена обширная литература, из которой назовём лишь издания: Хинчин А. Я. Великая теорема Ферма, изд. 2-е. – М.-Л.: Гостехтеоретиздат, 1932; Постников М. М. Теорема Ферма. – М.: Наука, 1978; Эдвардс Г. Последняя теорема Ферма. – М.: Мир, 1980. – Прим. перев.
Список литературы
1. Ogilvy С.S., AndersonJ.T. Excursions in Number Theory. – New York: Oxford University Press, 1966. [См. также: Виноградов И.М. Основы теории чисел. – М.: Наука, 1972; Оре О. Приглашение в теорию чисел. – М.: Наука, 1980. – Прим. перев.]
2. Golomb S.W.- Amer. Math. Monthly, 1956, v. 63, p. 718.
Для подготовки данной работы были использованы материалы с сайта http://ega-math.narod.ru/
Дата добавления: 14.12.2012