1. Un endomorphisme de est déterminé par , et est bijectif si et seulement si engendre, c'est-à-dire . L'application est un morphisme multiplicatif :
2. , et modulo : tous les éléments non triviaux sont d'ordre .
3. Un sous-groupe d'ordre est cyclique — engendré par un -cycle, et il y en a trois — ou de type Klein. Les Klein sont : le groupe , et les trois groupes .