infinite Abelian group that is not free; the direct product of countably many copies of the infinite cyclic group