Group $\Gamma_0(N)$ subgroup of $\textrm{SL}(2,\mathbb{Z})$ (awaiting review)

The group $\Gamma_0(N)$ is the subgroup of $\textrm{SL}(2,\mathbb{Z})$ that consists of matrices that become upper triangular when reduced modulo $N$. That is, \[ \Gamma_0(N) = \left\lbrace \left .\begin{pmatrix} a & b \\ c & d \end{pmatrix}\in \textrm{SL}(2,\mathbb{Z})\ \right|\ c\equiv 0\pmod N \right\rbrace. \]