A note on CIP varieties (Q5950762)

Let \(\rho\) be a binary relation on an algebra \(A\). \(\rho_A\) denotes the congruence of \(A\) generated by \(\rho\). An algebra \(A\) has CIP (Congruence Intersection Property) if \[ 0_A\vee(\rho\wedge\Theta)=(0_A\vee\rho)\wedge(0_A\vee\Theta) \] for each \(\rho\in\text{Con }B\), \(\Theta\in C\) where \(B,C\in\text{Sub }A\) and \(0_A\) denotes the least congruence of \(A\). \(A\) has wCIP if \[ 0_A\vee(\rho\wedge\Theta)=(0_A\vee\rho)\wedge\Theta. \] It is shown that every CIP variety is Abelian and a congruence modular variety is Abelian iff it has wCIP. Moreover, a congruence modular Abelian variety has CIP iff it has a constant term. If a variety is congruence modular and subalgebra modular then it has CIP.