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.