Регулярное простое число

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Регулярное простое число — в теории чисел, простое число р, для которого число классов идеалов кругового поля не делится на р. Все остальные простые нечетные числа называются иррегулярными.

Несколько первых регулярных простых чисел:

3, 5, 7, 11, 13, 17, 19, 23, 29, 31, 41, … последовательность A007703 в OEIS

Регулярные числа - это в точности куммеровы простые числа, однако доказывается это довольно сложно. Для проверки числа на куммеровость может быть использован т.н. критерий Куммера: p куммерово тогда и только тогда, когда числители всех чисел Бернулли B_2,B_4,...,B_{p-3}~ не делятся на p.

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

Регулярные числа ввел Куммер при попытке доказательства теоремы Ферма. Одна из полученных теорем, с учетом совпадения регулярности и куммеровости следующая:

Теорема. Если простое p регулярно, то для него уравнение x^p+y^p=z^p не имеет решений в натуральных числах.

Иррегулярное простое число[править | править исходный текст]

Простое число, не являющееся регулярным, называется Иррегулярным простым числом. Несколько первых иррегулярных простых чисел: 37, 59, 67, 101, 103, 131, 149, 157, 233, 257, 263, 271, 283, 293, 307, 311, 347, 353, 379, 389, 401, 409, 421, 433, 461, 463, 467, 491, 523, 541, 547, 557, 577, 587, 593, 607, 613, 617, 619, 631, 647, 653, 659, 673, 677, 683, 691, 727, 751, 757, 761, 773, 797, 809, 811, 821, 827, 839, 877, 881, 887, 929, 953, 971, 1061 … последовательность A000928 в OEIS

Иенсен доказал, что существует бесконечно много иррегулярных простых чисел.

Иррегулярные пары[править | править исходный текст]

Если p – иррегулярное простое число и p делит без остатка числитель числа Бернулли B2k для 0 < 2k < p −1, то (p, 2k) называется иррегулярной парой. Другими словами, иррегулярная пара – это способ записи для иррегулярного простого индекса чисел Бернулли, на которых регулярность нарушается. Первые несколько иррегулярных пар:

(691, 12), (3617, 16), (43867, 18), (283, 20), (617, 20), (131, 22), (593, 22), (103, 24), ... последовательность A189683 в OEIS.

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

Было обнаружено, что при p < 30000 пара (p, p−3) является иррегулярной лишь для простого числа Вольстенхольма p = 16843.

Литература[править | править исходный текст]

  • Постников М.М. Введение в теорию алгебраических чисел. Наука, 1982.
  • Боревич З.И., Шафаревич И.Р., Теория чисел. М., Наука, 1985