# Definition:Field Extension/Degree/Finite

Not to be confused with Definition:Galois Field.

## Definition

Let $E / F$ be a field extension.

$E / F$ is a finite field extension if and only if its degree $\index E F$ is finite.