Show that the set G of all positive rationals forms a group the compositions * defined by $$a*b = \frac{{ab}}{3}$$ for all $$a,b \in G$$

Solution