We shall define a general notion of dimension, and study groups and rings whose interpretable sets carry such a dimension. In particular, we deduce chain conditions for groups, definability results for fields and domains, and show that a pseudofinite$\widetilde {\mathfrak M}_c$-group of finite positive dimension contains a finite-by-abelian subgroup of positive dimension, and a pseudofinite group of dimension 2 contains a soluble subgroup of dimension 2.

If $G$ is a group with a supersimple theory having a finite $SU$-rank, then the subgroup of $G$ generated by all of its normal nilpotent subgroups is definable and nilpotent. This answers a question asked by Elwes, Jaligot, Macpherson and Ryten. If $H$ is any group with a supersimple theory, then the subgroup of $H$ generated by all of its normal soluble subgroups is definable and soluble.