the set of nonzero rational numbers under multiplication is a kind of group.