Тогда в любой неразрешимой группе G существует нормальная p-подгруппа P, такая, что ¯ Следствие 11. <...> Пусть Θ1 — m-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. <...> Тогда в любой неразрешимой группе подгруппа ¯ Θ1¯ (G)/P ⊆ ∆(G/P). <...> Пусть Θ1 — m-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. <...> Тогда в любой неразрешимой группе G существует нормальная p-подгруппа P, такая, что ¯ ΦN Следствие 14. <...> Пусть Θ1 — m-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. <...> Тогда в любой не p-разрешимой группе подгруппа ¯ Θ1¯ (G)/P ⊆ Φ(G/P). <...> В любой неразрешимой группе G подгруппа, равная пересечению ненильпотентных Θ1¯ (G) ∈ NpN. максимальных подгрупп, не сопряженных с некоторой максимальной подгруппой, метанильпотентна иее π-длина не больше 1, а нильпотентная π-длина не больше 2,где π — произвольное множество простых чисел. <...> Максимальные подгруппы в теории классов конечных групп. <...> Едынак1 В статье доказывается свойство порядковой отделимости для свободного произведения двух свободных групп с объединенными максимальными циклическими подгруппами. <...> Группа Gназывается n-порядково отделимой, если для любых элементов g1,. ,gn группы G, таких, что gi не сопряжено с g±1 j , 1 i< j n, существует гомоморфизм из группы G в конечную группу, такой, что порядки образов элементов g1,. ,gn попарно различны. <...> В работе [1] было доказано, что свободные группы 2-порядково отделимы. <...> Автором [2] было установлено, что 2-порядковая отделимость переносится на свободные произведения. <...> Отображение η сопоставляет каждому ребру e ребро f, обратное к e.Ребра e и f называются взаимно обратными. <...> Граф называется ориентированным, если из каждой пары его взаимно обратных ребер зафиксировано одно ребро, которое называется положительно ориентированным. <...> Конечный путь графа называется циклом, если его начало и конец совпадают. <...> Пусть в графе Γ задан цикл S = e1 <...>