Bonjour,
Comment démontrer que $G_{\mathbb{Q}(\cos(\frac{2\pi}{n}))}^{\mathbb{Q}(e^{\frac{2\pi}{n}i})}$ est un sous-groupe normal de $G_{\mathbb{Q}}^{\mathbb{Q}(e^{\frac{2\pi}{n}i})}$ ?
Merci d'avance!
Groupe de Galois
-
- Utilisateur confirmé
- Messages : 12
- Inscription : dimanche 21 mars 2021, 09:55
- Statut actuel : Étudiant
-
- Modérateur honoraire
- Messages : 4065
- Inscription : mercredi 02 janvier 2008, 23:18
Re: Groupe de Galois
Bonsoir,
Que ce soit un sous-groupe distingué équivaut à montrer que l'extension $\mathbf Q\bigl(\cos \frac{2\pi}n\bigr)/\mathbf Q$ est galoisienne.
B. A.
Que ce soit un sous-groupe distingué équivaut à montrer que l'extension $\mathbf Q\bigl(\cos \frac{2\pi}n\bigr)/\mathbf Q$ est galoisienne.
B. A.
-
- Utilisateur confirmé
- Messages : 12
- Inscription : dimanche 21 mars 2021, 09:55
- Statut actuel : Étudiant
Re: Groupe de Galois
Et comment pourrais-je démontrer que cette extension est galoisienne ?
Merci d'avance.
Merci d'avance.
-
- Modérateur honoraire
- Messages : 4065
- Inscription : mercredi 02 janvier 2008, 23:18
Re: Groupe de Galois
Bonsoir,
Ma remarque précédente n'est pas utile pour démontrer que que $\;\operatorname{Gal}\Bigl(\mathbf Q\Bigl(\mathrm e^{\tfrac{2i\pi} n}\Bigr)\Big/\mathbf Q\bigl(\cos\frac{2\pi} n\bigr)\Bigr)$ est un sous-groupe distingué de $\;\operatorname{Gal}\Bigl(\mathbf Q\Bigl(\mathrm e^{\tfrac{2i\pi} n}\Bigr)\Big/\mathbf Q\Bigr)$ puisque ce dernier est abélien, isomorphe au groupe multiplicatif $(\mathbf Z/n\mathbf Z)^{\times}$.
B. A.
Ma remarque précédente n'est pas utile pour démontrer que que $\;\operatorname{Gal}\Bigl(\mathbf Q\Bigl(\mathrm e^{\tfrac{2i\pi} n}\Bigr)\Big/\mathbf Q\bigl(\cos\frac{2\pi} n\bigr)\Bigr)$ est un sous-groupe distingué de $\;\operatorname{Gal}\Bigl(\mathbf Q\Bigl(\mathrm e^{\tfrac{2i\pi} n}\Bigr)\Big/\mathbf Q\Bigr)$ puisque ce dernier est abélien, isomorphe au groupe multiplicatif $(\mathbf Z/n\mathbf Z)^{\times}$.
B. A.