Congruence modularity is permutability composed with distributivity
From MaRDI portal
Publication:1154493
DOI10.1007/BF01223741zbMath0465.08005MaRDI QIDQ1154493
Publication date: 1981
Published in: Archiv der Mathematik (Search for Journal in Brave)
congruence modularity; modular variety; lattices of congruences; Mal'cev type condition; permutability of congruences
08B05: Equational logic, Mal'tsev conditions
08B10: Congruence modularity, congruence distributivity
Related Items
Formations, bihomorphisms and natural transformations, Unnamed Item, Absorption and directed Jónsson terms, Pseudo‐loop conditions, An easy test for congruence modularity, Categorical (binary) difference terms and protomodularity, The modular commutator via the Gumm terms, Congruence-distributive varieties of algebras, Monotone clones and congruence modularity, A new proof of Gumm's theorem, Finite equational bases for congruence modular varieties, Nilpotent and solvable radicals in locally finite congruence modular varieties, Finitary decidability implies congruence permutability for congruence modular varieties, Bjarni Jónsson's contributions in algebra, Algebraic properties and dismantlability of finite posets, The Jónsson distributivity spectrum, Quasiorder lattices of varieties, On supernilpotent algebras, The Gumm level equals the Alvin level in congruence distributive varieties, The Tschantz and the Alvin higher conditions are equivalent in congruence distributive varieties, Congruence lower semimodularity and 2-finiteness imply congruence modularity, Random models of idempotent linear Maltsev conditions. I. Idemprimality, On difunctionality of class relations, Equations implying congruence \(n\)-permutability and semidistributivity., A finite basis theorem for difference-term varieties with a finite residual bound, ON THE COMPLEXITY OF SOME MALTSEV CONDITIONS
Cites Work