Non-Archimedean directed fields \(K(i)\) with o-subfield \(K\) and \(i^2=-1\). (Q405801)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Non-Archimedean directed fields \(K(i)\) with o-subfield \(K\) and \(i^2=-1\). |
scientific article |
Statements
Non-Archimedean directed fields \(K(i)\) with o-subfield \(K\) and \(i^2=-1\). (English)
0 references
8 September 2014
0 references
A linearly ordered field is called non-Archimedean if there is a positive element \(x\) such that \(n1\leq x\) for all positive integers \(n\), where 1 is the identity element of the field. For a non-Archimedean linearly ordered field \(K\), consider the field extension \(K(i)=\{a+bi\mid a,b\in K\}\), where \(i^2=-1\). The paper under review provides a method to construct directed partial orders on \(K(i)\) to make it into a partially ordered algebra over \(K\). The authors call a subset \(V\) of \(K\) a \textit{multiplicative segment} of \(K\) if \(V\) is a convex additive subgroup of \(K\) and \(1\in V\). For a multiplicative segment \(V\) of \(K\), define \[ P_V=\{a+bi\in K(i)\mid a,b\geq 0\;\&\;(b>0\Rightarrow ab^{-1}\not\in V)\}. \] The main result in the paper shows that \(P_V\) is the positive cone of a directed partial order on \(K(i)\) to make \(K(i)\) into a directed field, and \(P_V\) is unique under certain conditions.
0 references
directed partial orders
0 references
directed fields
0 references
multiplicative segments
0 references
linearly ordered fields
0 references
positive cones
0 references
non-Archimedean fields
0 references
partially ordered algebras
0 references