strongly connected algebra

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

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