Group theory
Can every group be approximated by finite permutations?
A group describes reversible operations and how they combine. One way to understand an infinite group is to imitate small portions using permutations of a finite set. Soficity asks whether increasingly accurate imitations of this kind are always possible.
Formal proof reported↗