Minimal bounded index subgroup for dependent theories
arXiv:math/0603652
Abstract
For a dependent theory T, in C_T for every type definable group G, the intersection of type definable subgroups with bounded index is a type definable subgroup with bounded index.