On the construction of valued near-fields (Q2557739)

The author defines a valuation, \(V\), on a (left) near-field, \(F(+,\cdot)\), as a mapping \(V: F\to \Gamma\cup \{-\infty\}\), where \(\Gamma(+,\le)\) is an ordered group (not necessarily commutative) and \(-\infty\) a least element in \(\Gamma\cup \{-\infty\}\) satisfying (i) \(V(a) = -\infty\) if and only if \(a= 0\); (ii) \(V(a\cdot b)=V(a) +V(b)\); (iii) \(V(a+b) \le \text{Max}(V(a), V(b))\). If \(V\) is a valuation on the near-field \(F(+,\cdot)\) with value group \(\Gamma\) and \(\vartheta\) is the identity of \(\Gamma\), then one defines the subsets of \(F: F^\vartheta = \{a\in F\mid V(a) \le \vartheta\}\) and \(F_\vartheta = \{a\in F\mid V(a) < \vartheta\}\). The author first considers conditions under which the factor system \(F^\vartheta/F_\vartheta\) is a near-field with respect to the usual operations. The last section of the paper contains examples to show that \(F^\vartheta/F_\vartheta\) is not necessarily a near-field. Let \(G(\cdot)\) be a group and \(A(G)\) its automorphism group. A mapping \(\psi: a\in G\to a_\psi\in A(G)\) is called a coupled mapping if \(a_\psi b_\psi = (a\psi a_\psi(b))_\psi\). Let \(\psi\) be a coupled map of \(G\) and define an operation \(\cdot\) on \(G\) by \(a\cdot b= a \cdot a_\psi(b)\). Then \(G(\cdot)\) is again a group, which is denoted by \(G^\psi\). If \(F(+,\cdot)\) is a near-field and \(\varphi\) a coupled map of \(F^*(\cdot)\) (the multiplicative group of \(F)\) into the automorphism group of \(F(+,\cdot)\), then \(F(+,\cdot)\) is again a near-field, denoted by \(F^\varphi\). One section of this paper deals with questions of the following kind. If \(V: F(+,\cdot)\to \Gamma\cup \{-\infty\}\) is a valuation and \(\varphi\) a coupled map of \(F(+,\cdot)\), under what conditions does there exist a coupled map \(\psi\) of \(\Gamma\) such that \(\Gamma^\psi\) is an ordered group and \(V: F^\varphi(+,\cdot) \to \Gamma^\psi\cup \{-\infty\}\) is a valuation for \(F^\varphi(+,\cdot)\). When such a map \(\psi\) exists, the coupled map \(\varphi\) of the near-field \(F(+,\cdot)\), with valuation \(V\), is called a \(V\)-admissible coupled map. Another main section of the paper deals with the question of extending a valuation on a near-field. Thus, let \(K\) be a field with valuation \(V\) and \(\varphi\) a \(V\)-admissible coupled map of \(K\). Let \(\overline V\) be an extension of the valuation \(V\) on \(K\) to the field \(K(t)\), a simple transcendental extension of \(K\). Let \((K(t),K(t)^{\overline{\varphi}})\) be an extension pair of \((K,K^\varphi)\). (For the details concerning extension pairs [see \textit{F. Pokropp} [ibid. 30, 188--219 (1967; Zbl 0147.27901)]). The author gives conditions under which the extended coupled map \(\overline{\varphi}\) is a \(\overline V\)-admissible coupled map on \(K(t)\).