Un număr prim este un număr natural care are exact doi divizori naturali diferiți . Cu alte cuvinte, un număr natural este prim dacă este diferit de și divizibil fără rest numai prin și prin el însuși [1] .
Exemplu: numărul este prim (divizibil cu și cu ), dar nu este prim, deoarece, pe lângă și , este divizibil cu - are trei divizori naturali.
Studiul proprietăților numerelor prime este implicat în teoria numerelor , iar teorema principală a aritmeticii stabilește rolul lor central în ea: orice depășire a numărului întreg este fie prim, fie poate fi exprimat ca produs al numerelor prime și o astfel de reprezentare. este unică până la ordinea factorilor [1] . Unitatea nu este denumită numere prime, deoarece în caz contrar expansiunea specificată devine ambiguă [2] : .
Numerele naturale pot fi împărțite în trei clase: unul (are un divizor natural), număr prim (are doi divizori naturali), număr compus (are mai mult de doi divizori naturali) [1] . Există infinit de numere prime și compuse.
Secvența numerelor prime începe astfel:
2 , 3 , 5 , 7 , 11 , 13 , 17 , 19 , 23 , 29 , 31 , 37 , 41 , 43 , 47 , 53 , 59 , 61 , 67 , 61 , 67 , 71 , 8 , 7 , 8 , 9 , 7 101 103 107 109 113 127 131 137 139 149 151 157 163 167 173 179 181 191 193 197 199 _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _ _Există diferiți algoritmi pentru a verifica dacă un număr este prim. De exemplu, binecunoscuta metodă de enumerare a divizorilor este primitivă și lentă în comparație cu altele.
Numerele prime sunt utilizate pe scară largă în matematică și științe conexe. Mulți algoritmi de tehnologie a informației , cum ar fi criptosistemele asimetrice , folosesc proprietățile de factorizare ale numerelor întregi [4] .
Multe probleme referitoare la numerele prime rămân deschise .
Există generalizări ale conceptului de număr prim pentru inele arbitrare și alte structuri algebrice .
Неизвестно, когда было определено понятие простого числа, однако первые свидетельства относят к верхнему палеолиту, что подтверждается костью Ишанго [5] .
В сохранившихся записях древнеегипетских математиков есть намёки на то, что у них были некоторые представления о простых числах: например, папирус Райнда , относящийся ко второму тысячелетию до нашей эры, содержит таблицу соотношений числа 2 к , представленных суммой трёх или четырёх египетских дробей с единицей в числителе и различных знаменателях. Разложения дробей, знаменатели которых имеют общий делитель, похожи, поэтому египтяне по крайней мере знали разницу между простым и составным числами [6] .
Самые ранние дошедшие до нас исследования простых чисел принадлежат математикам Древней Гирней Гирнец Они изобрели решето Эратосфена — алгоритм последовательного нахождения всех простых чостых чостых чосфена . Опубликованные в приблизительно трёхсотом году до нашей эры « Начала » Евклида содержат важные теоремы о простых числах, включая бесконечность их множества, лемму Евклида и основную теорему арифметики [7] .
Вплоть до XVII века существенных новых работ в области простых чисел не было [8] . В 1640 году Пьер де Ферма сформулировал малую теорему Ферма , затем доказанную Лейбницем и Эйлером , и теорему о сумме двух квадратов , а также высказал предположение: все числа вида являются простыми, и даже доказал это до . Но уже для следующего числа Ферма Эйлер доказал делимость на . Новые простые числа в последовательности Ферма не найдены до сих пор. В то же время французский монах Марен Мерсенн обнаружил, что последовательность , где — простое, даёт также простое число [9] ( числа Мерсенна ).
Работа Эйлера в теории чисел вместила немало сведений о простых. Он показал, что бесконечный числовой ряд — расходящийся. В 1747 году он доказал, что чётные совершенные числа являются значениями последовательности , где сомножитель является числом Мерсенна. В его переписке с Гольдбахом последний изложил свою знаменитую гипотезу о представлении любого чётного числа, начиная с четырёх, суммой двух простых [10] . Доказательство гипотезы пока не найдено.
С начала XIX века внимание многих математиков занимала проблема асимптотического распрического распреского распреского распреского распресы проблема Лежандр и Гаусс независимо друг от друга высказали предположение: плотность простых чисел в среднем близка к величине, обратно пропорциональной натуральному логарифму [11] .
Долгое время простые числа считались малоприменимыми за пределами чистой математики . Ситуация изменилась в 1970-е годы, после появления концепций криптографии с открытым ключом , в которых простые числа составили основу первых алгоритмов шифрования, таких как RSA [12] .
Представление натурального числа в виде произведения простых называется разложением насложением на произведения . На настоящий момент не известны полиномиальные алгоритмы факторизации чисел, хотя и звестны и слстова и незтова На предполагаемой большой вычислительной сложности задачи факторизации базируетии базируето слительной сложности задачи факторизации базируетии базируето слительной сложности На предполагаемой большой вычислительной сложности Факторизация с полиномиальной сложностью теоретически возможна на квантовом компром компрам ю поретически
. |
Descompunere:
n = p1 · p2 · ... · ptчисла n на (конечное число) простых множителей p 1 , p 2 , … , p t называется разложением на множителей прожителей p . Основная теорема арифметики может быть перефразирована таким образом: любое разложение на простые числа будет тождественным с точностью до порядка делителей . На практике для большинства чисел есть много простых алгоритмов разложения на мнотожения на мнотож и в сод 1 мноть .
Большинство древних греков даже не считало числом , поэтому они не могли считать е ] го п155 . К Средним векам и эпохе Возрождения многие математики включали в качестве первостве первого го прочого про16то прочестве математики . В середине XVIII века Христиан Гольдбах внёс в список в качестве первого простого чистиан Гольдбах внёс в список в качестве первого простого чистиан Гольдбах внёс в список в качестве первого простого чистиан Гольдбах ; однако сам Эйлер не считал простым числом [17] . В XIX веке многие математики по-прежнему считали число простым числом. Например, список простых чисел Деррика Нормана Лемера до числа, переизданный в 1956 горрика Нормана Лемера до числа, переизданный в 1956 госвапя,стон гочпя. Говорят, что Анри Лебег является последним математиком, который назвал простым [18] . К началу XX века математики стали приходить к консенсусу о том, что не является простым числом, а скорее формирует свою специальную категорию — «единицу» [16] .
Если считать простым числом, то основная теорема Евклида об арифметике (упомянутая выше) не будет выполняться, как было указано в начале статьи. Например, число может быть разложено как 3 · 5 и 1 · 3 · 5 . Если бы являлась простым числом, эти два варианта считались бы разными факторизация ; следовательно, утверждение этой теоремы пришлось бы изменить [16] . Точно так же решето Эратосфена работало бы неправильно, если бы считалась простым: модифицированная версия решета, которая предполагает, что является простым числом, исключает все множители, кратные (то есть все остальные числа), и даёт на выходе только одно число — . Кроме того, простые числа имеют несколько свойств, которых нет у числа , такие как отношение числа к его соответствующему значению функции тождества Эйлера или суммы функции делителей [2] .
Простые способы нахождения начального списка простых чисел вплоть до некоторого значения дают решето Эратосфена , решето Сундарама и решето Аткина [19] .
Однако, на практике вместо получения списка простых чисел зачастую требуется пролучения списка простых чисел зачастую требуется пролучения списка простых чисел зачастую требуется проверения простых Алгоритмы, решающие эту задачу, называются тестами простоты . Существует множество полиномиальных тестов простоты, но большинство их являются вероятностными (например, тест Миллера — Рабина ) и используются для нужд криптографии [20] . В 2002 году было доказано, что задача проверки на простоту в общем виде полиномиально разрешима, но предложенный детерминированный тест Агравала — Каяла — Саксены имеет довольно большую вычислительную сложность , что затрудняет его практическое применение [21] .
Для некоторых классов чисел существуют специализированные эффективные тесты простотны (сжместотны).
Тестом простоты (или проверкой простоты) называется алгоритм , который, приняв на входе число, позволяет либо не подтвердить предположение о составности числа, либо точно утверждать его простоту. Во втором случае он называется истинным тестом простоты. Задача теста простоты относится к классу сложности P , то есть время работы алгоритмов её решения зависит от размера входных данных полиномиально, что было доказано в 2002 году [22] . Появление полиномиального алгоритма предсказывалось существованием полиномиальных сертификатов простоты и, как следствие, тем, что задача проверки числа на простоту принадлежала классам NP и co-NP одновременно.
Существующие алгоритмы проверки числа на простоту могут быть разделены на две категории: истинные тесты простоты и вероятностные тесты простоты. Результатом вычислений истинных тестов всегда является факт простоты либо составности чистов. Вероятностный тест показывает, является ли число простым с некоторой вероятностью. Числа, удовлетворяющие вероятностному тесту простоты, но являющиеся составными, назтавными, назтностному тесту простоты, но являющиеся составными, назтавными, назтностному тесту простоты .
Одним из примеров истинных тестов простоты является тест Люка-Лемера для чисел Мерсенна . Очевидный недостаток этого теста заключается в его применимости только к числам опредого оприменимости только к числам опредого.
Precum și:
К вероятностным тестам простоты относят:
Уже в течение многих столетий поиск «больших» простых чисел вызывает интерес математиков. В последние десятилетия эти исследования приобрели прикладное значение из-за применения таких чисел в ряде алгоритмов шифрования, таких как RSA [12] .
В семнадцатом столетии Марен Мерсенн предположил, что числа вида простые (при n ≤ 257) только для n равных 2, 3, 5, 7, 13, 17, 19, 31, 67, 127 и 257 [11] . Только в XX веке было обнаружено, что гипотеза была ложной и, вероятно, сделана «слепо», поскольку Мерсенн не учел три случая (для n = 61, 89 и 107);
В 1876 году Эдуард Люка доказал, что число M 127 (39-значное число) — простое, оно оставалось самым большим известным простым числом до 1951 года, когда были найдены (44 цифры) и, немного позднее, (из 79 цифр) — последнее простое число, которое было найдено с помощью электронного калькулятора. С тех пор все последующие большие простые числа были обнаружены с помощью компьютера: с 1952 года (когда SWAC показал, что M 521 является простым), по 1996 год они были найдены суперкомпьютером, и все были простыми Мерсенна (найденные с использованием теста Люка-Лемера, специфического алгоритма для таких чисел), за исключением числа , которое было рекордом между 1989 и 1992 годами[27].
Некоторые задачи математики с использованием факторизации требуют ряд очень больших простых чисел, выбранных случайным образом. Алгоритм их получения, основанный на постулате Бертрана (Для любого натурального n ≥ 2 найдётся простое число p в интервале n < p < 2n.)[28]:
Algoritmul:
|
Время решения задачи этим алгоритмом не определено, но есть большая вероятность, что оно всегда является полиномиальным, пока имеется достаточно простых чисел, и они распределены более-менее равномерно. Для простых случайных чисел эти условия выполняются[21].
Наиболее эффективным средством построения простых чисел является несколько модифицированная малая теорема Ферма[26].
Пусть N, S — нечётные натуральные числа, N-1 = S*R, причем для каждого простого делительные числа q чсилета q чсилета q чсилета q ч силета
,
Atunci fiecare divizor principal p al lui n satisface congruența
Consecinţă.
испытаея некоторое количество раз с помощщ а а аориmer O рабина.
Это утверждение упоминается как теорема Евклида в честь древнегреческого математика Евклида , поскольку первое известное доказательство этого утверждения приписывается ему. Известно ещё много доказательств бесконечности простых чисел, в том числе аналитическое доказательство Эйлера , доказательство Гольдбаха на основе чисел Ферма [29] , доказательство Фурстенберга с использованием общей топологии и элегантное доказательство Куммера .
Издавна ведутся записи, отмечающие наибольшие известные на то время простые числа [30] . Один из рекордов поставил в своё время Эйлер , найдя простое число 2 31 − 1 = 2 147 483 647 .
Наибольшим известным простым числом по состоянию на январь 2019 года является число Мерсенна M82 589 933 = 282 589 933 − 1. Оно содержит 24 862 048 десятичных цифр; в книге с записью этого числа было бы около девяти тысяч страниц. Его нашли 7 декабря 2018 года в рамках проекта по распределённому поиску простых чисел Мерсенна GIMPS. Предыдущее самое большое известное простое число, открытое в декабре 2017 года, было на 1 612 623 знака меньше[31].
Числа Мерсенна выгодно отличаются от остальных наличием эффективного теста простоты: теста Люка — Лемера. Благодаря ему простые числа Мерсенна давно удерживают рекорд как самые большие известные простые.
За нахождение простых чисел из более чем 100 000 000 и 1 000 000 000 десятичных цифр EFF назначила [32] денежные призы соответственно в 150 000 и 250 000 долларов США [33] .
Существcursет ря чисел, простота которых может ыыы уаановлена эээээективно с исолззованиеяеорир/
Для поиска простых чисел обозначенных типов в настоящее время используются проекты распределённых вычислений GIMPS, PrimeGrid, Ramsey@Home, Seventeen or Bust, Riesel Sieve, Wieferich@Home.
Простые числа являются фундаментальными компонентами во многих областях математики.
Арифметические функции, а именно функции, определённые на множестве натуральных чисел и принимающих значения во множестве комплексных чисел, играют решающую роль в теории чисел. В частности, среди них наиболее важными являются мультипликативные функции, то есть функции , обладающие следующим свойством: если пара состоит из взаимно простых чисел, то имеет место равенство[59]
Значение этих функций от степени простого числа:
На самом деле из разложения натурального числа n на множители
мы имеем, что
и следовательно, возвращаясь к задаче вычисления получается что вычислить от каждой степени простого делителя обычно проще, чем вычислить по общей формуле[61].
Например, чтобы узнать значение функции Эйлера от n = 450 = 2 × 3 2 × 5 2, достаточно вычислить
В модульной арифметике простые числа играют очень важную роль: кольцо вычетов является полем тогда и только тогда, когда n является простым[48]. Также существование первообразного корня кольца привязано к простым числам: оно существует, только если n — простое число, 1, 2, 4 или число в форме , где p нечётно.
Одной из важнейших теорем модульной арифметики является малая теорема Ферма[52]. Эта теорема утверждает, что для любого простого числа р и любого натурального числа a имеем:
или для любого простого р и любого натурального а не делящегося на р, справедливо:
На самом деле, если n таково, что:
для некоторого натурального а , то n не может быть простым [52] .
Простые числа также играют основополагающую роль в алгебре. В теории групп группа, в которой каждый элемент является степенью простого числа р, называется р-группой[63]. P-группа является конечной тогда и только тогда, когда порядок группы (число её элементов) является степенью р. Примером бесконечной р-группы является p-группа Прюфера[64]. Известно, что p-группы имеют нетривиальный центр и, следовательно, не могут быть простыми (кроме группы с p элементами); если группа конечна, более того, все нормальные подгруппы пересекают центр нетривиальным образом.
Примером таких групп является циклическая группа умножения по модулю простого числа[65].
Все группы порядка p являются циклическими и поэтому абелевыми; также абелева каждая группа порядка p 2. Кроме того, любая конечная абелева группа изоморфна прямому произведению конечного числа циклических р-групп.
В теореме Коши утверждается, что если порядок конечной группы G делится на простое число p, то G содержит элементы порядка p. Эта теорема обобщается теоремами Силова[50].
Некоторые алгоритмы криптографии с открытым ключом, такие как RSA и обмен ключами Диффи-Хеллмана, основаны на больших простых числах (обычно 1024—2048 бит). RSA полагается на предположение, что намного проще (то есть более эффективно) выполнять умножение двух (больших) чисел x и y, чем вычислять взаимно простые x и y, если известно только их произведение . Обмен ключами Диффи-Хеллмана основан на том, что существуют эффективные алгоритмы возведения в степень по модулю, а обратная операция — дискретного логарифмирования считается сложной[66][67].
Трудность факторизации больших чисел привела к разработке первого эффективного метода криптографии с открытым ключом — RSA[68]. В этой криптографической системе, человек, который должен получить зашифрованное сообщение, генерирует ключ: выбираются два различных случайных простых числа и заданного размера (обычно используются, 1024- или 2048-битные числа). Далее вычисляется их произведение , называемое модулем. Вычисляется значение функции Эйлера от числа : . Выбирается целое число (), взаимно простое со значением функции . Обычно в качестве берут небольшие простые числа (например, простые числа Ферма). Число называется открытой экспонентой (англ. public exponent). Вычисляется число , называемое секретной экспонентой, мультипликативно обратное к числу e по модулю . Пара публикуется в качестве открытого ключа RSA (англ. RSA public key). Пара играет роль закрытого ключа RSA (англ. RSA private key) и держится в секрете[12].
Теоретически можно получить закрытый ключ из общедоступной информации: в настоящее время для этого требуется факторизация числа , что делает передачу защищенного сообщения безопасной, если простые числа удовлетворяют определённым условиям и являются «достаточно большими». Пока не известно, существуют ли эффективные методы для расшифровки сообщения, не связанные с прямой атакой на факторизацию , но было показано, что плохой выбор открытого ключа может сделать систему более уязвимой для таких атак[69].
В 1991 году RSA Security опубликовала список полупростых чисел, предлагая денежные призы за разложение некоторых из них на множители, с целью подтверждения безопасности метода и поощрения исследования в этой области: инициатива называлась Challenge RSA Factoring[70]. На протяжении многих лет некоторые из этих чисел были разложены, а для других проблема факторизации все ещё остается открытой; однако конкурс был завершен в 2007 году[70].
Тем не менее, существуют многочлены, множество положительных значений которых при неотрицательных значениях переменных совпадает с множеством простых чисел. Одним из примеров является многочлен
содержащий 26 переменных и имеющий степень 25. Наименьшая степень для известных многочленов такого типа — 5 при 42 переменных; наименьшее число переменных — 10 при степени около 1,6·1045[71][72]. Этот результат является частным случаем доказанной Юрием Матиясевичем диофантовости любого перечислимого множества.
Интересно, что приведённый выше многочлен, который порождает простые числа, сам разлагается на множители. Заметим, что второй множитель этого многочлена (в фигурных скобках) имеет форму: единица минус сумма квадратов. Таким образом, многочлен может принимать положительные значения (при положительных ) только если, каждый из этих квадратов (то есть каждый многочлен в квадратных скобках) равен нулю. В этом случае выражение в фигурных скобках будет равно 1[73].
До сих пор существует много открытых вопросов относительно простых чисел, наиболее известные из которых были перечислены Эдмундом Ландау в 1912 году на Пятом Международном математическом конгрессе[74]:
Открытой проблемой является также существование бесконечного количества простых чисел во многих целочисленных последовательностях, включая числа Мерсенна[54], числа Фибоначчи, числа Ферма и др.
В начале статьи было дано определение простого числа: натуральное число называется простым, если у него ровно два делителя — единица и само число. Аналогичное понятие можно ввести и в других алгебраических структурах; чаще всего рассматривается коммутативные кольца без делителей нуля (области целостности)[78][79]. У таких колец, однако, могут быть делители единицы, образующие мультипликативную группу. Например, в кольце целых чисел существуют два делителя единицы: и Поэтому все целые числа, кроме делителей единицы, имеют не два, а по меньшей мере четыре делителя; например, у числа 7 делителями являются Это означает, что обобщение понятия простого числа должно опираться на иные его свойства.
Аналогом простого числа для области целостности является неприводимый элемент. который определяется следующим образом[80].
Ненулевой элемент области целостности называется неприводимым (иногда неразложимым), если он не является делителем единицы и из равенства следует, что или является делителем единицы. |
Для целых чисел это определение означает, что неприводимыми элементами являются простые натуральные числа, а также противоположные им.
Из определения следует, что множество делителей неприводимого элемента состоит из двух частей: все делители единицы и произведения на все делители единицы (эти произведения называются ассоциированными с злементами). То есть количество делителей неприводимого если оно конечно, вдвое больше количества делителей единицы в кольце.
Важное значение имеет аналог основной теоремы арифметики, который в обобщённом виде формулируется следующим образом[81]:
Кольцо называется факториальным, если в нём каждый ненулевой элемент, не являющийся делителем единицы, может быть представлен в виде произведения неприводимых элементов, причём это представление единственно с точностью до перестановки сомножителей и их ассоциированности (умножения на делители единицы). |
Не всякая область целостности факториальна, см. контрпример. Евклидово кольцо всегда факториально[82].
Существует другое, более узкое обобщение понятия простого числа, называемое простым элементом[80].
Ненулевой элемент области целостности называется простым, если он не является делителем единицы и произведение может делиться на лишь в том случае, когда хотя бы один из элементов или делится на . |
Обратное, вообще говоря, неверно, неприводимый элемент может не быть простым, если кольцо не является факториальным. Пример[83]: рассмотрим кольцо чисел вида где — целые числа. Число 3 в нём неприводимо, так как у него только 4 делителя: . Однако оно не является простым элементом, в чём убеждает равенство:
Число 3 делит правую часть равенства, но не делит ни одного из сомножителей. Можно из этого факта сделать вывод, что рассмотренное кольцо не факториально; и в самом деле, равенство показывает, что разложение на неприводимые множители в этом кольце не однозначно.
Кольцо целых чисел факториально. В нём, как уже упоминалось выше, два делителя единицы.
Пример разложения для числа 2, которое в кольце гауссовых чисел не является простым: — неединственность разложения здесь кажущаяся, поскольку ассоциирована с , согласно равенству:
Кольцо целых чисел Эйзенштейна состоит из комплексных чисел следующего вида[84]:
где — целые числа, (кубический корень из единицы),В этом кольце шесть делителей единицы: (±1, ±ω, ±ω2), оно евклидово и поэтому факториально. Неприводимые элементы (они же простые элементы) кольца называются простыми числами Эйзенштейна.
Критерий простоты: целое число Эйзенштейна является простым числом Эйзенштейна тогда и только тогда, когда выполняется одно из следующих взаимоисключающих условий:
Отсюда следует, что норма любого целого числа Эйзенштейна является либо простым натуральным числом, либо квадратом простого натурального числа[84].
Числа, ассоциированные или комплексно-сопряжённые с простыми числами Эйзенштейна, также являются простыми числами Эйзенштейна.
Большое значение в алгебре имеет кольцо многочленов , образованное многочленами с коэффициентами из некоторого поля Делителями единицы являются здесь ненулевые константы (как многочлены нулевой степени). Кольцо многочленов евклидово и поэтому факториально. Если в качестве взять поле вещественных чисел, то неприводимыми будут все многочлены 1-й степени и те многочлены 2-й степени, у которых нет вещественных корней (то есть их дискриминант отрицателен)[85].
Dicționare și enciclopedii | ||||
---|---|---|---|---|
|
Числовые системы | |
---|---|
Счётные множества |
|
Вещественные числа и их расширения |
|
Инструменты расширения числовых систем | |
Другие числовые системы | |
Vezi si |
Числа по характеристикам делимости | ||
---|---|---|
Informatii generale | ||
Факторизационные формы | ||
С ограниченными делителями |
| |
Числа с многими делителями | ||
Связанные с аликвотными последовательностями |
| |
Alte |
|