Galois extension
In terms of Galois theory, this means that is a Galois extension of , which has a cyclic Galois group.