4
$\begingroup$

Lang's definition

Let $E/F$ be an algebraic field extension and $\bar{F}$ be an algebraic closure of $F$. Define $[E:F]_s$ as the cardinal of field monomorphisms $\sigma:E\rightarrow \bar{F}$ fixing $F$.

Let $E/F$ be a separable extension. I know that if the extension is finite, $[E:F]=[E:F]_s$. I'm curious about the case extension is infinite. Is it still $[E:F]=[E:F]_s$?

There is an example that a separable extension possessing uncountable degree, so it does not seem easy to prove this.

$\endgroup$
  • 1
    $\begingroup$ Actually, no. In infinite case, there can be much more embeddings than the degree of extension. See this answer for example. $\endgroup$ – Ennar Oct 19 '16 at 21:07
6
$\begingroup$

I started writing this before Ennar commented above, so I will post anyway. The nature of my example is basically the same as the one he mentions, but perhaps it is a more direct answer to your question:

No, it's not true. Consider the separable algebraic extension $K = \mathbb Q (\sqrt p : p \mbox{ prime})$ of $\mathbb Q$. You can show that $[K : \mathbb Q] = |\mathbb N|$, but the extensions of an embedding $\mathbb{Q} \to \overline{\mathbb{Q}}$ to $K$ are in bijection with infinite binary strings: they are all possible combinations of choosing either $\sqrt p \mapsto \sqrt p$ or $\sqrt p \mapsto -\sqrt p$ for each prime $p$, so $[K : \mathbb Q]_s = |\mathbb R|$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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