伽罗瓦群
over the field formula_20, then the Galois group of the polynomial formula_24 is defined as the Galois group of formula_23 where formula_20 is minimal among all such fields.