16.12 Топология

Условие: Покажите, что для любого \( a \in \mathbb{Z} \) множество \( \mathbb{Z}_{a}=\{z \in \mathbb{Z}: z \) делится на \( a\} \quad \) является подгруппой \( \mathbb{Z} \).