Displaying 361 – 380 of 414

Showing per page

Tolerances on poset algebras

Bohdan Zelinka (1992)

Mathematica Bohemica

To everz partiallz ordered set a certain groupoid is assigned. A tolerance on it is defined similarlz as a congruence, onlz the requirement of transitivitz is omitted. Some theorems concerning these tolerances are proved.

Tolerances on powers of a finite algebra

Jaromír Duda (1992)

Mathematica Bohemica

It is shown that any power A n , n 2 , of a finite k -element algebra A , k 2 , has factorable tolerances whenever the power A 4 k 2 - 3 k has the same property.

Uniformity of congruences in coherent varieties

Ivan Chajda (2000)

Mathematica Bohemica

An algebra a is uniform if for each θ a , every two classes of θ have the same cardinality. It was shown by W. Taylor that coherent varieties need not be uniform (and vice versa). We show that every coherent variety having transferable congruences is uniform.

Varieties satisfying the triangular scheme need not be congruence distributive

Ivan Chajda, Radomír Halaš (2007)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

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 the Triangular...

Currently displaying 361 – 380 of 414