С помощью составленной авторами компьютерной программы найден явный вид нормализаторов и централизаторов нетривиальных подгрупп в неабелевых группах порядка не выше 20. Результаты представлены либо в терминах конкретной реализации групп, либо в терминах ее порождающих элементов. Обсуждается применение программы к проверке условия Т-нормальности.
конечная группа, неабелева группа, т-нормальная группа