On maximal stable quotients of definable groups in NIP theories

2016/06/03 by Haskel, Mike, Pillay, Anand
#03C45 #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.1606.01182

Abstract

For G a group definable in an NIP theory we prove that there is a smallest type-definable subgroup H of G such that the quotient G/H is stable. This generalizes the existence of G⁰0, the smallest type-definable subgroup of G of bounded index.

Related

• On stable quotients
• Maximal stable quotients of invariant types in NIP theories
• On type definable subgroups of a stable group.
• Looking for stabilizers in NSOP_1
• Externally definable fsg groups in NIP theories