Definition:Field Extension/Degree/Infinite

From ProofWiki
Jump to navigation Jump to search

Definition

Let $E / F$ be a field extension.


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