Galois extension
More precisely for formula_5 a Galois extension of degree "n", the factorization