# Associative and Commutative operations

After I got the answer here, Is multiplication the only operation that satisfies the associative, commutative and distributive law?

I got to wonder how many and different operations can satisfy both associative and commutative law over rational numbers and real numbers.

Here's some examples.

a*b=a+b+ab

a*b=a+b-ab

a*b=rab (r: constant)

a*b=c (c: constant)

Are there any other operations that can satisfy both associative and commutative law over rational numbers and real numbers?

Can we imagine all the binary operations that can satisfy both laws?

And are there any reference I can look up?

I googled a bit and found these

https://mathoverflow.net/questions/139331/generalizing-detropicalization

https://mathoverflow.net/questions/139215/commutative-associative-rational-binary-operations

So another possibility is ab/(a+b), (a+b)/(1-ab). But they are not continuous at a+b=0 and 1-ab=0.

• There are an extreme amount of such if you don't require anything but commutativity and associativity. Sep 12, 2013 at 13:47
• What if we assumed continuity? Sep 12, 2013 at 13:48
• If, for any $a \in \mathbb{R}$, we define $*_a:\mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}$ by $x*_ay=a$ for all $(x,y) \in \mathbb{R} \times \mathbb{R}$ then $*_a$ is a commutative and associative binary operation. Sep 12, 2013 at 13:49
• @Rebecca Good example! But a little trivial. I thought ab=0 can be included by rab by r=0. but ab=c can also satisfy the both. I updated the question. Sep 12, 2013 at 13:57
• @Kildetoft I think when it's over rational numbers, there's not so much space that an operations can differ. Or maybe we can assume continuity. I am kind of curious whether addition and multiplication is so basic that all associative and commutative operations are made from addition and multiplication. Sep 12, 2013 at 14:01

The question doesn't make much sense because when you ask for associative commutative binary operations on the set of real numbers, you forget the whole structure of $\mathbb{R}$. It is just a set, and for the question only the cardinality matters, which is known as the continuum $c$. If $X$ is any set with cardinality $c$ and some associative commutative binary operation, we get a corresponding one on the set of real numbers. For example the set of integer sequences has cardinality $c$, and we can take its addition, or its multiplication.