Assuming the axiom of choice given a field $F$, there is an algebraic extension $\overline F$ of $F$ which is algebraically closed. Moreover, if $K$ is a different algebraic extension of $F$ which is algebraically closed, then $K\cong\overline F$ via an isomorphism which fixes $F$. We can therefore say that $\overline F$ is the algebraic closure of $F$.

(In fact, much less than the axiom of choice is necessary.)

Without the axiom of choice, it is consistent that some fields do not have an algebraic closure. It is consistent that $\Bbb Q$ has two non-isomorphic algebraically closed algebraic extensions.

It therefore makes sense to ask: Suppose there are two non-isomorphic algebraically closed algebraic extensions. Is there a third? Are there infinitely many? Are there Dedekind-infinitely many?

What is provable from $\sf ZF$ about the spectrum of algebraically closed algebraic extensions of an arbitrary field? What about the rational numbers?

  • 1
    $\begingroup$ Not fully sure about the tags, though. $\endgroup$
    – Asaf Karagila
    Mar 19, 2019 at 9:41
  • 11
    $\begingroup$ Alec, it appears in Hodges' Läuchli's algebraic closure of $Q$. Math. Proc. Cambridge Philos. Soc. 79 (1976), no. 2, 289–297. MR422022. $\endgroup$
    – Asaf Karagila
    Mar 19, 2019 at 11:25
  • 1
    $\begingroup$ Is this related? math.stackexchange.com/questions/114978/… $\endgroup$ Mar 19, 2019 at 17:43
  • 1
    $\begingroup$ What happens to the model theoretic results about algebraically closed fields without choice? Can you have uncountable nonisomorphic ACFs with the same characteristic and cardinality without choice? $\endgroup$ Mar 20, 2019 at 2:14
  • 2
    $\begingroup$ @Noah: Some months ago I was talking with another MO user about this question, and I realised that one of my recent papers implies that it is consistent that every field has a proper class of pairwise non-isomorphic algebraic closures, unless it is real-closed or algebraically closed. It's still not clear whether or not we can have some of them having the same cardinality. That's a great little idea. $\endgroup$
    – Asaf Karagila
    Aug 30, 2020 at 0:43


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Browse other questions tagged or ask your own question.