Etant donné n positif entier, les racines nièmes de l'unité dans les nombres complexes forment un groupe cyclique d'ordre n.

est un générateur de ce groupe.

Il en est de même de avec r appartenant à Z et premier à n.

Un générateur de ce groupe est appelé racine nième de l'unité.

On trouve aussi dans Gauss que le produit de tous les nombres premiers à un entier donné et inférieurs à lui est congru à
-1 si ce nombre est soit 4, soit une puissance de nombre premier impair, soit le double d'une puissance de premier impair. Dans tous les autres cas, ce produit est congru à +1.