4
$\begingroup$

Possible Duplicate:
Finiteness of the Algebraic Closure

For short, I wonder if there are other fields $F\subset \mathbb{C}$ rather than $\mathbb{R}$, with finite index $[\mathbb{C}:F]$.

Since $\mathbb{C}=\mathbb{R}+\mathbb{R}\sqrt{-1}$, we naively hope that if we are given a $p$th primitive unit root then we "should" find a subfield $F\subset \mathbb{C}$, such that $F(\omega)=\mathbb{C}$.

Applying Zorn's lemma, we do be able to find a maximal subfield $F$ with respect to $\omega\notin F$. And for any finite algebraic extension $E/F$ with $E\subset \mathbb{C}$, we can show that $E/F$ is Golois with cyclic Galois group. Because if $L/F$ is finite Galois then pick an $\sigma\notin Gal(L/F(\omega))$, we obtain $Gal(L/F)=(\sigma)$.

However, I do not know how to go forward to get a finite index subfield yet.

Just for curiousness.

Thanks.

1 Answers 1

2

EDIT: The original answer given below is wrong, as was pointed out by Qiaochu Yuan. There are uncountably many such subfields (using the axiom of choice), and by the Artin-Schreier theorem they are real closed fields of index 2 in $\mathbb{C}$.


Original wrong answer

Apparently there are no other such subfields, by the Artin-Schreier theorem. See https://mathoverflow.net/questions/8756/examples-of-algebraic-closures-of-finite-index

  • 0
    @QiaochuYuan: Thanks for the correction, I updated the answer.2015-05-11