Abstract:Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu \colon M \times M \to M$. We will show that under some additional general assumptions, the operation $\mu$ is automatically both 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 division ring $\mathbb F$ is commutative provided that for all $a \in \mathbb F$ 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 division ring is commutative to a more general class of formally real division rings that do not necessarily allow for an archimedean (total) order. Similar results about automatic associativity and commutativity are well-known for special types of partially ordered extended rings (``extended'' in the sense that neither associativity nor commutativity of the multiplication is required by definition), namely in the uniformly bounded and the lattice-ordered cases, i.e.~for (extended) $f$-rings. In these cases the commutative monoid in question is the positive cone of the partially ordered extended ring. We also discuss how these classical results can be obtained from our main theorem.

Skew incidence rings and the isomorphism problem

Incidence Rings: Automorphisms and Derivations

Jordan Isomorphisms of the Finitary Incidence Ring of a Partially Ordered Category

Topological incidence rings and the incidence functors

Skew derivations of incidence algebras

Skew Laurent Series Ring Over a Dedekind Domain

Semi-Invariant Rings: UFD and Codimension One Orbits

The interplay between Steinberg algebras and partial skew rings

Representations of skew group algebras induced from isomorphically invariant modules over path algebras☆

The Case for Inverse Semirings

Quasi-Duo Skew Polynomial Rings

Lie Derivations of Incidence Algebras

Associativity and Commutativity of Partially Ordered Rings

Rigids As Iterated Skew Commutators of Simples

Skew RSK and coincidence of Littlewood-Richardson commutors

The supersingular Endomorphism Ring and One Endomorphism problems are equivalent

On the separability of the partial skew groupoid ring

Skew category algebras and modules on ringed finite sites

Ordered semirings and subadditive morphisms

Equivariant total ring of fractions and factoriality of rings generated by semiinvariants

Idealisers in skew group rings