Galois extension
If formula_3 is a Galois extension, then formula_14 is called the Galois group of formula_3, and is usually denoted by formula_16.