The too naive and vague version of my question is the following: given a collection of integer symplectic matrices all of the same size (say 2n by 2n), how can I tell if they generate the full symplectic group Sp(2n,Z)?

Here is the fleshed-out version. Here Sp(2n,Z) means the group of matrices preserving the form

$ J = \left( \begin{array}{cc} 0&I \\ -I&0& \end{array} \right)$

and I stick to the case of Sp(4,Z). It is a theorem of Stanek that this group is generated by the following three matrices:

$ T = \left( \begin{array}{cccc} 1&0&1&0 \\ 0&1&0&0 \\ 0&0&1&0 \\ 0&0&0&1 \end{array} \right), \quad R = \left( \begin{array}{cccc} 1&0&0&0 \\ 1&1&0&0 \\ 0&0&1&-1 \\ 0&0&0&1 \end{array} \right), \quad D=\left( \begin{array}{cccc} 0&1&0&0 \\ 0&0&-1&0 \\ 0&0&0&1 \\ 1&0&0&0 \end{array} \right). $

Now it so happens (in some geometric situation I care about) that I have two other elements A and B of Sp(4,Z), given as follows:

$ A = \left( \begin{array}{cccc} 0&0&-1&0 \\ 0&1&0&0 \\ 1&0&0&0 \\ 0&0&0&1 \end{array} \right), \quad B = \left( \begin{array}{cccc} 0&0&0&-1 \\ 0&0&-1&5 \\ 5&1&2&5 \\ 1&0&0&2 \end{array} \right). $

Then my more concrete question is the following:

Is {T,A,B} also a generating set for Sp(4,Z)?

To make that question seem a little more reasonable, here is some

**Evidence:** The images of T, A, and B in Sp(4,F_p) *do* in fact generate Sp(4,F_p) for all primes p up to 47. (My computer stopped cooperating at that point.)

It seems plausible to me that if the subgroup $\left< T, A, B \right>$ was actually proper, then this would be detected by its image in one of the groups Sp(4,F_p), and moreover that the first prime p at which this happened wouldn't be too big (for example, perhaps not bigger than the largest absolute value of coefficients of A or B). But maybe that is completely off the mark. (If so, please tell me so!)

Of course I don't expect a definitive answer to my specific question here, but anything that can be said about approaches to this kind of question would be much appreciated.

Finally let me mention that, for the geometric question I'm interested in, it would be sufficient to know that $\left< T, A, B \right>$ is merely a finite-index subgroup of Sp(4,Z). (Hence the arithmetic groups tag.) But the stronger statement seems to be true, as explained above, so I phrased the question that way.

**Edit (May 26):** As pointed out by Derek Holt in his answer, it is not true that the reduction of my group mod 2 gives all of Sp(4,F_2). I must have made a mistake in that computation. In any case, he also shows that my group has finite index (indeed, index 6) in Sp(4,Z), settling the question satisfactorily. But any more remarks about generating sets for the symplectic group are still most welcome!