4
$\begingroup$

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?

  • 1
    "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$.2012-05-09
  • 0
    @ZhenLin Just to make sure, does $k$-embedding mean that $K$ is fixed?2012-05-09
  • 0
    Yes. The elements of $K$ are sent to their corresponding elements in the image.2012-05-09

1 Answers 1

5

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$.

  • 0
    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\}$2012-05-09
  • 0
    @Holdsworth88, For sure! I'm sorry for the typo, I'm going to edit it now!2012-05-09