J'aimerais conaitre sous quelles conditions et avec une démonstration que l'aplication Galoisienne* soit bijective.
Rappel : On appelle L-automorphisme un automorphisme d'un corps E qui laisse fixe L sous-corps de E (comme IdL ). On note GEL l'ensemble des L-automorphismes, avec L incl/ E.
Il est clair que GEE =IdE . On apelle aplication galoisienne l'aplication relative à K f:L -> GEL restreinte à tous les corps compris entre K et E.
L'aplication Galoisienne est décroissante : L incl/ L' impl/ f(L') incl/ f(L).
