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. Every finitely based regular type in a CM-trivial $\omega$-categorical simple theory is non-orthogonal to a type of SU-rank 1. In particular, a supersimple $\omega$-categorical CM-trivial theory has finite SU-rank.
@article{1183746076,
author = {Evans, David M. and Wagner, Frank O.},
title = {Supersimple $\omega$-Categorical Groups and Theories},
journal = {J. Symbolic Logic},
volume = {65},
number = {1},
year = {2000},
pages = { 767-776},
language = {en},
url = {http://dml.mathdoc.fr/item/1183746076}
}
Evans, David M.; Wagner, Frank O. Supersimple $\omega$-Categorical Groups and Theories. J. Symbolic Logic, Tome 65 (2000) no. 1, pp. 767-776. http://gdmltest.u-ga.fr/item/1183746076/