The right angle to look at orthogonal sets
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. Moreover, a version of Schlichting's Theorem for hyperdefinable families of commensurable subgroups is shown.
Domains
Logic [math.LO]
Origin : Files produced by the author(s)
Loading...