Jump to content

Символ Кронекера

В теории чисел символ Кронекера , записываемый как или , является обобщением символа Якоби на все целые числа . Его ввёл Леопольд Кронекер ( 1885 , стр. 770).

Определение [ править ]

Позволять быть ненулевым целым числом с простой факторизацией

где является единицей (т.е. ), и являются простыми числами . Позволять быть целым числом. Символ Кронекера определяется

Для нечетных , число это просто обычный символ Лежандра . Это оставляет случай, когда . Мы определяем к

Поскольку он расширяет символ Якоби, величина это просто когда . Когда , мы определяем это как

Наконец, мы положили

Этих расширений достаточно, чтобы определить символ Кронекера для всех целочисленных значений. .

Некоторые авторы определяют символ Кронекера только для более ограниченных значений; например, соответствующий и .

Таблица значений [ править ]

Ниже представлена ​​таблица значений символа Кронекера. при 1 ≤ n , k ≤ 30.

к
н
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
2 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0
3 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0
4 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
5 1 −1 −1 1 0 1 −1 −1 1 0 1 −1 −1 1 0 1 −1 −1 1 0 1 −1 −1 1 0 1 −1 −1 1 0
6 1 0 0 0 1 0 1 0 0 0 1 0 −1 0 0 0 −1 0 −1 0 0 0 −1 0 1 0 0 0 1 0
7 1 1 −1 1 −1 −1 0 1 1 −1 1 −1 −1 0 1 1 −1 1 −1 −1 0 1 1 −1 1 −1 −1 0 1 1
8 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0 1 0 1 0 −1 0 −1 0
9 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0 1 1 0
10 1 0 1 0 0 0 −1 0 1 0 −1 0 1 0 0 0 −1 0 −1 0 −1 0 −1 0 0 0 1 0 −1 0
11 1 −1 1 1 1 −1 −1 −1 1 −1 0 1 −1 1 1 1 −1 −1 −1 1 −1 0 1 −1 1 1 1 −1 −1 −1
12 1 0 0 0 −1 0 1 0 0 0 −1 0 1 0 0 0 −1 0 1 0 0 0 −1 0 1 0 0 0 −1 0
13 1 −1 1 1 −1 −1 −1 −1 1 1 −1 1 0 1 −1 1 1 −1 −1 −1 −1 1 1 −1 1 0 1 −1 1 1
14 1 0 1 0 1 0 0 0 1 0 −1 0 1 0 1 0 −1 0 1 0 0 0 1 0 1 0 1 0 −1 0
15 1 1 0 1 0 0 −1 1 0 0 −1 0 −1 −1 0 1 1 0 1 0 0 −1 1 0 0 −1 0 −1 −1 0
16 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0
17 1 1 −1 1 −1 −1 −1 1 1 −1 −1 −1 1 −1 1 1 0 1 1 −1 1 −1 −1 −1 1 1 −1 −1 −1 1
18 1 0 0 0 −1 0 1 0 0 0 −1 0 −1 0 0 0 1 0 −1 0 0 0 1 0 1 0 0 0 −1 0
19 1 −1 −1 1 1 1 1 −1 1 −1 1 −1 −1 −1 −1 1 1 −1 0 1 −1 −1 1 1 1 1 −1 1 −1 1
20 1 0 −1 0 0 0 −1 0 1 0 1 0 −1 0 0 0 −1 0 1 0 1 0 −1 0 0 0 −1 0 1 0
21 1 −1 0 1 1 0 0 −1 0 −1 −1 0 −1 0 0 1 1 0 −1 1 0 1 −1 0 1 1 0 0 −1 0
22 1 0 −1 0 −1 0 −1 0 1 0 0 0 1 0 1 0 −1 0 1 0 1 0 1 0 1 0 −1 0 1 0
23 1 1 1 1 −1 1 −1 1 1 −1 −1 1 1 −1 −1 1 −1 1 −1 −1 −1 −1 0 1 1 1 1 −1 1 −1
24 1 0 0 0 1 0 1 0 0 0 1 0 −1 0 0 0 −1 0 −1 0 0 0 −1 0 1 0 0 0 1 0
25 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0 1 1 1 1 0
26 1 0 −1 0 1 0 −1 0 1 0 1 0 0 0 −1 0 1 0 1 0 1 0 1 0 1 0 −1 0 −1 0
27 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0 1 −1 0
28 1 0 −1 0 −1 0 0 0 1 0 1 0 −1 0 1 0 −1 0 −1 0 0 0 1 0 1 0 −1 0 1 0
29 1 −1 −1 1 1 1 1 −1 1 −1 −1 −1 1 −1 −1 1 −1 −1 −1 1 −1 1 1 1 1 −1 −1 1 0 1
30 1 0 0 0 0 0 −1 0 0 0 1 0 1 0 0 0 1 0 −1 0 0 0 1 0 0 0 0 0 1 0

Свойства [ править ]

Символ Кронекера разделяет многие основные свойства символа Якоби с некоторыми ограничениями:

  • если , в противном случае .
  • пока не , один из равен нулю, а другой отрицателен.
  • пока не , один из равен нулю, а другой имеет нечетную часть ( определение ниже ), соответствующую .
  • Для , у нас есть в любое время Если дополнительно имеют одинаковый знак, то же самое справедливо и для .
  • Для , , у нас есть в любое время

С другой стороны, символ Кронекера не имеет такой же связи с квадратичными вычетами, как символ Якоби. В частности, символ Кронекера для может принимать значения независимо от того, является квадратичным вычетом или невычетом по модулю .

Квадратичная взаимность [ править ]

Символ Кронекера также удовлетворяет следующим версиям квадратичного закона взаимности .

Для любого ненулевого целого числа , позволять обозначим его нечетную часть : где странно (для , мы ставим ). Тогда для любой пары целых чисел справедлива следующая симметричная версия квадратичной взаимности: такой, что :

где знак равен если или и равен если и .

Существует также эквивалентная несимметричная версия квадратичной взаимности, которая справедлива для каждой пары относительно простых целых чисел. :

Для любого целого числа позволять . Тогда у нас есть другая эквивалентная несимметричная версия, которая гласит:

для каждой пары целых чисел (не обязательно относительно простое).

Дополнительные законы также обобщают символ Кронекера. Эти законы легко следуют из каждой версии квадратичного закона взаимности, изложенной выше (в отличие от символа Лежандра и Якоби, где для полного описания квадратичной взаимности необходимы как основной закон, так и дополнительные законы).

Для любого целого числа у нас есть

и для любого нечетного целого числа его

Связь Дирихле персонажами с

Если и , карта является реальным характером Дирихле модуля И наоборот, каждый реальный персонаж Дирихле может быть записан в этой форме с помощью (для его ).

В частности, примитивные реальные персонажи Дирихле. находятся в соответствии 1–1 с квадратичными полями , где является ненулевым целым числом без квадратов (мы можем включить случай для представления главного символа, даже если это не квадратичное поле). Персонаж может быть восстановлен с поля как символ Артина : то есть для положительного простого числа , значение зависит от поведения идеала в кольце целых чисел :

Затем соответствует символу Кронекера , где

является дискриминантом . Дирижер является .

Аналогично, если , карта является реальным характером Дирихле модуля Однако не все реальные персонажи могут быть представлены таким образом, например персонаж нельзя записать как для любого . По закону квадратичной взаимности имеем . Персонаж может быть представлено как тогда и только тогда, когда его нечетная часть , и в этом случае мы можем взять .

См. также [ править ]

Ссылки [ править ]

  • Кронекер, Л. (1885), «К теории эллиптических функций» , труды Королевской прусской академии наук в Берлине : 761–784.
  • Монтгомери, Хью Л .; Воган, Роберт С. (2007). Мультипликативная теория чисел. I. Классическая теория . Кембриджские исследования по высшей математике. Том. 97. Издательство Кембриджского университета . ISBN  978-0-521-84903-6 . Збл   1142.11001 .

В эту статью включен материал из символа Кронекера на сайте PlanetMath , который распространяется по лицензии Creative Commons Attribution/Share-Alike License .

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: a83cb46bb76d0d6fa6a5bff6eb21a223__1707123600
URL1:https://arc.ask3.ru/arc/aa/a8/23/a83cb46bb76d0d6fa6a5bff6eb21a223.html
Заголовок, (Title) документа по адресу, URL1:
Kronecker symbol - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)