Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For an assignment, I am trying to determine the separability degree of some algebraic field extension $L/K$. The definition of the separability degree of polynomial is not difficult to find at all, namely it is the degree of the unique irreducible, separable polynomial we can associate with any polynomial. As of yet, I have been unable to find the definition of the separability degree of a field extension.

Could someone give this definition or point me in the right direction to a definition?

Based on the fact that if $L$ is the splitting field for $K$, then $|Aut(L/K)|\leq [L:K]$ with equality if and only if $L$ is separable over $K$, I am tempted to guess that the separability degree of $L/K$ has something to do with $Aut(L/K)$. Is this justified?

share|cite|improve this question
"Separable degree". You can define it as the number of distinct $K$-embeddings of $L$ into a separable (or algebraic) closure of $K$, or as the degree of the maximal separable subextension of $L \mid K$. – Zhen Lin May 9 '12 at 10:32
@ZhenLin Just to make sure, does $k$-embedding mean that $K$ is fixed? – Holdsworth88 May 9 '12 at 12:47
Yes. The elements of $K$ are sent to their corresponding elements in the image. – Zhen Lin May 9 '12 at 13:05
up vote 5 down vote accepted

The definition can be found in this Wikipedia page, in the paragraph "Separable extensions within Algebraic extensions". I will synthesize it here.

Given an algebraic extension $L/K$ we consider the field:

$S=\{ \alpha\in L : \alpha \; \text{is separable over} \;K\}$

It is clearly an algebraic (separable) extension of $K$, and the separable degree of $L/K$ is simply $[S:K]$, the degree of the field extension $S/K$.

share|cite|improve this answer
Based on your definition $S \subseteq K$, whereas it should be an extension of the base field. I think you mean to write $S=\{\alpha \in L : \alpha$ is separable over $K\}$ – Holdsworth88 May 9 '12 at 15:36
@Holdsworth88, For sure! I'm sorry for the typo, I'm going to edit it now! – Giovanni De Gaetano May 9 '12 at 15:44

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.