Additive group of rational numbers

From Groupprops