Кряжева А.А. О финитной отделимости подгрупп в расщепляемых расширениях.
    Моделирование и анализ информационных систем. 2015. Т.22, № 4. С.500-506.


В 1973 году Аленби и Грегорас доказали следующее утверждение. Пусть G – расщепляемое расширение конечно порожденной группы A с помощью группы B. 1) Если в группах A и B все подгруппы (все циклические подгруппы) финитно отделимы, то и в группе G все подгруппы (все циклические подгруппы) финитно отделимы; 2) если в группе A все подгруппы финитно отделимы, а в группе B все конечно порожденные подгруппы финитно отделимы, то в группе G все конечно порожденные подгруппы финитно отделимы. Напомним, что группа G называется расщепляемым расширением группы A с помощью группы B, если группа A является нормальной подгруппой группы G, B – подгруппа группы G, G = AB и A \cap B = 1. Напомним также, что подгруппа H группы G называется финитно отделимой, если для каждого элемента g группы G, не принадлежащего подгруппе H, существует гомоморфизм группы G на некоторую конечную группу, при котором образ элемента g не принадлежит образу подгруппы H. В данной работе получено обобщение теоремы Аленби и Грегораса за счет замены условия конечной порожденности группы A более общим: для любого натурального числа n число всех подгрупп группы A индекса n конечно. В действительности при этом условии удалось получить необходимое и достаточное условие финитной отделимости всех подгрупп (всех циклических подгрупп, всех конечно порожденных подгрупп) в группе G.

Полный текст статьи (PDF, 437 Кб)