Eine Restklasse
mit
nennt man eine
prime Restklasse modulo m .
Ist
eine Primzahl, dann sind alle von
verschiedenen Restklassen prime
Restklassen modulo .
Die primen Restklassen modulo
bilden bezüglich der Restklassenmultiplikation eine
ABELsche Gruppe, die prime Restklassengruppe modulo m .
Die Ordnung dieser Gruppe ist .
Dabei ist
die EULERsche Funktion.