A Characterization of Varieties with a Difference Term, II: Neutral = Meet Semi-Distributive
Paolo Lipparini · Canadian Mathematical Bulletin · 1998
Abstract We provide more characterizations of varieties with a weak difference term and of neutral varieties. We prove that a variety has a (weak) difference term (is neutral) with respect to the TC-commutator iff it has a (weak) difference term (is neutral) with respect to the linear commutator. We show that a variety V is congruence meet semi-distributive iff V is neutral, iff M3 is not a sublattice of Con A, for A ∈ V, iff there is a positive integer n such that .