О пересечении функторных подгрупп конечных групп Текст научной статьи по специальности «Математика»

Математика

УДК 512.542

О ПЕРЕСЕЧЕНИИ ФУНКТОРНЫХ ПОДГРУПП КОНЕЧНЫХ ГРУПП

Р. В. Бородич,1 О. А. Шпырко2

Изучаются пересечения заданных максимальных подгрупп в конечных группах. Устанавливаются общие свойства обобщенной подгруппы Фраттини с помощью функторного метода.

Ключевые слова: конечная группа, максимальная подгруппа, подгруппа Фраттини, функтор.

Intersections of given maximal subgroups of finite groups are studied. General properties of the generalised Frattini subgroup are established with the help of the functor method.

Key words: finite group, maximal subgroup, Frattini subgroup, functor.

Все рассматриваемые в статье группы предполагаются конечными. В теории конечных групп центральное место занимают объекты, экстремально расположенные в группе. К таким объектам в первую очередь относятся максимальные подгруппы. Одно из направлений теории пересечений максимальных подгрупп связано с задачей о свойствах пересечений заданных максимальных подгрупп и исследованием влияния этих свойств на подгрупповое и нормальное строение группы. Данное направление берет начало с работы Фраттини [1], установившего нильпотентность пересечения Ф(С) всех максимальных подгрупп конечной группы G. Полученные им результаты в дальнейшем развивались в работах многих авторов (см. монографии [2] и [3]). В настоящее время развитие данной теории связано с введением функторного метода.

Согласно [3], m-функтором называется функция В, которая сопоставляет каждой группе G некоторое множество B(G) ее максимальных подгрупп и саму группу G; при этом предполагается, что если M £ B(G), то Mx £ B(G) для всех ж £ G.

Максимальная подгруппа, не являющаяся нормальной, называется абнормальной.

Согласно [3], на множестве m-функторов можно определить операции пересечения следующим образом: (Bi П B2)(G) = Bi(G) П B2(G).

Назовем m-функтор

1) тривиальным, если B(G)\{G} — множество всех максимальных подгрупп группы G для любой группы G;

2) абнормально полным, если для любой группы G множество B(G) содержит все абнормальные максимальные подгруппы группы G.

Если В — m-функтор и M £ B(G), то M будем называть В-подгруппой группы G. Обозначим через Ф©^) и назовем В-подгруппой Фраттини пересечение всех В-подгрупп группы G. Если m-функтор тривиальный, то В-подгруппа Фраттини совпадает с подгруппой Фраттини Ф^).

Использование функторного метода позволяет изучать различные обобщенные подгруппы Фраттини. И как продолжение исследований в этом направлении рассмотрим пересечение максимальных подгрупп группы G, не сопряженных с данной.

Пусть В — m-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. Тогда i5(G) — множество всех максимальных подгрупп группы G, которые не сопряжены с некоторой фиксированной максимальной подгруппой M группы G. Понятно, что В^) содержит и саму группу G. При этом Ф©^) = Mg — ядро подгруппы M в группе G. Очевидно, что Ф©(G) П MG = Ф^) для любой группы G.

Возникает естественный вопрос: обладает ли подгруппа Ф© (G) общими свойствами для различных максимальных подгрупп, выделяемых m-функтором В?

Обозначим через Ф© n©(G) пересечение не р-нильпотентных абнормальных максимальных В-подгрупп, не сопряженных с некоторой максимальной подгруппой. В случае, когда m-функтор В выделяет в группе

1 Бородин Руслан Викторович — канд. физ.-мат. наук, начальник научно-иссл. сектора Учреждения образования "Гомельский государственный университет им. Ф. Скорины", e-mail: borodich@gsu.by.

Шпырко Ольга Алексеевна — канд. физ.-мат. наук, доцент каф. прикладной математики отд-я естественных наук филиала МГУ в г. Севастополе, e-mail: shpyrko@mail.ru.

О все абнормальные максимальные подгруппы, подгруппу П@(О) будем обозначать А^ (О). Если В

выделяет в группе О все максимальные подгруппы, то подгруппу п&(О) будем обозначать (О). Для

формации нильпотентных групп будем применять обозначение фП П@(О). Подгруппы АП (О) и фП (О) определяются соответственно.

Всегда полагаем, что пересечение пустого множества подгрупп из О совпадает с самой группой О.

Лемма 1 [4]. Пусть р — простое нечетное число. Группа О является р-нильпотентной тогда и только тогда, когда для любой подгруппы Р, характеристической в некоторой силовской р-подгруппе группы О, Мс(Р)/Сс(Р) — р-подгруппа.

Напомним следующие определения. Пусть £п> — формация всех п'-групп, $ — одна из следующих формаций:

Ап — формация всех абелевых п-групп;

— формация всех нильпотентных п-групп;

бп — формация всех разрешимых п-групп.

Ясно, что произведение Еп/$ снова формация, состоящая из п'-замкнутых групп, п-холловы подгруппы которых принадлежат Очевидно, что

Пусть теперь О — неединичная п-разрешимая группа, тогда О = ОЕп^ и О € (&п>£п> для некоторого натурального Если О € (£п>\ (£п>£п>, то £ называется ^-длиной группы О и обозначается ¡%(О) [2].

В частности, возможны следующие случаи:

если $ = Ап, то (О) = ¡п(О) есть производная п-длина группы О [5]; кроме того, если п(О) С п, то мы получаем производную длину разрешимой группы О, которая обозначается й(О);

если $ = , то ¡п^ (О) = ¡П(О) и мы говорим о нильпотентной п-длине группы О; более того, если п(О) С п, то мы получаем нильпотентную длину разрешимой группы О;

если $ = бп, то (О) = ¡п(О) и речь идет о п-длине группы О. Если п(О) С п, то ¡п (О) = 1.

В случае п = {р} и $ = N мы имеем р-длину р-разрешимой группы ¡Р(О) [6].

Очевидно, что ¡п(О) ^ ¡П(О) ^ ¡п(О) для всех п-разрешимых групп О.

Напомним, группа О называется метанильпотентной, если существует такая нормальная подгруппа К, что группа К и факторгруппа О/К — нильпотентные группы.

Лемма 2. Если О — метанильпотентная группа, то ¡п(О) ^ 1 и ¡ПО) ^ 2 для любого множества п простых чисел.

Доказательство. Пусть О — метанильпотентная группа, тогда существует такая нормальная ниль-потентная подгруппа N в группе О, факторгруппа О/М по которой также нильпотентна. Так как N — нильпотентная подгруппа, то N = Мп х Мп>. Поскольку подгруппа Мп> характеристична в М, а N нормальна в О, то < О. Таким образом, группа О обладает следующим нормальным (п',п)-рядом:

1 х ^ < ОпN = ОпN х ^) = Оп^ < О.

Так как N < ОN и О/N суть п-разрешимые группы с нильпотентной п-холловой подгруппой, а факторы Nп' и О/ОпNп' этого ряда являются п'-группами, то ¡П(О) ^ 2. Из соотношения ОпN/N < О/N следует ¡п(О) ^ 1. Лемма доказана.

Теорема 1. Пусть В1 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, В — абнормально полный т-функтор и р > 2. Тогда для любой не р-разрешимой группы О справедливо включение П@(О)/Р С Ф@(О/Р), где Р — нормальная р-подгруппа группы О.

Доказательство. Обозначим В = @(О). Пусть Р — силовская р-подгруппа из В, не содержащаяся в максимальной В1 П В-подгруппе М. По лемме Фраттини О = DNG(P).

Предположим, что N0^) = О. Пусть К — максимальная подгруппа группы О, такая, что N0^) С К. Из абнормальности N0^) следует, что К € В(О). Так как О = ВК, то К — р-нильпотентная или не р-нильпотентная подгруппа, сопряженная с максимальной подгруппой М. Если предположить, что К не р-нильпотентная подгруппа, сопряженная с максимальной подгруппой М, то в силу соотношения \О : М\ = \О : К\ получаем противоречие. Остается заключить, что К — р-нильпотентная В-подгруппа группы О. Следовательно, N0^) — р-нильпотентная подгруппа.

Если В р-нильпотентна, то нетрудно видеть, что группа О р-разрешима. Противоречие.

Будем считать, что В не р-нильпотентна. Тогда по лемме 1 найдется характеристическая подгруппа Р* из Р, такая, что N0(Р*)/С0(Р*) не р-группа. Так как ^(Р) С ^(Р*), то О = DNG(P*).

Возможны случаи: Ng(P*) = G либо Ng(P*) р-нильпотентна. Так как Nd(P*)/Cd(P*) не р-группа, то второй случай невозможен. Остается принять, что Nd(P*)/Cd(P*) не р-группа и P* <G.

Пусть P* — максимальная среди характеристических подгрупп группы P, обладающая отмеченными выше свойствами. Так как Ng(P) р-нильпотентна, то P* С P. Пусть Po/P* — характеристическая подгруппа группы P/P* .Тогда Po характеристична в P и P* С Pq. Ввиду выбора подгруппы P* получаем, что Nd(Pq)/Cd (Po) — р-группа.

Заметим, что ND/P* (P0/P*) = ND(P0)/P* и CD(P0)P*/P* С CD/P* (P0/P*). Отсюда получаем, что Nd/p* (Po/P*)/Cd/p* (Po/P*) — р-группа. Следовательно, по лемме 1 группа D/P* является р-ниль-потентной. Но тогда D является р-разрешимой группой. Отсюда и из р-разрешимости G/D следует р-разрешимость и самой группы G. Противоречие. Остается заключить, что P — нормальная р-подгруппа группы G.

Так как M не содержит P, то несложно заметить, что фе ne(G)/P С Фе^/P). Теорема доказана.

Следствие 1. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, 0 — абнормально полный т-функтор и р > 2. Тогда в любой не р-разрешимой группе G существует нормальная р-подгруппа P, такая, что Ф© @(G)/P Е N.

Следствие 2. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, 0 — абнормально полный т-функтор и р > 2. Тогда в любой не р-разрешимой группе G подгруппа n@(G) Е NPN.

В случае, когда т-функтор 0 выделяет в каждой группе все абнормальные максимальные подгруппы, из теоремы 1 получаем

Следствие 3. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, и р > 2. Тогда в любой не р-разрешимой группе G существует нормальная р-подгруппа P, такая, что Д© (G)/P С A(G/P).

Следствие 4. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, и р > 2. Тогда в любой не р-разрешимой группе подгруппа

Д%i (G) е NpN.

Следствие 5. В любой не р-разрешимой группе G, р > 2, подгруппа, которая равна пересечению не р-нильпотентных абнормальных максимальных подгрупп, не сопряженных с некоторой максимальной подгруппой, метанильпотентна.

Если т-функтор 0 является тривиальным, то из теоремы 1 получаем

Следствие 6. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, и р > 2. Тогда в любой не р-разрешимой группе G существует нормальная р-подгруппа P, такая, что (G)/P С Q(G/P).

Следствие 7. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, и р > 2. Тогда в любой не р-разрешимой группе подгруппа

ф%i (G) е NpN.

Следствие 8. В любой не р-разрешимой группе G, р > 2, подгруппа, равная пересечению не р-ниль-потентных максимальных подгрупп, не сопряженных с некоторой максимальной подгруппой, мета-нильпотентна.

Отметим, что лемма 2 позволяет оценить п-длину и нильпотентную п-длину соответствующих подгрупп для произвольного множества простых нечетных чисел.

Теорема 2. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, 0 — абнормально полный т-функтор. Тогда для любой неразрешимой группы G справедливо включение фN n@(G)/P С &%(G/P), где P — нормальная р-подгруппа группы G.

Доказательство. Несложно заметить, что

Ф©ine(G) ^ ФNineG) ^ MG).

Если G неразрешима, то G не р-разрешима для некоторого р Е n(G). Если р > 2, то по теореме 1 имеем Ф% n%(G)/P С $e(G/P), а следовательно, ф^ ne(G)/P С <^%(G/P). Пусть G р-разрешима для любого нечетного р Е n(G). Нетрудно видеть, что в этом случае G является разрешимой.

Следствие 9. Пусть 01 — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу, 0 — абнормально полный т-функтор. Тогда в любой неразрешимой группе G существует нормальная р-подгруппа P, такая, что фN n%(G)/P Е N.

В случае, когда т-функтор 0 выделяет в каждой группе все абнормальные максимальные подгруппы, из теоремы 2 получаем следствия:

Следствие 10. Пусть ei — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. Тогда в любой неразрешимой группе G существует нормальная p-подгруппа P, такая, что А N (G)/P С A(G/P ).

Следствие 11. Пусть ei — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. Тогда в любой неразрешимой группе подгруппа АN (G) G NPN.

Следствие 12. В любой неразрешимой группе G пересечение ненильпотентных абнормальных максимальных подгрупп, не сопряженных с некоторой максимальной подгруппой, метанильпотентно. Если т-функтор в является тривиальным, то из теоремы 2 получаем

Следствие 13. Пусть ei — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. Тогда в любой неразрешимой группе G существует нормальная p-подгруппа P, такая, что фN (G)/P С (^(G/P).

Следствие 14. Пусть ei — т-функтор, выделяющий в каждой группе один класс сопряженных максимальных подгрупп и саму группу. Тогда в любой не p-разрешимой группе подгруппа фN (G) G NPN.

Следствие 15. В любой неразрешимой группе G подгруппа, равная пересечению ненильпотентных максимальных подгрупп, не сопряженных с некоторой максимальной подгруппой, метанильпотентна и ее п-длина не больше l, а нильпотентная п-длина не больше 2, где п — произвольное множество простых чисел.

СПИСОК ЛИТЕРАТУРЫ

1. Frattini G. Intorno alla generasione dei gruppi di operazioni // Atti Acad. Lincei. 1885. 1. 281-285.

2. Шеметков Л.А. Формации конечных групп. M.: Наука, 1978.

3. Селькин М.В. Максимальные подгруппы в теории классов конечных групп. Минск: Беларуская навука, 1997.

4. Thompson J.G. Normal p-complements for finite groups //J. Algebra. 1964. 1. 43-46.

5. Шпырко О.А. О производной п-длине конечной п-разрешимой группы // Таврич. вестн. информ. и матем. 2005. № 1. 49-54.

6. Hall P., Higman G. On the p-length of p-soluble groups and reduction theorems for Burnside's problem // Proc. London Math. Soc. 1956. 3. 1-42.

Поступила в редакцию 04.09.2009

УДК 512.543.52 + 512.544.7

ПОРЯДКОВАЯ ОТДЕЛИМОСТЬ СВОБОДНЫХ ПРОИЗВЕДЕНИЙ С ОБЪЕДИНЕННОЙ ПОДГРУППОЙ

В. В. Едынак1

В статье доказывается свойство порядковой отделимости для свободного произведения двух свободных групп с объединенными максимальными циклическими подгруппами.

Ключевые слова: свободные произведения, аппроксимационные свойства.

The order separability is proved for the free product of two free groups with the maximal cyclic amalgamated subgroups.

Key words: free products, residual properties.

Определение 1. Пусть даны группа G и натуральное число п, превосходящее 1. Группа G называется п-порядково отделимой, если для любых элементов g\,...,gn группы G, таких, что gi не сопряжено с g±l, 1 ^ i < j ^ п, существует гомоморфизм из группы G в конечную группу, такой, что порядки образов элементов g\,...,gn попарно различны.

В работе [1] было доказано, что свободные группы 2-порядково отделимы. Автором [2] было установлено, что 2-порядковая отделимость переносится на свободные произведения. Целью данной работы является доказательство следующей теоремы.

1 Едынак Владимир Васильевич — асп. каф. высшей алгебры мех.-мат. ф-та МГУ, e-mail: edynak_vova@mail.ru.