Example of Commutative but Not Associative Binary Operation

Click For Summary

Discussion Overview

The discussion explores the existence of binary operations that are commutative but not associative, as well as those that are neither commutative nor associative. Participants share examples and engage in reasoning about the properties of these operations.

Discussion Character

  • Exploratory
  • Technical explanation
  • Debate/contested

Main Points Raised

  • One participant inquires about examples of binary operations that are commutative but not associative, expressing uncertainty about their existence.
  • Another participant proposes a small example of a binary operation, suggesting that "most" randomly chosen operations should be non-associative.
  • A participant introduces a quadratic polynomial as a "natural" example of a symmetric binary operation, detailing its non-associative nature through calculations.
  • A similar example of the game rock-paper-scissors is presented as a natural binary operation that is commutative but not associative.
  • There is a query about binary operations that are not commutative and not abelian, with a participant suggesting subtraction and exponentiation as examples.

Areas of Agreement / Disagreement

Participants express differing views on the existence and identification of binary operations with specific properties. There is no consensus on the examples provided, and the discussion remains unresolved regarding the classification of certain operations.

Contextual Notes

Some participants clarify terminology, indicating that commutative operations are inherently abelian, which may lead to confusion in discussing non-commutative and non-associative operations.

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:

[tex]f(x,y) = x^2 + y^2[/tex]

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

[tex]a \star(b \star c) = a^2 + (b^2 + c^2)^2 = a^2 + b^4 + c^4 + 2b^2 c^2[/tex]
[tex](a \star b) \star c = (a^2 + b^2)^2 + c^2 = a^4 + b^4 + c^2 + 2a^2 b^2[/tex]
 


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:

[tex]f(x,y) = x^2 + y^2[/tex]

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

[tex]a \star(b \star c) = a^2 + (b^2 + c^2)^2 = a^2 + b^4 + c^4 + 2b^2 c^2[/tex]
[tex](a \star b) \star c = (a^2 + b^2)^2 + c^2 = a^4 + b^4 + c^2 + 2a^2 b^2[/tex]

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 ([itex]a^b[/itex]).
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
5K
  • · Replies 26 ·
Replies
26
Views
2K
  • · Replies 0 ·
Replies
0
Views
9K
  • · Replies 10 ·
Replies
10
Views
3K
  • · Replies 17 ·
Replies
17
Views
10K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 23 ·
Replies
23
Views
4K