伽罗瓦群
which consequently has Galois group over formula_1.