Несофическая группа

Группа, которая не является софической (non-sofic group), то есть её нельзя сколь угодно точно приблизить конечными группами перестановок. Понятие софической группы ввели Михаил Громов и Бенджамин Вайс. Софическими являются, в частности, все аменабельные и все финитно-аппроксимируемые группы, и для них доказан ряд известных гипотез. Десятилетиями оставалось открытым, существуют ли несофические группы вообще; первый пример предъявили только в 2026 году.

проверено по: en.wikipedia.org ↗