A method for constructing left ordered Dickson nearfields (Q977711)

The main concern of this paper is to present new methods for constructing ordered nearfields: the nearfields here fulfill the left distributive law \(a(b+c) = ab + ac.\) A (left) ordering of such a nearfield \(F\) is a set \(P \subset F^* = F \setminus \{ 0 \}\) with the property \(P \cup (- P) = F^*\), \(P + P \subseteq P \) and \(P \cdot P \subseteq P.\) In defining \(x < y \Leftrightarrow y - x \in P \) you get a total odering on \(F\) satisfying \(x < y \Rightarrow a + x < a + y\) for any \( a\in F\) and \(ax < ay \) for any \(a \in P\). Take a (not necessarily commutative) ordered field \(K\), a totally ordered group \(\Gamma\) and consider the field \(K((\Gamma))\) of formal power series \(x = \sum_{\gamma \in \Gamma} t^{\gamma} x_{\gamma}\) with \(x_{\gamma} \in K\) and well ordered support \(T(x)\). The map \(v : x \rightarrow \min T(x)\) is a valuation of \(K\). If \(P \subset K^*\) is an ordering over \(K\), then \[ P(\triangle) := \{ x\in F^* \mid v(x) \in \triangle \Leftrightarrow x_{v(x)} \in P\} \] where \(\triangle \) is a subgroup of \(\Gamma\) with index 2, is a continuation of the ordering of \(K\) to \(F\). The construction of the nearfield is done by coupled mappings, i.e., by constructing Dicksonian nearfields. (Whether there exist non-Dicksonian ordered nearfields is an open question.) This is done in the following way: Let \((F, +, \cdot)\) be a (skew) field and \[ \kappa : a \in F \rightarrow \kappa_{a} \in \Aut(F, +, \cdot) \] then \(F\) with the new multiplication \[ a \circ b := a \cdot \kappa_{a} (b) \] is a (left) nearfield if \(\kappa\) satisfies \[ \kappa_{a \circ b} = \kappa_{a} \kappa_{b} \] The authors construct such couplings on \(F = (K ((\Gamma)), < )\) such that the derived Dicksonian nearfield \((F^{\kappa}, <)\) is left ordered. Also couplings with special properties are constructed thus extending earlier results by Hartmann and Prieß-Crampe. In addition isomorphism classes of such nearfields are considered.