Курсовая работа: Абелевы универсальные алгебры

3) если , то

Очевидно, что для любой конгруэнции на алгебре конгруэнция централизует . В этом случае .

Заметим, что если и – конгруэнции на группе и , то для нормальных подгрупп и группы и любых элементов , имеют место следующие соотношения:

Тогда

и в силу транзитивности из этих соотношений следует, что