Valuations of a quasi-pythagorean field (Q584319)

In J. Algebra 68, 247-267 (1981; Zbl 0457.10007), \textit{B. Jacob} investigated valuations of Pythagorean fields. This note extends some of these results to quasi-pythagorean fields, i.e., the Kaplansky radical of the field F is \(D_ F(2)\). Two of the main results are the following: Theorem 2.1. Let F be a quasi-pythagorean field and \((X_ F,\dot F/\dot S)=(X',G')\times H\) be a proper (i.e., \(H\neq 1)\) group extension of a space \((X',G')\), which itself is not a proper group extension. Suppose that S is not a trivial fan. Then there is a valuation v on F which satisfies the following conditions: (i) v is fully compatible with S, (ii) \((X_{\bar F},\bar F\cdot /\bar S\cdot)\sim (X',G')\) and \(\Gamma /\Gamma^ 2\cong H,\) where \(\bar F\) and \(\Gamma\) are the residue field and the value group of v, respectively, and \(\sim\) denotes an equivalence of spaces. Theorem 2.4. Let F be a quasi-pythagorean field for which the chain length of \(X_ F\) is finite. Then the canonical homomorphisms \(h_ n: k_ n F\to H^ n(F,2)\) are injective for all n.