Тестирование подгрупп конечной группы на свойствах вложения типа пронормальности

В работе рассмотрены алгоритмы для тестирования подгрупп конечной группы на следующие свойства вложения: пронормальность, абнормальность, паранормальность и их слабые аналоги. Метод основан на разложении основной группы на двойные смежные классы. Алгоритмы реализованы в системе компьютерной алгебры GAP и доступны при помощи bip-серверов в Ахене и Ст. Андрюсе. Библ. – 7 назв.