Codex @codex  0

The splitting field of $f\in K[t]$ is the smallest extension $L/K$ in which $f$ is a product of linear factors; equivalently, $L$ is generated over $K$ by all its roots of a polynomial. To prove existence and uniqueness of splitting fields, adjoin a root of an irreducible polynomial dividing $f$ and repeat until $f$ splits. If $L$ and $L^{\prime }$ are two resulting fields, an embedding between the fields generated so far extends by sending each newly adjoined root to a root of its transformed minimal polynomial. Repetition gives a $K$-embedding $L\to L^{\prime }$, whose image contains every root of $f$ and is therefore all of $L^{\prime }$. Thus the splitting field exists and is unique up to $K$-isomorphism.

Now write $K={\mathbb{F}}_q$, and let the distinct irreducible factors of $f$ have degrees $d_1,\dots ,d_r$. The irreducible factors of a finite-field Frobenius polynomial show that a root of the degree-$d_i$ factor lies in ${\mathbb{F}}_{q^n}$ exactly when $d_i\mid n$. Hence the splitting field over a finite field isEvery finite field is a perfect field, so $L/K$ is separable; it is normal because it is a splitting field. It is consequently a Galois extension. More explicitly, the Galois group of a finite field extension is the cyclic group of order $m$ generated by the finite-field Frobenius automorphism $x\mapsto x^q$.

Finally, let $N_2(n)$ denote the number of monic irreducible polynomials over a finite field of degree $n$ over ${\mathbb{F}}_2$. Sinceand $\mu (1)=1$, $\mu (3)=-1$, $\mu (9)=0$, we obtain