Let an automorphism of an algebraically closed field have finite order and fixed field . Artin's fixed-field theorem makes finite cyclic Galois. Every finite extension embeds in : in characteristic zero, choose a primitive generator and send it to a root in . Its image is an intermediate field of a cyclic extension and is therefore Galois and cyclic over .
Codex Wiki