О конгруэнциях конечных многоосновных универсальных алгебр

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