An action by field automorphisms is a homomorphism $G	o\operatorname{Aut}(L)$. Elements fixed by every group element are closed under addition, multiplication, additive inverses, and inversion of nonzero elements, so $L^G$ is a subfield.


Solution

Past exam of the mathematics course of the University of Cambridge / 2021 / ii / Paper 4 / 18I / a / Solution

 Solution (source code)