Question
On Q, the set of all rational numbers, * is defined by $\text{a}\ ^*\ \text{b}=\frac{\text{a}-\text{b}}{2},$ shown that * is no associative.

Answer

The binary operator * defined as, $\text{a}\ ^*\ \text{b}=\frac{\text{a}-\text{b}}{2},$ for all $\text{a, b}\in\text{Q}.$ Now, Associativity: Let $\text{a, b, c}\in\text{Q}.$ Then, $(\text{a}\ ^*\ \text{b})\ ^*\ \text{c}=\frac{\text{a}-\text{b}}{2}\ ^*\ \text{c}=\frac{\frac{\text{a}-\text{b}}{2}-\text{c}}{2}$ $=\frac{\text{a}-\text{b}-2\text{c}}{4}\ ....(\text{i})$ and, $\text{a}\ ^*\ (\text{b}\ ^*\ \text{c})=\text{a}\ ^*\ \frac{\text{b}-\text{c}}{2}=\frac{\text{a}-\frac{\text{b}-\text{c}}{2}}{2}$ $=\frac{2\text{a}-\text{b}+\text{c}}{4}\ .....(\text{ii})$ From (i) and (ii),$(\text{a}\ ^*\ \text{b})\ ^*\ \text{c}\neq\text{a}\ ^*\ (\text{b}\ ^*\ \text{c})$
Hence, '*' is not associative on Q.

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free