Let $K$ an extension field of $F$ We say that $K$ is a finite extension if $[K:F]$ is finite. That is, $K$ is a finite dimensional space over $F$

An important result on finite extensions establishes that any finite extension is also an algebraic extension.