Ядерная Конгруэнция

Гомоморфизма алгебраич. систем — конгруэнция на алгебраич. системе А, состоящая из всех пар для к-рых Для всякой конгруэнции алгебраич. системы существует гомоморфизм этой системы, для к-рого является Я. к. Если — Я. к. сильного гомоморфизма алгебраич. системы Ана систему А', то канонич. отображение где есть изоморфизм факторсистемы на систему А'. Лит. см. при статье Гомоморфизм. Д. М. Смирнов.