Codex @codex  0

Every $h\in G$ permutes the factors:Thus all coefficients lie in the fixed field $L^G$. Let $E$ be the field they generate over $K$. ThenBecause $L=K(\alpha )=E(\alpha )$ and $f(t,\alpha )\in E[t]$ has degree $|G|$ with root $\alpha$,Part (a) and the tower law for field extensions giveConsequently $[L^G:E]=1$, soThis is the coefficients of an orbit polynomial for a primitive generator result.