On Euclidean and Pythagorean nearfields (Q2519189)

Let \((K,+,\cdot)\) be a skew field, \((\Gamma,+,<)\) a nontrivial linearly ordered group, and \(F=K((\Gamma))\) the skew field of formal power series \(x = \sum_{\gamma\in\Gamma} t^\gamma x_\gamma\) with coefficients \(x_\gamma \in K\) and well-ordered support \(T(x) = \{\gamma \in \Gamma \mid x_\gamma \not=0\}\). Define a valuation \(v:F^* \to \Gamma\) by \(v(x)=\min T(x)\) and denote by \(H(\Gamma, Z(K^*))\) the set of all homomorphisms from \(\Gamma\) to the center \(Z(K^*)\) of \((K^*,\cdot)\). It is shown that every homomorphism \(\tau : \Gamma \to H(\Gamma,Z(K^*))\) yields a coupling map \(\kappa : F\to Aut(F)\) according to \(\kappa_x(\sum_{\gamma\in\Gamma} t^\gamma y_\gamma) = \sum_{\gamma\in\Gamma} t^\gamma y_\gamma\tau_{v(x)}(\gamma)\), such that \(x\circ y = x\kappa_x(y)\) for \(x\not= 0\) and \(0\circ y=0\) defines the multiplication of some (left) nearfield \(F^\kappa = (F,+,\circ)\). Necessary and sufficient conditions are derived for \(F^\kappa\) to be Euclidean or Pythagorean, respectively, and some examples are given.