Теорема Фридландера — Иванеца

Теорема Фридландера — Иванеца утверждает, что существует бесконечное множество простых чисел вида . Первые несколько таких простых чисел

2, 5, 17, 37, 41, 97, 101, 137, 181, 197, 241, 257, 277, 281, 337, 401, 457, 577, 617, 641, 661, 677, 757, 769, 821, 857, 881, 977, … (последовательность A028916 в OEIS).
Джон Фридландер
Хенрик Иванец

Сложность утверждения заключается в очень редкой встречаемости чисел вида  — количество таких чисел, не превосходящих , грубо оценивается величиной .

История

Теорему доказали в 1997 году Джон Фридландер и Хенрик Иванец[1]. Иванец получил в 2001 году премию Островского за вклад в эту теорему[2]. Столь мощный результат ранее считался абсолютно недостижимым, так как теория решета (до использования Иванецом и Фридландером новых методов) не позволяла отличать простые числа от их попарных произведений.

Специальный случай

В случае b = 1, простые числа Фридландера — Иванеца имеют вид и образуют множество:

2, 5, 17, 37, 101, 197, 257, 401, 577, 677, 1297, 1601, 2917, 3137, 4357, 5477, 7057, 8101, 8837, 12101, 13457, 14401, 15377, … (последовательность A002496 в OEIS).

Существует гипотеза (одна из проблем Ландау), что это множество бесконечно. Однако из теоремы Фридландера — Иванеца это утверждение не вытекает.

Примечания

Литература

Дополнительная литература

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.