Sei \(m=ord(G)\), dann gilt für alle \(a\in G:\; a^m=1\),
d.h. alle Elemente der Gruppe sind Nullstellen des
Polynoms \(X^m-1\). Da dieses nicht mehr als \(m\)
Nullstellen haben kann, hat es genau die Elemente
von \(G\) als Nullstellen. Diese Nullstellen bilden eine
zyklische Gruppe, die von einer primitiven n-ten Einheitswurzel
erzeugt wird.