Локальные формации с метаабелевыми группами (стр. 3 из 16)

Определение 2.2. Класс

называется замкнутым относительно операции

или, более коротко, - замкнутым, если

Формацию можно определить теперь как класс групп, который одновременно

-замкнут и -замкнут. -замкнутый класс согласно Гашюцу [3] называется насыщенным. -замкнутый класс групп называется гомоморфом. Класс групп называется замкнутым относительно подгрупп (нормальных подгрупп), если он -замкнут (соответственно -замкнут).

Лемма 2.1.

. Если класс групп

содержит единичную группу и

-замкнут, то

Доказательство. Относительно операций

и утверждение очевидно. Пусть – произвольный класс групп. Ясно, что Если , то в найдется нормальная подгруппа такая, что . Группа имеет нормальную подгруппу такую, что и Но тогда Так как , то , а значит, Таким образом, , что и требуется.

Пусть

. Если , то имеет нормальную -подгруппу такую, что Группа имеет нормальную -подгруппу такую, что . Так как и , то из -замкнутости класса следует, что . Значит, , т.е. . Обратное включение очевидно.

Лемма 2.2. Для любого класса

справедливо следующее утверждение:

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

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

Лемма 2.3. Для любого класса

имеет место включение

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

, то . Пусть и группа является подпрямым произведением групп , где . Рассмотрим функцию . Функция является гомоморфизмом группы в группу . Ясно, что

есть подпрямое произведение групп

, причем . Следовательно, , и лемма доказана.

Лемма 2.4.

В работе Фишера, Гашюца и Хартли [1] введено следующее понятие, в некотором смысле двойственное определению формации.

Определение 2.3. Класс групп

называется классом Фиттинга, если он одновременно -замкнут и -замкнут.

Класс Фиттинга мы будем в дальнейшем называть иначе радикальным классом. Ввиду двойственности (нормальная подгруппа – фактор-группа) формацию можно было бы назвать корадикальным классом.