Полупростые группы, имеющие точное финитарное подстановочное представление

Показано, что локально конечная полупростая группа имеет точное финитарное подстановочное представление тогда и только тогда, когда любая ее финитно аппроксимируемая подгруппа локально нормальна.