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$