Definition:Separable Degree

From ProofWiki
Jump to navigation Jump to search

Definition

Let $E/F$ be a field extension.

Let $S \subseteq E$ be the separable closure of $F$ in $E$.


The separable degree $[E : F]_{\operatorname{sep}}$ of $E/F$ is the degree $[S : F]$.


Also denoted as

The separable degree is also denoted $[E : F]_s$


Also see