ガロア拡大
Let formula_15 be a Galois extension of number fields with rings of integers formula_16.