Frank O Wagner
An $\omega$-categorical supersimple group is finite-by-abelian-by-finite, and has finite $SU$-rank. Every definable subgroup is commensurable with an acl$(\emptyset)$-definable subgroup.