Displaying similar documents to “On schemes for congruence distributivity”

Varieties satisfying the triangular scheme need not be congruence distributive

Ivan Chajda, Radomír Halaš (2007)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

A diagrammatic scheme characterizing congruence distributivity of congruence permutable algebras was introduced by the first author in 2001. It is known under the name Triangular Scheme. It is known that every congruence distributive algebra satisfies this scheme and an algebra satisfying the Triangular Scheme which is not congruence distributive was found by E. K. Horváth, G. Czédli and the autor in 2003. On the other hand, it was an open problem if a variety of algebras satisfying...

A note on triangular schemes for weak congruences

Ivan Chajda, Branimir Šešelja, Andreja Tepavčević (2005)

Czechoslovak Mathematical Journal

Similarity:

Some geometrical methods, the so called Triangular Schemes and Principles, are introduced and investigated for weak congruences of algebras. They are analogues of the corresponding notions for congruences. Particular versions of Triangular Schemes are equivalent to weak congruence modularity and to weak congruence distributivity. For algebras in congruence permutable varieties, stronger properties—Triangular Principles—are equivalent to weak congruence modularity and distributivity. ...

Congruence submodularity

Ivan Chajda, Radomír Halaš (2002)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We present a countable infinite chain of conditions which are essentially weaker then congruence modularity (with exception of first two). For varieties of algebras, the third of these conditions, the so called 4-submodularity, is equivalent to congruence modularity. This is not true for single algebras in general. These conditions are characterized by Maltsev type conditions.

On congruence distributivity of ordered algebras with constants

Krisztina Balog, Benedek Skublics (2011)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

We define the order-congruence distributivity at 0 and order- congruence n-distributivity at 0 of ordered algebras with a nullary operation 0. These notions are generalizations of congruence distributivity and congruence n-distributivity. We prove that a class of ordered algebras with a nullary operation 0 closed under taking subalgebras and direct products is order-congruence distributive at 0 iff it is order-congruence n-distributive at 0. We also characterize such classes by a Mal'tsev...