Соотношение конгруэнтности

• Конгруэнтность — отношение эквивалентности между элементами алгебраической структуры. 
• Связь конгруэнтности с гомоморфизмами позволяет описать соответствие между конгруэнциями и гомоморфизмами. 
• В группах конгруэнтность может быть описана через соответствие бинарному отношению эквивалентности. 
• Ядро гомоморфизма всегда является конгруэнтностью. 
• Решетка Con (A) всех соотношений конгруэнтности в алгебре A является алгебраической. 
• Конгруэнтность играет важную роль в универсальной алгебре и может быть описана как подмножество прямого произведения A × A.