Galois extension
"G"-Galois extension in the sense of Rognes.