Системы уравнений и решетки конгруэнций универсальных алгебр

В работе исследована зависимость свойств систем уравнений на универсальных алгебрах от свойств решеток конгруэнций этих алгебр. Основной результат работы – описание свойств решетки конгруэнций, достаточных для существования алгоритма решения систем уравнений, подобного алгоритму Гаусса.