I'm wondering if there's always a (not too complicated?) way to characterize a matrix group by conditions on the coefficients.
I know if I'm dealing with matrix groups over a field, then it's sort of a question of seeing if the matrix group is Zariski-closed, which would correspond to polynomial conditions on the coefficients, though I'm not necessarily only interested in polynomial conditions, and I want to work with integer coefficients.
More specifically, I've got four matrices $A,B,C,D$ in $SL(2,\mathbb{Z})$, and I'm looking at the subgroup of the group generated by these four matrices (which have the sole relation $DCBA = 1$), such that the number of times $A$ or $C$ appears in any word is even.
Actually, (Formatting looks weird, these are meant to be $2\times2$ matrices and the coefficients are ordered as top left, top right, bottom left, bottom right) $$A = \left[\begin{array}{ll} 1 & 5 \\ 0 & 1\end{array}\right]$$ $$B = \left[\begin{array}{ll} 1 & 0 \\ -1 & 1\end{array}\right]$$ $$C = \left[\begin{array}{ll} 11 & 20 \\ -5 & -9\end{array}\right]$$ $$D = \left[\begin{array}{ll} 11 & 25 \\ -4 & -9\end{array}\right]$$
($A,B,C,D$ actually generate the congruence group $\Gamma^1(5)$)
In fact, if we let $$M = \left[\begin{array}{ll} -2 & -5 \\ 1 & 2\end{array}\right]$$ then $C = MAM^{-1}$, and $D = MBM^{-1}$.