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.
Show that $'o'$ is both commutative and associate.