The structure of the integers as both a group and a ring

Consider the additive group of integers Z.

  1. Prove that every subgroup of Z is a cyclic group.
  2. Prove that every homomorphic image of Z is a cyclic group.
  3. Now consider the ring Z. Exhibit a prime ideal of Z that is not maximal.