Гомоморфная устойчивость конечных групп | Прикладная дискретная математика. 2017. № 35. DOI: 10.17223/20710410/35/1

Множество Hom (G, H) гомоморфизмов группы G в группу H является группой относительно поточечного умножения тогда и только тогда, когда образы любых двух таких гомоморфизмов поэлементно перестановочны. В таком случае группа Hom (G, H) коммутативна. Для конечных групп G и H изучаются алгебраические свойства группы Hom (G, H), а также объединения Im (G,H) образов всех таких гомоморфизмов. Пусть exp(G) -минимальное среди всех таких положительных целых чисел n, для которых x = 1 для каждого элемента x £ G; G' - коммутант группы G, q = exp(G/G) и Q_q(H) - подгруппа в H, порождённая элементами периода q. Доказаны следующие утверждения: - Если Hom (G, H) является группой, то Q_q(H) коммутативна и группы Hom (G,H) и Hom (G/G', Q_q(H)) изоморфны. Обратно, если Q_q(H) коммутативна и ядро каждого гомоморфизма из Hom (G, H) содержит коммутант G', то множество Hom (G, H) является группой относительно поточечного умножения. - Если Im (G, H) - подгруппа в H, то Im (G, H) эндоморфно допустима. - Если G - такая конечная р-группа, что q = exp(G) = exp(G/G'), а H - регулярная р-группа, то Im (G, H) = Q_q(H).