Morphisme de groupe
Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
-
ComeDuRondeau
- Membre Naturel
- Messages: 66
- Enregistré le: 02 Juil 2019, 12:59
-
par ComeDuRondeau » 01 Juil 2021, 17:13
Bonjour,
On fixe une extension de corps

. Savez-vous si le morphisme de groupes de restriction
\rightarrow Gal(\overline{\mathbb{Q}}/\mathbb{Q}), \sigma\mapsto\sigma_{|\overline{\mathbb{Q}})
est surjectif ?
-
GaBuZoMeu
- Habitué(e)
- Messages: 6149
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 01 Juil 2021, 17:47
Bonjour,
Tout automorphisme de

sur

s'étend en un automorphisme de

. C'était bien ça la question ?
-
ComeDuRondeau
- Membre Naturel
- Messages: 66
- Enregistré le: 02 Juil 2019, 12:59
-
par ComeDuRondeau » 01 Juil 2021, 17:49
Oui, exactement ! y a-t-il un argument pour le prouver ou une source où je pourrais voir ça ?
PS : j'ai oublié de préciser mais c'est assez clair je crois avec le Gal : il s'agit d'automorphismes de corps (on pourrait penser à des morphismes de Q espaces vectoriels auquel cas la réponse est assez immédiate)
-
GaBuZoMeu
- Habitué(e)
- Messages: 6149
- Enregistré le: 05 Mai 2019, 09:07
-
par GaBuZoMeu » 01 Juil 2021, 22:10
Tu prends une base de transcendance
_{i\in I})
de

sur

. Un automorphisme de

s'étend à
)
(tout simplement en enyoyant

sur

) et de là à la clôture algébrique qui est

.
-
ComeDuRondeau
- Membre Naturel
- Messages: 66
- Enregistré le: 02 Juil 2019, 12:59
-
par ComeDuRondeau » 05 Juil 2021, 10:53
Super, merci beaucoup c'est ce que je voulais
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 22 invités