Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Constructing subgroups by intersection

I'd like to construct a subgroup of $Sp\left(4,\mathbb{Z}\right)$ of the form:

$$G_0\left(N\right) = M\left(N\right) \cap {Sp}\left(4,\mathbb{Z}\right)$$

where $M\left(N\right)$ is a $4\times4$ matrix over the integer ring with elements that are multiples of the integer $N$. I think I know how to construct such an $M\left(N\right)$ for a given $N$, but how does one then construct such a subgroup $G_0\left(N\right)$? Thanks!