Here's what I know about Question 1 from tinkering with the linked question for awhile. - If $R$ is an algebraically closed field of characteristic zero then the classification is the same as the classification of the finite subgroups of $\text{SL}_2(\mathbb{C})$: the cyclic groups, the dicyclic groups, and the binary polyhedral groups. Hence if $R$ is an integral domain of characteristic zero then any finite subgroup must be on this list. - <strike>If $R$ is an integral domain of characteristic $2$ then $\text{SL}_2(R)$ has no nontrivial elements of order $2$. This rules out any finite group of even order.</strike> Whoops: what I meant to say is that $\text{SL}_2(R)$ has no nontrivial elements of order $4$. Actually it's enough that $R$ is reduced. This rules out any finite group with such an element. - If $2$ is not a zero divisor in $R$ (in particular, if $R$ is an integral domain) then any element of order $2$ in $\text{SL}_2(R)$ is a scalar multiple of the identity, in particular central. This rules out many finite groups, including non-abelian simple groups by Feit-Thompson. - In general, let $I$ be the ideal of $R$ consisting of the elements annihilated by $2$. The above bullet point shows that any element of order $2$ in the quotient $\text{SL}_2(R/I)$ must be a scalar multiple of the identity, in particular central, in this quotient. Hence if $G$ is a non-abelian simple subgroup of $\text{SL}_2(R)$, it must land in the kernel of the above map: the subgroup congruent to the identity $\bmod I$. <strike>I strongly suspect that $\text{SL}_2(R)$ can't contain a non-abelian simple group in general but have not yet been able to prove it.</strike> It just seems as if there is not enough room to be "too noncommutative."