A torsion-free non-sofic group
arXiv:2608.02025
Abstract
OpenAI announced the existence of a non-sofic group: the unit group of the binary Leavitt algebra. We exhibit a different source of examples (relying on the same technical criterion) which includes torsion-free groups.
5 pages. v2: small changes after several comments on the first version