Associativity and Commutativity of Partially Ordered Rings

arXiv2303.03627MaRDI QIDQ6428619FDOQ6428619

Authors: Matthias Schötz 

Publication date: 6 March 2023

Abstract: Consider an abelian monoid $(M,+,0)$ and a biadditive binary operation $mucolonMimesMoM$.We will show that under some additional general assumptions, the operation $mu$ is automatically associative and commutative. The main additional assumption is localizability of $mu$, which essentially means that a certain canonical order on $M$ is compatible with adjoining some multiplicative inverses of elements of $M$. As an application we show that a skew field $mathbbF$ of characteristic $0$ is commutative provided that for all $ainmathbbF$ there exists a natural number $k$ such that $a-k$ is not a sum of products of squares. This generalizes the classical theorem that every Archimedean ordered skew field is commutative to a more general class of formally real skew fields that do not necessarily allow for an Archimedean order. Similar results about automatic associativity and commutativity are well-known for special types of partially ordered rings, namely in the uniformly bounded and the lattice-ordered cases, i.e.~for $f$-algebras. In these cases, the abelian monoid in question is given by the positive elements of the ordered ring. We also discuss how these classical results can be obtained from our main theorem.

Mathematics Subject Classification ID

Ordered rings, algebras, modules (06F25) Skew fields, division rings (12E15) Ordered fields (12J15)

This page was built for publication: Associativity and Commutativity of Partially Ordered Rings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6428619)