Galois extension
For formula_19 prime, let formula_20 be a field containing formula_21 and formula_22 a degree formula_19 Galois extension. Note the Galois group is cyclic, generated by formula_24. Let