Взаимности Законы

ряд утверждений, касающихся связи между символами степенных или нор-менных вычетов. Простейшим проявлением В. З. Является следующий факт, известный еще П. Ферма (P. Fermat). Простыми делителями чисел могут быть лишь число 2 и простые числа, лежащие в арифметич. Прогрессии Х Другимц словами, сравнение по простому модулю разрешимо в том и только в том случае, когда (mod 4). С помощью символа квадратичного вычета ( Лежандра символа).последнее утверждение может быть выражено следующим образом. В более общем случае вопрос о разрешимости сравнения решается с помощью Гаусса закона взаимности. где ри q- различные нечетные простые числа, а также двух дополнений к этому закону Из этих соотношений для символов Лежандра следует, что простые числа р, для к-рых сравнение (*) при фиксированном аразрешимо, укладываются ровно в половину приведенных классов вычетов по модулю .

К. Гаусс (С. Gauss) справедливо придавал большое значение указанному В. З. И дал несколько его доказательств, основанных на совершенно различных идеях [1]. Из закона взаимности Гаусса и его дальнейшего обобщения - В. З. Для Якоби символа- следует, в частности, что тип разложения простого числа р в квадратичном расширении поля рациональных чисел определяется вычетом рпо модулю . Закон взаимности Гаусса обобщается на сравнения вида Однако при этом происходит переход от арифметики целых рациональных чисел к арифметике целых чисел расширения Кконечной степени тполя рациональных чисел. Кроме того, для обобщения В. З. На вычеты n-й степени нужно предполагать, что рассматриваемое расширение содержит примитивный корень степени пиз 1.

При таком предположении для простых дивизоров поля К, не делящих п, имеет место сравнение где - норма дивизора , равная числу классов вычетов максимального порядка этого поля по модулю Аналог символа Лежандра определяется при помощи сравнения Символ степенного вычета для пары целых чисел а и 6, аналогичный символу Якоби, определяется по формуле если - разложение главного дивизора (b).на простые сомножители и если 6 взаимно просто с an. В. З. Для n=4 в поле был установлен К. Гауссом [2], для n=3 в поле - Г. Эйзенштейном [3]. Общий В. З. Для символа степенного вычета в поле простой степени пбыл установлен Э. Кумме-ром [4]. Формула Куммера для регулярного простого числа пимеет вид где - целые числа поля и - многочлен степени п-1 такой, что Следующий этап в изучении общих В.

З. Связан с работами Д. Гильберта [5], [6], выяснившего их локальный аспект. Д. Гильберт для нек-рых случаев установил В. З. В виде формулы произведения для его символа норменного вычета Он подметил также аналогию этой формулы с теоремой о вычетах алгебраич. Функций - простые точки с символом норменного вычета соответствуют точкам ветвления на римановой поверхности. Дальнейший прогресс в изучении В. З. Связан с именами Ф. Фуртвенглера [7], Т. Такаги [8], Э. Артина [9], X. Хассе [10]. Наиболее общая форма В. З. Была получена И. Р. Шафаревичем [11]. Как и закон взаимности Гаусса, общие В. З. Тесно связаны с задачей изучения законов разложения простых дивизоров заданного поля алгебраич. Чисел kв его алгебраич. Расширениях K/k с абелевой Галуа группой.

В частности, теория полей классов, решающая эту задачу, может быть обоснована (см. [12]), исходя из закона взаимности Шафаревича. Лит.:[1] Gauss С. P., Werke, Bd 1 -Disquisitiones arithmeticae, Gott., 1870. [2] его же, Theoria residuorum biquadraticorum. Commentatio prima et secunda, в кн. Werke, Bd 2, Gott., 1863, S. 65, 93. [3] Eisenstein G., "J. Math.", 1844, Bd 27. [4] Rummer E., "Ber. K. Akad. Wiss. Berlin", 1850. [5] Hilbert D., "Jahresber. Dtsch. Math.- Ver.", 1897, Bd 4, S. 175-546. [6] его же, там же, 1899, Bd 6, №1, S. 88-94. [7] Furtwangler Ph., "Math. Ann.", 1909, Bd 67, S. 1-31. 1912, Bd 72, S. 346-86. 1913, Bd 74, S. 413-29. [8] Takagi Т., "J. Colloid Science", 1920, v. 41, t. 9. [9] A r t i n E., "Abh. Math. Semin. Hamburg Univ.", 1928, Bd 5. [10] Hasse H., "Math.

Ann.", 1933, Bd 107, № 5, S. 731-60. [11] Шафаревич И. Р., "Успехи матем. Наук", 1948, т. 3, в. 3 (25), с. 165. [12] Лапин А. И., "Изв. АН СССР. Сер. Матем.", 1954, т. 18, № 4, с. 335-78. [13] Алгебраическая теория чисел, пер. С англ., М., 1969. [14] Фаддеев Д. К., в кн. Проблемы Гильберта, М., 1969, с. 131-40. С. А. Степанов.