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.

Strong Commutativity Preserving Maps on Rings

Localization of a Commutative Semi-ring

NONADDITIVE STRONG COMMUTATIVITY PRESERVING DERIVATIONS AND ENDOMORPHISMS

Additive Maps Preserving Commutativity up to a Factor

Left Derivations and Strong Commutativity Preserving Maps on Semiprime $Γ$-Rings

Associativity and Commutativity of Partially Ordered Rings

Strong Commutativity-preserving Generalized Derivations on Semiprime Rings

Maps Preserving Product XY-YX∗ on Factor Von Neumann Algebras

On Weakly Reversible Rings and Strongly Reversible Rings

An order characterization of commutativity for 𝐶*-algebras

Maps preserving products XY−YX⁎ on von Neumann algebras

Mappings Preserving Identities Given by Unitaries

Nonlinear mappings preserving product XY+YX∗ on factor von Neumann algebras

An order characterization of commutativity for *-algebras

On order-preserving and order-reversing mappings defined on cones of convex functions

Commutativity and Prime Ideals with Proposed Algebraic Identities

Maps Preserving Strong Skew Lie Product on Factor Von Neumann Algebras

Rings of almost everywhere defined functions

Generalizations of Partial Isometries, EP and Normal Elements in Rings

A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

Maps Preserving Numerical Radius Distance on C*-algebras