the set of rational number form a group