(a) Suppose $K, L$ are fields and $\sigma_{1}, \ldots, \sigma_{m}$ are distinct embeddings of $K$ into $L$. Prove that there do not exist elements $\lambda_{1}, \ldots, \lambda_{m}$ of $L$ (not all zero) such that

$$\lambda_{1} \sigma_{1}(x)+\cdots+\lambda_{m} \sigma_{m}(x)=0 \quad \text { for all } x \in K$$

(b) For a finite field extension $K$ of a field $k$ and for $\sigma_{1}, \ldots, \sigma_{m}$ distinct $k$ automorphisms of $K$, show that $m \leqslant[K: k]$. In particular, if $G$ is a finite group of field automorphisms of a field $K$ with $K^{G}$ the fixed field, deduce that $|G| \leqslant\left[K: K^{G}\right]$.

(c) If $K=\mathbb{Q}(x, y)$ with $x, y$ independent transcendentals over $\mathbb{Q}$, consider the group $G$ generated by automorphisms $\sigma$ and $\tau$ of $K$, where

$$\sigma(x)=y, \sigma(y)=-x \quad \text { and } \quad \tau(x)=x, \tau(y)=-y .$$

Prove that $|G|=8$ and that $K^{G}=\mathbb{Q}\left(x^{2}+y^{2}, x^{2} y^{2}\right)$.