A Subalgebra Intersection Property for Congruence Distributive Varieties
MATTHEW A. VALERIOTE · Canadian Journal of Mathematics · 2009
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.