ガロア拡大
"G"-Galois extension in the sense of Rognes.