Galois extension
Let formula_15 be a Galois extension of number fields with rings of integers formula_16.