Galois group
which consequently has Galois group over formula_1.