The structure of $\Bbb Z\times\Bbb Z/H$, where $H=\langle(3,-2)\rangle$

Question

Consider the group $\DeclareMathOperator{\bZ}{\mathbb{Z}}\DeclareMathOperator{\bN}{\mathbb{N}}G=\bZ\times\bZ/H$ where $H=\langle(3,-2)\rangle$ (in general it looks like it works the same for subgroups $(m,n)$ where $m,n$ are coprime).

I want to know about the structure of $G$. If I am not mistaken, $G$ is cyclic: If $x=(1,0)+H,y=(0,1)+H$ then $2(-x+y)=-2x+2y=x$ and $3(-x+y)=x-x+y=y$.

Also $G$ is torsion-free, i.e., for any $n\in\bZ$, $$n(-x+y)\neq 0$$ since for small $n$ you get $x$ and $y$ as above, and for larger $|n|$ you get greater (positive or negative) coefficients in $x$ when letting the coefficients of $y$ range from $-1$ to $1$ (so it cannot be $0$).

So it seems to me that $G\cong \bZ$. Am I mistaken?

I'm conflicted, because I'm under the impression that $G$ is the Grothendieck group of the monoid $M=\bN\times\bN/\sim$ where $(3,0)\sim (0,2)$.

So... is that wrong? Because $M$ is not torsion-free and $G$ is. Or am I missing something else?

Edit: About torsion in monoids, we say $M$ is torsion-free if for any $n\geq 1$, and $m,m'\in M$, $nm=nm'\Rightarrow m=m'$. In groups this implies the usual definition of being torsion-free. This way we can say that $M$ is torsion-free iff its Grothendieck group $G$ is torsion-free: $nm=nm'$ in $M$ means that $n(m-m)'=0$ in $G$ and viceversa.

Edit 2: Looks like I'm mistaken in that $M$ is not torsion free.

Answer 1

Because three and two are coprime, there is a matrix in $\mathrm{SL}(2,\mathbb Z)$ with first row your vector. This means here is an automorphism of $\mathbb Z^2$ that sends $(3,-2)$ to one of the canonical basis vectors, so your group is $\mathbb Z$. This extends of course to taking any quotient of a power of $\mathbb Z$ by a row of a matrix in the special linear group.

Add: it is good to point out that in this case you can also use the algorithm to reach the Smith Normal Form on the matrix $(3, -2)$, which gives the following:

$$(3, -2)\to (1, -2) \to (1, 0)$$

as it will do for any pair of coprime integers. More generally, the SNF of $(a,b)$ will be $(d, 0)$ where $d=\mathrm{gcd}(a,b)$ and the quotient will be isomorphic to $\mathbb Z\oplus\mathbb Z/d$.

Answer 2

You're correct.

Sanity check:

gap> F:=FreeGroup(2);
<free group on the generators [ f1, f2 ]>
gap> gens:=[F.1*F.2*F.1^(-1)*F.2^(-1), F.1^3F.2^(-2)];
[ f1*f2*f1^-1*f.2^-1, f1^3*f2^(-2) ]
gap> G:=F/gens;
<fp group on the generators [ f1, f2 ]>
gap> StructureDescription(G);
"Z"
gap>