The set of positive rational numbers, equipped with multiplication, is
a group.

Multiplication is associative.  

The rational number 1 is the identity.

Every positive rational number a/b has an inverse, namely b/a.

Note that the set of *all* rational numbers is *not* a group, because
0 has no inverse.