Question
Let 'o' be a binary operation on the set Q0 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.
Show that 'o' is both commutative and associate.