A Subalgebra Intersection Property for Congruence Distributive Varieties

Abstract. We prove that if a finite algebra A generates a congruence distributive variety, then the subalgebras of the powers of A satisfy a certain kind of intersection property that fails for finite idempotent algebras that locally exhibit affine or unary behaviour. We demonstrate a connection between this property and the constraint satisfaction problem.