commutative unary algebra

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

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

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

Статья посвящена известной проблеме описания унарных алгебр, решетки конгруэнций которых обладают заданным свойством. К настоящему времени эта проблема решена для унарных алгебр с одной операцией. Показано, что для произвольных коммутативных унарных алгебр данная проблема является гораздо более сложной. Здесь приводится несколько необходимых условий дистрибутивности и модулярности таких решеток. Доказано также, что решетка всех подмножеств любого множества изоморфна решетке конгруэнций подходящей связной коммутативной унарной алгебры.