О модулярности решетки бэровских σ-локальных формаций

Throughout this paper, all groups are finite. A group class closed under taking homomorphic images and finite subdirect products is called a formation. The symbol σ denotes some partition of the set of all primes. V. G. Safonov, I. N. Safonova, A. N. Skiba (Commun. Algebra. 2020. Vol. 48, № 9. P. 4002–4012) defined a generalized formation σ-function. Any function f of the form f : σ È {Ø} → {formations of groups}, where f(Ø) ≠ ∅, is called a generalized formation σ-function. Generally local formations or so-called Baer-σ-local formations are defined by means of generalized formation σ-functions. The set of all such formations partially ordered by set inclusion is a lattice. In this paper it is proved that the lattice of all Baerσ-local formations is algebraic and modular.Все рассматриваемые группы конечны. Формацией называется класс групп, замкнутый относительно взятия гомоморфных образов и подпрямых произведений. Символом σ обозначают некоторое разбиение множества всех простых чисел. В работе В. Г. Сафонова, И. Н. Сафоновой, А. Н. Скибы (Commun. Algebra. 2020. Vol. 48, № 9. P. 4002–4012) определена обобщенная формационная σ-функция как отображение f : σ È {Ø} → {формации групп}, где f(Ø) ≠ ∅. При помощи обобщенной формационной σ-функции определены обобщенно локальные формации – так называемые бэровские σ-локальные формации. Множество всех таких формаций образует решетку по включению. В настоящей работе установлены свойства алгебраичности и модулярности этой решетки