The right angle to look at orthogonal sets
Résumé
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. Moreover, a version of Schlichting's Theorem for hyperdefinable families of commensurable subgroups is shown.
Domaines
Logique [math.LO]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...