A binary operation ⋅ is associative when (x⋅y)⋅z=x⋅(y⋅z) for any x,y,z .
Suppose we have
(x⋅y)⋅z
We can replace the binary operation with addition using its definition:
(x⋅y)⋅z=(1+x+y)⋅z=1+(1+x+y)+z
Now we can remove parentheses (using associativity of addition), regroup terms (using commutativity of addition) and put parentheses where we want (using associativity of addition once again):
1+(1+x+y)+z==1+1+x+y+z==1+x+1+y+z==1+x+(1+y+z)
1+y+z=y⋅z by definition of this binary operation.
1+x+(1+y+z)=1+x+(y⋅z)
1+x+(y⋅z)=x⋅(y⋅z) by definition of our binary operation.
We proved that (x⋅y)⋅z=x⋅(y⋅z) which means we proved that the binary operation is associative algebraically. What was to be shown.
Comments