Type Preservation In Locally Finite Varieties with the CEP Journal Article uri icon



  • AbstractAssume that A is a finite algebra contained in a variety that has the congruence extension property and that B is a subalgebra of A. If αβ in Con A and α Bβ B, then we show that α Bβ B and that there is a close connection between the type labellings of the quotients 〈α, α〉 and 〈αB, βB〉.

publication date

  • August 1, 1991

Full Author List

  • Kearnes KA

Other Profiles

Additional Document Info

start page

  • 748

end page

  • 769


  • 43


  • 4