WikiDer > Псевдопрям Эйлера

В арифметика, странный составной целое число п называется Псевдопрям Эйлера основать а, если а и п находятся совмещать, и

${ Displaystyle а ^ {(п-1) / 2} эквив pm 1 { pmod {п}}}$

(куда мод относится к по модулю операция).

Мотивация для этого определения заключается в том, что все простые числа п удовлетворяют приведенному выше уравнению, которое можно вывести из Маленькая теорема Ферма. Теорема Ферма утверждает, что если п прост и взаимно прост с а, тогда а^п−1 ≡ 1 (мод п). Предположим, что п> 2 простое число, то п можно выразить как 2q + 1 где q целое число. Таким образом, а^{(2q+1) − 1} ≡ 1 (модп), что обозначает а^2q - 1 ≡ 0 (мод п). Это может быть учтено как (а^q − 1)(а^q + 1) ≡ 0 (мод. п), что эквивалентно а^(п−1)/2 ≡ ± 1 (мод.п).

Уравнение можно проверить довольно быстро, что может быть использовано для вероятностных проверка на простоту. Эти тесты вдвое сильнее тестов, основанных на маленькой теореме Ферма.

Каждый Эйлер псевдопремия также Псевдопросто Ферма. Невозможно произвести точный тест на простоту, основанный на том, номер является псевдопервичным числом Эйлера, потому что существуют абсолютные псевдопространства Эйлера, числа, которые являются псевдопростыми числами Эйлера для каждой базы, взаимно простой. Абсолютные псевдопространства Эйлера - это подмножество абсолютных псевдопримесей Ферма, или Числа Кармайкла, а наименьшее абсолютное псевдопростое число Эйлера равно 1729 = 7×13×19.

Связь с псевдопростыми числами Эйлера – Якоби

Немного более сильное условие, что

${ Displaystyle а ^ {(п-1) / 2} эквив влево ({ гидроразрыва {а} {п}} вправо) { pmod {п}}}$

куда п нечетная композиция, наибольший общий делитель из а и п равно 1 и (а/п) это Символ Якоби, является более распространенным определением псевдоперминала Эйлера. См., например, страницу 115 книги Коблица, перечисленную ниже, страницу 90 книги Ризеля или страницу 1003 из.^[1]Обсуждение чисел в этой форме можно найти на Псевдопростое число Эйлера – Якоби. Абсолютных псевдопространств Эйлера – Якоби не существует.^{[1]:п. 1004}

А сильное вероятное простое число test даже сильнее, чем тест Эйлера-Якоби, но требует тех же вычислительных усилий. Из-за этого преимущества перед тестом Эйлера-Якоби программное обеспечение для простого тестирования часто основывается на строгом тесте.

Реализация в Lua

функция EulerTest (k) a = 2 если к == 1 затем верните false  elseif к == 2 затем верните истину  еще    если (modPow (а, (к-1) / 2, к) == Якоби (а, к)) тогда      вернуть истину    еще      вернуть ложь    конец  конецконец

Примеры

Наименьшее псевдопростое число Эйлера до основания п

Смотрите также

• Вероятное простое число

Рекомендации

• М. Коблиц, "Курс теории чисел и криптографии", Springer-Verlag, 1987.
• Х. Ризель, "Простые числа и компьютерные методы факторизации", Биркхойзер, Бостон, Массачусетс, 1985.