Об одном свойстве произведения неединичных формаций

Abstract

Все рассматриваемые группы конечны. Произведением MH формаций M и H называется класс групп { | }. G G ∈H M Пусть , MH F ⊆ где F – наследственная однопорожденная ω -локальная формация и , M H – две не- единичные формации. Доказано, что если формация MH является разрешимо ω -насыщенной и , H ≠ MH то M ⊆ N Nω