Sei [mm] n\in\IN_{>=3}. [/mm] Es gilt [mm] n\in\IP [/mm] genau dann, wenn es ein [mm] a\in\IN [/mm] gibt mit 1<a<n und
[mm] a^{n-1}\equiv1 [/mm] (mod n) und [mm] a^{\bruch{n-1}{q}} \not\equiv [/mm] 1 (mod n)
für alle Primteiler q von n-1.
Aufgabe 2
Welche Kenntnisse von n bzw. n-1 sollte man haben, damit eine Anwendung des Lukas-Tests sinnvoll ist?