Let an extension field of . We say that is a finite extension if is finite. That is, is a finite dimensional space over .
An important result on finite extensions establishes that any finite extension is also an algebraic extension.