Definition:Separable Degree/Definition 3

From ProofWiki
Jump to navigation Jump to search



Definition

Let $K$ be a normal extension of $F$ that contains $E$.


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


Sources