A Subalgebra Intersection Property for Congruence Distributive Varieties

Abstract

Abstract. We prove that if a finite algebra Agenerates a congruence distributive variety, then the subalgebras of the powers of Asatisfy 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.