- ЯДЕРНАЯ КОНГРУЭНЦИЯ
гомоморфизма алгебраич. систем - конгруэнция на алгебраич. системе А, состоящая из всех пар для к-рых Для всякой конгруэнции алгебраич. системы существует гомоморфизм этой системы, для к-рого является Я. к. Если - Я. к. сильного гомоморфизма алгебраич. системы Ана систему А', то канонич. отображение где есть изоморфизм факторсистемы на систему А'.
Лит. см. при статье Гомоморфизм.
Д. М. Смирнов.
Математическая энциклопедия. — М.: Советская энциклопедия. И. М. Виноградов. 1977—1985.