Question
Let $'o'$ be a binary operation on the set $Q_0$ of all non-zero rational numbers defined by $\text{a}\ ^*\ \text{b}=\frac{\text{ab}}{2}$ for all $\text{a},\text{b}\in\text{Q}_0.$
Show that $'o'$ is both commutative and associate.

Answer

We have,
$\text{a }^*\text{ b}=\frac{\text{ab}}{2}$ for all $\text{a},\text{b}\in\text{Q}_0$
Commutativity:
Let $\text{a},\text{b}\in\text{Q}_0,$ then $\Rightarrow\text{a }^*\text{ b}=\frac{\text{ab}}{2}=\frac{\text{ba}}{2}=\text{a }^*\text{ b}$ $\Rightarrow\text{a }^*\text{ b}=\text{b }^*\text{ a}$
Thus, * is commutative on $Q_0$.
Associativity:
Let $\text{a},\text{b},\text{c}\in\text{Q}_0,$ then $\Rightarrow(\text{a }^*\text{ b})\ ^*\ \text{c}=\frac{\text{ab}}{2}\ ....(1)$ and,
$\text{a }^*\ (\text{b }^*\text{ c})=\text{a }^*\ \frac{\text{bc}}{2}=\frac{\text{abc}}{4}\ ....(2)$
From (1) & (2) $(\text{a }^*\text{ b})\ ^*\ \text{c}=\text{a }^*\ (\text{b }^*\text{ c})$ $\Rightarrow $ * is accosiative on $Q_0$​​​​​​​.

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