Example of Commutative but Not Associative Binary Operation

Click For Summary
The discussion explores examples of binary operations that are commutative but not associative, with participants constructing a multiplication table to illustrate this concept. A quadratic polynomial, f(x,y) = x^2 + y^2, is presented as a natural example of a symmetric binary operation that meets the criteria. The conversation also touches on the distinction between commutative and associative operations, clarifying that commutative operations are a subset of abelian operations. Additionally, subtraction and exponentiation are mentioned as examples of operations that are neither commutative nor associative. The thread concludes with a playful reference to the game of rock-paper-scissors as a natural example of a commutative operation.
Maths Lover
Messages
67
Reaction score
0
hi ,

I met lot's of binary operation which is associative and commtative and I also met lot's of binary operation which is associative and not abelian

but
is there an example for a binary operation which is commtative and not associative ?
I don't remmber that I've met one likes this .

and what about a binary operation which is not commutative and not abelian ?

I know that there is no relation between associative and commutative laws

but , all books don't mentions operations like this ?!
 
Physics news on Phys.org


Let's make a random one! With 3 values to keep it small.

Commutativity means the multiplication table should be symmetric.

Code:
  abc
 +---
a|aca
b|cac
c|acb

(ab)c = cc = b
a(bc) = ac = a

Ah good, my first guess worked out. Would probably have been better to construct the multiplication table systematically to ensure that it wouldn't be associative, but my intuition says that "most" randomly chosen operations should be non-associative.
 


Ah, but I can guess you're about to ask for a "natural" example. (be careful that you're not asking simply because you find distasteful the idea that examples exist!)

The first examples of symmetric binary operations that arise "naturally" spring to mind are symmetric polynomials. Here's a quadratic polynomial as an example:

f(x,y) = x^2 + y^2

If we use this function to define a binary operation on real numbers, we have

a \star(b \star c) = a^2 + (b^2 + c^2)^2 = a^2 + b^4 + c^4 + 2b^2 c^2
(a \star b) \star c = (a^2 + b^2)^2 + c^2 = a^4 + b^4 + c^2 + 2a^2 b^2
 


Hurkyl said:
Ah, but I can guess you're about to ask for a "natural" example. (be careful that you're not asking simply because you find distasteful the idea that examples exist!)

The first examples of symmetric binary operations that arise "naturally" spring to mind are symmetric polynomials. Here's a quadratic polynomial as an example:

f(x,y) = x^2 + y^2

If we use this function to define a binary operation on real numbers, we have

a \star(b \star c) = a^2 + (b^2 + c^2)^2 = a^2 + b^4 + c^4 + 2b^2 c^2
(a \star b) \star c = (a^2 + b^2)^2 + c^2 = a^4 + b^4 + c^2 + 2a^2 b^2

I think that this example is great !

thank you very much :)
 


Here's a "natural" example:

Code:
·|rps
-+---
r|rpr
p|pps
s|rss

"Natural" because kids play this everywhere. It's rock paper scissors.
 


Maths Lover said:
and what about a binary operation which is not commutative and not abelian ?
Commutative is abelian. I take it you mean not commutative and not associative? If so then there's subtraction for example. Or exponentiation (a^b).
 
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
834
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 17 ·
Replies
17
Views
9K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K