Galois extension
If formula_3 is not a Galois extension, then the Galois group of formula_3 is sometimes defined as formula_19, where formula_20 is the Galois closure of formula_1.