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