Minimal bounded index subgroup for dependent theories

Abstract

For a dependent theory T T , in C T {\mathfrak {C}}_{T} for every type definable group G G , the intersection of type definable subgroups with bounded index is a type definable subgroup with bounded index.