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.

A criterion for membership in archimedean semirings

A Generalization of Strassen’s Theorem on Preordered Semirings

Rings of almost everywhere defined functions

Archimedean Representation Theorem for modules over a commutative ring

On the Archimedean Positivstellensatz in Real Algebraic Geometry

Abstract Vergleichsstellensätze for preordered semifields and semirings II

Representation of positive semidefinite elements as sum of squares in 2-dimensional local rings

A noncommutative analogue of the Peskine--Szpiro Acyclicity Lemma

The Case for Inverse Semirings

Distinguished elements in semiring extensions

Associativity and Commutativity of Partially Ordered Rings

Grothendieck rings of polytopes and non-archimedean semi-algebraic sets

Archimedean distinguished representations and exceptional poles

A characterization of arithmetical invariants by the monoid of relations II: The monotone catenary degree and applications to semigroup rings

Ordered semirings and subadditive morphisms

On a Generalized Auslander-Reiten Conjecture

Arithmetical Semirings

Arithmetic invariant rings of some irreducible complex reflection groups

Rings whose subrings are all Noetherian or Artinian

Matrix invertible extensions over commutative rings. Part III: Hermite rings

A Universal Property of the Spectrum of a Ring and the Semiring of its Ideals