Pseudoprvo je přirozené číslo , které má některé vlastnosti prvočísel , ale je přesto složené . Existuje několik různých typů pseudoprimes, v závislosti na uvažovaných vlastnostech.
Existence pseudoprvočísel je překážkou testů prvočísel , které se pokoušejí využít určitých vlastností prvočísel k určení, zda je dané číslo prvočíslo.
O složeném čísle n se říká , že je Fermatovým pseudoprvotním základem a, jestliže a a n jsou koprimé a . [jeden]
Fermatova pseudojednoduchá na bázi 2 tvoří sekvenci:
341, 561, 645, 1105, 1387, 1729, 1905, 2047, 2465, 2701, 2821, 3277, 4033, … ( sekvence OEIS A001567 )a v základu 3 sekvence:
91, 121, 286, 671, 703, 949, 1105, 1541, 1729, 1891, 2465, 2665, 2701, 2821, … ( sekvence OEIS A005935 )Číslo, které je Fermatovo pseudoprvo v každém koprimém základu, se nazývá Carmichaelovo číslo .
Liché složené číslo n se nazývá Euler-Jacobiho pseudoprvočíslo v základu a , pokud vyhovuje srovnání [2]
kde je Jacobiho symbol . Protože z tohoto srovnání vyplývá, že každé Eulerovo-Jacobiho pseudojednoduché je také Fermatovo pseudojednoduché (ze stejného důvodu).
Euler-Jacobiho pseudojednoduchá v základu 2 tvoří sekvenci:
561, 1105, 1729, 1905, 2047, 2465, 3277, 4033, 4681, 6601, 8321, 8481, 10585, … ( sekvence OEIS A047713 )a v základu 3 sekvence:
121, 703, 1729, 1891, 2821, 3281, 7381, 8401, 8911, 10585, 12403, 15457, 15841, … ( sekvence OEIS A048950 )Složené číslo q se nazývá Perrinovo pseudoprvo , pokud dělí q-té Perrinovo číslo P ( q ) dané vztahem opakování :
P (0)=3, P (1)=0, P (2)=2,a
P ( n ) = P ( n − 2) + P ( n − 3) pro n > 2.Pseudoprvočíslo, které prošlo třístupňovým testem, že jde o možné prvočíslo , vyvinuté Jonem Granthamem v roce 1996. [3] [4]
Liché složené číslo n , které vyhovuje srovnání
kde Cm je m - té katalánské číslo . Srovnání platí pro libovolné liché prvočíslo n .
Jsou známa pouze tři katalánská pseudoprima: 5907, 1194649 a 12327121 (sekvence A163209 v OEIS ), z nichž poslední dvě jsou Wieferichovy prvočísla . Obecně, jestliže p je Wieferichovo prvočíslo, pak p 2 je katalánské pseudoprvo.
![]() |
---|