CC BY
17
УДК 512.542
DOI 10.18413/2075-463 9-2019-51-1 -64-87
О ПОДРЕШЕТКАХ РЕШЕТКИ ЧАСТИЧНО ТОТАЛЬНО НАСЫЩЕННЫХ ФОРМАЦИЙ КОНЕЧНЫХ ГРУПП
ON SUBLATTICES OF THE LATTICE OF PARTIALLY TOTALLY SATURATED FORMATIONS OF FINITE GROUPS
В.В. Щербина, В.Г. Сафонов V.V. Shcherbina, V.G. Safonov
Белорусский государственный университет, Республика Беларусь, 220030, г. Минск, пр. Независимости, 4
Belarusian State University, 4 Nezavisimosti Avenue, Minsk, 220030, Republic of Belarus
E-mail: [email protected]
Аннотация
Доказано, что для любого подгруппового функтора Т решетка всех Т -замкнутых тотально О -насыщенных формаций является полной подрешеткой решетки всех тотально О -насыщенных формаций конечных групп. В частности, установлена вложимость решетки всех Т -замкнутых тотально насыщенных формаций в решетку всех тотально насыщенных формаций, а также вложимость решетки всех Т -замкнутых тотально p -насыщенных формаций в решетку всех тотально p -насыщенных формаций.
Abstract
All groups under consideration are finite. The paper studies some properties of the lattice of all Т -closed totally (-saturated formations. Using methods of V.G. Safonov and L.A. Shemetkov, we prove that for any subgroup functor Т , the lattice of all Т -closed totally О -saturated formations is a complete sublattice of the lattice of all totally О-saturated formations. In particular, we show that the lattice of all Т -closed totally saturated formations is a complete sublattice of the lattice of all totally saturated formations. Similarly, the lattice of all Т -closed totally p -saturated formations is a complete sublattice of the lattice of all totally p -saturated formations.
Ключевые слова: формация конечных групп, тотально О-насыщенная формация, решетка формаций, Т -замкнутая формация.
Keywords: formation of finite groups, totally О-saturated formation, lattice of formations, Т -closed formation.
Введение
Все рассматриваемые группы предполагаются конечными. Мы придерживаемся терминологии, принятой в работах Шеметкова, Скибы и других авторов [Шеметков, 1978; Шеметков, Скиба, 1989; Боегк, Hawkes, 1992; Скиба, 1997; БЫЬа, Shemetkov, 2000].
Одним из интенсивно развивающихся направлений теории формаций является направление, связанное с изучением внутренней структуры формаций различных типов и
их классификацией. Существенную роль в таких исследованиях играют методы и конструкции общей теории решеток, которые активно стали применяться в теории формаций после установления А.Н. Скибой [1986] модулярности решетки всех формаций. Основные результаты структурной теории формаций изложены в книгах Шеметкова, Скибы и других авторов [Шеметков, Скиба, 1989; Боегк, Hawkes, 1992; Скиба, 1997; Оио, 2000; Ballester-Bolinches, Б2диегго, 2006; Воробьев, 2012]. В работах Л.А. Шеметкова и А.Н. Скибы [1989] и А.Н. Скибы [1997], в частности, было показано, что решетка разрешимых тотально насыщенных формаций является дистрибутивной. Ряд свойств решетки всех тотально насыщенных формаций установлен в других работах [Воробьев, 2000; БаРопоу, 2006 а, Ь; БаАопоу, 2007; Сафонов, Шеметков, 2008; Safonov, 2010].
В 1999 году в теории формаций А.Н. Скибой и Л.А. Шеметковым был предложен подход, использующий идеи частичной [Шеметков, 1984] и кратной (тотальной) [Скиба, 1984] насыщенности формации, объединенные в понятии п -кратно (тотально) с-насыщенной формации [БЫЬа, Shemetkov, 2000].
Особая роль частично тотально насыщенных формаций обусловлена прежде всего тем, что большинство наиболее известных конкретных классов конечных групп являются тотально частично насыщенными формациями, и поэтому они наиболее часто применяются в различных приложениях.
В теории частично насыщенных формаций А.Н. Скибой и Л.А. Шеметковым [2000] была установлена модулярность решетки всех п -кратно с -насыщенных формаций при любом натуральном п. Позднее В.Г. Сафоновым [2004] была доказана модулярность решетки всех тотально с -насыщенных формаций, а также установлена алгебраичность
этой решетки. Описание минимальных тотально с -насыщенных не X -формаций, где X -некоторая насыщенная подформация формации всех нильпотентных групп, было получено в работе Сафонова [2014].
А.Н. Скибой [1997] доказано, что решетка /Т всех т -замкнутых п -кратно насыщенных формаций является полной подрешеткой решетки 1п всех п -кратно насыщенных формаций, а решетка разрешимых тотально насыщенных формаций не является подрешеткой в решетке всех т -замкнутых п -кратно насыщенных формаций при любом целом неотрицательном п . В совместной работе В.Г. Сафонова и
Л.А. Шеметкова [2008] показано, что решетка /^ всех т -замкнутых тотально
насыщенных формаций является полной подрешеткой решетки /^ всех тотально насыщенных формаций.
Развивая результат работы Сафонова и Шеметкова [2008], мы докажем, что справедлива следующая теорема.
Теорема. Решетка /т всех т -замкнутых тотально с -насыщенных формаций является полной подрешеткой решетки /С всех тотально с-насыщенных формаций.
1. Определения и обозначения
В дальнейшем с обозначает некоторое непустое множество простых чисел, р и # - простые числа, [К]А - полупрямое произведение группы К с некоторой группой операторов А этой группы, Аш В - стандартное сплетение группы А с группой В . Для каждого множества простых чисел л через л' обозначается дополнение к л во множестве всех простых чисел. Символами л(О) и 0л(0) обозначаются соответственно множество всех простых делителей порядка группы О и наибольшая нормальная л-подгруппа группы О. X -группой, где X - некоторый непустой класс групп, называется
группа из X . Символы G , G я, N р, S я и N я обозначают класс всех групп, я -групп, р -групп, разрешимых я -групп и нильпотентных я -групп соответственно. Символом (1) обозначается класс всех единичных групп.
Для произвольного класса групп F з (1) символ G обозначает пересечение всех таких нормальных подгрупп N, что G/N e F , символ Gf - произведение всех
нормальных F -подгрупп группы G .
Напомним, что ad -группа - это группа, порядок которой делится хотя бы на одно число из (. Через G (d обозначают класс всех тех групп, у которых каждый
композиционный фактор является ad -группой. По определению 1 eG (d . Полагают G(d = gg (d , Fp (g) = gg pn p .
Формация - это класс групп, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В дальнейшем символом MH обозначается, если не оговорено противное, корадикальное произведение формаций M и H , т. е. MH = {G | GH е M }.
Всякую функцию вида f :®и{®'} ^ {формации групп} называют a-локальным спутником.
Если ( = {р}, то (-локальные формации (спутники) называют р -локальными. В другом предельном случае, когда a = P - множество всех простых чисел, символ a опускают.
Для произвольного (-локального спутника f
полагают LF( (f) = {G | G/G^d e f ((') и GjFp (G) e f (p) для всех простых p e a n я^)} .
Если формация F такова, что F =LFa(f), то говорят, что она a-локальна, а f -a -локальный спутник этой формации. Если при этом все значения f лежат в F , то f называется внутренним (или приведенным) спутником.
Пусть {fi | i е 1} - произвольный набор a-локальных спутников. Через n ft
iel
обозначают такой a -локальный спутник f, что f (a) = n fi (a) для всех a eau {a'}.
iel
Пусть f и h - a-локальные спутники. Тогда полагают f < h, если f (a) ^ h(a) для всех a e a u{a'}.
Формацию F называют a -насыщенной, если ей принадлежит всякая группа G, удовлетворяющая условию G/L e F , где L с O(G) n Om (G).
Пусть A , B - группы, (p:A ^ B - эпиморфизм, Q и 2 - некоторые системы подгрупп в A и B соответственно. Тогда через Qp обозначается множество {Hp |He Q},
а через Zp - множество {Hp |He 2} всех полных прообразов в A всех групп из 2 .
Пусть X - произвольный непустой класс групп и всякой группе G e X сопоставлена некоторая система ее подгрупп t(G) . Говорят, что т - подгрупповой
X -функтор в смысле А.Н. Скибы [1997] (или иначе, т - подгрупповой функтор на X ), если для всякого эпиморфизма p :A ^ B, где A, B e X , выполнены включения
(т(A))p с t(B) , (t(B))p с т(A) и, кроме того, для любой группы G e X имеет место
О е т(О). Если X - в - класс всех групп, то символ X опускают и говорят просто о подгрупповом функторе. Через S{G} обозначают совокупность всех подгрупп группы О, через Sn{G} - совокупность всех нормальных подгрупп группы О. Подгрупповой функтор т называется тривиальным, если т(О) — {О}, единичным, если т(О) — S{G} для любой группы О. Класс групп Р называется т -замкнутым, если т(О) с Р для
любой группы О е Р .
Напомним, что решеткой называется частично упорядоченное множество Ь , в котором любые два элемента имеют точную нижнюю грань, обозначаемую х л у, и точную верхнюю грань, обозначаемую х V у [Биркгоф, 1984, с. 18]. Решетка Ь называется полной, если любое ее подмножество X имеет в Ь точные верхнюю и нижнюю грани. Подрешеткой решетки Ь называется подмножество У с Ь, такое, что если а еУ, Ь е У, то а л Ь еУ и а V Ь еУ. Подрешетка решетки сама является решеткой с теми же операциями объединения и пересечения.
Непустую систему формаций 6 называют полной решеткой формаций, если пересечение любой совокупности формаций из 6 снова принадлежит 6, и во множестве 6 имеется такая формация Р , что Н с Р для любой формации Н е 6. Формации из 6 называют 6-формациями. Спутник / называется 6-значным, если все его значения
принадлежат 6. Символом 6сс обозначается совокупность всех формаций, которые обладают со -локальным 6 -значным спутником.
Всякую формацию считают 0-кратно с-локальной. При п > 1 формацию Р называют п -кратно с-локальной, если Р — /), где все значения / являются (п — 1)-кратно с-локальными формациями. Формацию Р называют тотально со-локальной [Скиба, 1987], если она п -кратно с-локальна для всех п. Если при этом формация Р является т -замкнутой, то Р называют т -замкнутой п-кратно сс-локальной и соответственно т -замкнутой тотально со-локальной.
Ввиду теоремы 1 ^кЛа, Shemetkov, 2000] формация Р является с -локальной тогда и только тогда, когда она с -насыщена. Поэтому п -кратно с -локальные и тотально со -локальные формации называют также п -кратно со -насыщенными и соответственно тотально со-насыщенными формациями.
Символом Гт обозначают совокупность всех т -замкнутых тотально с-насыщенных формаций. Наряду с символом /с для обозначения совокупности всех
тотально с-насыщенных формаций также используют символ /с.
Пусть X - некоторая совокупность групп. Через /^ formX обозначают
пересечение всех т -замкнутых тотально с -насыщенных формаций, содержащих X . Формацию /тю АэгтК называют т -замкнутой тотально со -насыщенной формацией,
порожденной совокупностью групп X . Если X — {О} , то Ут АотЖ — Ут йэгтО называют
однопорожденной т -замкнутой тотально со-насыщенной формацией.
Для любых т -замкнутых тотально со -насыщенных формаций Ми Н полагают М vСС Н — т £эгт(М ^ Н). Вместе с символом V с для обозначения верхней грани в
решетке ¡ю — с также используют символ V ® . Ввиду теоремы 1.5.4 [Воробьев, 2012,
с. 54] множество всех т -замкнутых тотально с -насыщенных формаций ¡Т , частично
упорядоченное по включению, относительно операций и П является полной
решеткой формаций.
с -Локальный спутник, все значения которого - ¡т -формации, называется ¡т -значным.
Пусть {/• | г е I} - некоторая система ¡Т -значных спутников. Тогда через vCC (/ | г е I) обозначается такой спутник /, что /(а) = ¡Т йэгт(иг-е1/ (а)) для всех а е®и{®'}, если по крайней мере одна из формаций / (а) Ф0. В противном случае полагают / (а) = 0.
Для всякой совокупности групп X полагают X (Гр ) = £огт(С/Рр (G) | G е X ), если р е я(Х ) и X (Гр ) = 0, если р £ я(Х ) .
Для произвольной последовательности простых чисел р^, р2, •••, рп из со и всякой
совокупности групп X класс групп X р1р2"рп определяют следующим образом:
1) X р1=( ЛГрх (А)|А еX );
2) X рр2-рп = (А/гр (А) | А е X ^ • ^-1).
Последовательность простых чисел р1, р2, •••, рп называется подходящей для X с -последовательностью, если р1 ея(^) п с и для любого г е {2, •.., п} число рг е р1р2—рг-1) пс.
Для произвольной т -замкнутой тотально с-насыщенной формации Р через Р тс
обозначают ее минимальный с-локальный ¡т -значный спутник, т.е. пересечение всех
с-локальных ¡Т -значных спутников формации. Наряду с символом Р с для
обозначения минимального с-локального ¡с-значного спутника формации Р также используют символ Р ® .
Для произвольной (тотально) со -насыщенной формации Р через Г обозначают ее канонический (максимальный внутренний с-локальный) спутник. Согласно замечанию 1 [БЫЬа, БЬет^коу, 2000] (см. также замечание 1.2.17 [Воробьев, 2012, с. 23]), если Р = (Г) и / - произвольный внутренний с -локальный спутник формации Р , то справедливо неравенство / < Г .
Пусть р1, р2, •.., рп - некоторая подходящая для Р с-последовательность. Тогда с-локальный ¡Т -значный спутник Гр1 р2 ••• Гп определим следующим образом:
1) Гр1 - канонический -локальный спутник формации Г( р1) ;
2) Гр1 •..рп - канонический с-локальный спутник формации Гр1 • • • рп-1(рп ) .
2. Вспомогательные результаты
Нам понадобятся некоторые известные факты теории формаций конечных групп, которые мы сформулируем в виде следующих лемм.
Лемма 1 ^ЫЬа, Shemetkov, 2000]. Если Р — 6с йгт^ ) и / - минимальный с -локальный 6-значный спутник формации Р , то справедливы следующие утверждения:
1) /( с') — 6Ъгт(О/О а а | О е X );
2) /(р) — 6form(X (Ер )) для всех р е с;
3) если Р — Ы с(И), спутник И является 6-значным и р - некоторый фиксированный элемент с, то Р — ЬРс(/[), где /1(а) — И(а) для всех а е (с \{р}) и{с'},
/1 (р) — 6^этт(О | О е И(р) п Р, 0р (О) — 1), и, кроме того, /1 (р) — /(р) ;
4) Р — ЬБс (g), где g(с') — Р и g(р) — /(р) для всех р е со.
Лемма 2 ^ЫЬа, Shemetkov, 2000]. Пусть формация Р — МН , где Н — Ы с(И), М — ЬРс (т) и спутники И и т являются внутренними. Тогда формация Р с -локальна и Р — Ь^ (/), где /(с') — Р и
Гт(р)Н, если р е л(М ) п с,
/ (р)= 1
[И(р), если р е со \л(М ).
Лемма 3 ^ЫЬа, Shemetkov, 2000]. Если Р — (/) и О/0р(О) е Р п/(р) для
некоторого р е с , то О е Р .
Лемма 4 [Скиба, 1997, с. 152]. Пусть Щ х...х Ык — Soc(G), где к >1 и О - группа
с Ор (О) = 1. Пусть М1 - наибольшая нормальная в О группа, содержащая
N1 х...хN—1 хN+1 х...хЫк, но не содержащая N. Тогда справедливы следующие утверждения:
1) для любого г е{1,...,к} факторгруппа О/Мг монолитична и ее монолит NiMi/Mi О -изоморфен N1 и 0р (@\М1) — 1;
2) М1 п.пМк —1.
Лемма 5 [Safonov, 2006а; Safonov, 2007]. Пусть М - непустая наследственная
формация, Р - непустая т -замкнутая формация. Тогда МР - т -замкнутая формация.
Лемма 6 [Сафонов, 2004]. Пусть Р - непустая формация, л - такое множество
простых чисел, что л(Р) п со сл. Тогда произведение формаций Э лР является
тотально -насыщенной формацией.
Из лемм 5 и 6 непосредственно вытекает
Лемма 7. Пусть Р - непустая т -замкнутая формация, л - такое множество простых чисел, что л(Р) п с сл. Тогда произведение формаций Э лР является т -замкнутой тотально -насыщенной формацией.
Лемма 8 ^ЫЬа, Shemetkov, 2000]. Пусть Р — (/), где /(с') — Р и О £ Р .
Тогда либо ОР <£ О с с1, либо найдется такое число р ел (О Р ) п с , что О/ Ер (О)) £ / (р).
Лемма 9 ^ЫЬа, Shemetkov, 2000]. Пусть 6 - такая полная решетка формаций, что 6с с 6 и для любой формации Н е 6 формация N рН принадлежит 6 для всех р е с . Тогда если Р — ЬБ^ (Е) е 6с, то спутник Е является 6 -значным.
Лемма 10 [Скиба, 1997, с. 158]. Решетка ¡т является полной подрешеткой решетки ¡п.
3. Основной результат
Для доказательства теоремы установим несколько вспомогательных утверждений. Лемма 11. Для любого простого числа р и для любой формации Н е ¡Т имеет
место N рН е ¡Т .
р
Доказательство. Пусть М = N рН . Поскольку формация Н - т -замкнутая, то по
лемме 5 формация М также является т -замкнутой формацией. Докажем, что М тотально -насыщена.
Пусть вначале р е с . Формация N р имеет такой внутренний с -локальный
спутник т, что т(р) = (1), т(с') = (1) и т(ц) = 0 для всех ц е с \{р} (см. доказательство леммы 11 [БЫЬа, 8Ьете1коу, 2000] и леммы 1.5.6 [Воробьев, 2012, с. 58]) Ввиду леммы 2 формация М имеет спутник /, удовлетворяющий условиям: /(р) = Н ,
/(о') = М и /(ц) = Н(ц) для любого ц е с \{р} . Поскольку Н е ¡Т , то М является п -
кратно -насыщенной для любого натурального п . Следовательно, М - тотально -насыщенная формация.
Пусть теперь р £ с . Формация N р имеет такой пустой с -локальный спутник т,
что т(ц) = 0 для всех ц е с и т(с') = N р [БЫЬа, 8Ьете1коу, 2000; Воробьев, 2012, с. 17]. Тогда согласно лемме 2, формация М имеет спутник /, такой что /(ц) = Н(ц) для любого ц е с и /(с') = М . Следовательно, М - тотально с -насыщенная формация. Таким образом, в любом случае М е ¡Т . Лемма доказана.
Лемма 12. Пусть Р - класс Фиттинга, замкнутый относительно фактор-групп. И пусть О = 01 х„.хОп, где п > 2. Тогда Ор = (61)р х„.х(Оп)р .
Доказательство. Индукция по числу сомножителей п прямого произведения. Пусть п = 2 . Поскольку Р - класс Фиттинга, то О^р х(02)р < Ор и бр ПОг = (Ог)р , г = 1,2 . Ввиду того, что ООр /О1 <ОО1 = О2 и Р - класс, замкнутый относительно фактор-групп (гомоморф), имеем О1Ор /О1 = Ор /Ор пО1 = Ор /(О1)р еР , и группа Ор I(О^р - изоморфна нормальной Р -подгруппе группы О2 . Поэтому (Оц )р |< |(О2)р| и Ор = О1)р х (О2)р (т. е. Р в данном случае является классом
Локетта; см. теорема 1.9 [Боегк, Hawkes, 1992, р. 680], а также предложение 1.25 [Боегк, Hawkes, 1992, р. 686]).
Утверждение леммы для произвольного натурального п > 3 следует, с учетом базы и предположения индукции, из соотношений
Ор = (О1 х-х°п)р = ((О1 х-х0„-1)х°п)р = (О1 х-х0„-1)р х(°п)р =
= (О1)Р х-х (О„-1)Р х (Оп)Р .
Лемма доказана.
Лемма 13. Пусть W- AwrB -[K]B, где K - база регулярного сплетения W, A, B Ф1. И пусть Bi - подгруппа группы B , такая что 1 Ф Bj < B, m -| B : Bj |,
m
I - {1,...,m}, T - {ti | i e I} - левая трансверсаль Bj в B (B - u ttB\). Тогда
i-1
1) если M1 - {f e K | V i e I: П f (tjb) e A'}, где А' - [A, A] - коммутант
bjeBj
группы A, то [B1, K] - M1 и М1 X^, где
X - {f e K | 3 io e I 3 b^ e Bb b^ Ф1: f(tlQ) - f (tlQb^)-1; f (у) -1, у Ф tib, t0b^}-Кроме того, M1 является подпрямым произведением в K ;
2) Для нормального замыкания BW подгруппы B1 в W имеет место BW - B1 • M1;
3) Пусть, кроме того, N < W и B1 - N n B Ф 1. Тогда N n K - подпрямое произведение в K.
Доказательство. 1. Здесь и далее для заданных групп A и B через A( B) будем обозначать прямое произведение изоморфных копий группы A, индексированных
элементами группы B . Тогда A(B) - {f | f : B ^ A} - группа всех функций f : B ^ A с покомпонентным умножением. Для произвольного b e B через Ab будем обозначать b -ую копию пассивной группы A , т. е. Ab - {f e K | f (у) -1, у Ф b}. Таким образом, K - A(B)
- ПX Ab . Напомним, что для f e A( B), b e B, функцию f определяют,
beB
полагая fb (y) - f (yb_1) для всех у e B [Doerk, Hawkes, 1992; Neumann et al., 1962; Neumann, 1964]. Согласно лемме 8.1 [Neumann, 1964] (см. также лемма 18.8 (a)
[Doerk, Hawkes, 1992, p. 67]), K • B1 = A(T) wr B1, где изоморфизм у: K • B1 ^ A(T) wr B1 задается в виде у : f • b1 ^ f • b1, причем f e K - A(B), b1 e B1, f e ( A(T))(B1) . Функция f определяется следующим образом (см. теорема 5.4 [Neumann et al., 1962]): f (у) - p e A(T), где (p:T ^ A - зависит от у e B1 и удовлетворяет равенству (pt^)- f (t;y) для любого i e I. Отсюда f (tty) - f (y)(tt). Для f e ( A(T))(B1), b1 e B1 функцию f 1 определяют, полагая fb1 (у) - f (yb~l). При этом y(f b) - f b .
Обозначим через K базу регулярного сплетения A(T) wr B1 . Тогда, как несложно видеть, y(K) - (A(T))(B1) - K . Для образа взаимного коммутанта [B1, K] при изоморфизме у имеют место соотношения
y(B K]) - [у(B1), y(K)] - [B1, у(K)] - [B1, K].
Поскольку B1 Ф 1, то ввиду теоремы 4.1 [Neumann, 1964] (см. лемма 18.3 (a), (b) [Doerk, Hawkes, 1992, p. 63] и предложение 18.4 (b) [Doerk, Hawkes, 1992, p. 65]) имеет место равенство [Bb K] - MM, где - {f e K| Пf №) e (A(T))'}. Учитывая, что по
bleBl
свойствам коммутанта (A(T(П At)'- П A't - A'(T, а также равенство
ieI ieI
f (tib1) - f (b1)(ti), справедливое для любых ¿1 e B1, i e I, видим, что условие
П/(¿1) е (А(Т= А'(Т), интерпретируемое в W, или, иначе, относящееся к
Ь1еВ1
соответствующему при изоморфизме у/~1 множеству М 1, равносильно условию
VI е I:( П/ФМЬ) = П/(¿1)^-) = П /Ш е Аг'. = А'.
Ь1еВ1 Ь1еВ1 Ь1еВ1
Значит, у/~1(Му) = М1. Применяя к обеим частям равенства [Ву, К] = М изоморфизм у/~1 и учитывая равенство ^([ВьК]) = [В!,К], получаем [В!,К] = Мц. Далее, из той же теоремы следует, что М1 = ^, где
Х = {/ е К\3Ь10 е В1, Ь10 * 1:/(1) =/(Ь^)"1;/(у) = 1, у * 1, Ь^}.
Рассуждая аналогично предыдущему, находим, что у/~1( Х~1) = Х1, где
X = {/ е К \ 3 Ь1,о е Вь Ь1,о * 1V . е I: /(г.) = /(гДо)_1; /(у) = 1, у * Ц, /До}.
Тогда из М1 = ^Х^ ввиду \^~Х(М1) = М1 следует М1 = ^Х^ .
Покажем, что (Х^ = {Х^), где Х1 - множество из условия теоремы. Заметим, что если т =\ В: В1 \= 1, то В1 = В . Тогда Х1 = Х1, откуда (Х-^ = (Х1). Поэтому считаем, что т * 1. Из очевидного включения Х1 с Х1 следует (Х^ Х^ . Пусть / е Х1. Если / = 1 - единичная функция (т. е. /(у) = 1 для любого у е В ), то очевидно, что / е Х1. Пусть / * 1. И пусть 1о = {. е I \ г. е supp( /) п Т}, где 8ирр( /) = {Ь е В \ /(Ь) * 1} -носитель функции /. Тогда 1о * 0 и из определения Х1 следует существование такого Ъ1 е В1, Ь1 * 1, что для любого I е 1о имеет место /(г.) = /(гД)~1 * 1. Для каждого I е 1о определим такую функцию ^ е Х1, что р1 (г.) = р1 (г.Ь1)~1 = /(г.); р (у) = 1, если
у * г., . Тогда / = Пр. , причем произведение не зависит от порядка следования
ш о
сомножителей, поскольку для любых к, I е 1о, к * I ввиду supp(Рк) п supp( р/) = 0 функции Рк и Р1 коммутируют. Значит, / е Х1. Следовательно, (Х^ с (Ху) . Таким образом, М1 =(Х^ = (Х^ .
Наконец, для произвольного ¿о е В пусть тг^ : К ^ А¿о - проектирование
К = А(В) = ПХАь на Аь - Ьо-ую копию пассивной группы. Поскольку Т- левая
ЬеВ о
трансверсаль В1 в В , то ¿о единственным образом представляется в виде Ьо = /^Ь1о, где ^ е Т, ¿1 о е В1. Пусть а е А - произвольный элемент пассивной группы А . Тогда если
¿1, о * 1, то для функции £ е К с условием 8 (г^) = Ь1,о)"1 = £ (¿о)= а; £(у) = 1, если у * г. , г. Ь1 о - имеет место £ е Х1. Если Ь1о = 1, то Ьо = г^ . Поскольку В1 * 1, то
существует ¿1 е В1, ¿1 * 1. Рассматривая теперь функцию к е К с условием к(г.о) = к(Ьо) = к(г^ Ь1)_1 = а; к(у) = 1, если у * г^, г^ Ь1, - аналогично имеем к е Х1.
Ввиду включения Х1 с(Х^ = М1 делаем вывод, что лЬо (М1) = ЛЬо = А . Следовательно, М1 - подпрямое произведение в К .
2. Для БЩ ввиду леммы 7.4 (^ [Doerk, Hawkes, 1992, р. 23] имеем
в^ = В [В № ] = В [В,к ■ в] = В [В, В][ В,к ] = В [В,к ] = ВМ
(здесь мы использовали также условия Б еNщ(К), Б1 < Б и установленное в утверждении 1 равенство [Б1, К] = М1).
3. По условию Б1 = N п Б Ф1, поэтому N - неединичная нормальная подгруппа регулярного сплетения Щ = АшБ. Отсюда из леммы 18.8 (Ь) [Doerk, Hawkes, 1992, р. 67; Каргаполов, Мерзляков, 2009, с. 72] следует, что N п К ф 1. Из утверждений 1 и 2 получаем, что N з БЩ = Б1 ■ М1 3 М1. Тогда N п К з М1 п К = М1. Согласно утверждению 1, М1 - подпрямое произведение в К . Следовательно, N п К - также подпрямое произведение в К. Лемма доказана.
Напомним, что абстрактный класс Р называется радикальным классом, или классом Фиттинга, если он замкнут относительно взятия нормальных подгрупп и для любой группы О имеет место включение Ор е Р . При доказательстве следующей леммы символом МН обозначается радикальное произведение классов Фиттинга М и Н , т. е. МН —{О | ООМ е Н}.
Напомним также, что для любых непустых множеств простых чисел л, о символом Оло (О) обозначается характеристическая подгруппа группы О , определяемая соотношением Оло (О)/0л (О) = Оо (О/0л (О)) [Doerk, Hawkes, 1992, р. 28]. Тогда для любого простого числа р имеет место Ер (О) = 0р* р (О). Символом Ел (О) обозначим характеристическую подгруппу группы О , определяемую соотношением
Ел (О) = П Ер (О) = П 0р, р (О).
рел рел
Лемма 14. Пусть X - класс Фиттинга, замкнутый относительно фактор-групп. И пусть Щ = К ■ Б1 < Щ = АмгБ = К ■ Б , где К = Л(Б) = {/ | / : Б ^ А} - база регулярного сплетения Щ, А, Б Ф1, Б1 - подгруппа группы Б . Тогда
1) Если Аx Ф А, то (Щ ^ = Кх = (Лx )(Б); в частности, если Аx = 1, то (Щ ^ = 1
Если Ах = А, то (Щ^ = К ■ Б1 = А(Б) ■ Б1, где Б1 = П N , Б1 < (Б^ и, кроме
N <Б1, N еX, К N еX
того, Б1 является наибольшей нормальной X -подгруппой группы Б1, удовлетворяющей
условию К ■ Б1 е X ; в частности, если К ■ Б ^ е X , то (Щ )x = К ■ (Б1 )x = А(Б) ■ (Б1 )x ;
2) Пусть, кроме того, А = Р - неединичная р -группа для некоторого простого числа р , о и V - такие непустые множества простых чисел, что р е у, ос р'. Тогда
0оЩ) = 1,
0уЩ1) = К■ 0у(Б!) = Р(Б) ■ 0у(Б1) , Оуоо (Щ1) = К ■ Оу, о (Б) = Р(Б) ■ Оу,о (Б),
Oa,v Wi) ^ Ov(Wi) - K• Ov(BJ = P(B) • Ov(B{) .
5 частности,
Fp (Wi) = Fv (Wi) = F(Wi) = Op (Wi) = K • Op (Bi) = P(B) • Оp (Bi) . Доказательство. 1. Поскольку K < W и X - класс Фиттинга, то K < Wi и KX = (Wt)X n K . Ввиду леммы i2
Kx = (A(B))x = (Пх A )x =ПХ (Ab )X =ПХ (Ax )b = (AX )(B).
beB beB beB
Тогда если Bi = i, то W1 = K = A(B) и (Wi)X = KX = (A(B))X = (AX )(B). Поэтому если Ах Ф A, то (Wi)X = KX = (AX )(B). Если AX = A , то KX = (AX )(B) = A(B) = K, B1 = B1 = 1 и (Wi)x = Кх = K Л = A(B) -i. Значит, для Bi = i утверждение 1 справедливо. В дальнейшем считаем, что Bi Ф i.
Пусть Ах Ф A . Если Ах = i, то из соотношений Кх = (Ax )(B) и Kx = (Wj)x n K следует, что Kx = i и (WJ)x nK = i. Согласно лемме 8.i [Neumann, 1964] (см. также
лемма i8.8 (a) [Doerk, Hawkes, i992, p. 67]) имеем Wi = K • Bi k A(T) wrBi, где T - левая трансверсаль Bj в B, у - изоморфизм, описанный при доказательстве леммы i3. Обозначим через W регулярное сплетение A(T) wrB, через K - его базу. Тогда y(Wi) = Wi, y(K) = (A(T))(Bi) = K и, кроме того, y((Wi)X ) = (W~i)X . Применяя у к обеим
частям равенства (Wj)x n K = i, получаем (W~i)X n K = i. Тогда (Wi)X = i согласно лемме i8.8 (b) [Doerk, Hawkes, i992, p. 67] (см. также упражнение 6.2.2 [Каргаполов, Мерзляков, 2009, с. 72]). Из последнего равенства, ввиду Kx = i, следуют соотношения
y"4(Wi)x) = (Wi)x = i = Kx = (Ax )(B). Значит, утверждение для Ах = i справедливо.
Пусть теперь Ах Ф i. Тогда из соотношений Кх = (Ax )(B) и Kx = (WJ)x nK получаем, что Kx Ф i и (Wj)x n K Ф i. Следовательно, (Wj)x Ф i. Пусть Hj = (Wj)x nBj. Предположим, что Hj ф i. Обозначим через Hj подгруппу группы W, у -изоморфную Hi . Тогда из последнего равенства имеем
= (W~i)x n B = (W~i )х n Bj ф 1. Применяя лемму 13, заключаем, что (Wj)x n K - подпрямое произведение в K. Отсюда ввиду соотношений
y_1((Wi)x nK) = (Wj)x nK = Kx получаем, что Kx - подпрямое произведение в K .
Для произвольного bo e B пусть ж : K ^ Ab - проектирование K = A(B) = П Х Ab
beB
на Ab - bo-ую копию пассивной группы. Тогда ввиду Кх = (Ax )(B) имеем
льо К) = льо (А)(Б)) = (лx )ьо = Ax ф А.. Получили противоречие. Значит, исходное предположение неверно, и Н1 = (Щ^ пЩ = 1. Тогда из соотношений Щ = К ■ Б1, К п Б1 = 1 следует, что (Щ )x < К. Учитывая, что Kx = (Щ1 ^ п К, окончательно получаем
(Щ^ = Kx = А )(Б).
Замечание 1. Несложно видеть, что если X - класс Локетта (см. теорема 1.9 [Doerk, Hawkes, 1992, р. 680]), то рассуждения, проведенные при доказательстве данной части утверждения, останутся в силе. Тогда также получаем доказательство утверждения 2.1 (а) [Doerk, Hawkes, 1992, р. 697].
Пусть теперь Аx = А . Ввиду установленного выше равенства Кх = (Ах )(Б) имеем
^ = (Ау^ )(Б) = А(б) = К, (т. е. К является X -группой). Поэтому К < (Щl)x . Тогда имеют место равенства
(Щ)ж = (Щ)ж пЩ = (Щ)x пК■ Б = К■ ((Щ)x пБ1).
Поскольку К п ((Щ ^ п Б1) < К п Б1 = 1 и класс X замкнут относительно фактор-групп, то Кп((Щ )x пБ1) = 1 и (Щ^/К = (Щ )x пБ1 еX . Следовательно, так как (Щ )x < Щ, то (Щ )x п Б1 - нормальная X -подгруппа группы Б1.
Пусть Хщ = {N < Б1 | N е X, К ■ N е X } и Б1 - группа из условия теоремы. Ввиду того, что К - X -группа, множество Хщ Ф 0, так как оно содержит единичную подгруппу. Очевидно, что V N е Xщ : N < (Б^ . Заметим также, что V N е Xб : К ■ N < Щ , так как N < Б1 и К < Щ . Далее, Хщ - частично упорядочено по включению и имеет единственный максимальный элемент Б1 N | N е X^ . Действительно, так как V N е Хщ : N < Б1, N е X и X -класс Фиттинга, то Б1 совпадает с произведением всех N е Хб и является нормальной X -подгруппой Б1. Следовательно,
Б1 = П N = Б1,
N еХ б1
а также Б1 < (Бl)x . Аналогично из условий V N е Хщ : К ■ N < Щ] , К ■ N е X , учитывая
также, что X -класс Фиттинга, получаем, что подгруппа
ПК ■ N = К ■ П N = К ■ Б1
NеXБ1 N еХ б1
является нормальной X -подгруппой группы Щ . Это означает, что Б1 = Б1 е Xб . Поэтому Б1 - наибольшая нормальная X -подгруппа группы Б1, удовлетворяющая условию К ■ Б1 е X .
Наконец, поскольку (Щ )x п Б1 - нормальная X -подгруппа группы Б1 и
(Щ )x = К■ ((Щ ^ пБ) еX , то (Щ )x п Б < Б . Следовательно, (Щ| ^ < К ■ Б1. С другой
стороны, К ■ Б - нормальная X -подгруппа группы Щ . Поэтому К ■ Б1 < (Щ^ )x . Следовательно,
(W1)X = K • B1 = A(B) • B1. В частности, если K • (B1)X e X , то B1 = (B1 )х и (W )X = K • (B1 )X = A(B) • (B1 )X . Замечание 2. Как следует из доказательства утверждения, если для класса X дополнительно выполняется требование ExtхХ с X , где ExtхХ - расширение X -группы посредством группы из X (совпадающее в данном случае с XX - радикальным произведением X с X ), то для случая Ах = A имеет место включение
K • (B1)X e ExtХХ сX . Следовательно, (W )Х = K • (B1)X = A(B) • (B1)X .
2. Пусть A = P - неединичная p -группа для некоторого простого числа p , подмножества ст, v - из условия теоремы. Для любого непустого множества ж с P G Ж -радикальная формация, причем Ext g ^G ж = G nG ж с G ж (радикальное и корадикальное произведения в данном случае совпадают). Полагая последовательно ж равным ст, v и учитывая, что Oq (A) = 1 и Ov (A) = A , из утверждения 1 получаем
Oa(Wi) = 1,
Ov (Wi) = K • Ov (Bi) = P(B) • Ov (Bi) . Покажем, что Ov a(W1) = K • Ov a(B1) . Так как Ov(A) = A , то Ov,Q(А) = А . Пусть Wi = K • Ov a(Bi) . Поскольку Extg G q = G vG q - радикальная формация (радикальное
и корадикальное произведения в данном случае также совпадают), то ввиду утверждения 1 для доказательства тождества достаточно проверить выполнение условия W1 eG vG q . Поскольку Ov,q(B1) < B1 и KnB1 = 1, то K nOv,q (B1) = 1. Кроме того, из
условий Ov (B1) < Ov a (B1) и K < W1 следует, что
Ov (Wi) = K • Ov(Bi) < K • Ov, а (Bj ) = Wi.
Поэтому
WilOv Wi) = K • Ov, q- (B)/K • Ov (Bi) k Ov, q- (By Ov (Bj) • (k n Ov, ( Bj)) = = Ov q (Bi)/Ov (Bi) = Oq (BJ Ov (Bi)) e G . Таким образом, Wj e Extg G q = G vG q . Значит, ввиду утверждения 1 имеем
Ov,Q(Wi) = K• Ov,Q(Bi) = P(B) • Ov,Q(Bi) . Наконец, из равенства Oq(Wj) = 1 следует, что
Oq, v (Wi) = О v (Wi) = K • Ov (Bi) = P(B) • Ov (Bi) .
В частности,
Fp (Wj) = Op, p (Wi) = Op (Wi) = K • Оp (BJ) = P(B) • Оp (BJ). Учитывая последние соотношения, а также включения
Op (Wi) < ПХ Oq (Wi) = F (Wj) = n Fq (Wi) < n Fq (Wj) = Fv (Wi) < Fp (Wi),
qeft(W\) qeP qev
справедливые для любого множества v из условия теоремы (см. теорема 13.4 (g) [Doerk, Hawkes, i992, p. 44]), имеем
fp(wj) = fv(wj) = f(wj) = op(wj) = k• op(bj) = P(B) • Оp(bj) .
Лемма доказана.
Лемма 15. Пусть Р — ЬРс(/), где / - с -локальный ¡г -значный спутник
ссо
формации Р . Тогда Р является г -замкнутой тотально с -насыщенной формацией.
Доказательство. Поскольку спутник / является ¡г -значным, то по определению
формация Р - тотально с -насыщена. Покажем, что формация Р - г -замкнута. Пусть Н ег(О), где О е Р . И пусть р ек(Н) пс, Ер — ¥р(О) . Тогда, поскольку для любого а е си {С} формация /(а) - г -замкнута, имеют место соотношения:
Н/Ер п Н = НЕр/Ер е т(О/Ер ) с /(р) , Н/Оаа п Н = НОаа /Оаа е г(0/0аа ) с /(с').
Так как
Ер п Н с Ер (Н) и Оюа п Н с Наа,
то для любого р еж(Н) пс имеет место Н/Ер (Н) е / (р) и, кроме того, е / (с').
Следовательно, Н е Р . Итак, формация Р г -замкнута. Значит, Р - г -замкнутая тотально с -насыщенная формация. Лемма доказана.
Лемма 16. Пусть Р — ЬБс(Е) - г -замкнутая тотально а-насыщенная
формация. Тогда канонический спутник Е является ¡г -значным.
Доказательство. Прежде всего заметим, что Е(с') = Р е ¡с . Ясно также, что если р е с \ я(Р ) , то Е(р) = 0 е ¡г . Покажем, что для любого р е ж(Р ) пт имеет место
соо
Е(р) е ¡с . Поскольку Р е , то Р = /) , где все значения / являются п -кратно с -насыщенными формациями для любого натурального п . Следовательно, /(а) е ¡с
для любого а еси {с}. Поэтому Р е (¡с )с. Тогда, учитывая очевидное включение (¡с )с С ¡с и лемму 11, из леммы 9 получаем, что Е(р) е ¡с .
Покажем, что формация Е(р) г -замкнута. Пусть О е Е(р) и Н е г(О). Индукцией по |О| покажем, что Н е Е(р) . Пусть Я - минимальная нормальная подгруппа в О . Тогда НЩ Я е г(О/ Я) . Так как по предположению индукции О Я е Е (р) , то
Н/Я п Н = НЯ/Я е Е(р) . Поэтому, если Ор (О) Ф1, то Н е N рЕ(р) = Е(р) . Кроме того, если в О имеются две
различные минимальные нормальные подгруппы Я и N , то
Н = Н/1 = Н/Я п N п Н е Е(р)
как подпрямое произведение групп, изоморфных Н/Я п Н и H|N п Н .
Пусть Ор (О) = 1 и Я - единственная минимальная нормальная подгруппа в О . Пусть Р - неединичная р -группа и Я = Р~^гО = [К]О, где К - база регулярного сплетения Я . Поскольку Ор (О) = 1, то из леммы 14 следует, что Ер (Я) = Ор (Я) = К . Учитывая, что Я/Ор (Я) = О е Е(р), из леммы 3 получаем, что Я е Р . Пусть (р : Я ^ ЯК - канонический эпиморфизм группы Я на ЯК . Тогда НК/К = Н ^ , и поэтому НК/К ег(ЯК) . Поскольку ЯК = О и (нк/к)р_1 = НК , то НК ег(Я) . Ввиду
того, что Р - т -замкнутая формация и К е Р , имеем НК е Р . Пусть К = НК . Тогда А/Рр (К1) е Р(р) . Далее, из леммы 14 следует, что
Рр (К1) = Ор (К1) = КОр (Н).
Значит,
в/Рр (К) = КН/КОр (Н) - Н/Ор (Н)(Н п К) = Н/Ор (Н) е Р(р) . Следовательно, Н е N рР(р) = Р(р) . Поэтому формация Р(р) т -замкнута для любого р е т(Р ) п о.
Таким образом, формация Р(а) - т -замкнута для всех а е со и {о'}. Следовательно, спутник Р - -значен. Лемма доказана. Лемма 17. Справедливо равенство (Т ) с = /тю .
Доказательство. Пусть Р е (/Т ) с . Тогда по определению Р = (/) , где / -
ох
о -локальный Т -значный спутник формации Р . Ввиду леммы 15 Р е Т .
Следовательно, (/Т ) о с /Т . Докажем обратное включение. Пусть Р е /Т и Р = ЬРо (Р) .
Из леммы 16 следует, что Р(а) е Т для любого а е о и {со'} . Следовательно, Р е (Т ) о .
Значит, с (/!, ) о . Лемма доказана.
Ввиду леммы 17 из леммы 1 вытекает следующий результат.
Лемма 18. Пусть Р = /Тю йогш(Х) > где X - непустой класс групп. Тогда если / -
минимальный о -локальный ¡Тю -значный спутник формации Р , то справедливы следующие утверждения:
1) /(о') = /^ йгт^/СО, \ О е X );
2) /(р) = Т Гогш(Х (Рр )) для всех р е о ;
3 если к - произвольный о -локальный /^ -значный спутник формации Р и р —
некоторое фиксированное число из о, то Р =ЬРо (/1), где /1(а) = к(а) для всех а е ( о \{р}) и{о'},
/1 (р) = Т Йгш(О \ О е к(р) п Р, Ор (О) = 1), кроме того, /1(р) = /(р) .
Лемма 19. Пусть в - полная решетка формаций и / - минимальный о -
локальный в -значный спутник формации Р. евт, где . е I. Тогда Vв (/ \. е I) -минимальный о -локальный в -значный спутник формации Р = V о (Р. \. е I) .
Доказательство. Введем следующие обозначения: т = т( и Р.) = и т(Р.) = т(Р ),
iшI iшI
/ = Vв(/1 \. е I) и к - минимальный о -локальный в -значный спутник формации Р . Тогда, если р е о \ т, то для любого . е I имеет место / (р) = 0. Значит, /(р) = 0 . Понятно также, что к(р) = 0 .
Пусть теперь р етпо . Тогда найдется такое . еI, что /(р)*0. Тогда, согласно лемме 1, имеют место равенства:
к(р) = в ^МО/Ер (О) | О е и Р /) — в Гогш( и в ?огш(О/Ер (О) | О е Рг)) — — вБэгш( и /(р)) — ^в/ | г е I))(р) = /(р).
Iе1
Кроме того, из леммы 1 следует, что
к(с') — в^огш{О/Оаа | О е и Р *) — вАэгш( ивГогш^/О^ | О е Р *)) —
' 1е1 1е1 '
— в£огт( и / (с')) = (Vв (/ 11 е I))(с') — /(с').
1е1
Таким образом, к = / . Лемма доказана.
Полагая в лемме 19 в = ¡с и учитывая, что г - полная решетка формаций (см. теорема 1.5.4 [Воробьев, 2012, с. 54]), получаем следующую лемму.
Лемма 20. Пусть /г - минимальный с -локальный ¡г -значный спутник г -
ссо
замкнутой тотально с -насыщенной формации Р *, где I е I. Тогда vго (/ 11 е I) -
минимальный с -локальный ¡г -значный спутник формации Р — vгС0 (Р г-11 е I).
Следующая лемма является обобщением леммы 12 [БЫЬа, Shemetkov, 2000] и соответствующего утверждения теоремы [Воробьев, 2000] (см. также теорема 3.4.1 [Воробьев, 2012, с. 122]).
Лемма 21. Пусть в - такая полная решетка формаций, что всс св, и для любой формации Н ев формация N рН принадлежит в для всех р ею. Тогда для любого
набора {РI | г е I} формаций Р г евс и для всякого набора {/ | г е I} внутренних со -локальных в -значных спутников, где Р * = ЬРс(/) , имеет место равенство
vво (Р* 11 е I) —в/ 11 е I)). Доказательство. Пусть Р =v с (Р г | г е I) и кг - минимальный с-локальный
в -значный спутник формации Р г = ЬБс(Ег), г е I. И пусть Р = ЬБс(Е), к -минимальный с -локальный в -значный спутник формации Р , и кроме того, р е с . Тогда по лемме 19 к = Vв(кi | г е I) . Ввиду замечания 1 ^ЫЬа, Shemetkov, 2000] (см. также замечание 1.2.17 [Воробьев, 2012, с. 23]) и леммы 9 имеют место соотношения кг (р) с /г (р) с N ркг (р) = Е\ (р) ев . Ввиду того, что
N ркг (р) с N р (р) | г е I)) и N р (р) | г е I)) ев,
имеем
вБэгш(и N рк(р))свГогш(Ч р(ув(к(р)| г е I))) = N р(ув(к(р)| г е I)). геТ
Следовательно,
к(р) = в Гогш( и к (р)) с в Гогш( и / (р)) = /(р) с в Гогш( и N к (р)) с
с N р (V9 (кг (р) | г е I)) = N рк(р) = Е(р) . Итак, к(р) с /(р) с Е(р) для всех р е с .
Кроме того, поскольку кг (с') с / (с') с Ег (с') = Р г евсс и в° с в, справедливы включения
к(с') = вГогш(и к (с')) с вГогш(и / (с')) = /(с') с вГогш(и Ег (с')) =
= 0£огш(и Рг)с^с Югш(и Рг) = Р = Р(со') .
геI геI
Значит, к(со') с /(со') с Р(с') . Таким образом, к < / < Р, и поэтому Р = ЬБ^ (/) . Лемма доказана.
Учитывая леммы 11 и 17, из леммы 21 получаем следующий результат.
Лемма 22. Для любого набора {Р г | г е I} т -замкнутых тотально со -насыщенных
формаций Р г и для всякого набора {/ | г е I} внутренних о -локальных ¡Тт -значных
спутников /, где Р г = ЬБо (/) , имеет место равенство
vCIю (Рг | г е /) = ЬРо ^ (/ | г е I)).
Лемма 23. Пусть М г - т -замкнутая тотально со -насыщенная формация, г е I,
L = V о (М г | г е I), Н = vT (М г | г е I) , А - такая группа, что любая ее минимальная
нормальная подгруппа является либо неабелевой группой, либо абелевой со' -группой. Тогда если А е Н , то А е Ь .
Доказательство. Рассмотрим сначала случай, когда группа А является монолитической. Пусть Р = 8ос(А) . Тогда А еvT (М г | г е I) = 1т Аэгш(и М г) . Пусть
°Х) геI
л = л( и М г) п с . В силу леммы 7 имеем Б лт Югт( и М г) е 1т . Следовательно,
геI ге! °<Х)
Н = V с (М г | г е I) = Г Гогш( и М ,) с Б лТГогш( и М ,).
ге7 iе7
Поэтому А еБ лт £огш( и М г) . Поскольку по условию Р является неабелевой группой
геI
или абелевой со' -группой, то А ет Югш( и М г) . По лемме 10 в силу т -замкнутости
геI
формации М г, г е I, имеем т£огш( и М г) = £огш( и М г) . Значит,
ге7 ге7
А е Бэгш( и М г) с ¡Юа £огш( и М г) = Ь .
iе7 ш iе7
Пусть теперь группа А не является монолитической, и Бос(А) = N1 х.. .х (к > 2), где Ыг - минимальная нормальная подгруппа группы А . Обозначим через
И
наибольшую нормальную подгруппу группы А , содержащую N1 х...х N1 _1 х N1+1 х...х Ык и не содержащую N. Ввиду леммы 4 В[ = А/И^ -монолитическая группа с минимальной нормальной подгруппой NiИi/Иi , А -изоморфной Ni. Поскольку Вг- е Н , то по доказанному В^ е Ь . Но тогда, ввиду леммы 4, и группа А еЬ как подпрямое произведение групп, изоморфных В1,...,Вк. Лемма доказана.
Лемма 24. Пусть М ^ - т -замкнутая тотально со -насыщенная формация, г е I и л - такое непустое множество простых чисел, что л с со . Тогда
V с (М лМ г|г е I) = N л (V с (М ,|/е I)).
Доказательство. Положим X1 = V Тт^ (М лМ ^ | г е I), X 2 = N л (^ (М г | г е I)).
Поскольку М г еvт (М г | г е I) для любого г е I, то
и N ЯМ - с N ж (v0 (М е I)) — X 2.
iеI
Ввиду леммы 11 X 2 е ¡т . Значит,
Oсo
X1 — v0 СМ .М г | г е I) с N ж (v0 (М е I)) — X 2. Допустим, что X 2 \ X 1 Ф 0 , и пусть А - группа минимального порядка из X 2 \ X 1.
X
Тогда А - монолитическая группа и Р — Soc(A) — А 1 .
Если Р - неабелева группа или абелева я' -группа, то А еv г (М г | г е I) с X 1. Противоречие. Значит, Р - абелева р -группа для некоторого простого числа р ея . Так как X1 - со -насыщенная формация и р е®, то Р <£ Ф( А). Поэтому Р — СА (Р) = Ер (А) — Е(А) = Ор (А) . Согласно лемме 18, формация N я имеет такой внутренний с-локальный спутник п, что п(д) — (1) для любого д ея. Тогда, по лемме 2, формации N яМ г и X 2 имеют такие с -локальные спутники т- и , что тг (д) — М г и х2(д) — v г (М г | г е I) для любого д ея , г е I. Тогда, ввиду леммы 22, формация X1 имеет такой внутренний с -локальный спутник х, что х1(д) — vг (М г | г е I) для любого д ея . Следовательно, х1(д) — х2(д) для всякого
д ея . В частности, поскольку р ея, то х (р) — х2 (р) . Так как А е X 2 , то А/Ор (А) — АЕр (А) е х2 (р) — х1 (р) . Тогда, ввиду леммы 3, А е X 1. Получили противоречие. Лемма доказана.
Пусть L е ¡с , Н е ¡г и М | е ¡г для любого г е I. Тогда для любой подходящей
о ®сo °со
для Ь и Н с-последовательности простых чисел р1, р2, . ••, рп через Ь , Н , Ьр1, Нр1 , ..., Ьр1 ...рп, Нр1 ...рп обозначим такие ¡с -значные и ¡г -значные с-локальные
со ссо
спутники, что
Ь(а) — v® (М- (а) | г е I), Н(а) — v * (М- (а) | г е I),
Ьр1 (а) — v® (MiPl(a)| - е I), Нр^а) — vс (MiPl(a)| - е I),
Ьр1. рп (а) — v® (М-р. рп (а) | - е I), Нр1... рп (а) — v с (М-р1 . рп (а) | г е IX для всякого а е си {с'}.
Лемма 25. Пусть М - - г -замкнутая тотально со -насыщенная формация, - е I. Тогда если 1_ — vо (М г | г е I), Н — vг (М г | г е I), то
со сУсо
1) я(Ь) пс — я(Н) пс;
2) для любой подходящей для 1_ и М с-последовательности простых чисел р1, ..., рп спутники Ь , Н , Ьр1, Нр1, . ••, Ьр1...рп, Нр1 рп являются каноническими с-локальными спутниками формаций 1_ , Н , Ь(р1) , Н (р1) , ..., Ьр1. рп _1 (рп), Нр1. рп_1 (рп ) соответственно.
Доказательство. 1. Поскольку включение Ь с Н очевидно, то я(1_ )псс я(Н)пс. Пусть р е (я(Н)пс)\ я(Ь). По лемме 20 имеем
I- «да (Р) = V ^ (М ;^ (р) | i е I), н ^ (р) = V ^ (М ^ (р) 11 е /). Поскольку р ея(Н) п со , то Н, (р) . Поэтому найдется такое У е I, что
(р) Ф 0 . Но тогда, ввиду леммы 18, имеем р е ^(М у). Следовательно, р е тт(- ) п со .
Получили противоречие. Значит, я(Н ) п с с ) п со . Таким образом, ж((- ) п со = я(Н ) п со .
2. Поскольку М; - канонический с -локальный спутник формации М ;, i е I, то из леммы 22 следует, что спутники Ь = V £У (М; | i е I) и Н = ^ (М; | i е I) являются внутренними с -локальными спутниками формаций - и Н соответственно. Ввиду леммы 16 для любого i е I спутник
М
является I -значным. Применяя лемму 24,
получаем, что для любого р е со
Ь(р) = V сда (М, (р) | i е I) = V сда (М рМ. (р) | i е I) =
= М р (V сда (Мг- (р)| I е ^) = М рЬ(р), Н(р) = V с^ (М, (р) | / е I) = V с^ (М рМ^ (р) | / е I) =
= N р (V сж (Мг. (р) | ; е ^) = N рН(р), а также
Ь(с ') = V сда (М; (с ')| i е Г) = V сда (М . | i е I) = - , Н (с ') = V с М (с ')|; е I ) = V с (М i|i е I) = Н.
Ы/да Ы/да
Таким образом, Ь и Н - канонические -локальные спутники соответственно формаций - и Н .
Пусть теперь р\, •■•, рп - некоторая подходящая для - и Н с -последовательность простых чисел. По доказанному Ь(р1) = V (М; (рх) | i е I) ,
Н(р1) = < (М; (р1) | i е I) , причем формации М1 (р1) е Г для любого i е I. Так как по
° да ° да
определению М.р1 - канонический с -локальный спутник формации М; (р!) , i е I, то из леммы 22 следует, что спутники Ьр1= V с (М;р1 |; е I) и Нр1 = vт& (Mip1| I е I) являются внутренними -локальными спутниками формаций Ь(р1) и Н( р1) соответственно. Ввиду леммы 16 для любого I е I спутник М.р1 является 1Т -значным. Вновь применяя лемму 24, получаем, что для любого q е со
Ьр1 (д) = V сда (М;р1 (д) |; е 1г) = V сда (М чМ;р1 (д) |; е 1:) =
= М д (V сда (М;.р1 (д) |; е I)) = М дЬр1 (д), Нрх (д) = V св (М;.р1 (д) |; е I) = V с(М дМ.р1 (д) |; е I) = = М р (V с^ (М;р1 (д) |; е I)) = М дНр1 (д),
а также
Ьр1 (с') = V (М;р1с0 |; е I) = V сс (М; (р1) |; е I) = Ь(р1),
Нр1(с ') = V с (М;р1(с ')|; е I) = V с (М; (р1)|; е I) = Н(р1).
Таким образом, Ьр1 и Нр1 - канонические с -локальные спутники соответственно формаций Ь(р1) и Н(р1) .
Далее, предположим, что имеют место тождества
Ьр1 . рк _1 (рк ) — v (М-р1 . рк_1(рк ) | - е I) ,
Нр1. рк_1(рк) — v с (М-р1. рк_1(рк) | г е I),
и, кроме того, формации М-р1...рк_1 (рк) е ¡г для любого - е1, 2 <к <п . Поскольку по
ссо
определению М -р1... рк - канонический с-локальный спутник формации М-р1... рк _1 (рк ), - е I, то, применяя лемму 22, убеждаемся, что
ьР1 . рк — ^ (м-Р1 . рк | г е IX нР1 . рк — v с (М-р1... рк | г е I)
являются внутренними с-локальными спутниками формаций Ьр1... рк _1(рк) и Нр1.рк_1 (рк) соответственно. Поэтому, в силу лемм 16 и 24, заключаем, что эти спутники канонические. Лемма доказана.
Доказательство теоремы. Пусть М г - ¡г -формация, - е I,
Ь — V Юс (М - | г е I) — с 1Ьгш(и М -), Н — v с (М - | - е I) — Г Йгш( и М -).
с с -еI °со °со iеI
Включение
I с Н
очевидно. Предположим, что Н \ Ь Ф0 , и пусть А - группа минимального порядка в Н \ Ь . Тогда А - монолитическая группа, и Р — Бос(А) — АЬ . Предположим, что Р — 8ос(А) - неабелева группа или абелева с' -группа. Тогда, поскольку А е Н , то в силу леммы 23 имеем А е Ь . Противоречие.
Поэтому Р - абелева р -группа для некоторого простого числа р е с. Так как Ь - с -насыщенная формация, то Р <£ Ф(А). Следовательно,
Р = Са (Р) — Ер (А) = Е(А) = Ор (А) и А — [Р] А ,
где А1 - некоторая максимальная подгруппа из А .
Согласно лемме 25, я(Ь)пс — я(Н)пс и, кроме того, формации Ь и Н имеют такие канонические с -локальные спутники соответственно Ь и Н , что Ь(р) — Vс (М- (р)| - е I), Н(р) — v с (М- (р)| - е I).
Поэтому А не является р -группой и Ь(р) Ф 0. Отметим, что ввиду условия М г е ¡г и
ссо
леммы 16 М1 (р) е ¡г для любого - е I.
Поскольку Ь с Н , то Ь(р) с Н(р) . Так как А £ Ь , то Ь(р) с Н(р) . Действительно, если Ь(р) — Н(р) , то А/Ор (А) — А/Ер (А) е Н(р) — Ь(р) и по лемме 3 имеем А е Ь , что невозможно. Таким образом, А1 = А[Ер (А) е Н(р) \ Ь(р) .
По лемме 25 я(Ь(р))пс — я(Н(р))пс и формации Ь(р) и Н(р) имеют такие канонические с -локальные спутники соответственно Ьр и Нр , что
Ьр(а) — Vс (М-р(а) | - е I), Нр(а) — V с (М-р(а)| г е I) для любого а е (я(Ь(р)) п с) и {с'}.
Отметим, что из условия М1 (р) е Iх и леммы 16 следует, что спутник М.р
ссда
является Iх -значным для любого I е I.
°да
Поскольку гЬ(р) Ф0, то Ь(р) -корадикал Ь группы ^ отличен от единичной подгруппы, и в силу леммы 8 выполняется по крайней мере одно из следующих условий: а) Ь ф (А1) са; б) найдется такое простое число р1 е ж(Ь) п со , что
Ау ¥рх (А1) г Ьр (р1).
Пусть имеет место а). Обозначим через 5 - Б -радикал группы А1 , и пусть В = А1/ 5 . Тогда любая минимальная нормальная подгруппа группы В является неабелевой группой или абелевой со' -группой. Поскольку В е Н(р) = Vх (М; (р) |; е I) , то ввиду леммы 23 В е V с (М; (р) |; е I) = Ь(р) . Поэтому А^5 е Ь(р) . Следовательно,
Ь(р) -корадикал Ь группы А1 является со -группой. Полученное противоречие показывает, что случай а) невозможен.
Пусть имеет место условие б). Поскольку р1 еж(Ь) п со сж(Н(р)) п со, то р1 е ж(Ь(р)) п со и Ьр (р1) Ф 0 .
Допустим, что ¥р^ (А1) = 1. Тогда любая минимальная нормальная подгруппа из А1
является неабелевой р^ -группой. Из условия А1 е Н(р) = Vх (М; (р) |; е I) и леммы 23
СО да
следует, что А1 е V с (М; (р) |; е I) = Ь(р). Противоречие. Значит, (А1) Ф 1.
Заметим также, что Е (А1) Ф А1, поскольку в противном случае А1/Ер1 (А1) ^ 1 е Ьр (р1) Ф 0 , что противоречит выбору р 1. Таким образом,
А1/Ер1(А1) е Нр(р1)\ Ьр(р1), Ьр (л) Ф0, 1 Ф ^ (А1) с А1. Пусть А2 = А^^ (А1). В силу леммы 25 справедливо равенство ж(Ьр(р1)) п с = ж(Нр(р1)) п с и, кроме того, формации Ьр(р1) и Нр(р1) имеют такие канонические -локальные спутники Ьрр1 и Нрр2 соответственно, что
Ьрр1 (г) = V с (М;рр1 (г) |; е I), Нрр1 (г) = v с (Мгрр1(г) |; е 1)
да ^да
для любого г е (ж(Ьр(р^) п со) со'} . При этом из условия М;р(р1) е Iх , в силу
да
леммы 16, следует, что спутник М.рр1 является Iх -значным для любого I е I.
сда
Поскольку А2 г Ьр (р1) Ф0, то Ьр (р1)-корадикал К группы А2 отличен от единичной подгруппы и в силу леммы 8 выполняется по крайней мере одно из следующих условий: а) К ф (А2)са ; б) найдется такое простое число р2 еж(К) п со , что
А2/Ер2 (А2) г Ьрр1(р2).
Пусть имеет место а) и
Я - Б с -радикал группы А2 . Обозначим через С группу А2/Я. Тогда любая минимальная нормальная подгруппа группы С является неабелевой группой или абелевой со' -группой. Применяя теперь лемму 23 и рассуждая для группы С так же, как и для группы В, получим, что Ьр (р1)-корадикал К группы А2 является -группой. Последнее противоречит условию а).
Пусть имеет место условие б). Поскольку р2 ея(К)пася(Hp(р1))пп ^ то р2 е я(Ьр (р1)) пы и Ьрр1(р2) ф 0 . Снова используя лемму 23 и проведя для группы А2 такие же рассуждения, как для группы А1 , получим, что
А2/Ер2 (А2 ) е Нрр1(р2 ) \ Ьрр1 (р2 ),
Ьрр1(р2) Ф0 , 1 Ф Ерг (А2) с А2.
Пусть А3 — А^Ер2 (А2) . Тогда, по тем же соображениям, группа А3 будет
удовлетворять аналогичным условиям. Поэтому, продолжая этот процесс, мы получим группы
А4 — А3/Ер3( А3) , Ап — Ап_1/Ерп_1( Ап_1) , ••• .
При этом для любого натурального у > 2 выполняются условия (полагаем ро = р ):
А — А_1/ У А_) е Нр1. ру_2 (ру_1) \ Ьрр1 . ру_2 (ру_1),
Ьрр1... р7_2 (р7_1) ф 0 , 1 ф Ер_х (А7 _1) с А7_1. В силу условия Ер (Ау_1) Ф1 для построенной последовательности групп А , А1, А2, А3, Ап, •.. имеем | Ау_ |>| Ау | . Но поскольку группа А конечна, то на некотором шаге т мы получим, что Ат — 1. Так как при этом Ат — Ат_^Ер^ (Ат_1), то
Ерт1 (Ат_1) — Ат_1 . Пр°тив°речие.
Таким образом, наше предположение неверно и Н с Ь . Следовательно, Н — Ь . Теорема доказана.
Если с = Р - множество всех простых чисел, из теоремы вытекает Следствие 1 [Сафонов, Шеметков, 2008]. Решетка ¡с всех т-замкнутых тотально насыщенных формаций является полной подрешеткой решетки ¡с всех тотально насыщенных формаций.
Если с — {р}, то из теоремы следует
Следствие 2. Решетка ¡т всех т -замкнутых тотально р -насыщенных
формаций является полной подрешеткой решетки ¡ср всех тотально р -насыщенных формаций.
Если - единичный подгрупповой функтор, то из теоремы получаем Следствие 3. Решетка всех наследственных тотально с -насыщенных формаций
является полной подрешеткой решетки всех ¡с тотально с -насыщенных формаций. В случае, когда т(О) — {О} для любой группы О , из теоремы получаем Следствие 4. Решетка всех нормально наследственных тотально с -насыщенных формаций является полной подрешеткой решетки всех ¡°° тотально с -насыщенных формаций.
Заключение
В работе изучены некоторые свойства решетки функторно замкнутых частично тотально насыщенных формаций конечных групп. Для данной решетки установлено свойство, аналогичное свойству индуктивности полной решетки насыщенных формаций. Даны выражения минимального и канонического со -локальных спутников точной верхней грани любого подмножества функторно замкнутых частично тотально насыщенных
формаций через минимальные и, соответственно, канонические (-локальные спутники данного подмножества формаций. Доказано, что для любого подгруппового функтора г решетка всех г -замкнутых тотально (-насыщенных формаций является полной подрешеткой решетки всех тотально (-насыщенных формаций. В частности, установлена вложимость решетки всех -замкнутых тотально насыщенных формаций в решетку всех тотально насыщенных формаций, а также вложимость решетки всех -замкнутых тотально p -насыщенных формаций в решетку всех тотально p -насыщенных формаций.
Полученные результаты могут быть использованы для исследования и классификации частично тотально насыщенных формаций конечных групп.
Исследование выполнено при поддержке Министерства образования Республики Беларусь (ГПНИ «Конвергенция» 1.1.03.02).
Список литературы References
1. Биркгоф Г. 1984. Теория решеток. Пер. с англ. М., Наука, 568. (Birkhoff G. 1973. Lattice Theory. Providence, RI, American Mathematical Society, 418.).
Birkhoff G. 1984. Teoriya reshetok [Lattice Theory]. Moscow, Nauka, 568. (Birkhoff G. 1973. Lattice Theory. Providence, RI, American Mathematical Society, 418.).
2. Воробьев Н.Н. 2000. Об индуктивных решетках формаций и классов Фиттинга. Доклады НАН Беларуси, 44 (3): 21-24.
Vorob'ev N.N. 2000. Ob induktivnykh reshetkakh formatsiy i klassov Fittinga [On inductive lattices of formations and Fitting classes]. Doklady NAN Belarusi, 44 (3): 21-24. (in Russian)
3. Воробьев Н.Н. 2012. Алгебра классов конечных групп. Витебск, ВГУ имени П.М. Машерова, 322.
Vorob'ev N.N. 2012. Algebra klassov konechnykh grupp [Algebra of Classes of Finite Groups]. Vitebsk, Vitebsk State University named after P.M. Masherov, 322. (in Russian)
4. Каргаполов М.И., Мерзляков Ю.И. 2009. Основы теории групп. 5-е изд. СПб., Лань, 288.
Kargapolov M.I., Merzliakov Yu.I. 2009. Osnovy teorii grupp. 5-e izd. [Fundamentals of the
Theory of Groups. 5 Ed.]. Saint Petersburg, Lan', 288. (in Russian)
5. Сафонов В.Г. 2004. О тотально (-насыщенных формациях конечных групп. Препринт, № 7. Гомель, Гомельский государственный университет им. Ф. Скорины, 18.
Safonov V.G. 2004. O total'no о -nasyshchennykh formatsiyakh konechnykh grupp. Preprint, № 7 [On totally О-saturated formations of finite groups. Preprint, No. 7]. Gomel, Gomel University Press, 18. (in Russian)
6. Сафонов В.Г., Сафонова И.Н. 2014. О минимальных тотально (-насыщенных ненильпотентных формациях конечных групп. Вестник Витебского государственного университета, 84 (6): 9-15.
Safonov V.G., Safonova I.N. 2014. O minimal'nykh total'no (-nasyshchennykh nenil'potentnykh formatsiyakh konechnykh grupp [On minimal totally о -saturated non-nilpotent formations of finite groups]. Vestnik Vitebskogo gosudarstvennogo universiteta, 84 (6): 9-15. (in Russian)
7. Сафонов В.Г., Шеметков Л.А. 2008. О подрешетках решетки тотально насыщенных формаций конечных групп. Доклады НАН Беларуси, 52 (4): 34-37.
Safonov V.G., Shemetkov L.A. 2008. O podreshetkakh reshetki total'no nasyshchennykh formatsiy konechnykh grupp [Sublattices of the lattice of totally saturated formations of finite groups]. Doklady NAN Belarusi, 52 (4): 34-37. (in Russian)
8. Скиба А.Н. 1986. О локальных формациях длины 5. В кн.: Арифметическое и подгрупповое строение конечных групп. Минск, Наука и техника: 149-156.
Skiba A.N. 1986. O lokal'nykh formatsiyakh dliny 5. V kn.: Arifmeticheskoe i podgruppovoe stroenie konechnykh grupp [On local formations of length 5. In: Arithmetic and subgroup structure of finite groups]. Minsk, Nauka i tekhnika: 149-156. (in Russian)
9. Скиба А.Н. 1987. Характеризация конечных разрешимых групп заданной нильпотентной длины. Вопросы алгебры, 3: 21-31.
Skiba A.N. 1987. Kharakterizatsiya konechnykh razreshimykh grupp zadannoy nil'potentnoy dliny [Characterization of finite soluble groups with given nilpotent length]. Voprosy algebry, 3: 21-31. (in Russian)
10. Скиба А.Н. 1997. Алгебра формаций. Минск, Беларуская навука, 240.
Skiba A.N. 1997. Algebra formatsiy [Algebra of Formations]. Minsk, Belaruskaya navuka, 240. (in Russian)
11. Шеметков Л.А. 1978. Формации конечных групп. М., Наука, 267.
Shemetkov L.A. 1978. Formatsii konechnykh grupp [Formations of Finite Groups]. Moscow, Nauka, 267. (in Russian)
12. Шеметков Л.А. 1984. О произведении формаций. Доклады АН БССР 28 (2): 101-103. Shemetkov L.A. 1984. O proizvedenii formatsiy [On product of formations]. Doklady AN BSSR,
28 (2): 101-103. (in Russian)
13. Шеметков Л.А, Скиба А.Н. 1989. Формации алгебраических систем. М., Наука, 253. Shemetkov L. A, Skiba A.N. 1989. Formatsii algebraicheskikh sistem [Formations of Algebraic
Systems]. Moscow, Nauka, 253. (in Russian)
14. Ballester-Bolinches A., Ezquerro L.M. 2006. Classes of Finite Groups. Dordrecht, Springer, 2006, 385.
15. Doerk K., Hawkes T. 1992. Finite Soluble Groups. Berlin, New York, Walter de Gruyter,
889.
16. Guo, W. 2000. The Theory of Classes of Groups. Beijing, New York, Dordrecht, Boston, London, Science Press, Kluwer Academic Publishers, 2000, 261.
17. Neumann B.H., Neumann Hanna, Neumann P.M. 1962. Wreath products and varieties of groups. Mathematische Zeitschrift, 80: 44-62.
18. Neumann P.M. 1964. On the structure of standard wreath products. Mathematische Zeitschrift, 84: 343-373.
19. Safonov V.G. 2006. On the modularity of a lattice of t -closed totally saturated formations of finite groups. Ukrainian Mathematical Journal, 58 (6): 967-973.
20. Safonov V.G. 2006. The property of being algebraic for the lattice of all т-closed totally saturated formations. Algebra and Logic, 45 (5): 353-356.
21. Safonov V.G. 2007. Characterization of the soluble one-generated totally saturated formations of finite groups. Siberian Mathematical Journal, 48 (1): 150-155.
22. Safonov V.G. 2010. G -separability of the lattice of t -closed totally saturated formations. Algebra and Logic, 49 (5): 470-479.
23. Skiba A.N., Shemetkov L.A. 2000. Multiply O -local formations and Fitting classes of finite groups. Siberian Advances in Mathematics, 10 (2): 112-141.
