Отделимость решетки -замкнутых тотально -насыщенных формаций конечных групп

Abstract

Пусть X– некоторый непустой класс конечных групп. Полную решетку формаций называют X-отделимой, если для любого терма 1 ()n x …x сигнатуры { }   любых -формаций 1 ,..., n FFи любой группы 1 ( ,..., ) n A XFF найдутся такие X-группы 11 nn A…A    FFчто 1 (form form )n A A… A    В частности, если  XG– класс всех ко-нечных групп, то решетку формаций называют G-отделимой или, кратко, отделимой. Доказано, что для любого под-группового функтора решетка l    всех -замкнутых тотально -насыщенных формаций является G-отделимой