Arithmetic trialitarian hyperbolic lattices are not LERF

Nikolay Bogachev, Leone Slavich, Hongbin Sun

A group is LERF (locally extended residually finite) if all its finitely generated subgroups are separable. We prove that the trialitarian arithmetic lattices in $\mathbf{PSO}_{7,1…