К теории квазимногообразий алгебраических систем

Метод алгебраической невложимости, введенный А. И. Мальцевым для изучения универсальных классов алгебраических систем (РЖМат, 1968, 6А132), развивается применительно к квазимногообразиям. Показывается, что конечно-определенная в квазимногообразии $\mathfrak{M}$ система $A$ локально вложима в класс $\mathfrak{N}$ конечных систем из $\mathfrak{M}$ тогда и только тогда, когда $A$ аппроксимируется системами из $\mathfrak{N}$. Отсюда следует отрицательное решение вопроса 3.15.а из "Коуровской тетради". Указан способ построения квазитождеств, ложных в классе всех групп и истинных в классе конечных групп. Найдены необходимые и достаточные условия для конечности решетки подквазимногообразий. Построен пример квазимногообразия групп с конечной немодулярной решеткой подквазимногообразий.