Mixed identities in linear groups -- effective version
arXiv:2510.03492
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.
20 pages