
Sieb des Eratosthenes:
(Source)
Satz(Wilson's Test)
n ist prim gdw.
.
(Source)
Lucas's Test
Fermat-Test
SatzPR
co-RP
DefinitionFür p prim sei
Legendre Symbol
Sei
Primpotenzzerlegung einer ungeraden Zahl n, so ist das
Jacobi Symbol
Satz(Euler's Kriterium:)
, prim ,
.
Satz
prim
.
Solovay-Strassen-Test:
Wähle zufälliges a<p und prüfe
.
DefinitionFermat-Paar, Ordnungsrelation, rank, Pratt-Sequenz,
SatzFür ein Fermat-Paar (a,n) gilt
gdw. n prim und a erzeugt
SatzFür alle n>1 gilt n prim gdw. ein Fermatpaar
existiert.
SatzPR
NP
co-NP