Galois extension
Let formula_1 be a finite Galois extension of global fields with Galois group formula_5. Then the discriminant equals