Let $G\_1$ and $G\_1$ be two semisimple algebraic groups defined over $\mathbb{Q}$, suppose we have a surjective homomorphism $f: G\_1\to G\_2$, with finite kernel contained in the center of $G\_1$. 


By congruence subgroup of $G\_i$, for $i=1,2$, we means $K\cap G\_i(\mathbb{Q})$, with $K$ compact open subgroup of $G\_i(\mathbb{A}\_f)$.


Then consider the images of congruence subgroups of $G\_1$ under the map $f$, is it cofinal with the congruence of $G\_2$, i.e. every congruence subgroup of $G\_2$, it conatines image of some congruence of $G\_1$ and every image of congruence subgroup of $G\_1$ containes congruence subgroup of $G\_2$ ?


If the above is not true, then is it true that almost all (except finite many) congruence subgroups of $G\_2$ are contained in the image of some congruence subgroup of $G\_1$?


For example $G\_1=SL\_2(\mathbb{Q})\times SL\_2(\mathbb{Q})\times SL\_2(\mathbb{Q})$, and $G\_1$ has a natural map into $SP\_8(\mathbb{Q})$ by tensor product action. Let $G\_2$ be the image . Let $C\_2$ (resp. $C\_1$) be a connected shimura curve using $G\_2$ (resp.$G\_1$) and congruence subgroup $\Gamma\_2$ (resp.$\Gamma\_1$) of $G\_2$ (resp. $G\_1$). Then I want to know is it true that except finite many congruence subgroup $\Gamma\_2$ , one can always find some $\Gamma\_1$, such that there is an etale map from $C\_2$ to $C\_1$.



isogeny and congruence subgroup
To deal with isogenies it is useful to start with some of the basic work done on the Congruence Subgroup Problem in the 1960s and later. This problem can be formulated for any connected linear algebraic group defined over a number field such as $\mathbb{Q}$. Much of the work focuses on the difficult case of an (almost) simple group $G$, where it was known long ago for $G=\mathrm{SL}\_2$ that not every arithmetic subgroup of $G(\mathbb{Q})$ (commensurate to $G(\mathbb{Z})$) is a *congruence subgroup* (a subgroup containing a principal congruence subgroup, necessarily of finite index in $G(\mathbb{Z})$). But eventually the split, *simply connected* groups of rank at least 2 (such as $\mathrm{SL}\_n$ with $n \geq 3$) were found to satisfy the congruence subgroup property unless the field is totally imaginary (Bass-Milnor-Serre, Matsumoto). Further work by Prasad-Raghunathan has dealt with non-split groups. 


But when $G$ fails to be simply connected the outcome is much less favorable. This is discussed carefully by Serre in the Bourbaki seminar (exp. 330) [here](http://www.numdam.org/numdam-bin/fitem?id=SB_1966-1968__10__275_0). See 1.2(c); later work clarified the status of the strong approximation property invoked here. 


In particular, the isogeny from the simply connected covering group $\widehat{G}$ onto $G$ does not behave at all well on congruence subgroups. If I understand correctly what is being asked here, this often provides a strongly negative answer. 


