Definition:Separable Degree/Definition 2

From ProofWiki
Jump to navigation Jump to search



Definition

Let $\bar F$ be the algebraic closure of $F$.


The separable degree $\index E F_{\operatorname {sep} }$ of $E / F$ is the number of embeddings of $E$ into $\bar F$ that fix $F$.


Sources