Groupe de Galois

Soit $K$ un corps et $L$ une extension de $K$. On appelle groupe de Galois de $L$ sur $K$, noté $Gal(L/K)$ l'ensemble des automorphismes de $L$ laissant $K$ invariant. Il s'agit d'un groupe pour la loi de composition des applications.

Si $L$ est une extension de degré fini de $K$ (ce qui signifie que $L$ est un $K$-espace vectoriel de dimension finie), alors on démontre que le cardinal de $Gal(L/K)$ est inférieur ou égal au degré de l'extension. On dit que $L$ est une extension galoisienne de $K$ si c'est une extension de degré fini tel que le cardinal de $Gal(L/K)$ vaut exactement le degré de l'extension. Ceci est équivalent à dire que $L$ est une extension normale et séparable de $K,$ et on peut ainsi définir une extension galoisienne lorsqu'elle n'est pas une extension de degré fini.

Si $P$ est un polynôme de $K[X]$, on appelle groupe de Galois de $P$ le groupe $Gal(L/K)$, où $L$ est le corps de décomposition de $P$ sur $K$.