Direct product of Z and Z2

Definition
This group is defined as the direct product of the group of integers (which is, up to isomorphism, the unique infinite cyclic group) and the cyclic group of order two.