5 Exercice 1.5
De [K:Q] = [k[p
√3] : k][k:Q], on d´eduit que
[k[p
√3] : k] = p
Donc il n’existe pas de polynˆome `a coefficient dans kde degr´e plus petit que p
annulant p
√3, ce qui revient `a dire que Pest aussi irr´eductible sur k.
6 Exercice 1.6
Kest une extension galoisienne de kpuisque c’est le corps de racines de P. On
peut donc appliquer la th´eorie de Galois `a l’extension Q⊂k⊂K,
Soit Nle groupe de Galois de Psur kvu comme sous-groupe de G.
k, comme extension cyclotomique avec ppremier est une extension galoisi-
enne de Qde groupe de Galois isomorphe `a Z/(p−1)Z.
Comme l’extension est galoisienne, Nest distingu´e dans Get G/N est iso-
morphe `a son groupe de Galois Z/(p−1)Z.
Reste `a calculer N. Les racines sont p
√3ζi. Soit alors σun ´el´ement de ce
groupe, il permute les racines et σ(p
√3) = p
√3ζipour un certain ide [0, p −1].
Comme ζjest dans k,
σ(p
√3ζj) = σ(p
√3)ζi+j
et σest parfaitement d´efini et on peut facilement v´erifier que c’est un morphisme
de corps.
Si on d´efinit σ1comme celui qui envoie σ(p
√3) sur p
√3ζ, on a clairement
σ=σi
1.Nest donc un groupe cyclique d’ordre p.
7 Exercice 1.7
Consid´erons maintenant la suite d’extension Q⊂Q[p
√3] ⊂KL’extension Kde
Q[p
√3] est cyclotomique sur un corps de caract´eristique nulle et son groupe de
Galois Hest donc isomorphe `a un sous-groupe de Z/(p−1)Z.
Par ailleurs, de l’´equation
[K:Q] = [K:Q[p
√3].[Q[p
√3] : Q]
on tire que [K:Q[p
√3] = p−1. Hcontient donc au moins p−1 ´el´ements, et H
est donc isomorphe `a Z/(p−1)Z
H∩Nest un sous-groupe de N. Or Nest cyclique d’ordre ppremier.
Classiquement, les seuls sous-groupes sont 0 et N. Comme Hcontient p−1
´el´ements, ce n’est pas N, c’est donc 0 et H∩N= 0
On constate que l’extension Q[p
√3] de Qn’est pas galoisienne. En effet, il
contient p
√3 mais pas son conjugu´e p
√3ζ. La th´eorie de Galois implique alors
que Hn’est pas distingu´e.
Ayant un sous-groupe non distingu´e, Gne saurait ˆetre commutatif.
2