Développement : Cyclotomie+Dirichlet faible+application aux GAF+Bonus sur Galois inverse

Détails/Enoncé :

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$

Versions :

Références utilisées dans les versions de ce développement :