1
$\begingroup$

Let $K$ be a valued field. We say that $K$ is algebraic maximal if any algebraic extension of $K$ has either a bigger value group or a bigger residue field. Under which condition is an algebraic maximal valued field algebraically closed ?

Thank you.

$\endgroup$

2 Answers 2

3
$\begingroup$

I think the answer is "hardly ever", because pretty much everything is algebraic maximal in your sense. For any complete discretely-valued field $K$, and any finite extension $L / K$, we have $[L : K] = e(L / K) f(L / K)$, where $f(L/K)$ is the degree of the extension of residue fields and $e(L / K)$ is the index of the value group of $K$ in that of $L$. So any complete discretely valued field is algebraic maximal, and such fields are very far from being algebraically closed!

I can't actually think offhand of an example of a valued field which is not algebraic maximal.

$\endgroup$
2
  • 1
    $\begingroup$ Thank you! And if you consider fields whose residue fiels is algebraically closed and whose value group is divisible, when are such fields algebraically closed ? $\endgroup$
    – Richard
    Dec 4, 2012 at 12:14
  • 4
    $\begingroup$ $\mathbf{C}_p$ has plenty of immediate extensions, that is extensions that have the same value group and the same residue field. The compositum of all these is its spherical completion. Now lots of intermediate fields between $\mathbf{C}_p$ and its spherical completion would not be algebraic maximal. $\endgroup$ Dec 4, 2012 at 15:49
3
$\begingroup$

If you take the compositum $K=TP$ of the maximal tamely ramified extension $T$ of $\mathbf{Q}_p$ with the cyclotomic $\mathbf{Z}_p$-extension $P$ of $\mathbf{Q}_p$, then $K$ is not algebraically closed, its residue field is $\bar{\mathbf{F}}_p$, and the value group is $\mathbf{Q}$.

$\endgroup$
1
  • 1
    $\begingroup$ This answers the question in your comment on David's answer. $\endgroup$ Dec 4, 2012 at 12:46

Your Answer

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

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