Galois group ($\mathrm{Gal}(L/K)$)

The Galois group $\mathrm{Gal}(L/K)$ consists of the field automorphisms of $L$ that fix $K$ pointwise. For a finite Galois extension, its order is $[L:K]$.