Fields of dimension one algebraic over a global or local field need not be of type \(C_1\) (Q2668932)

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.