• Aucun résultat trouvé

On suppose quek est un corps parfait de caractéristique6= 2

N/A
N/A
Protected

Academic year: 2022

Partager "On suppose quek est un corps parfait de caractéristique6= 2"

Copied!
2
0
0

Texte intégral

(1)

École polytechnique 2011-2012 Théorie de Galois

Feuille d’exercices 6

Exercice 1. On suppose quek est un corps parfait de caractéristique6= 2. SoitP =X3+aX+b∈k[X]

irréductible ; on noteα1, α2, α3 ses racines dans un corps de décompositionK deP. On rappelle que le discriminantδ(P) = Q

i<ji−αj)2

vaut−4a3−27b2.

(i) Montrer que le groupe de Galois de P surk vaut A3 ou S3 selon que δ(P) est un carré ou non dansk.

(ii) Dans tous les cas, décrire les sous-extensions de K/k.

(iii) Donner un polynôme explicite de Q[X]dont le groupe de Galois sur Q estZ/3Z(resp.

S3).

(iv) On ne suppose pluskde caractéristique différente de2. Soitf ∈k[Z1, Z2, Z3] =Z1Z22+ Z2Z32+Z3Z12. Montrer qu’une permutation σ ∈S3 est paire si et seulement si σ(f) =f. (On fait agirS3 par permutation des variables.)

(v) Montrer queRf(P) =Q

σ∈S3/A3(T−σ(f)(α1, α2, α3))appartient àk[T]et l’exprimer en fonction deaetb.

(iv) En déduire que sikest de caractéristique2, le groupe de Galois deP est contenu dansA3 ouS3 selon que1 +a3b−2 est de la formex2+x (x∈k) ou pas.

Exercice 2. Soitppremier et soientσ, τ respectivement une transposition et unp-cycle dansSp. On note G ⊆ Sp le sous-groupe engendré par τ et σ. Sans perte de généralité on pourra supposer que τ = (1,2· · ·, p) et σ = (i, i+l) avec 1 ≤i < i+l ≤ p. Dans la suite, on considèrera tous les entiers modulop.

(i) Montrer que(i+l, i+ 2l)appartient à G, puis qu’il en est de même pour(i, i+ 2l).

(ii) Montrer que (i, i+kl)∈Gpour tout k∈N.

(iii) En déduire queG=Sp.

Exercice 3. SoientP =X5−4X+ 2∈Q[X]etG= Gal(P,Q).

(i) Vérifier queP est irréductible sur Q.

(ii) Montrer que P a exactement trois racines réelles. En déduire que G, vu comme groupe de permutations des racines deP dansC, contient une transposition.

(iii) Montrer queGcontient un 5-cycle.

(iv) Montrer que G=S5. (On pourra utiliser l’exercice précédent.)

(v) Modulo257,P se décompose sous la formeP = (X+91) (X−53) (X−31) (X2−7X−118).

Indiquer une méthode pour montrer que le dernier facteur est irréductible. (On verra plus tard que cela forceGà contenir une transposition.)

Exercice 4. Soientk parfait, K/k une extension galoisienne finie, et L1, L2 deux sous-k-extensions. On noteL1L2 le sous-corps engendré parL1 etL2, et on pose Gi = Gal(K/Li).

(i) Montrer que Gal(K/L1L2) = G1 ∩ G2 et que Gal(K/L1 ∩L2) est le sous-groupe de Gal(K/k) engendré parG1 etG2.

(ii) SupposonsK =L1L2,L1/ketL2/kgaloisiennes, etk=L1∩L2. Montrer queGal(K/k)' G1×G2.

1

(2)

Exercice 5. SoitP(x)∈k[x]un polynôme irréductible de degré netK un corps de décomposition.

(i) Montrer que siGal(K/k) est abélien alors[K :k] =n.

(ii) Est-ce que la réciproque est vrai ?

(iii) (k=Q) On suppose que P(x) a des racines réelles et des racines imaginaires. Montrer queGal(K/k) n’est pas abélien. Donner un contre-exemple siP n’est plus supposé irréductible.

Exercice 6. (Normes et traces) Soit k un corps parfait et soit K/k une extension galoisienne finie de groupe de GaloisGal(K/k) =G. On considère les applications suivantes :

NK/k:K →K, x7→ Y

σ∈G

σ(x)

(norme relative deK à k) et

T rK/k:K→K, x7→ X

σ∈G

σ(x)

(norme relative deK à k).

(i) Montrer queNK/ketT rK/ksont en fait à valeurs dansk, i.e.NK/k(x)∈ketT rK/k(x)∈k pour toutx∈K.

(ii) Montrer que K → K = Homk−ev(K, k), x 7→ T rK/k(x·) est un isomorphisme de k- espaces vectoriels.

(iii) Montrer que

NK/k(xy) =NK/k(x)NK/k(y), T rK/k(x+y) =T rK/k(x) +T rK/k(y)

pour toutx∈K.

(iv) Supposons que K = k(√

D) où D ∈ k n’est pas un carré. Calculer NK/k(a+b√ D) et T rK/k(a+b√

D).

(v) Plus généralement, pourα∈K de polynôme minimalP(X) =a0+· · ·+adXd, calculer NK/k(α) etT rK/k(α) en fonction ded, den= [K:k] =|G|et de a0,· · ·, ad.

(vi) Soit α∈K etσ∈G. Montrer queNK/k(α/σ(α)) = 1etT r(α−σ(α)) = 0.

(vii) On suppose maintenant que G est cyclique. Montrer que si T rK/k(α) = 0 alors il existex∈K etg∈Gtel que α=x−g(x).

[Note : le ’Hilbert Satz 90’ fournit un analogue multiplicatif de (vi) : si β ∈ K vérifie NK/k(β) = 1, alors il existe x∈K etg∈Gtels queβ =x/g(x).

2

Références

Documents relatifs

Une extension L/K est s´ eparable si c’est une extension alg´ ebrique et que le polynˆ ome minimal sur K de tout ´ el´ ement dans L admet des racines distinctes dans L.. Un corps K

Entoure les syllabes avec c, k, q ou qu et lis cette phrase.. Un koala joue aux quilles avec

Montrer qu’il n’y a pas d’autre sous corps entre M et

(ıı) d’une famille libre à n éléments dans A n qui n’est pas une base, (ııı) d’une partie génératrice minimale qui ne soit pas une base, (ıv) de sous-module n’ayant pas

Solution. Ils ne sont pas libres car tous les éléments sont de torsion : n annule tous les éléments. Plus généralement si I est un idéal propre et non nul de A, alors A/I n’est

Montrer que E := ker(Frob p −Id A ) est un sous-espace vectoriel de A de dimension le nombre de facteurs irréductibles de P..

Montrer qu’il n’existe pas d’extension quadratique de Q contenue dans L.

Montrer qu’il n’existe pas d’extension quadratique de Q contenue dans L.