Finite field extension

Every degree-$n$ extension of ${\mathbb{F}}_q$ is isomorphic to ${\mathbb{F}}_{q^n}$.

For ${\mathbb{F}}_{q^2}/{\mathbb{F}}_q$, the field norm maps the nonzero elements onto ${\mathbb{F}}_q^{\ast }$: the multiplicative group of a finite field is cyclic, and the power $q+1$ has image of order $q-1$. The field trace is also onto. Indeed it is an ${\mathbb{F}}_q$-linear map into ${\mathbb{F}}_q$, and is not zero because its polynomial $X+X^q$ has degree $q$ and cannot vanish at all $q^2$ field elements. Consequently $a\mapsto \mathrm{Tr}(ac)$ is onto whenever $c\ne 0$.

The map $x\mapsto x^q$ is an automorphism of ${\mathbb{F}}_{q^n}$ fixing ${\mathbb{F}}_q$. Its powers are all the ${\mathbb{F}}_q$-automorphisms, and its order is $n$.

Over ${\mathbb{F}}_q$, the roots of the minimal polynomial of $\alpha \in {\mathbb{F}}_{q^n}$ are its distinct iterates $\alpha ,{\alpha }^q,{\alpha }^{q^2},\dots$ under the finite-field Frobenius automorphism.

Every finite field extension is a Galois extension, and