Размещено на http://www.allbest.ru/

Некоторые классы конечных групп с примарными пересечениями неинцидентных подгрупп

МАТЕМАТИКА

Я.Д. Половицкий

Пермский государственный национальный исследовательский университет

Россия, 614990, Пермь, ул. Букирева, 15

alg@psu.ru; (342)236-82-83

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

Ключевые слова: инцидентны; примарный; группа; пересечение; разрешимый.

Some classes of finite groups, in which intersections of nonincidence subgroups is primary

Ja. D. Polovitsky

Perm State National Research University, Russia, 614990, Perm, Bukireva st., 15

alg@psu.ru; (342) 236-82-83

Number classes of finite groups with primary intersections of nonincidence subgroups are described in this paper. In particular, are described finite soluble groups with this condition and some more strong conditions.

Key words: incidence; primary; group; intersection; soluble.

В ряде работ автора изучались группы с различными условиями инцидентности, в частности группы, в котором любые две собственные подгруппы, имеющие пересечение определенного вида, инцидентны (см., например, [1-3]). В настоящей работе в качестве таких пересечений используем примарные группы. Описаны широкие классы конечных групп с этим и близкими к нему условиями. Основные результаты работы - теоремы 4-6.

В работе используются следующие обозначения:

- N - нормальная подгруппа группы G;

- M - максимальная подгруппа группы G;

- подгруппы A и B инцидентны;

группы типа - прямое произведение циклических групп простых порядков ;

полупрямое произведение подгрупп A и B;

конец доказательства.

Некоторые свойства PIN-групп

Определение 1. Группу, в которой пересечение любой пары неинцидентных подгрупп является примарной группой или неинцидентных подгрупп нет, назовем PIN-группой или группой с условием PIN.

Другими словами, PIN-группы - это группы, в которых любые две собственные подгруппы, имеющие непримарное пересечение, инцидентны.

PIN-группами, в частности, являются:

1) все примарные группы; 2) группы, содержащие не более одной собственной непримарной подгруппы; 3) группы, в которых любые непримарные подгруппы инцидентны; 4) все группы порядков ; 5) группы, в которых любые две неинцидентные подгруппы пересекаются по единице - такие группы рассмотрены в работе [2] и названы там V-группами.

В работе [2] описаны локально конечные V-группы (теоремы 1 и 3, лемма 5).

Теорема 1 (см.[2]). Локально конечная группа G является V-группой тогда и только тогда, когда она - группа одного из следующих типов: 1) циклическая p-группа; 2) элементарная абелева группа порядка ; 3) порядка pq (p, q - различные простые числа);

4) - группа Фробениуса, где K - элементарная абелева группа порядка , (простое число), , причем K - минимальная нормальная подгруппа группы G; 5) квазициклическая p-группа.

Следствие 1. Всякая локально конечная V-группа разрешима.

Следствие 2. Все истинные подгруппы локально конечной V-группы примарные.

Лемма 1. Условие PIN переносится на подгруппы и фактор-группы.

Доказательство. Для подгрупп справедливость утверждения леммы 1 очевидна. Если G - PIN-группа, и - непримарная группа, то подгруппа непримарна, и потому, в силу PIN-условия, , а тогда . Значит - PIN-группа. ?

Определим еще один подкласс PIN-групп.

Определение 2. Группу, в которой пересечение любой пары неинцидентных подгрупп является r-группой, где r - фиксированное простое число, или неинцидентных подгрупп нет, назовем INr-группой (или группой с условием INr).

Очевидно, что INr-группы - подкласс класса PIN-групп, а V-группы - INr-группы при любом r. Отметим, что при всякая INr-группа является V-группой.

Нетрудно видеть, что условие INr переносится на подгруппы и фактор-группы.

Важная роль INr-групп в изучении PIN-групп видна из следующего утверждения.

Лемма 2. Пусть PIN-группа G имеет инвариантную r-подгруппу R. Тогда фактор-группа является INr-группой. Если R - силовская r-подгруппа группы G, то - V-группа, являющаяся r'-группой; если при этом G локально конечна, то она разрешима.

Доказательство.

Пусть не является r-группой. Тогда - непримарная группа, и в силу PIN-условия , а тогда . Значит, - INr-группа.

Если R - силовская r-подгруппа группы G, то - r'-группа, т.е. , и потому, как отмечено выше, является V-группой. Если G локально конечна, то в силу следствия 1 теоремы 1 она разрешима. ?

Следствие 1. Если G - непримарная локально конечная PIN-группа, а R - ее силовская r-подгруппа, то N(R) - разрешимая группа. Если N(R) - конечная группа, то , где S - r'-группа одного из типов 1-4 теоремы 1.

Следствие 2. Пусть конечная неразрешимая PIN-группа G является расширением p-группы P при помощи простой неабелевой группы . Тогда - INp-группа, любая силовская q-подгруппа группа при отлична от своего нормализатора и для любого .

Доказательство. Если p не делит , то по лемме 2 разрешима, в противоречие с условием. Значит, . В силу леммы 2 является INp-группой, и потому по определению 2 справедливо (1). Если бы , то по теореме Фробениуса G была бы непростой, в противоречие с условием. Значит, .

Лемма 3. Если PIN-группа G имеет истинную непримарную нормальную подгруппу N, то - примарная циклическая или квазициклическая p-группа.

Доказательство. Пусть - любые две собственные подгруппы группы . Вследствие того что N - непримарная группа и , - непримарная группа. Ввиду PIN-условия для G тогда выполняется , откуда . Значит, - группа с условием инцидентности, и потому, как известно, является циклической p-группой или квазициклической p-группой.

Следствие. В произвольной PIN-группе нормализатор любой непримарной разрешимой подгруппы является разрешимой подгруппой.

Лемма 4. Пусть в непримарной PIN-группе G существует инвариантная p-подгруппа P, S - собственные подгруппы группы G, (1) и S не является p-группой. Если P имеет собственную S-допустимую подгруппу B, то - простое число, отличное от p.

Доказательство. Предположим противное. Тогда существует , что и не является p-группой (ибо S - не p-группа). Пересечение - непримарная группа, и потому в силу PIN-условия Если то и, так как имеем (ввиду (1)), что входит в противоречие с условием. Если же то и, так как , имеем (ввиду (1)), что входит в противоречие с (2). Значит, - простое число, отличное от p.

Следствие 1. Если в конечной PIN-группе G существует инвариантная подгруппа P и такая подгруппа S непростого порядка, не являющаяся p-группой, что то P - элементарная абелева группа, не имеющая собственных S-допустимых подгрупп.

Доказательство. В силу леммы 4 в P нет собственных S-допустимых подгрупп (ибо непростой).

Пусть - нижний слой центра группы P. конечен, следовательно Если то - собственная S-допустимая подгруппа группы P, что невозможно, как отмечено выше. Значит, т.е. P - элементарная абелева p-группа.

Следствие 2. Если конечная PIN-группа G имеет инвариантную p-подгруппу P и хотя бы одна силовская q-подгруппа группы G при имеет непростой порядок, то P - элементарная абелева p-группа.

Лемма 5. Пусть G - конечная PIN-груп-па, P - ее инвариантная p-подгруппа, S - p'-подгруппа группы G. Если в P существует собственная S-допустимая подгруппа, то - простое число, отличное от p, и любые две собственные S-допустимые подгруппы A и B группы P либо инцидентны, либо пересекаются по 1.

Доказательство. В силу PIN-условия либо либо Из (1) следует, что (ибо A и B - единственные силовские p-подгруппы, соответственно групп и ), а из (2) - что Простота следует из леммы 4. ?

Следствие 1. Если G - конечная PIN-группа, P - ее инвариантная элементарная абелева p-подгруппа, и в P есть собственная S-допустимая подгруппа, то - простое число, любые две различные собственные S-допустимые подгруппы A и B группы P пересекаются по 1, и A, B - минимальные S-допустимые подгруппы группы G.

Доказательство. Пусть Тогда по лемме 5 Пусть, например, По теореме Машке, существует S-допустимая подгруппа группы P, такая, что Из (5) и (6) следует, что Если то по лемме 5 Если то отсюда и из (5) следует, что вопреки выбору B. Если же то вследствие (5) что противоречит (6). Значит, и из (7) получаем, что вопреки их выбору. Значит, (4) не выполняется и Ввиду того что S-допустимая, то из леммы 5 следует, что Простота вытекает из леммы 4. Из доказанного следует, что A и B - минимальные S-допустимые подгруппы группы P.

Следствие 2. Пусть G - конечная PIN-группа, P - p-группа, S - p'-группа, и . Тогда любая собственная S-допустимая подгруппа A группы P такая, что инцидентна N, - простое число и все -допустимые подгруппы группы инцидентны.

Доказательство. По лемме 5 - простое число и (ввиду (8)). Если и - две собственные -допустимые подгруппы группы , то C и T Q-допустимы, и в силу леммы 5 , а тогда .

Следствие 3. Утверждение леммы 5 справедливо и для любой подгруппы группы G и ее -допустимых подгрупп (так как из того, что , следует, что если -допустимая подгруппа группы P, то является S-допустимой и содержится в P).

Лемма 6. Пусть G - PIN-группа, где P - p-группа, простое число и Если N, M - инвариантные в G собственные подгруппы группы P, и - элементарная абелева p-группа, то в нет собственных -допустимых подгрупп.

Доказательство. По лемме 1 - PIN-группа. Введем обозначения: Отметим, что т.е.

Рассмотрим По лемме 1 S является PIN-группой.

Пусть в существует собственная -допустимая подгруппа В силу того, что - элементарная абелева, по теореме Машке где -допустима, и потому (2) - единица группы G. С другой стороны, применяя к PIN-группе следствие 2 леммы 5, получаем, что Из (2) и (3) следует, что или , или - единица группы , что противоречит выбору . Значит, в нет собственных -допустимых подгрупп.

Лемма 7. Пусть PIN-группа G имеет собственную непримарную нормальную подгруппу M. Тогда для любой силовской q-подгруппы Q группы M справедливо равенство Если Q неинвариантна в M, то

Доказательство. Равенство (4) справедливо по лемме Фраттини.

Если - непримарная группа, то в силу PIN-условия , а тогда из (4) следовало бы, что либо (в противоречие с условием), либо Если , то (7) невозможно, и потому невозможно и (6). Значит, - примарная группа, и потому выполняется (5).

Следствие. Если при условиях леммы 7 подгруппа M простая, то , что .

Действительно, в противном случае , и в силу (5) и теоремы Фробениуса группа A не простая.

Конечные непримарные PIN-группы с инвариантной силовской подгруппой

группа циклический непримарный элементарный

Теорема 2. Конечная непримарная группа G с инвариантной силовской p-под-группой P является PIN-группой тогда и только тогда, когда она - группа одного из следующих типов (ниже p, q, r - различные простые числа):

I. и все собственные

C-допустимые подгруппы группы P исчерпываются следующими:

1) , где

и - нижний слой центра группы ;

2) возможно, элементарными абелевыми группами , являющимися минимальными C-допустимыми подгруппами группы P, причем ;

3) возможно, некоторыми собственными подгруппами группы , попарные пересечения которых равны 1.

II. ,

где P - элементарная абелева

p- группа, C - одна из следующих групп:

1) циклическая порядка ;

2) элементарная абелева группа порядка ;

3) порядка qr;

4) , где K - элементарная абелева группа порядка , K - минимальная нормальная подгруппа группы C, в P нет истинных C-допустимых подгрупп и либо для любой собственной подгруппы группы C в нет собственных -допустимых подгрупп, либо в есть собственная -допустимая подгруппа, и тогда простой и любые такие -допустимые подгруппы пересекаются по 1.

Замечание. Известно, что в конечной разрешимой группе холловские подгруппы одного порядка сопряжены. Так как в группах типов I и II C - холловская p'-подгруппа, то из выполнимости условий этих типов для C-допустимых или -допустимых подгрупп группы P следует, очевидно, выполнимость таких же условий и для других холловских p'-подгрупп и их подгрупп (при любом ).

Необходимость. Пусть G - конечная PIN-группа, P - ее инвариантная силовская p-подгруппа и . Тогда , где C - p'-группа.

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

1. - простое число.

В силу того что P - конечная p-группа, в ней существует ряд (1) характеристических подгрупп , такой, что и - нижний слой центра группы . Все и потому C-допустимы. Доказан пункт 1) типа I.

Пусть S - любая собственная C-до-пустимая подгруппа группы P, отличная от всех . Если , то в силу следствия 1 леммы 5 пересечение S с любой C-допус-тимой подгруппой группы равно 1. Доказан пункт 3) типа I.

Пусть . Тогда по лемме 5 либо , либо . Рассмотрим каждый из этих случаев.

1.1. . Тогда для любого и существует k, что , но . Отсюда, в силу леммы 5, . Тогда подгруппа -допусти-мая подгруппа группы . Так как последняя элементарная абелева, то по лемме 6 в ней нет собственных -допустимых подгрупп, а .

Полученное противоречие показывает, что случай 1.1 невозможен.

1.2. . Тогда , что , но , и по лемме 5 . Так как , то , и потому . Подгруппа -допустимая подгруппа элементарной абелевой группы . В силу леммы 6 таких собственных подгрупп в нет, и потому , т.е. в силу (4) , причем в S нет истинных C-допустимых подгрупп. Так как - элементарная абелева группа, из (5) следует, что S - элементарная абелева группа и минимальная нетривиальная C-допустимая подгруппа группы P.

Доказан пункт 2) типа I.

Итак, в случае 1 мы показали, что G - группа типа I.

2. не является простым числом.

Тогда в силу следствия 1 леммы 4 в P нет собственных C-допустимых подгрупп. По следствию 2 леммы 4 P - элементарная абелева группа. В силу следствия 1 леммы 2 - p'-группа, являющаяся группой одного из типов 1-4 теоремы 1, но имеющая непростой порядок.

Если для любой в P нет истинных -допустимых подгрупп, то G - одна из групп типа II.

Если же для некоторой такой подгруппы в есть истинная -допустимая подгруппа, то по следствию 1 леммы 5 - простое число и любые две собственные -допустимые подгруппы группы P пересекаются по 1. И в этом случае G - одна из групп типа II.

Необходимость доказана.

Достаточность

1. Пусть G - группа типа I и ее различные истинные подгруппы A и B имеют непримарное пересечение. Тогда , где , а . Отсюда и из следует, что . Из замечания после теоремы 3 вытекает, что собственные -допустимые подгруппы группы P - это те же (ибо ) и подгруппы с теми же условиями, которые описаны в пунктах 2) и 3) типа I.

Имеем , где - -допустимы и , (ибо A и B отличны от G). Но из описания C-допустимых подгрупп группы P в типе I следует, что такими подгруппами и группы P, имеющими нетривиальное пересечение, не могут быть две подгруппы \ как при одном, так и при разных i - так как - минимальные -допустимые, а . Далее, и не могут, ввиду неравенства (9) и условия 3) типа I, содержаться и в . Значит, либо и - это и , а они инцидентны, и тогда , либо одна из и - это , а другая совпадает с \. Так как в силу (9) , то , и потому , и опять .

Этим доказано, что любая группа типа I является PIN-группой.

2. Пусть G - группа типа II и ее различные истинные подгруппы A и B имеют непримарное пересечение.

Если хотя бы для одной из них (например, для A) , то по определению группы типа II и, так как , то A изоморфна . Но C - это V-группа, а по следствию 2 теоремы 1 такие группы не имеют истинных непримарных подгрупп, т.е. и , т.е. . Остается cлучай: , . Тогда (10) (11), где - p'-группы (i = 1, 2).

Возможны подслучаи:

2.1. Хотя бы одна из подгрупп или отлична от P.

Пусть . Тогда - истинная -допустимая подгруппа группы P. Теперь из определения группы типа II, ввиду сделанного после теоремы 3 замечания, следует, что - простое число. Поскольку непримарна, то , где . Поэтому из (10) и (12) получаем . Отсюда и из (12) следует, что и - две -допустимые собственные подгруппы группы P. Если они различны, то по определению группы типа II должны пересекаться по 1, а они инцидентны. Значит,, т.е. (ввиду (13)), и потому .

Аналогично при получим . Мы показали, что в случае 1 .

2.2. .

Тогда и и - две собственные подгруппы V-группы , и потому либо (тогда ), либо , а тогда , вопреки условию пункта 2.

Итак, в группе типа II все неинцидентные подгруппы имеют примарные пересечения, и потому такая группа является PIN-группой.

Следствие 1. Конечная непримарная нильпотентная группа является PIN-группой тогда и только тогда, когда она либо циклическая порядка или , либо группа типа .

Действительно, из групп типа I для нильпотентных групп получаются группы порядка и типа , а из групп типа II - циклические группы порядков , и снова тип , отличающийся от типа только обозначениями.

Следствие 2. Конечная непримарная нильпотентная PIN-группа абелева.

Следствие 3. Конечная PIN-группа с инвариантной силовской p-подгруппой разрешима (вытекает из описания типов I-III в теореме 3).

Конечные ненильпотентные разрешимые PIN-группы

Теорема 3. Конечная разрешимая ненильпотентная группа G является PIN-группой тогда и только тогда, когда она - группа одного из следующих типов:

I. Типа I из теоремы 2;

II. Типа II из теоремы 2;

III. , где - элементарная абелева p-группа,

- неабелева группа, в P нет истинных -допустимых подгрупп и любые две различные собственные Q-допустимые подгруппы группы P либо пересекаются по 1, либо таких подгрупп в P нет.

Необходимость. Пусть G - конечная разрешимая ненильпотентная PIN-группа.

Возможны 2 случая:

1. В G есть инвариантная силовская подгруппа. Тогда по теореме 2 G - одна из групп типов I или II.

2. В G нет инвариантных силовских подгрупп.

Поскольку G разрешима, то она имеет инвариантную p-подгруппу. Пусть P - максимальная инвариантная p-подгруппа группы G. Разрешимая группа имеет инвариантную силовскую q-подгруппу , причем (ввиду максимальности P). Применяя к подгруппе S следствие 1 леммы 2, получаем: , где Q - либо циклическая q-группа, либо группа типа .

Отметим, что , либо в G нет инвариантных силовских подгрупп.

Если не делится на p, то P - инвариантная силовская p-подгруппа группы G, что входит в противоречие с условием пункта 2. Значит, p| . Так как S - непримарная группа, то по лемме 1 - примарная циклическая, т.е., в силу доказанного выше, циклическая p-группа.

Поскольку , то по лемме 7 справедливы следующие равенства: .

Из (1) и (3) следует, что .

Из (2) и (4) получаем: .

Так как - циклическая p-группа, то из равенств (2) и (3) следует:

- циклическая p-группа, и потому (6), где - циклическая p-группа.

Пусть не простой. Тогда . Имеем следующее:

- непримарная группа, причем подгруппы, стоящие в левой части равенства (7), не инцидентны. Это противоречит PIN-условию. Значит, и .

Так как не простой, то по лемме 4 в P нет собственных -допустимых подгрупп, а по следствию 1 леммы 4 P - элементарная абелева p-группа. Применяя к следствие 1 леммы 5, получаем, что любые две Q-допустимые подгруппы группы P (если такие есть) пересекаются по 1. Значит, G - группа типа III.

Необходимость доказана.

Достаточность. Группы типа I и II являются PIN-группами по теореме 2.

Пусть G - группа типа III и A, B - ее различные истинные подгруппы с непримарными пересечением C. Тогда C содержит группу , сопряженную Q. Так как , то из леммы 7 получаем , , и потому . Поскольку , то . По определению группы типа III в P нет собственных -допустимых подгрупп. Тогда, так как , в P нет и собственных -допустимых подгрупп.

Возможны три случая.

1. Тогда из (1) получаем: , т.е. C изоморфна непримарной подгруппе группы . Так как , то и . Поэтому и . Отсюда и из (1) имеем .

Тогда и -допустимая подгруппа группы P. В силу (2), как показано выше, в P нет собственных C-допустимых подгрупп, т.е. либо , либо . Равенство (5) невозможно, так как тогда, ввиду (4), . Значит, справедливо (6), в следствие чего, ввиду (4) и (3), . Аналогично получаем, что , т.е. , вопреки выбору A и B. Случай 1 невозможен.

2. Тогда (ибо она непримарна), а, так как . Поэтому , вопреки выбору A и B.

3. - собственная подгруппа группы P.

Так как , то - собственная -допустимая подгруппа группы P. Имеем: -до-пустима и . В силу следствия 3 леммы 5 для различных -допустимых подгрупп группы P выполняются те же условия из типа III, что и для Q. Поэтому из (7) следует, что либо , либо .

В последнем случае (ибо A непримарна), а тогда (ибо ). Вследствие того что , таким же образом доказывается, что либо , либо .

Возможны 2 подслучая:

a) или ;

b) и .

Рассмотрим каждый из них.

a) Пусть (случай рассматривается аналогично). Тогда , причем . Так как , то . Из и следует справедливость равенства , поэтому по лемме 7, примененной к B и ее инвариантной p-подгруппе , имеем: (использовалось (10) и то, что по лемме 7 ).

Поскольку , то из (11) следует, что . Но , а . Учитывая это, из (12) получаем . Отсюда и из (11) следует, что - допустимая подгруппа группы P, причем по условию пункта 3 - собственная подгруппа группы P. Это противоречит тому, что, как отмечено в начале доказательства достаточности, в P нет собственных -допустимых подгрупп. Значит, случай a) невозможен.

b) , . Если здесь выполняется хотя бы одно равенство, то . Если же и , то, так как S, как легко видеть - группа типа II из данной теоремы, для пары A и B PIN-условие выполняется.

Определение 3. Группу, в которой порядок пересечения любой пары неинцидентных подгрупп делит n-ю степень некоторого простого числа, где n фиксированное, а указанные простые числа могут быть и различными, либо любые две подгруппы инцидентны, назовем PINn-группой.

Легко увидеть, что PINn-группы - это подкласс PIN-групп. В работе автора [1] получено описание конечных разрешимых PIN2 -групп (они названы K-группами).

Нетрудно доказать следующие два предложения:

Предложение 1. Конечные p-группы с условием PINn - это все группы, порядки которых делят , и только они.

Предложение 2. Если PINn-группа G имеет для некоторой q-подгруппы Q Q-допустимую подгруппу N и , то |.

Теперь из теоремы 3 и этих предложений получаем описание класса конечных разрешимых PINn-групп.

Теорема 4. Конечная разрешимая группа G является PINn-группой тогда и только тогда, когда она - либо примарная группа, порядок которой делит , либо группа одного из типов I-III теоремы 3, в которых | и выполняются следующие дополнительные условия: для типа I - | для любой упомянутой там подгруппы S; для типа II - |, а порядок любой -допустимой подгруппы группы P делит ; для типа III - порядок любой Q-допустимой подгруппы группы P делит .

Из этой теоремы следует и полученное в [2] описание PIN2-групп.

Из теоремы 3 нетрудно получить описание и некоторых других подклассов PIN-групп - INNr-групп и определенных выше INr-групп (см. определение 2).

Определение 4. Группу, в которой пересечение любой пары неинцидентных непримарных подгрупп является r-группой, где r - фиксированное простое число, или таких неинцидентных подгрупп нет, назовем INNr-группой (или группой с условием INNr).

В частности, INNr-группой (при любом простом r) является группа, в которой либо все непримарные подгруппы инцидентны, либо нет истинных непримарных подгрупп.

Очевидно, что INNr-группы и INr-группы являются PIN-группами, а INr-группы - подкласс INNr-групп. Всякая примарная группа является INr-группой и потому и INNr-группой.

Легко видеть, что условия INr и INNr переносятся на подгруппы.

Докажем несколько вспомогательных предложений об INNr-группах.

Лемма 8. Пусть G - INNr-группа, Q - ее q-подгруппа, и в G существуют две Q-допустимые p-подгруппы и , такие, что .

Тогда , т.е. G -INNq-группа.

Доказательство. Из условий леммы следует, что справедливо равенство - q-груп-па. Так как и непримарны и неинцидентны, то , т.е. G - INNq-группа. ?

Лемма 9. Пусть G - непримарная INNq-группа, , P - ее инвариантная силовская p-подгруппа, и . Тогда и является циклической группой порядка .

Доказательство. Пусть - силовская r-подгруппа группы и . Если в существует отличная от нее силовская r-подгруппа , то R и непримарны, неинцидентны, а , т.е. делится на p, вопреки определению INNq-группы. Значит, в все силовские r-под-группы при инвариантны. Силовская p-подгруппа , в силу условия теоремы, также инвариантна в . Значит, - нильпотентная группа. Так как она непримарная и является PIN-группой, то по следствию 2 теоремы 2 абелева, и потому . В G любые две не p-подгруппы A и B, содержащие S, инцидентны - ибо , и потому не может быть q-группой, а тогда . Отсюда и из следствия 1 теоремы 2 вытекает, что - циклическая группа порядка . ?

Следствие. Если при условиях леммы 9 кроме в P существует еще одна подгруппа : , такая, что и , то G - абелева группа типа .

Действительно, по доказанному в лемме 9 , т.е. . Теперь из следствия 1 теоремы 2, учитывая существование в G двух p-подгрупп с условием (1), получаем, что G - группа типа .

Утверждение 1. Конечная непримарная нильпотентная группа G является INNq-группой тогда и только тогда, когда она либо типа , либо циклическая порядка или .

Справедливость этого легко вытекает из следствия 1 теоремы 2. Теперь мы можем получить описание конечных разрешимых непримарных INNr-групп.

Теорема 5. Конечная непримарная разрешимая группа G является INNr-группой с | тогда и только тогда, когда она - группа одного из следующих типов:

1. , где , P - p-группа и единственными истинными C-допустимыми подгруппами группы P являются подгруппы , i = 0, 1,…, k, где ряд

и - нижний слой центра группы (для таких групп r равно p).

2. Абелева группа типа .

3. , P - элементарная абелева p-группа, C - группа типа или циклическая порядка и в P нет собственных -допустимых подгрупп для любой , где (если C - типа , то r равно p; если C циклическая, то r - любое из ).

4. , где P - группа типа , C - циклическая группа порядка . В P есть собственные - допустимые подгруппы только для подгруппы порядка q группы C и (для таких групп r равно q).

5. Циклическая группа порядка .

Необходимость. Пусть G - конечная непримарная разрешимая INNr-группа и r делит . Тогда она является PIN-группой.

I. G - ненильпотентная группа.

Тогда по теореме 3 G - одна из групп типов I - III этой теоремы.

Рассмотрим каждый из них.

1. G - группа типа I.

Возможны подслучаи:

Единственными истинными С-допустимыми подгруппами группы P является , i = 0, 1 ,… k. Тогда G - группа типа 1 теоремы 5.

В P существует хотя бы одна собственная C-допустимая подгруппа S, отличная от всех , i = 0, 1 ,… k. Покажем, что в P найдется собственная C-допустимая подгруппа , такая, что : если , то по теореме Машке существует C-допустимая подгруппа , такая, что и выполняется (1); если же , то по определению группы типа I найдется , что , и в качестве можно взять .

Итак, C-допустимые подгруппы S и группы P с условием (1) всегда найдутся.

Тогда

-

q-группа, и потому G является INNq-группой.

Если S и содержатся в , то они инвариантны в P, C-допустимы, и потому из следует, что . Так как выполняется условие (1), учитывая то, что G - -группа, в силу следствия леммы 9 G - группа типа , что входит в противоречие с условием пункта I.

Пусть . Тогда и по определению группы типа I и S - элементарная абелева p-группа. По лемме 9, учитывая то, что , имеем: - циклическая группа порядка .

Тогда P абелева, - нижний слой группы P и . Поэтому , вопреки (4).

Значит, случай 1.2 невозможен.

2. G - группа типа II или III из теоремы 3. Тогда , где P - p-подгруппа.

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

C имеет собственные подгруппы и , такие, что .

Тогда -

p-группа и G - INNp-группа.

Пусть C - непримарная группа и - ее собственная p'-подгруппа. Тогда - p'-группа, что противоречит тому, что G - INNp-группа. Значит, C - примарная группа. Отсюда следует, что G не может быть группой типа III, и G - группа типа II, в которой C в силу условия пункта 2.1 - типа . Если бы в P имелась собственная - допустимая подгруппа P относительно , то по теореме Машке , где - допустима, и по лемме 8 G является INNq-группой, в противоречие тому, что G - INNp-группа. Значит, G - одна из групп типа 3 теоремы 5.

2.2. В C любые две собственные подгруппы имеют нетривиальное пересечение. Тогда из описания групп типа II следует, что C - циклическая группа порядка . Если в P для любой отличной от 1 подгруппы группы C нет собственных -допустимых подгрупп, то G - одна из групп типа 3 теоремы 5.

Пусть в P есть собственная -допустимая подгруппа для некоторой : .Тогда по определению группы типа II . Если к применить теорему Машке, то из следствия леммы 9 получаем, что - группа типа , и G - группа типа 4 теоремы 6.

II. G - нильпотентная группа.

Тогда в силу утверждения 1 G - группа типа 2 или типа 5 теоремы 5.

Необходимость доказана.

Достаточность. Пусть G - одна из групп типа 1-5 теоремы 5.

1. G - группа типа 1. Тогда все ее собственные непримарные подгруппы имеют вид (5), где i = 1, …, k и . Если две подгруппы A и B вида (5) пересекаются по непримарной подгруппе или подгруппе порядка q, то они имеют общую силовскую q-подгруппу , т.е. по определению групп типа 1 (возможно и i = j) и так как , то . Значит, непримарные неинцидентные подгруппы группы G могут пересекаться только по p-подгруппе, и G - INNp-группа.

2. G - группа типа 2. Ее подгруппы порядка пересекаются по единственной подгруппе порядка q и потому G - INNq-группа.

3. G - группа типа 3. В такой группе любая собственная непримарная подгруппа содержит P и имеет вид , где . Есть C - циклическая q-группа, то - группа с условием инцидентности, и потому в G все непримарные подгруппы инцидентны, и потому r - любое из .

Если же C - типа , то в (6) . Если пересечение двух подгрупп вида (6) содержит подгруппу Q порядка q, то, очевидно, обе они равны и потому совпадают. Значит, пересечения собственных непримарных неинцидентных подгрупп G равны P, и потому G - INNp-группа.

4. G - группа типа 4. Из определения такой группы следует, что все ее истинные непримарные подгруппы содержатся в ее инвариантной подгруппе типа , и потому G - INNq-группа.

5. G - группа типа 5. Тогда все ее непримарные подгруппы инцидентны и она - INNr-группа при любом r. ?

Теорема 6. Конечная непримарная разрешимая группа G является INr-группой при тогда и только тогда, когда она - либо группа типов 1 или 5 теоремы 5 (группа типа 1 является INp-группой), либо следующего типа:

6., P-типа или порядка p, C - циклическая q-группа, , в P нет собственных -допустимых подгрупп для любой отличной от 1 подгруппы группы С (G - INq-группа).

Необходимость. Пусть такая группа G является INr-группой. Тогда она INNr-группа, и потому - группа одного из типов 1-5 теоремы 5.

Группы типов 1 и 5 входят в формулировку теоремы 6. Группа типа 2 теоремы 5 не является, очевидно, ни INq-группой, ни INp-группой.

Пусть G - группа типа 3 теоремы 5. Тогда C имеет собственную подгруппу и - q-группа. Поэтому G - INq-группа. Так как P - элементарная абелева p-группа, то из доказанного следует, что делит . Но если C - типа , то в силу теоремы 5 G является INNp-группой и потому не может быть INq-группой. Значит, C - циклическая группа и потому G - группа типа 6 этой теоремы.

Пусть теперь G - группа типа 4 теоремы

5. Тогда и - p-группа. С другой стороны, - q-группа. Значит, G не является INNr-группой ни при каком .

Если G - группа типа 6 данной теоремы, то все ее непримарные подгруппы содержат P и потому инцидентны. Поэтому и ввиду того что P - типа или порядка p, G является INq-группой.

Необходимость доказана.

Достаточность. Пусть G - группа одного из типов теоремы 5. Если G - типа 1, то по доказанному в достаточности теоремы 6 ее непримарные неинцидентные подгруппы могут пересекаться только по p-подгруппе. Так как силовские q-подгруппы группы G имеют порядок q, то их пересечения с любой неинцидентной подгруппой равны 1. Поэтому G - INp-группа.

В группе G типа 5 или 6 все непримарные подгруппы содержат ее силовскую p-под-группу P и, так как - циклическая q-группа, все такие подгруппы группы G инцидентны. Различные p-подгруппы группы G пересекаются по 1, и потому G - INq-группа. ?

Следствие. Если G - конечная INr-груп-па, , R - ее силовская r-подгруппа и , то - группа типа 1 или 5 теоремы 5.

Действительно, в силу следствия 1 леммы 2 - разрешимая группа и потому по теореме 7 - группа типа 1 или 5 теоремы 5.

Этим закончено изучение конечных разрешимых групп с условиями PIN, INNr и INr.

Конечные непростые неразрешимые PIN-группы

Лемма 10. Всякая конечная неразрешимая непростая PIN-группа G имеет инвариантный ряд , где R - p-груп-па, - примарная циклическая группа, - простая неабелева группа. Если , то - INp-группа и |.

Доказательство. Так как G непростая, то в ней существует собственная нормальная подгруппа.

Возможны 2 случая.

1. В G существует истинная непримарная нормальная подгруппа.

Тогда найдется минимальная непримарная нормальная подгруппа M (M<G). По лемме 3 - примарная циклическая группа.

Возможны 2 подслучая:

1.1. M - простая неабелева группа. Тогда G имеет ряд (1) , где .

1.2. Подгруппа M не простая. Тогда существует .

Пусть - непримарная группа. Тогда по лемме 3 - циклическая группа, и потому . Так как M' - характеристическая подгруппа группы M, то , и, в силу выбора M, M' - примарная группа. Тогда инвариантный ряд с разрешимыми факторами группы G, и G разрешима, вопреки условию.

Значит, все собственные нормальные подгруппы группы M являются примарными группами. Поэтому все они содержатся в нильпотентном радикале R группы M , причем R - p-группа и - простая группа. Она неабелева (ввиду неразрешимости G). В силу условия пункта 1.2 .

Мы показали, что в случае 1.2 G обладает рядом (1). В силу леммы 2 является INp-группой.

По следствию 2 леммы 2 p|. Для случая 1 лемма 10 доказана.

2. Все собственные нормальные подгруппы группы G примарны.

Тогда ее нильпотентный радикал и, как и в пункте 1.2, получаем, что G имеет инвариантный ряд , где R - p-группа, - простая неабелева INp-группа и |. Ряд (2) - частный случай ряда (1) при .

Теорема 7. Всякая конечная неразрешимая непростая PIN-группа является либо расширением p-группы с помощью простой неабелевой INp-группы, порядок которой делится на p, либо расширением неабелевой PIN-груп-пы с помощью циклической p-группы.

Доказательство. В силу леммы 10 в G существует указанный там инвариантный ряд (1). Покажем, что в нем есть хотя бы одно равенство.

Предположим противное. Тогда ряд (1) имеет вид (2), где M - непримарная группа. Если к M применить следствие 2 леммы 2, то получаем, что в любые две различные силовские q-подгруппы при пересекаются по 1. Но если к применить следствие леммы 7, получаем, что в пересечение некоторой пары силовских q-подгрупп отлично от 1. Противоречие доказывает, что ряд вида (2) группа G не может иметь, и потому ряд (1) для G в силу леммы 1 выглядит так: либо и - простая неабелева INp-группа, |, либо , где M - простая неабелева PIN-группа, - циклическая p-группа. ?

Заключение

Из теорем 4 и 7 следует, что для описания произвольных конечных PIN-групп осталось описать: простые PIN-группы, простые INp-группы, в которых (в силу следствия 2 леммы 2) для любой силовской q-подгруппы Q при и , а также некоторые связанные с ними расширения, о которых говорится в теореме 8.

Список литературы

1. Половицкий Я.Д. Конечные разрешимые группы с одним условием для пересечений неинцидентных подгрупп // Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2011.Вып. 2(6). С.10-21.

2. Волочков А.А., Половицкий Я.Д. Группы с условием инцидентности для подгрупп с нетривиальным пересечением // Современные проблемы математики и информатики. Ярославль, 2001. Вып. 4. С.13-17.

3. Половицкий Я.Д. Конечные разрешимые группы, в которых порядок пересечения любых двух неинцидентных подгрупп является делителем числа n // Вестн. Перм. ун-та. Сер. Математика. Механика. Информатика. 2010. Вып. 4(4). С. 8-17.

Размещено на Allbest.ru

...