„Fermat-prímteszt” változatai közötti eltérés
[nem ellenőrzött változat] | [nem ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a →Álprímek: indexek jav |
a →Álprímek: segédjelek eltáv |
||
29. sor:
maradékosztályok csoportjában ''b'' rendje osztója ''n-1'' -nek.
2. Legyen
nézve, akkor álprím a \''b''<sub>1</sub>''b''<sub>2</sub>, és a
''b''<sub>2</sub><sup>-1</sup> a redukált mod n maradékosztályok csoportján értendő.
46. sor:
Ha a legkisebb ilyen ''k'' -t vesszük, akkor ez az előzőek szerint osztója lesz ''n-1'' -nek, mert ha nem lenne meg maradéktalanul benne, akkor az a maradék kisebb lenne. Ez a legkisebb ''k'' kitevő pedig definíció szerint ''a'' maradékosztályának rendje a redukált maradékosztályok csoportjában.
2. Az kell, hogy az ilyen redukált maradékosztályok csoportot alkotnak. Ez így van, mert egyrészt
3. Legyenek most
'''Állítás''' - ''n'' bukja a tesztet ezekre a
Tegyük fel indirekt, hogy
==A Carmichael-számok karakterizációja==
|