Consider the binary operations : R × R R and o: R × R R defined as a b = |a – b| and a o b = a, a, b R. Show that is commutative but not associative, o is associative but not commutative. Further, show that a, b, c R, a (b o c) = (a b) o (a c). [If it is so, we say that the operation distributes over the operation o]. Does o distribute over ? Justify your answer.

It is given that : R × R R and o: R × R R defined as

a b = |a – b| and a o b = a, a, b R.


For a, b ϵ R, we get:


a*b = |a-b|


b*a = |b-a| = |-(a-b)| = |a-b|


Therefore, a*b = b*a


the operation * is commutative.


We can see that


(1*2)*3 = (|1-2|)*3 = |1-3| = 2


1*(2*3) = 1*(|2-3|) = 1*1 = 1


Therefore, the operation * is not associative.


Now, consider the operation o:


We can observed that 1o2 = 1 and 2o1 = 2.


1o2 ≠ 2o1(where 1, 2 ϵ R)


the operation o is not commutative.


Let a, b, c ϵ R. Then, we get:


(a o b) o c = a o c = a


a o (b o c) = a o b = a


(a o b) o c = a o (b o c)


the operation o is associative.


Now, let a, b, c ϵ R, then we have:


a * (b o c) = a * b = |a –b|


(a * b) o (a * c) = (|a –b|) o (|a –c| = |a –b|


Thus, a * (b o c) = (a * b) o (a * c)


Now,


1 o (2 * 3) = 1 o (|2 –3|) = 1 o 1 = 1


(1 o 2)* (1o3) = 1 * 1 = |1 –1| = 0


Therefore, 1 o (2 * 3) ≠ (1 o 2)* (1o3)( where 1, 2, 3 ϵ R)


Therefore, the operation o does not distribute over *.


12