Groupe de Galois d’un polynôme

Le groupe de Galois sur $K$ d’un polynôme $P \in K[X]$ est défini par
$$\operatorname{Gal}_K(P)=\operatorname{Gal}(E/K)$$où $E$ est le corps de décomposition de $P$ sur $K$.