Prove that if $L|\mathbb{F}_p$ is a finite extension with order $n$, then there is an $\eta\in L$ with $L=\mathbb{F}_p(\eta)$ and $\eta^{m}\in\mathbb{F}_p$ for some $m$ not divisible by $p$.

If $L$ is a finite extension of a finite field, then $L$ is a finite field itself, so has the form $L=\mathbb{F}_{q^{m}}$. Since it's an extension of $\mathbb{F}_p$, we must have $q=p$ and since $[L:\mathbb{F}_p]=n$, we have $m=n$. Now I'm left to find some $\alpha\in\mathbb{F}_{p^{n}}$ so that $\alpha^{m}\in \mathbb{F}_p$ for some $m$. But now I'm stuck, because I can't find this $\alpha$ and don't know how to prove such an $\alpha$ is a primary element of the extension $\mathbb{F}_{p^{n}}|\mathbb{F}_p$.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.