Fields of dimension one algebraic over a global or local field need not be of type \(C_1\) (Q2668932)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Fields of dimension one algebraic over a global or local field need not be of type \(C_1\) |
scientific article |
Statements
Fields of dimension one algebraic over a global or local field need not be of type \(C_1\) (English)
0 references
9 March 2022
0 references
The French mathematician \textit{J.-P. Serre} noted in [Galois cohomology. Transl. from the French by Patrick Ion. Berlin: Springer (1997; Zbl 0902.12004)] that it is not known whether an algebraic extension \(E\) of the field \(\mathbb Q\) of rational numbers is of type \(C_{1}\), provided that \(\dim(E)\leq 1\); he has added that this is not likely to hold in general. The present article answers the question arising from Serre's remark. The answer is unchanged when \(\mathbb Q\) is replaced by any global or local field. The author uses methods of valuation theory, particularly the fact that nontrivial Krull valuations of global fields are discrete with finite residue fields. This paper proves, for \((K,v)\) a Henselian discrete valued field with a quasifinite residue field, the existence of an algebraic extension \(E/K\) satisfying the following: \((i)\) \(E\) has dimension \(\dim(E)\leq 1\); \((ii)\) finite extensions of \(E\) are not \(C_{1}\)-fields. The main results of the article are presented as two theorems. The first theorem being a special case of the second one.
0 references
field of dimension \(\leq 1\)
0 references
field of type \(C_1\)
0 references
form
0 references
Henselian valuation
0 references