Cyclotomie+Dirichlet faible+application aux GAF+Bonus sur Galois inverse

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$