fundamental theorem of Galois theory . The group is a cyclic group since is a cyclic extension. This means any subgroup is cyclic, in particular, , thus is cyclic extension. Since it means is a normal extension by Galois theory. Finally, , since a factor group of a cyclic group is cyclic this means is also cyclic.