On linear \(\mathcal K\)-ordered rings (Q377995)

The authors call a ring \(R\) as a partially \(\mathcal{K}\)-ordered ring if its additive group is a partially ordered group and for any \(a > 0\) in \(R\), \(ab \leq a\) and \(ba \leq a\) for all \(b \in R\). If the partial order in the definition is a linear, lattice, or directed order, then \(R\) is called a linear, lattice, or directed \(\mathcal{K}\)-ordered ring, respectively. After having proved some basic properties on partially \(\mathcal{K}\)-ordered rings, the authors characterize linear \(\mathcal{K}\)-ordered rings using a certain collection of ideals (Theorems 9, 10). They give one example of a linear \(\mathcal{K}\)-ordered ring which is not a lattice-ordered ring, defined by \textit{G. Birkhoff} and \textit{R. S. Pierce} in [Anais Acad. Brasil. Ci. 28, 41--69 (1956; Zbl 0070.26602)], and no other examples of partially \(\mathcal{K}\)-ordered rings are provided. A partially ordered ring \(R\) is called infinitesimal if \(ab \leq a, b\) for all \(a, b \in R^{+}\). A lattice-ordered ring is infinitesimal if and only if it is lattice \(\mathcal{K}\)-ordered. The reader may find more information on infinitesimal lattice-ordered rings from [\textit{S. A. Steinberg}, Lattice-ordered rings and modules. Dordrecht: Springer (2010; Zbl 1205.06012)].