16.12 Topology

Problem: Show that for any \( a \in \mathbb{Z} \) the set \( \mathbb{Z}_{a}=\{z \in \mathbb{Z}: z \) is divisible by \( a\} \) is a subgroup of \( \mathbb{Z} \).