ON MAXIMAL STABLE QUOTIENTS OF DEFINABLE GROUPS IN NIP THEORIES

For G a group definable in a saturated model of a NIP theory T, 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.