 Solution

The fixed field isIt is a subfield because every field automorphism preserves sums, products and inverses.

Set $F=K^G$. If $[K:F]$ is infinite the desired finite lower bound is immediate. Otherwise let $b_1,\dots ,b_d$ be an $F$-basis of $K$. If $|G|>d$, the homogeneous system over $K$has a nonzero solution. For $a={\sum }_j{a}_j{b}_j$, with $a_j\in F$, every $\sigma$ fixes $a_j$, so the same coefficients give ${\sum }_{\sigma }{c}_{\sigma }\sigma (a)=0$. This contradicts linear independence of distinct field embeddings. Consequently