Verification: Determining the order of factor group $G=(\mathbb Z \oplus \mathbb Z)/\langle(2,2)\rangle$. Is the group cyclic?
Classifying the factor group $(\mathbb{Z} \times \mathbb{Z})/\langle (2, 2) \rangle$