Développement : Théorème de Kronecker-Weber faible

Détails/Enoncé :

Toute extension quadratique de Q est contenue dans une extension d'une racine de l'unité de Q.

Versions :

  • Auteur :
  • Remarque :
    G. & M-N. GRAS Exercice page 347

    Développement assez costaud, non corrigé dans la référence donc il faut bien le connaître. Cependant les indications du livre permettent de retrouver l'essentiel des astuces à utiliser.

    J'ai aussi utilisé la version de Pierron pour faire la mienne. Notamment le choix dans l'étape 2 de prendre uniquement les p congrus à 1 mod 4, ça évite d'avoir w et w' comme le livre et donne directement p comme un carré.
  • Fichier :

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

Algèbre fondamentale - Arithmétique, Georges Gras, Marie-Nicole Gras (utilisée dans 1 versions au total)