On maximal stable quotients of definable groups in NIP theories

Mike Haskel, Anand Pillay

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^…