Submission date: 23 October 2013.

Abstract:

If X and Y are orthogonal hyperdefinable sets such that X is simple, then any group G interpretable in (X,Y) has a normal hyperdefinable X-internal subgroup N such that G/N is Y-internal; N is unique up to commensurability. In order to make sense of this statement, local simplicity theory for hyperdefinable sets is developped.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1310.6275: pdf, ps.