Galois extension
ガロア拡大の場合は、惰性群の次数はみな等しく、分岐指数は e1 = ... = en とみな等しくなる。