Насыщенные формации заданной структурой подформаций

МИНИСТЕРСТВО ОБРАЗОВАНИЯ РЕСПУБЛИКИ БЕЛАРУСЬ Учреждение Образования.

" ГОМЕЛЬСКИЙ ГОСУДАРСТВЕННЫЙ УНИВЕРСИТЕТ ИМ.Ф. СКОРИНЫ"

Математический факультет Кафедра алгебры и геометрии.

Дипломная работа.

Насыщенные формации заданной структурой подформаций

Исполнитель студент группы М-52.

Рябченко Елена Александровна Научный руководитель к. ф. — м. н., доцент.

Васильев Александр Федорович Рецензент к. ф. — м. н., доцент.

Новиков Сергей Петрович.

ГОМЕЛЬ 2005

• Введение
• 1. Решетка всех -насыщенных формаций и ее основные свойства
• Спутники формаций
• Решетка внутренних -локальных спутников формации
• 2. -Насыщенные формации с ограниченным -дефектом
• Понятие -дефекта.
• 3. Решетка — насыщенных формаций с дополнениями
• -Насыщенные формации, у которых решетка является решеткой с дополнениями
• Заключение
• Список использованных источников

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

Толчок, произведенный работой Гашюца 1963 года, вызвал целую лавину исследований и привел к возникновению нового направления, новой теории. Уже в первые годы существования этой теории были получены значительные результаты. С этого момента началось интенсивное изучение различных классов конечных групп, наибольшую популярность среди которых получили формации.

Напомним, что формация — это класс групп, замкнутый относительно гомоморфных образов и конечных подпрямых произведений. В работе Гашюца был впервые выделен важный для приложений класс насыщенных формаций и предложен способ конструирования такого рода формаций при помощи специальных функций. В вопросах приложения теории формаций к исследованию непростых конечных групп нашли широкое применение насыщенные инасыщенные формации. При их изучении выделились два подхода. Первый связан с так называемым локальным заданием формации. В качестве рабочего инструмента этого способа Гашюц предложил использовать функции вида При этом вводится понятие локального спутника формации. Говорят, что — локальный спутник формации, если данная формация состоит из тех и только из тех групп, для которых имеет место для любого .

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

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

Как показал Гашюц, всякая локальная формация насыщена. В дальнейшем Любезедер и П. Шмид установили, что всякая непустая насыщенная формация локальна. Таким образом, оказалось, что класс локальных формаций совпадает с классом непустых насыщенных формаций. Идеи, заложенные в отмеченной выше работе Гашюца, привлекли внимание многих специалистов по алгебре и исследования, связанные с насыщенными формациями, составили одно из доминирующих направлений современной теории классов групп.

Развивая локальный метод Гашюца, Л. А. Шеметков предложил второй подход для изучения формаций, в основе которого лежит идея изучения формаций с заданной системой подформаций. Этот метод исследования был впервые рассмотрен в книге Л. А. Шеметкова «Формации конечных групп» (Москва: Наука, 1978 г). Решение задач, поставленных в этой книге, дало толчок целому кругу новых идей и, в частности, это привело к возникновению таких важных понятий как минимальные неформации, -кратно насыщенные формации, -дефект насыщенной формации, дополняемость подформаций, длина насыщенной формации и др.

Немаловажным из рабочих инструментов исследования частично насыщенных формаций являются результаты и методы общей теории решеток. Как известно, методы общей теории решеток с успехом используются при исследовании различных алгебраических объектов. Привлечение методов этой теории к изучению классов групп позволяет не только значительно упрощать доказательства многих уже известных теорем, но и с успехом решать ряд открытых вопросов, связанных с изучением внутреннего строения таких классов. Применение решеточных подходов в теории классов групп было впервые осуществлено в рамках теории многообразий групп. Позднее А. Н. Скиба показал, что привлечение решеточных конструкций весьма полезно и при изучении формаций групп. При этом существенную роль играет тот факт, что решетка всех насыщенных формаций модулярна. В дальнейшем рассматривался вопрос о модулярности и дистрибутивности решеток формаций других типов. Так в монографии Л. А. Шеметкова и А. Н. Скибы «Формации алгебраических систем» (М.: Наука, 1989 г) была доказана модулярность решетки всехкратно насыщенных формаций; Баллестером-Болиншес и Л. А. Шеметковым было показано, что модулярна решетка всехнасыщенных формаций; Л. А. Шеметковым и А. Н. Скибой была установлена модулярность решеткикратнонасыщенных формаций. Эти результаты позволили широко применять элементы общей теории решеток в вопросах изучения и классификации формаций таких типов. Широкий спектр применения решеточных конструкций при исследовании формаций представлен в монографии А. Н. Скибы «Алгебра формаций» (Минск: Беларуская навука, 1997 г). Таким образом, дальнейшее развитие решеточных методов в теории классов групп является актуальной задачей.

В настоящее время теория насыщенных формаций является весьма развитым учением, обогащенным большим числом ярких теорем и содержательных примеров. Они отражены в ряде работ. В то же время, частично насыщенные формации и, в частности, -насыщенные формации изучены сравнительно мало. Следует отметить, что как показывают результаты ряда авторов, полученные в последние годы, -насыщенные формации весьма полезны при анализе многих вопросов при исследовании нормального строения конечных непростых групп. А методы, разработанные на основе частично насыщенных формаций широко используются в различных областях современной математики. Наиболее широкий диапазон применения этой теории в общей алгебре.

Настоящая дипломная работа посвящена изучению свойств частично насыщенных формаций с заданной структурой подформаций. Работа состоит из перечня условных обозначений, реферата, введения, основной части, включающей три раздела, заключения и списка цитируемой литературы. Каждый раздел условно можно разделить на две части. Первая часть носит вспомогательный характер. В ней приводятся обозначения, определения понятий, которые неоднократно используются в дальнейшем. В этой части также включены некоторые результаты теории формаций конечных групп для удобства ссылок и независимости текста работы от других источников. Во второй части работы находятся новые результаты, полученные автором в результате изучения данной темы.

Первый раздел посвящен изложению основных свойств решеткинасыщенных формаций. Здесь собраны из различных источников и систематизированы основные результаты о частично насыщенных формациях и ихлокальных спутниках. Доказано, что совокупность всех внутреннихлокальных спутников формации образует полную модулярную решетку.

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

В третьем разделе рассматриваютсянасыщенные формации, у которых решетканасыщенных формаций, заключенных между и, является решеткой с дополнениями. В теореме получено описаниенасыщенных формаций такого вида.

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

1. Решетка всехнасыщенных формаций и ее основные свойства

Спутники формаций

В работе рассматриваются только конечные группы. Используются определения и обозначения, принятые в книгах — и работе .

Напомним, что через обозначают множество всех простых чисел. Пусть — некоторое непустое множество простых чисел. — дополнение к во множестве простых чисел, т. е.. Через обозначают множество всех различных простых делителей натурального числа, а через — множество всех простых делителей порядка группы, т. е.. Полагают также, что. Натуральное число называется -числом, если. Группа называется -группой, если ее порядок естьчисло.

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

1) и следует, что ;

2) и следует, что .

Напомним, что если — произвольный непустой класс групп, то через обозначают пересечение всех формаций, содержащих .

Определение.Пусть — непустое множество простых чисел. Всякую функцию вида.

называют -локальным спутником. При этом запись означает множество .

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

Пусть — класс всех тех групп, у которых каждый композиционный фактор являетсягруппой.

Полагают,, .

Через обозначают наибольшую нормальнуюподгруппу группы .

Лемма. Пусть — нормальная подгруппа группы .

1. Если — -группа, то .

2. Если, то .

Для произвольноголокального спутника.

Лемма. Пусть, где и. Тогда либо, либо найдется такое число, что .

Доказательство. Пусть и для всех. Первое соотношение влечет. Пусть. Тогда и. Значит, для всех имеет место включение. Следовательно,. Полученное противоречие доказывает лемму.

Определение.Если формация такова, что, то говорят, что является -локальной, а — ее -локальный спутник. Если при этом все значения таковы, что для любого, то называется внутренним -локальным спутником.

Пример. Пусть — формация, содержащаяся в, и — такойлокальный спутник, что и для любого. Тогда, очевидно,. Таким образом, всякая подформация формации являетсялокальной. Отсюда, в частности, следует, что пустая формация и формация единичных групп являютсялокальными для всех .

Определение.Насыщенной называют такую формацию, что для любой группы с всегда следует .

Определение.Формацию называют -, если ей принадлежит всякая группа, для которой, где. В частности, если, тонасыщенные формации называют -насыщенными.

Определение.Пусть — произвольная совокупность групп, — некоторое простое число. Полагают.

Пусть и — некоторыенасыщенные формации. Тогда через обозначают класс групп, равный .

Вместо пишут .

Следующая теорема длялокальных формаций является аналогом известной теоремы Гашюца—Любезедер—Шмида, , .

Теорема. Пусть — формация. Тогда следующие утверждения эквивалентны:

Формациянасыщенная;

для всех ;

где и для всех ;

Формациялокальна.

Доказательство. Импликация доказана в работе. Пусть выполняется условие 2) и Включение очевидно. Предположим, что обратное включение неверно и — группа минимального порядка из с минимальной нормальной подгруппой. Если — -группа, то. Значит.

противоречие. Следовательно,. Пусть. Если — неабелева группа, то Поэтому что противоречит выбору группы. Значит, — -группа. Ввиду теоремы работы формация являетсянасыщенной, откуда вытекает, что, т. е.. Тогда и, следовательно,.

Полученное противоречие показывает, что. Таким образом, .

Предположим теперь выполнимость условия и допустим, что формация не являетсянасыщенной. Тогда найдется такое число и такая группа с нормальной подгруппой, что, но. Поскольку для простых и, получаем и для всех. Следовательно,. Полученное противоречие завершает доказательство теоремы.

Пусть — произвольный наборлокальных спутников. Через обозначают такойлокальный спутник, что для всех .

Если для всех, то полагают, что .

Лемма. Пусть, где. Тогда, где .

Доказательство. Пусть выполнены условия леммы, т. е., где и пусть. Тогда по условию. Следовательно, для любого. Но, так как для всех имеет место, то для всех и. Тогда всех и. Таким образом получаем, что. Лемма доказана.

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

Определение.Цепьюлокальных спутников называют такую совокупностьлокальных спутников, что-либо, либо, где, .

Лемма. Пусть — цепь формаций, — такая цепьлокальных спутников, что и для всех имеет место в точности тогда, когда для всех. Тогда, где для каждого .

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

Пусть .Т. е. существует номер такой, что. Следовательно, для любого и. Тогда для любого и Это означает, что. Пусть теперь. Следовательно, для любого и.

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

Лемма. Если = и, для некоторого, то .

Доказательство. Прежде заметим, что поскольку, то. А поскольку и для всех имеет место то и. Значит,. Лемма доказана.

Определение.Непустое множество формаций называют полурешеткой формаций, если пересечение любого множества из снова принадлежит .

Определение.Пусть — формация, имеющаялокальный спутник. Если является минимальным (максимальным) элементом множества всехлокальных спутников формации, то называют минимальным (соответственно максимальным) -локальным спутником формации .

Пусть — полурешетка формаций. Если формация обладаетлокальным спутником, то формация обладаетлокальным спутником. Значит, множество всех тех формаций, которые имеют хотя бы одинлокальный спутник, является полурешеткой формаций.

Пусть — некоторый класс групп. Через обозначают пересечение всех технасыщенных формаций, которые содержат, т. е. — наименьшаянасыщенная формация, содержащая формацию. В частности, если, то пишут form.

Теорема. Если и — минимальныйлокальный спутник формации, то справедливы следующие утверждения:

1) ;

2) для всех ;

3) и — некоторый фиксированный элемент из, то, где для всех ,.

и, кроме того, ;

4), где и для всех.

Из теоремы и леммы непосредственно вытекает.

Следствие. Пусть и - минимальные -локальные спутники формаций и соответственно. Тогда в том и только в том случае, когда .

Определение.Пусть — -насыщенная формация. -Локальный спутник формации называется каноническим, если и для всех .

Замечание 1. Согласно теореме всякаялокальная формация имеетлокальный спутник, который является каноническим. Такие спутники обозначают большими латинскими буквами.

Ясно, что если и — произвольный внутреннийлокальный спутник формации, то ввиду леммы .

Если формация, то для всех .

Из следствия теоремы следует Лемма. Пусть и. Тогда в том и только в том случае, когда .

Определение.Через, обозначают такиелокальные спутники и соответственно, что и для любого .

Лемма. Пусть — минимальныйлокальный спутник формации, где. Тогда — минимальныйлокальный спутник формации.

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

И пусть, а — минимальныйлокальный спутник формации. Тогда, если, то для любого имеет место. Значит,. Понятно также, что. Пусть. Тогда найдется такое, что. Значит, согласно теореме, имеет место.

Лемма доказана.

Решетканасыщенных формаций.

Результаты и методы общей теории решеток широко используются в различных областях современной математики. Наиболее широк диапазон применения этой теории в общей алгебре. Применение решеточных подходов в теории классов групп было впервые осуществлено в рамках теории многообразий групп. Позднее А. Н. Скибой было показано, что привлечение решеточных конструкций весьма полезно и при изучении формаций групп. Следует отметить, что существенную роль играет тот факт, что решетки всех формаций и всех насыщенных формаций модулярны. Эти результаты позволили широко использовать элементы общей теории решеток в вопросах изучения и классификации формаций групп. Широкий спектр применений решеточных конструкций при исследовании формаций представлен в монографии А. Н. Скибы, где, в частности, показано, что привлечение общей теории решеток при исследовании классов групп позволяет не только с успехом решать открытые вопросы, но и значительно упрощать доказательства многих уже известных теорем. Таким образом, дальнейшее развитие решеточных методов в теории классов алгебраических систем является актуальной задачей.

Напомним, что решеткой называется частично упорядоченное множество, в котором для любых двух элементов существует как наибольший, так и наименьший элементы.

Через обозначают множество всехнасыщенных формаций.

Если двенасыщенные формации и такие, что, то полагают, что. Относительно вхождения формаций друг в друга множествонасыщенных формаций является частично упорядоченным.

Для любых двухнасыщенных формаций и полагают.

Определение.Непустую совокупность формаций называют полной решеткой формаций, если пересечение любой совокупности формаций из снова принадлежит и во множестве имеется такая формация, что для любой формации .

Лемма. Частично упорядоченное множество с наибольшим элементом является полной решеткой, если в нем любая непустая совокупность элементов обладает нижней гранью.

Лемма. Множество всехнасыщенных формаций образует полную решетку.

Доказательство. Частичным порядком на является вхождение формаций друг в друга. Множество всехнасыщенных формаций замкнуто относительно операций и, так как объединение и пересечениенасыщенных формаций снова являетсянасыщенной формацией. Таким образом, является решеткой.

В качестве наибольшего элемента в выступает — формация всех групп. Так как пересечение любой совокупностинасыщенных формаций снова будетнасыщенной формацией, то по лемме — полная решетка. Лемма доказана.

Лемма. Пусть — монолитическая группа с неабелевым монолитом, — некоторая полуформация и. Тогда .

Лемма. Пусть — полуформация и. Тогда если, то, где.

Лемма. Пусть — такой внутреннийлокальный спутник формации, что, где. Тогда где .

Определение.Пусть L — полная решетка и. Элемент называют компактным в, если из условия следует, что для некоторого конечного подмножества, т. е., иначе — компактный элемент в, если из любого его покрытия можно выделить конечное подпокрытие.

Определение.Полная решетка называется алгебраической, если любой ее элемент является решеточным объединением компактных элементов.

Определение.Атомом решетки называют наименьший ненулевой элемент, т. е., то в не существует такого, что .

Определение.Пусть — произвольныйлокальный спутник. Символом обозначают класс групп.

Если для формации выполнено равенство, то говорят, что — -локальныйспутник формации .

Минимальнымлокальнымспутником формации называют еелокальныйспутник со следующими значениями:

Лемма. Пусть — минимальныйлокальныйспутник формации,. Тогда включение имеет место в том и только том случае, когда .

Лемма. Пусть — минимальныйлокальныйспутник формации,. Тогда — минимальныйлокальныйспутник формации .

Теорема. Решетка всехнасыщенных формаций является алгебраической.

Доказательство. По лемме является полной решеткой. Поскольку каждаянасыщенная формация, очевидно, является решеточным объединением своих однопорожденныхнасыщенных формаций, то для доказательства теоремы достаточно показать, что каждая однопорожденнаянасыщенная формация является компактным элементом в .

Пусть — некоторая однопорожденнаянасыщенная формация, — -насыщенная формация, содержащая, где — -насыщенная формация, .

Пусть — минимальныйлокальныйспутник формации , — минимальныйлокальныйспутник формации , — минимальныйлокальныйспутник формации. Согласно определению минимальноголокальногоспутника формации для всех и.

Ввиду леммы. Согласно лемме.

Ввиду алгебраичности решетки всех формаций (см.) для каждого фиксированного существует конечное число индексов () таких, что.

И существует набор индексов ,…, таких, что.

Тогда. Таким образом.

Итак, решетка всехнасыщенных формаций алгебраична, и ее компактными элементами являются однопорожденныенасыщенные формации. Теорема доказана.

Следствие 1. Решетка всех -насыщенных формаций является алгебраической.

Следствие 2. Решетка всех насыщенных формаций является алгебраической.

Определение.Решетка называется модулярной, если для любых элементов, , решетки таких, что выполняется .

Теорема. Решетка всехнасыщенных формаций модулярна.

Доказательство. Пусть, , — -насыщенные формации и кроме этого. Покажем, что.

Рассмотрим такиелокальные спутники, что и при всех, где. Ввиду теоремы справедливо равенство. Пусть. По лемме имеем.

Из леммы вытекает, что — внутреннийлокальный спутник формации .

Понятно, что при всех. Значит, при всех имеет место равенство.

Следовательно,. Но — внутреннийлокальный спутник формации. Значит, согласно теореме, получаем откуда следует требуемое равенство. Теорема доказана.

Следствие 1. всехнасыщенных формаций модулярна.

Следствие 2. всех насыщенных формаций модулярна.

Лемма. Подрешетка модулярной решетки модулярна.

Решетка внутреннихлокальных спутников формации

Пусть — некотораянасыщенная формация. Обозначим через — множество всех внутреннихлокальных спутников формации .

Теорема. Пусть непустаянасыщенная формация. Тогда имеют место следующие утверждения:

1) множество c операциями и образует полную решетку;

2) решетка является модулярной.

Д о к, а з, а т е л ь с т в о.1) Относительно операции множество является частично упорядоченным. Кроме этого для любых двухлокальных спутников и по лемме существуют такиелокальные спутники и, что и, т. е. для любых двухлокальных спутников из существует как наибольший, так и наименьший элементы. Следовательно, является решеткой.

Покажем, что является полной решеткой. Так как формациянасыщена, то по теореме у формации имеется такойлокальный спутник, что и для всех. Этотлокальный спутник является каноническим. По определению канонического спутника получаем, что для любого выполнено включение .

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

2) Пусть — внутренниелокальные спутники формации, причем, т. е. для любого .

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

Но тогда.

Таким образом, является модулярной решеткой. Теорема доказана.

2. -Насыщенные формации с ограниченнымдефектом

Пусть и — некоторыенасыщенные формации, причем формация хорошо изучена. Тогда у нас имеется некоторая информация и относительно формации, поскольку в ней содержится часть формации, а именно. Так, например, при изучении насыщенной формации часто используют ее подформацию, где — некоторая формация классического типа. Напомним, что формация называется формацией классического типа, если она имеет такой локальный спутник, все неабелевы значения которого насыщены. Однако, в общем случае без дополнительных ограничений на «хорошо известную часть» формации что-либо сказать о самой формации трудно. В качестве одного из возможных ограничений на можно, например, рассматривать ограничения, накладываемые на решеткунасыщенных формаций, заключенных между и (-насыщенная формация принадлежит тогда и только тогда, когда). Очевидно, что — это наименьший, а — наибольший элементынасыщенной решетки.

Понятиедефекта

Определение.Для любых двухнасыщенных формаций и, где, через обозначают длину решеткинасыщенных формаций, заключенных между и .

Определение.Пусть и — произвольныенасыщенные формации. Тогда, если решетка имеет конечную длину, то говорят, чтодефект формации конечен и равен. Если же длина этой решетки бесконечна, то говорят, чтодефект формации — бесконечен и пишут .

Определение.Пусть инасыщенные формации. Формация называется максимальнойнасыщенной подформацией формации, если, и в не существует такойнасыщенной подформации, что .

Пример. Пустьнасыщенная формация не имеет максимальныхнасыщенной подформаций. Тогда для любойнасыщенная подформации, не содержащей, -дефект формации бесконечен.

Лемма. Пусть и — -насыщенная формации и. Тогда .

Доказательство. Поскольку в силу модулярности решеткинасыщенных формаций имеет место решеточный изоморфизм и в модулярной решетке длина любой ее подрешетки не превосходит длину самой решетки, то. Лемма доказана.

Лемма. Пусть и — -насыщенные формаций, причем. Тогда если, и — соответственнодефекты формаций и и, то .

Лемма. Пусть и — -насыщенные формации, причем. Тогда в том и только в том случае имеет конечныйдефект, когда в имеется максимальнаянасыщенная подформация с и в нет ни одной максимальнойнасыщенной подформации с.

Доказательство. Достаточность. Предположим, что. Тогда, поскольку имеет место решеточный изоморфизм, и, согласно условию,, получаем. Значит, если — такая максимальная подформация в, что, то. Противоречие. Значит,. Поэтому. Следовательно, .

Необходимость. Если — такая максимальная подформация формации, что, то очевидно,. Предположим, что в имеется максимальная подформация такая, что.

Тогда. Следовательно,.

Поэтому, согласно лемме ,.

Полученное противоречие завершает доказательство леммы.

Насыщенные формации снильпотентным дефектом 1.

Проблема классификации формаций того или иного вида является одной из основных задач теории формаций. Как известно, существенную роль в реализации задачи классификации насыщенных формаций играют так называемые минимальные насыщенные неформации (или иначекритические формации). Впервые особая роль минимальных насыщенных неформаций была отмечена Л. А. Шеметковы в его докладе на VI симпозиуме по теории групп. Там же им была поставлена задача изучения такого рода формаций.

Стремительно развивающаяся в последние годы теория частично насыщенных формаций, наряду с разработкой новых специфических методов исследования, активно использует методы и конструкции, развитые в теории насыщенных формаций. Одним из таких методов является метод критических формаций. Благодаря которому, результаты о минимальных насыщенных неформациях широко использовались при решении различных вопросов теории насыщенных формаций.

Пусть — холловскаяподгруппа группы. Группу называютнильпотентной, если нормальная подгруппа в группе .

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

Обозначим через — формацию всехнильпотентных групп.

Определение.Пусть — некотораянасыщенная формация. -Дефект формации называютнильпотентным дефектом.

Определение.-Насыщенная формация называется минимальнойнасыщенной ненильпотентной формацией, если, но все собственныенасыщенные подформации из содержатся в .

Лемма. Пусть — формация классического типа, — непустаянасыщенная формация. Тогда если, то в имеется по крайней мере одна минимальнаянасыщенная неподформация.

Следствием леммы является следующая Лемма. Пусть — произвольнаянасыщенная ненильпотентная формация. Тогда в имеется по крайней мере одна минимальнаянасыщенная ненильпотентная подформация.

Лемма. Тогда и только тогда является минимальнойнасыщенной ненильпотентной формацией, когда, где — такая монолитическая группа с минимальной нормальной подгруппой, что, и либо и P — -нильпотентный корадикал группы, либо, и выполняется одно из следующих условий:

1) группа неабелева, причем, если, то — -группа, если же, то — простая неабелева группа;

2), где — -группа, а такая монолитическая группа с минимальной нормальной подгруппой, что, , — -группа, и либо, либо — группа порядка q, где .

Лемма. Пусть — произвольная непустая формация и пусть у каждой группыкорадикал не имеет фраттиниевыхглавных факторов. Тогда, если — монолитическая группа из, то .

Лемма. В любой модулярной решетке если и оба элемента и покрывают, то покрывает и, и; двойственно, если и покрывает оба элемента и, то и оба покрывают .

Теорема. Пусть — формация всехнильпотентных групп, и пусть — некотораянасыщенная формация. Тогда в том и только в том случаенильпотентный дефект формации равен 1, когда, где — -насыщеннаянильпотентная подформация формации , — минимальнаянасыщенная ненильпотентная подформация формации, при этом:

1) всякаянильпотентная подформация из входит в ;

2) всякаянасыщенная ненильпотентная подформация из имеет вид .

Доказательство. Необходимость. Пустьнильпотентный дефект формации равен 1. Так как формация — ненильпотентна, то по лемме в формацию входит некоторая минимальнаянасыщенная ненильпотентная подформация. По условию — максимальнаянасыщенная подформация в. Значит, .

Достаточность. Пустьнасыщенная ненильпотентная формация, удовлетворяющая требованиям теоремы, т. е. — -насыщеннаянильпотентная подформация формации , — минимальнаянасыщенная ненильпотентная подформация формации. Понятно, что. Пустьдефекты формаций, и равны соответственно, и. Поскольку — -насыщеннаянильпотентная формация, то еедефект равен 0. Так как — минимальнаянасыщенная ненильпотентная формация, то еедефект равен 1.Т. е., в силу леммы, получаем, чтодефект формации равен Если, то отсюда следуетнильпотентность формации, что противоречит условию. Таким образом получаем, чтодефект формации равен 1. Докажем теперь справедливость утверждения 1) второй части теоремы. Так как — максимальнаянасыщенная подформация в, то, в силу теоремы, имеет место решеточный изоморфизм Следовательно, — максимальнаянасыщенная подформация в. Следовательно, поскольку, то всякаянильпотентная подформация из входит в .

Для доказательства утверждения 2) прежде покажем, что в нет минимальныхнасыщенных ненильпотентных подформаций, отличных от. Предположим, что в существует — минимальнаянасыщенная ненильпотентная подформация, отличная от. Тогда, поскольку, то .

Пусть — внутреннийлокальный спутник формации, такой, что.

где. И пусть — внутреннийлокальный спутник формации такой, что По теореме такие спутники существуют. Тогда по лемме получаем, что формация имеет такойлокальный спутник, что.

если ,.

.

По лемме имеем, что, где монолитическая группа с минимальной нормальной подгруппой, что, и либо и — -нильпотентный корадикал группы, либо, и выполняется одно из следующих условий:

(1) группа неабелева, причем, если, то — -группа, если же, то — простая неабелева группа;

(2), где — -группа, а такая монолитическая группа с минимальной нормальной подгруппой, что, , — -группа, и либо, либо — группа порядка q, где .

Поскольку, то .

Пусть удовлетворяет условию (1), т. е. — неабелевагруппа. Поскольку, очевидно, — -насыщенная формация, то. Но — единственная минимальная нормальная подгруппа.

Следовательно,. Но по лемме. Тогда, так как, то получаем. Поэтому.

Поскольку — минимальнаянасыщенная неформация, то имеем, что. Противоречие.

Пусть теперь для группы выполняется условие (2), т. е.. Так как, то.

Поскольку и, то. Поэтому.

Но тогда. Снова получили противоречие.

Пусть теперь — -группа. Заметим, что если — неабелева, то этот случай аналогичен (1). Значит, — абелевагруппа, где .

Покажем, что. Поскольку, то по леммедефект формации. С другой стороны, -дефект формации, так как. Значит, -дефект равен 1. Поэтому в существует максимальнаянасыщеннаянильпотентная подформация. Следовательно,.

Поскольку, в силу теоремы ,.

где, то получаем, что — максимальнаянасыщенная формация в .

С другой стороны,.

Но тогда максимальна в .

А, значит, по лемме формация максимальна в и. Так как в и имеется единственная максимальная подформация, то.

Поскольку, то.

Но. Поэтому. Таким образом .

Так как — абелевагруппа, где и, то где — группа порядка .

Понятно, что. Значит,.

В силу теоремы заключаем, что.

Заметим, что.

Действительно, пусть.

где — группа минимально порядка и — минимальная нормальная подгруппа в. Если не являетсягруппой, то, так как, имеем. Значит. Противоречие.

Поэтому — -группа. Так как при этом и, то — группа порядка. Но тогда. Противоречие.

Таким образом,.

Значит,.

Но. Следовательно. Таким образом, По лемме — гомоморфный образ группы из. Следовательно. Последнее влечет. Противоречие. Таким образом, в формации нет минимальныхнасыщенных ненильпотентных подформаций, отличных от. Пусть теперь — произвольная ненильпотентнаянасыщенная подформация из. Тогда в силу уже доказанного и леммы получаем, что. Следовательно, применяя лемму и модулярность решеткинасыщенных формаций, получаем.

Теорема доказана.

Если, а — множество всех простых чисел, то из теоремы вытекает.

1. Пусть - некоторая -насыщенная формация. Тогда в том и только в том случае нильпотентный дефект формации равен 1, когда , где - -насыщенная нильпотентная подформация формации , - минимальная -насыщенная ненильпотентная подформация формации , при этом:

1) всякая нильпотентная подформация из входит в ;

2) всякаянасыщенная ненильпотентная подформация из имеет вид .

Если и равны, то из теоремы вытекает.

2. Пусть - некоторая насыщенная формация. Тогда в том и только в том случае нильпотентный дефект формации равен 1, когда , где - насыщенная нильпотентная подформация формации , - минимальная насыщенная ненильпотентная подформация формации , при этом:

1) всякая нильпотентная подформация из входит в ;

2) всякая насыщенная ненильпотентная подформация из имеет вид. Если, то вытекает.

3. Пусть - некоторая насыщенная формация. Тогда в том и только в том случае -нильпотентный дефект формации равен 1, когда , где - насыщенная -нильпотентная подформация формации , - минимальная насыщенная не -нильпотентная подформация формации , при этом:

1) всякаянильпотентная подформация из входит в ;

2) всякая насыщенная ненильпотентная подформация из имеет вид .

3. Решетка — насыщенных формаций с дополнениями

-Насыщенные формации, у которых решетка является решеткой с дополнениями

Изучениенасыщенных формаций, имеющих заданную подрешетку с дополнениями, начато в работах —.

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

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

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

Определение.Пусть — решетка с и,. Тогда элемент называется дополнением элемента в, если и. Решетку с нулем и единицей называют решеткой с дополнениями, если каждый ее элемент имеет дополнение.

Определение.Решетка с и называется решеткой с относительными дополнениями, если каждый ее интервал является решеткой с дополнениями.

Лемма. Любая модулярная решетка с дополнениями является решеткой с относительными дополнениями.

Лемма. Любая модулярная решетка с дополнениями, имеющая конечное число атомов, является решеткой конечной длины.

Лемма. В решетке конечной длины с относительными дополнениями каждый элемент является объединением содержащихся в нем атомов.

Определение.Пусть — некотораянасыщенная формация. -Дефект формации называют разрешимым дефектом.

Лемма. Пусть — -насыщенная формация. Тогда и только тогда разрешимый дефект формации равен, когда, где — разрешимаянасыщенная формация, — минимальнаянасыщенная неразрешимая формация, при этом:

1) всякая разрешимая подформация из входит в ;

2) всякая неразрешимаянасыщенная подформация из имеет вид.

Следующее утверждение является следствием леммы .

Лемма. Пусть — произвольнаянасыщенная неразрешимая формация. Тогда в имеется по крайней мере одна минимальнаянасыщенная неразрешимая подформация.

Лемма. Тогда и только тогда — минимальнаянасыщенная неразрешимая формация, когда, где — такая монолитическая группа с неабелевой минимальной нормальной подгруппой, что группа разрешима.

Лемма. Пусть — некоторый набор минимальныхнасыщенных неразрешимых формаций, — -насыщенная разрешимая формация. Тогда если — некоторая минимальная неразрешимая подформация из то .

Доказательство. Пусть выполняются условия леммы и , — некоторая минимальнаянасыщенная неразрешимая подформация формации. Покажем, что тогда .

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

Тогда.

Поскольку — неабелева группа, то. Но тогда по лемме имеем. Так как, то найдется такое, что. Значит,. Поскольку — минимальнаянасыщенная неразрешимая формация, то. Лемма доказана.

Лемма. Пусть — произвольная неразрешимаянасыщенная формация. Тогда и только тогда формация — атом решетки, когда, где — некоторая минимальнаянасыщенная неразрешимая формация из .

Доказательство. Необходимость. По условию леммы длина решетки равна. Следовательно, формация обладает разрешимой максимальнойнасыщенной подформацией. Применяя лемму, имеем, где — некоторая минимальнаянасыщенная неразрешимая подформация из .

Достаточность. Предположим противное. Пусть найдется такаянасыщенная формация, что.

Так как не содержится в, то по лемме формация обладает минимальнойнасыщенной неразрешимой формацией. Тогда.

Следовательно, ввиду леммы имеем. Значит,.

Противоречие. Таким образом, — атом решетки. Лемма доказана.

Лемма. Пусть — произвольнаянасыщенная формация и пусть — некоторый наборнасыщенных неразрешимых подформаций из, у которых — максимальнаянасыщенная подформация. Пусть.

где. Тогда если — произвольнаянасыщенная неразрешимая подформация из c максимальной подформацией, то .

Доказательство. По лемме каждая формация имеет вид где — минимальнаянасыщенная неразрешимая формация. Следовательно, формация имеет вид.

Ввиду леммы формация имеет вид, где — минимальнаянасыщенная неразрешимая формация. Следовательно, по лемме имеет место т. е. для некоторого. Значит.

Лемма доказана.

Лемма. В однопорожденнойнасыщенной формации содержится лишь конечное число разрешимыхнасыщенных подформаций.

Лемма. В каждой однопорожденнойнасыщенной неразрешимой формации содержится лишь конечное множествонасыщенных подформаций с разрешимым дефектом .

Доказательство. Пусть для некоторой группы. Ввиду леммы каждая минимальнаянасыщенная неразрешимая подформация из имеет вид, где — такая монолитическая группа с неабелевой минимальной нормальной подгруппой, что группа разрешима. Тогда.

Поскольку — неабелевая минимальная нормальная подгруппа группы, то. В силу леммы , — гомоморфный образ группы. Но — конечная группа. Значит, в имеется лишь конечное множество минимальныхнасыщенных неразрешимых подформаций. В силу леммы, формация содержит лишь конечное множество разрешимыхнасыщенных подформаций.

Пусть теперь произвольная неразрешимаянасыщенная подформация формации, имеющая разрешимую максимальнуюнасыщенную подформацию. По лемме имеем где — некоторая разрешимаянасыщенная формация, а — минимальнаянасыщенная неразрешимая формация. Из доказанного выше следует, что в имеется лишь конечное множествонасыщенных формаций с разрешимым дефектом. Лемма доказана.

Лемма. Пусть — однопорожденнаянасыщенная формация и — решетка с дополнениями. Тогда каждый элемент решетки представим в виде где — набор всех минимальныхнасыщенных неразрешимых формаций, содержащихся в .

Доказательство. Ввиду теоремы и леммы решетканасыщенных подформаций формации модулярна. Следовательно, модулярной является и ее подрешетка. В силу леммы — модулярная решетка с относительными дополнениями. Ввиду лемм и решетка имеет конечное число атомов. Значит, по лемме имеет конечную длину. Но тогда, по лемме и лемме, каждый элемент решетки представим в виде где — набор всех минимальныхнасыщенных неразрешимых формаций, содержащихся в. Лемма доказана.

Теорема. Пусть — некотораянасыщенная неразрешимая формация и — множество всех минимальныхнасыщенных неразрешимых подформаций из. Тогда и только тогда — решетка с дополнениями, когда.

Доказательство. Необходимость. Пусть — решетка с дополнениями. И пусть — произвольная неразрешимая группа, принадлежащая. Обозначим через .

Пусть — множество всех неразрешимых формаций из .

Из теоремы и леммы следует, что является модулярной решеткой.

Очевидно, что — подрешетка решетки. Следовательно, по лемме получаем, что — решетка с дополнениями.

Ввиду леммы, имеем, что — модулярная решетка. Поэтому имеет место решеточный изоморфизм.

Таким образом, — решетка с дополнениями. Тогда, применяя лемму, получаем.

Так как-то, в силу произвольности выбора группы, получаем.

Достаточность. Пусть теперь. Пусть — произвольнаянасыщенная формация, принадлежащая решетке, т. е. .

Обозначим через множество всех минимальныхнасыщенных неразрешимых подформаций, содержащихся в, а через — множество всех минимальныхнасыщенных неразрешимых подформаций, не содержащихся в. Очевидно, что множество является дополнением к множеству во множестве всехнасыщенных неразрешимых подформаций, содержащихся в. Пусть — -насыщенныя формация, порожденная множеством, а — -насыщенная формация, порожденная множеством. Поскольку и, то ввиду леммы имеют место равенства Допустим, что не содержится в, то есть. Тогда по лемме в имеется минимальнаянасыщенная неразрешимая формация. По лемме для некоторого. Следовательно,. Но. Противоречие. т. е.. Но в таком случае. Ввиду леммы и произвольности выбора формации, каждый элемент решетки представим в виде объединения содержащихся в нем атомов.

Покажем теперь, что в решетке дополняема каждаянасыщенная формация. Если, то дополнением к в решетке является формация. Итак, можем считать, что. Обозначим через множества всех атомов решетки, через — множества всех атомов решетки, которые содержатся в. Тогда, иначе, ввиду доказанного выше,.

Пусть — дополнение к в и.

Так как по условию то ввиду леммы имеет место равенство Рассмотрим формацию. Так как и являются элементами решетки, то. Допустим, что не содержится в, т. е.. Тогда по лемме формация содержит минимальнуюнасыщенную неразрешимую подформацию. Следовательно, содержит формацию. По лемме формация — атом решетки, содержащийся в. Так как содержится в, то, применяя теперь лемму, имеем.

Полученное противоречие показывает, что. Таким образом, формация — дополнение к в решетке. А, следовательно, — решетка с дополнениями. Теорема доказана.

Если, то из теоремы вытекает.

Пусть - некоторая насыщенная неразрешимая формация и - множество всех минимальных насыщенных неразрешимых подформаций из . Тогда и только тогда - решетка с дополнениями, когда

Заключение

В дипломной работе изучены ключевые свойства частично насыщенных формаций с заданной структурой подформаций.

В работе установлено, что совокупность всех внутреннихлокальных спутниковнасыщенной формации образуют полную и модулярную решетку. В теореме дано описаниенасыщенногонильпотентного дефекта 1. В теореме рассматриваютсянасыщенные формации, у которых решетканасыщенных формаций, заключенных между и, является решеткой с дополнениями.

Результаты настоящего диплома являются новыми имогут быть использованы в учебном процессе при чтении спецкурсов на математических специальностях в высших учебных заведениях.

Список использованных источников

Gaschutz W. Zur Theorie der endlichen auflosbaren Gruppen // Math. Z. — 1963. — Bd.80, № 4. — S.300—305.

Libeseder U. Formationsbildungen in endlichen auflosbaren Gruppen, 1963.

Schmid P. Every saturated formation is a local formation // J. Algebra. 1978. Vol.51, N 1. P.144—148.

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

Биркгоф Г. Теория решеток. М.: Наука, 1984. — 568 с.

Скиба А. Н. Алгебра формаций. — Мн.: Белорусская наука, 1997. — 240 c.

Скиба А.Н. О локальных формациях длины 5 // Арифметическое и подгрупповое строение конечных групп. — Минск: Наука и техника 1986. — С.135—149.

Шеметков Л.А., Скиба А. Н. Формации алгебраических систем. — М.: Наука, 1989. — 253 с.

Ballester-Bolinches A., Shemetkov L. A. On lattices oflocal formations of finite groups // Math. Nachr. — 1997. — V.186. — P.57—65.

Скиба А.Н., Шеметков Л. А., Кратнолокальные формации и классы Фитинга конечных групп // Матем. Труды, Т.2., № 2 (1999). — С.144—147.

Шаблина И. П. Модулярные и алгебраические решеткикратнонасыщенных формаций конечных групп: Кан. дис." Модулярные и алгебраические решеткикратнонасыщенных формаций конечных групп" // Гом. гос. ун-т им. Ф. Скорины. — Гомель, 2003. — 92с.

Л.А. Шеметков, Экраны ступенчатых формаций // Тр. VI Всесоюз. симпозиум по теории групп, Киев: Навуковая думка, 1980, с.37—50.

Сафонова И.Н. О существованиикритических формаций // Вопросы алгебры. Гомель: Изд-во Гомельского ун-та. — 1999. — Вып.15. С.121—129.

Сафонова И.Н. К теориикритических формаций конечных групп // Вопросы алгебры. Гомель: Изд-во Гомельского ун-та. — 2001. — Вып.17. С.124—133.

Джарадин Джехад Классификациялокальных формаций длины: Автореф. дис. «Классификациялокальных формаций длины «к-та физ. — мат. наук: Д 02.12.01 // Гом. гос. ун-т им. Ф. Скорины. — Гомель, 1996. — —15 с.

Скиба А.Н., Таргонский Е. А. Классификация локальных формаций конечных групп с нильпотентным дефектом 2 // Матю заметки. — 1987. — Т.41. — Вып.4. — С.490—499.

Жевнова Н.Г. -локальные формации с дополняемыми подформациями: Автореф. дис. «-локальные формации с дополняемыми подформациями» к-та физ. — маи. наук: Д 02.12.01 // Гом. гос. ун-т им. Ф. Скорины. — Гомель, 1997. — 17 с.

Сафонова И.Н. О частично насыщенных формациях с заданной системой подформаций // IX Бел. мат. конф. Гродно. — 2004. — С.47—48.

Рыжик В.Н., О критическихлокальных формациях, Препринт // Гомельский госуниверситет. Гомель, 1997. № 58.12 с.

Скиба А. Н. Характеризация конечных разрешимых групп заданной нильпотентной длины // Вопросы алгебры. Минск: Изд-во" Университетское". — 1987. — Вып.3. С.21—31.

Джарадин Джехад О формациях с системами наследственных подформаций // Изв. вузов. Математика. — 1997. — Вып.1. — С.1—5.

Джарадин Джехад Минимальныенасыщенные ненильпотентные формации // Вопросы алгебры. Гомель: Изд-во Гом. гос. ун-т. 1995. Вып.8. С.59—64.

Джарадин Джехад Элементы высоты 3 решеткинасыщенных формаций // Вопросы алгебры. Гомель: Изд-во Гом. гос. ун-т. 1996. Вып.9. С.45—59.

Жевнова Н.Г. -Локальные формации с дополняемыми подформациями с булевой решеткойлокльных подформаций // Докл. АН Беларуси. — 1997. — Т.41. — № 5. — С.15—19.

Монахов В.С.

Введение

в теорию конечных групп и их классов. — Гомель: Гом. гос. ун-т им. Ф. Скорины, 2003. — 319 с.

Рыжик В.Н., Скиба А. Н. Факторизациилокальных формаций // Вопросы алгебры. Гомель: Изд-во Гом. гос. ун-т. 1997. Вып.11. С.76—89.

Сафонова И.Н. О минимальныхлокальных формациях конечных групп // Вопросы алгебры. Гомель: Изд-во Гомельского ун-та. — 1998. — Вып.12. С.123—130.

Сафонова И.Н. О критическихлокальных формациях конечных групп. — Препринт // Изд-во Гомельского ун-та. Гомель, 1998. № 76.12 с.

Скиба А.Н., Шеметков Л. А. О частично локальных формациях // Док. АН Беларуси. — 1995. — Т.39, № 3. С.9—11.

Шаблина И. П. Формации с максимальнойкратнонасыщенной нильпотентной подформацией // Изввестия Гом. гос. ун-та им. Ф. Скорины. Вопросы алгебры. — 2001. — № 3 (6). — С. 194. — -197.

Шаблина И. П. Формации групп с максимальнойнасыщенной нильпотентной подформацией // Весн. Вiцебс. джярж. ун-та. — —2001. № 4 (22). — С.78—83.

Шаблина И. П. Формации групп с максимальнойлокальной нильпотентной подформацией. — Гомель, 2002. — 17 с. — — (Препринт/ УО" ГГУ им. Ф. Скорины", № 25).

Шаблина И. П. Об алгебраичности решетки всехзаскнутыхкратнонасыщенных формаций // Некоторые вопросы алгебры и прикладной математики: Сб. науч. тр. Бел. гос. ун-та трансп.; Под ред. Т. И. Васильевой. — Гомель, 2003. — С.34—37.

Шаблина И. П. Алгебраичность решетки всехзаскнутыхкратнонасыщенных формаций // Изввестия Гом. гос. ун-та им. Ф. Скорины. Вопросы алгебры. — 2002. — № 5 (14). — С.59. — -67.