Right Operation is not Commutative

Theorem
Let $S$ be a finite set.

Let $\rightarrow$ denote the right operation on $S$.

Then $\rightarrow$ is not commutative on $S$ unless $S$ is a singleton.

Proof
Let $S$ be a singleton, $S = \set s$, say.

Then:
 * $s \rightarrow s = s$

and so $\rightarrow$ is trivially commutative on $S$

Otherwise, $\exists s, t \in S$ such that $s \ne t$.

Then:
 * $s \rightarrow t = t$

but:
 * $t \rightarrow s = s$

and the result follows by definition of commutative operation.

Also see

 * Right Operation is Anticommutative


 * Left Operation is not Commutative