Skip to main content
5 of 9
added 388 characters in body
Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741

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.

  • 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. 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. Slightly more generally, if $2 = 0$ and $I$ is the ideal of $R$ consisting of elements squaring to zero, then there are no nontrivial elements of order $4$ in $\text{SL}_2(R/I)$. This rules out, in particular, any non-abelian simple group with an element of order $4$.

  • If $2$ is not a zero divisor in $R$ (in particular, if $2 \neq 0$ and $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$.

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. It just seems as if there is not enough room to be "too noncommutative." For example, the first three cases above all rule out $\text{SL}_3(\mathbb{F}_2) \sim \text{PSL}_2(\mathbb{F}_7)$.

Qiaochu Yuan
  • 118.2k
  • 40
  • 447
  • 741