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.

Lattice-Ordered Matrix Rings Over Totally Ordered Rings

Lattice-Ordered Matrix Algebras Containing Positive Cycles

A(infinity)-algebras for ring theorists

Frink Ideal Topology of Lattice Effect Algebras

Directed partial orders on complex numbers and quaternions

Algebraic Rings of Integers and Some 2d Lattice Problems in Physics

Some remarks on type n lattice-ordered algebras and a question of Huijsmans

Lattice structure on bounded homomorphisms between topological lattice rings

Representation of partially ordered sets over Von Neumann regular algebras. More prime, non-primitive regular rings

Boolean Algebras, Generalized Abelian Rings, And Grothendieck Groups

Lattices Associated with Partial Injective Linear Maps of Finite Vector Spaces

On disjointness, bands and projections in partially ordered vector spaces

Very good gradings on matrix rings are epsilon-strong

Lectures on Linear Algebra over Division Ring

The lattice of ideals of certain rings

Associativity and Commutativity of Partially Ordered Rings

An Equivalence Relation Characterization of Distributive Lattices

Rings of almost everywhere defined functions

On Decompositions of Matrices over Distributive Lattices

n-torsion clean and almost n-torsion clean matrix rings