Ideal properties in congruences
Ivan Chajda · 2017
The concept of an “ideal” in universal algebra was introduced by A. Ursini around 1970. If I is an ideal of an algebra A and p = q is a congruence identity, we say that A satisfies the ideal congruence identity p = q if [ I ] p = { x : 〈 x, i 〉 ∈ p for some i ∈ I } = [ I ] q . Mal’cev type conditions for ideal congruence permutability and ideal congruence distributivity are given.