A short note on the higher level version of the Krull--Baer theorem (Q2882485)

In [J. Algebra 279, No. 1, 345--361 (2004; Zbl 1066.16050)], the author together with the reviewer extended \textit{E. Becker}'s theory of higher level orderings from (commutative) fields to division rings [J. Reine Angew. Math. 307--308, 8--30 (1979; Zbl 0398.12012)], mostly focusing on the Krull-Baer theorem providing valuation theory and a necessary and sufficient condition for higher level orderings to lift from the residue division ring. The paper under review closes a gap left open in the J.~Algebra paper. Let us describe in detail the contribution of the paper under review.NEWLINENEWLINETo each group \(G\) we associate its \textit{subgroup of permuted \(n\)-powers} \(\Pi_nG\) to be the subgroup generated by \(n\)th powers and commutators. Each \(n\)-real valuation \(v:D\twoheadrightarrow\Gamma\cup\{\infty\}\) on a division ring \(D\) induces a group homomorphism \(\overline{v}:D^\times/\Pi_n D^\times \to \Gamma/\Pi_n\Gamma\). As the key result, the author proves the existence of a section \(\mu: \Gamma/\Pi_n\Gamma\to D^\times/\Pi_n D^\times\) of \(\overline v\), and combines this with previous results to deduce a complete Krull-Baer theorem for complete preorderings (see Corollary 3.2).