Skip to main content
2 of 3
added 203 characters in body; added 106 characters in body

It is enough to show that

if $M\subseteq \mathbb Z^3$ be a subgroup such that $\mathbb Z^3/M$ is a cyclic group of order $k$, then there exists $g\in\mathrm{SL}(3,\mathbb Z)$ such that $g(M)=\langle (1,0,0),(0,1,0),(0,0,k)\rangle$.

Let $M\subseteq \mathbb Z^3$ be a subgroup such that $\mathbb Z^3/M$ is a cyclic group of order $k$. Then $M$ is free of rank $3$, and there exists $A\in M(3,\mathbb Z)$ such that $M=A\cdot\mathbb Z^3$. Using the Smith normal form, we know that there exists $3\times 3$ matrices $P$ and $Q$, invertible over $\mathbb Z$, such that $PAQ=D$ with $D=\left(\begin{smallmatrix}a\\\&b\\\&&c\end{smallmatrix}\right)$ and $a\mid b\mid c$. Then $PM=PAQ\mathbb Z^3=D\mathbb Z^3$.

It follows that $P\in\mathrm{SL}(3,\mathbb Z)$ is such that $PM$ is generated by $(a,0,0)$, $(0,b,0)$ and $(0,0,c)$ with $a\mid b\mid c$. Since $\mathbb Z^3/g(M)$ is cyclic of order $k$, we must have $a=b=1$ and $c=k$. This tells us that the claim above is true.