Вычисление групп гомоморфизмов и проверка гомоморфной устойчивости пар конечных групп

Рассматриваются все пары групп G и H порядка не выше 12. В случае если группа H абелева, с помощью компьютерного моделирования с точностью до изоморфизма вычислена группа гомоморфизмов G в H и найдена подгруппа в H, являющаяся объединением образов всех гомоморфизмов. Аналогичные конструкции рассматриваются для случая неабелевой группы H, который значительно сложнее.