# Finite Field Extension is Algebraic

Jump to navigation
Jump to search

This article needs to be linked to other articles.In particular: Also, establish the correct pages for existing linksYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{MissingLinks}}` from the code. |

## Theorem

Let $L / K$ be a finite field extension.

Then $L / K$ is algebraic.

## Proof

Let $x \in L$ be arbitrary.

Let $n = \index L K$ be the degree of $L$ over $K$.

From Size of Linearly Independent Subset is at Most Size of Finite Generator, there is a $K$-linear combination of $\set {1, \ldots, x^n}$ equal to $0$.

Say $a_n x^n + \cdots + a_1 x + a_0 = 0$, $a_i \in K$, $i = 0, \ldots, n$.

Therefore $x$ satisfies a polynomial with coefficients in $K$.

This article, or a section of it, needs explaining.In particular: Clarify whether the above link is what it is supposed to beYou can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by explaining it.To discuss this page in more detail, feel free to use the talk page.When this work has been completed, you may remove this instance of `{{Explain}}` from the code. |

That is, $x$ is algebraic.

Since $x \in L$ was chosen arbitrarily, $L / K$ is algebraic.

$\blacksquare$