Ce développement et un grand paquet de goodies contenant :
- L'irréductibilité des polynômes cyclotomiques
- Si m est entier, alors (Progression arithmétique de Dirichlet, version faible ) il existe une infinité de p premiers congrus à 1 modulo m (l'intérêt est que ces deux résultats se prouvent de façon semblable)
- (Application) Tous les groupes abéliens finis sont des quotients d'un groupe $\mathbb Z/n\mathbb Z^\times$.
- (bonus) les extensions cyclotomiques et leur groupe de galois
- (bonus) un bonus : tout groupe abélien fini est isomorphe au groupe de Galois d'une extension galoisienne de $\mathbb Q$