Mixed identities in linear groups -- effective version
Nir Avni, Tsachik Gelander
Published: 2025/10/3
Abstract
We show that MIF (mixed-identity-free) linear groups are sharply MIF and linearly MIF. Along the way we provide a self contained proof of the strong approximation theorem, and a new (probabilistic) variant of the super approximation theorem.