2
$\begingroup$

I am looking for a reference where the following result is proven:

Let $k$ be an algebraically closed field. If $K$ is a complete and discretely valued field with residue field $k$. Then $K$ is one of the following:

1) The field of Laurent series in $k$.

2) A finite and totally ramified extension of a field of Witt vectors with components in $k$.

On another note, Lang later calls any such field from the list as the complete unramified field with residue field $k$. Can anyone explain me what does he mean by an unramified field (I am only familiar with what an unramified extension is) ? For example, one page later, Lang claims that if we have two such complete unramified fields $K_1\subset K_2$ with respective algebraically closed residue fields $k_1\subset k_2$, then for an intermediate finite extension $K_1\subset E$, with $E/K_1$ totally ramified, one must have $E=K_1$. I have really tried to find answers for some time on my own, but with no luck.

Improve this question
$\endgroup$
2
  • 2
    $\begingroup$ In mixed characteristic, a discretely valued field $K$ is called unramified if $p$ is a uniformiser in $\mathcal O_K$. I'm not sure if there is a similar notion in pure characteristic, because there is no initial object in this category. $\endgroup$
    – R. van Dobben de Bruyn
    Commented Apr 4, 2017 at 23:03
  • 2
    $\begingroup$ Some of this material is covered in Tag 09E3, where this notion is called weakly unramified, and the extension is unramified if moreover the residue extension is separable. This does not agree with the general notion of unramified ring morphisms, because those are usually assumed of finite type, cf. Tag 00US. In other sources, you may find different terminology. $\endgroup$
    – R. van Dobben de Bruyn
    Commented Apr 4, 2017 at 23:10

1 Answer 1

Reset to default
6
$\begingroup$

Serre, Local fields, Chapter II: II.4 for the first case and II.5 for the second case.

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .