Summary
Consideration of the Associativity Equation,x ∘ (y ∘ z) = (x ∘ y) ∘ z, in the case where∘:I × I → I (I a real interval) is continuous and satisfies a cancellation property on both sides, provides a complete characterization of real continuous cancellation semigroups, namely that they are topologically order-isomorphic to addition on some real interval: ( − ∞,b), ( − ∞,b], −∞, +∞), (a, + ∞), or [a, + ∞) — whereb = 0 or −1 anda = 0 or 1. The original proof, however, involves some awkward handling of cases and has defied streamlining for some time. A new proof is given following a simpler approach, devised by Páles and fine-tuned by Craigen.
Similar content being viewed by others
References
Aczél, J.,Sur les opérations définies pour nombres réels. Bull. Soc. Math. France76 (1949), 59–64.
Aczél, J.,A Short Course on Functional Equations. Reidel, Dordrecht, 1987, pp. 107–122.
Fuchs, L. Partially Ordered Algebraic Systems. Pergamon, Oxford—New York, 1963, pp. 153–181.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Craigen, R., Páles, Z. The associativity equation revisited. Aeq. Math. 37, 306–312 (1989). https://doi.org/10.1007/BF01836453
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01836453