The small-index conjecture for subgroups of the Lascar strong automorphism group
Small-index conjecture. If HHH is a subgroup of Autf(M)Autf(M)Autf(M) with index strictly less than 2ℵ02^{\aleph_{0}}2ℵ0, then there exists a finite subset A⊂MA\subset MA⊂M such that