Margulis–Zimmer conjecture on commensurated subgroups of S-arithmetic lattices
Margulis–Zimmer conjecture. Every commensurated subgroup of Λ\LambdaΛ is either finite or S′S'S′-arithmetic for some S′⊆SS'\subseteq SS′⊆S.