1.6.61 Fields, Groups, Rings

Condition: Construct a homomorphism of the additive group of rational numbers, the kernel of which is a subgroup of integers. Check that the factor group over this kernel has infinite order, although all its elements have finite order.