Voici un deuxième exo intéressant je trouve. ICI G est le groupe de Galois de l'extesnsion L/K.
[URL=http://img105.imagevenue.com/img.php?loc=loc192&image=64670_yo002.jpg][IMG]http://img105.imagevenue.com/loc192/th_64670_yo002.jpg[/IMG][/URL]
Pour la 3, je sais que L et W^G sont tous 2 des K-ev. JE subodore donc qu'il y a un atomorphismes entre eux (t donc quils ont meme dimension) mais je nsais pas quelle propriété exacte affirme cela. Ensuite pour la dimension de W comme L-ev, je vois pas comment raisonner avec l'action sur la dimension.
4) je suis en train de chercher l'injectivité. POur la surjectivité, les 2 ensembles sont ils de emem dim et pkoi ?
5) D2composer dans la base ?
Le reste, jai pas encore regarder.