2
$\begingroup$

Following this question I wonder about the following. Examples of infinite torsion groups which are linear in zero characteristic are infinite groups of roots of unit.

  1. Are there other examples which do not contain examples as above as subgroups?

  2. Are there non-abelian examples? (How far can they be from abelian?)

(Note that the groups have to be infinitely generated and not of finite exponent.)

$\endgroup$
2
  • 1
    $\begingroup$ Certainly there are non-Abelian examples: the semidirect product of the group of all torsion elements in a fixed maximal torus and the Weyl group of that maximal torus. You could ask whether every example is virtually Abelian. $\endgroup$ Aug 17, 2015 at 21:15
  • $\begingroup$ Thanks. I suspected something like that exists that is why I put the question in brackets. $\endgroup$ Aug 17, 2015 at 21:47

1 Answer 1

5
$\begingroup$

If $K$ is a field of characteristic zero and $G\subset\mathrm{GL}_d(K)$ is torsion, then $G$ is virtually abelian, and more precisely the Zariski closure of $G$ is a virtual torus (i.e. its unit component is a torus).

Indeed, $G$ is locally finite, so is a directed union of its finite subgroups; since by Jordan-Zassenhaus its finite subgroups have abelian subgroups of bounded index, $G$ is virtually abelian. So if $H$ is the unit component of its Zariski closure, then $H$ is abelian. So $H=H_u\times H_s$ with $H_u$ unipotent, but the projection of a locally finite group on $H_u$ has to be trivial, thus $H_u=1$. So $H=H_s$ is a torus.

$\endgroup$
3
  • $\begingroup$ That is a beautiful answer. Are you using the Tits alternative to conclude local finiteness? $\endgroup$ Aug 18, 2015 at 11:36
  • 1
    $\begingroup$ No need for the Tits alternative it follows from Burnside's original result. $\endgroup$ Aug 18, 2015 at 14:11
  • 1
    $\begingroup$ Yes, no need. The Burnside result is a 1-generator version of Tits' alternative and could be called the Burnside alternative (any linear group is either locally finite or contains an infinite cyclic subgroup). $\endgroup$
    – YCor
    Aug 18, 2015 at 15:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.