Integer Heisenberg group ($H(\mathbb{Z})$)

The integer Heisenberg group consists of upper-unitriangular three-by-three integer matrices. In coordinates $(x,y,z)$ its multiplication isIt is the semidirect product ${\mathbb{Z}}^2{⋊}_A\mathbb{Z}$ forand its abelianization is ${\mathbb{Z}}^2$.

In the real Heisenberg group with multiplication $(x,y,z)(x^{\prime },y^{\prime },z^{\prime })=(x+x^{\prime },y+y^{\prime },z+z^{\prime }+x{y}^{\prime })$, the displayed set is a discrete cocompact subgroup. Writing $a=(k,0,0)$, $b=(0,k,0)$, $c=(0,0,k)$ gives $[a,b]=c^k$ and $c$ central. Hence its abelianization is ${\mathbb{Z}}^2\oplus \mathbb{Z}/k$. The right quotient maps to ${\mathbb{R}}^2/k{\mathbb{Z}}^2$ by its first two coordinates; each fibre is the central circle $\mathbb{R}/k\mathbb{Z}$.

Write the Integer Heisenberg group with central generator $c=[a,b]$, so $ab=cba$. Moving $a$ successively past powers of $b$ givesFor positive exponents this follows by two inductions; inverses give the remaining signs. The representation $a=I+E_{12}$, $b=I+E_{23}$, $c=I+E_{13}$ checks the identity and shows $c$ has infinite order.