Galois group of a polynomial

The Galois group of a polynomial $P$ of $K[X]$ is the Galois group of a splitting field $K\subseteq E$ of $P$:
$$\operatorname{Gal}_K(P)=\operatorname{Gal}(E/K)$$