Is a commutative and associative with neutral element operation and inverses on R^2 necessarily componentwise sum?

48 Views Asked by At

I'm trying to make a derivation of the standard operations of complex numbers from field axioms and the condition that operations on real numbers work the same way. One part of that work is proving that if an operation between pair that "behaves" like a sum then it is the pairwise sum.

Let ° be a closed binary operation on $\mathbb{R}^2$ such that ° is commutative, associative, has a neutral element and every pair has an inverse. Assume that for all pairs (a,0) ,(b,0) $(a,0)°(b,0)=(a,0)+(b,0)$ where $+$ is the usual componentwise sum for pairs. Proving that + and ° are equal reaches my objectives.

I've managed to prove that the neutral element of ° is (0,0) but I don't know how to continue from this.

(Post edit note: before the edit in the question I forgot to put the condition that ° must have inverses. Without that condition @j-dmaths counterexample works)

2

There are 2 best solutions below

1
On BEST ANSWER

Let $\pi$ be a bijection on $\mathbb R$ with $\pi(0)=0$ and $\pi(-x) = -\pi(x)$. Define our operation by $$ (a,c)\circ(b,d) = \big(a+c,\pi^{-1}(\pi(b)+\pi(d))\big) $$ So the second coordinate is "disguised" addition, possibly not addition itself.
Example: $\pi(x) = x^3$.

1
On

What about if $(a,c)°(b,d)= (a+b,c*d)$?

Then, certainly , it satisfies the fact that ° is commutative(easy to see) and associative (addition and multiplication are associative), and there is an identity element, namely (0,1). Therefore, ° and + are not necessarily equal.