Article contents
Type Preservation In Locally Finite Varieties with the CEP
Published online by Cambridge University Press: 20 November 2018
Abstract
Assume 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〉.
- Type
- Research Article
- Information
- Copyright
- Copyright © Canadian Mathematical Society 1991
References
- 4
- Cited by