Varieties with equationally definable factor congruences
A variety has definable factor congruences if there is a first order formula φ which defines each factor congruence in terms of its associated central element. We study the case in which φ is a conjunction of equations.
2010 Mathematics Subject ClassificationPrimary: 03C05 Secondary: 08B05 08B10
Keywords and phrasescentral element equationally definable factor congruences Boolean factor congruences
Unable to display preview. Download preview PDF.