The infinite cyclic group is isomorphic to the additive subgroup Z of the integers.
The fundamental theorem for finite cyclic groups can be established from the same theorem for the infinite cyclic groups, by viewing each finite cyclic group as a quotient group of the infinite cyclic group [REF].