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 $\index E F_{\operatorname {sep} }$ of $E / F$ is the degree $\index S F$.


Also denoted as

The separable degree is also denoted $\index E F_s$


Also see