A Subalgebra Intersection Property for Congruence Distributive Varieties Academic Article uri icon

  •  
  • Overview
  •  
  • Research
  •  
  • Identity
  •  
  • Additional Document Info
  •  
  • View All
  •  

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.

publication date

  • April 1, 2009