Let $G=SL_2(\mathbb{Z}[1/2])$, i.e., the modular group (if you wish) over the ring $\mathbb{Z}[1/2]$ consisting of rationals whose denominators are powers of $2$. Unlike $SL_2(\mathbb{R})$, $G$ is neither simple nor almost-simple: for example, it is possible to define congruence subgroups (for odd modulus $N$).

Is there a non-trivial (i.e., neither $\{I\}$ nor $\{\pm I\}$) normal subgroup of $G$ whose intersection with the unipotent subgroup $U = \left(\begin{matrix} 1 & * \\ 0 & 1\end{matrix}\right)$ is trivial?

(Of course, such a subgroup would have to be of infinite index; does $G$ have non-trivial normal subgroups of infinite index?)