Associativity and Commutativity of Partially Ordered Rings

Matthias Schötz

Consider a commutative monoid $(M,+,0)$ and a biadditive binary operation $\mu :M\times M\to M$. We will show that under some additional general assumptions, the operation $\mu$…