56
$\begingroup$

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?

Improve this question
$\endgroup$
21
  • 2
    $\begingroup$ Not fully sure about the tags, though. $\endgroup$ Commented Mar 19, 2019 at 9:41
  • 3
    $\begingroup$ Very cool question, could you provide a reference/proof hint for the comment about the consistency $\mathbb{Q}$ having more than one algebraic closure without choice? $\endgroup$ Commented Mar 19, 2019 at 11:12
  • 15
    $\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$ Commented Mar 19, 2019 at 11:25
  • 4
    $\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$ Commented Mar 20, 2019 at 2:14
  • 8
    $\begingroup$ Shouldn't you add an answer about this now, pointing to your own paper? $\endgroup$ Commented Sep 30, 2024 at 12:23

0

Reset to default

You must log in to answer this question.

Start asking to get answers

Find the answer to your question by asking.

Ask question

Explore related questions

See similar questions with these tags.