On maximal stable quotients of definable groups in NIP theories
  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^00, the smallest type-definable subgroup of G of bounded index. 
Mike Haskel and Anand Pillay
math.LO