SOLUTION: Which of the ff are associative binary operations? Show your solutions? i. (ℤ,*), where x*y=(x+y)-(x·y) for all x,y,∈ℤ. ii. (ℝ,*), where x*y=max (x,y) for all x,y,∈

Algebra.Com
Question 1203441: Which of the ff are associative binary operations? Show your solutions?
i. (ℤ,*), where x*y=(x+y)-(x·y) for all x,y,∈ℤ.
ii. (ℝ,*), where x*y=max (x,y) for all x,y,∈ℝ.
iii. (ℝ,*), where x*y= |x+y| for all x,y,∈ℝ.
Found 2 solutions by math_tutor2020, ikleyn:
Answer by math_tutor2020(3816)   (Show Source): You can put this solution on YOUR website!

I'll work on part (i) only, and leave parts (ii) and (iii) for the student to do.

If the operator star was associative, then a*(b*c) = (a*b)*c must be true.

Let's do a bit of scratch work
x*y=(x+y)-(x·y)
a*b=(a+b)-(a·b)
b*c=(b+c)-(b·c)


Then we can say:
a*(b*c)=a*((b+c)-(b·c))
a*(b*c)=(a+(b+c)-bc)-a((b+c)-(b·c))
a*(b*c)=(a+(b+c)-bc)+(-a(b+c)+abc)
a*(b*c)=(a+b+c-bc)+(-ab-ac+abc)
a*(b*c)=(a+b+c)+(-bc-ab-ac+abc)
Be careful not to mix up the star operator with the multiplication symbol.


And furthermore,
(a*b)*c = ((a+b)-(a·b))*c
(a*b)*c = ((a+b)-(a·b)+c) - ((a+b)-(a·b))*c
(a*b)*c = ((a+b)-(a·b)+c) - (ac+bc)+(abc)
(a*b)*c = ((a+b)-(a·b)+c) + (-ac-bc)+(abc)
(a*b)*c = (a+b+c-ab) + (-ac-bc+abc)
(a*b)*c = (a+b+c) + (-ab-ac-bc+abc)

In summary we found these equations
a*(b*c)=(a+b+c)+(-bc-ab-ac+abc)
(a*b)*c = (a+b+c) + (-ab-ac-bc+abc)

Compare the right hand sides of a*(b*c) and (a*b)*c
Both have the same exact terms. Compare the terms carefully.

Therefore, we have proven that a*(b*c) = (a*b)*c
This shows the operator star is associative when we have defined the operator star to be x*y = (x+y) - xy
Answer by ikleyn(52778)   (Show Source): You can put this solution on YOUR website!
Which of the ff are associative binary operations? Show your solutions?
i. (ℤ,*), where x*y=(x+y)-(x·y) for all x,y,∈ℤ.
ii. (ℝ,*), where x*y=max (x,y) for all x,y,∈ℝ.
iii. (ℝ,*), where x*y= |x+y| for all x,y,∈ℝ.
~~~~~~~~~~~~~~~~~~~~~


                I will solve  (ii)  and  (iii). 


(ii)   ((x*y)*z) = (max(x,y)*z) = obviously = max(x,y,z).

       (x*(y,z)) = (x*max(y,z)) = obviously = max(x,y,z).


       The expressions generate the same output for all x, y, z, so this operation (*) is associative.



(iii) Take  x= 1,  y= 2, z= -3.  Then

      ((x*y)*z) = ||x+y| + z| = ||1+2| + (-3)| = |3 + (-3)| = |0| = 0.

      (x*(y*z)) = |x + |y+z|| = |1 + |2+(-3)|| = |1 + |-1|| = |1 + 1| = |2| = 2.


       The expressions generate different results for given x, y, z, so this operation (*) is NOT associative.

Solved.

-----------------

The lesson to learn is this:


        To prove that the operation is associative, the proof should be done for all x, y, z.
        To prove that the operation is not associative, it is enough to show it using special counter-examples.
RELATED QUESTIONS

Let * denote the binary operation defined on Q, the set of all rational numbers, by... (answered by Fombitz)
The binary operation * is defined by x*y=xy-y-x for all real values of x and y. If... (answered by josgarithmetic)
I have to find x and y. X and Y have to be the same number, but they'll equal those... (answered by Alan3354)
PLease help and show all work and answers because the answers I get is wrong. I do not... (answered by ankor@dixie-net.com)
For all numbers x and y, let the operation * be defined by x * y = x - y. If a and b are... (answered by jim_thompson5910)
If X, Y are non-zero integers and X/Y < |X/Y| < Y, which of the following must be true? (answered by greenestamps)
The inverse of the function y = 9 - x^2, for all values x ≥ 3, is _____, where x... (answered by MathLover1)
How can I rewrite the expression x+(y+-z)using the associative property of... (answered by tommyt3rd)
I think this is trignonmetry i'm not completely sure. Could Someone help me by explaining (answered by lwsshak3)