Скрещенные гомоморфизмы конечных многоосновных универсальных алгебр с бинарными операциями

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