8.6. Εστω G κυκλική υποομάδα της < C*, .>. Τότε η G περιέχει το 1 και έχει
κάποιο γεννήτoρα a.
Aρα 1 = an για κάποιο ακέραιο n, και το a είναι πεπερασμένης τάξης από το
Εστω k η τάξη του a. Aπό το θεώρημα 8.4, η G = <a> αποτελείται από τα k
στοιχεία
1, a, a2,…,ak-1,όλα ρίζες τις xk = 1, η οποία έχει ακριβώς k μιγαδικές ρίζες.
Aρα G = Uk.