Displaying similar documents to “Factorable congruences and factorable congruence blocks on powers of a finite algebra”

Congruences and Quotient Algebras of BCI-algebras

Yuzhong Ding, Zhiyong Pang (2007)

Formalized Mathematics

Similarity:

We have formalized the BCI-algebras closely following the book [7] pp. 16-19 and pp. 58-65. Firstly, the article focuses on the properties of the element and then the definition and properties of congruences and quotient algebras are given. Quotient algebras are the basic tools for exploring the structures of BCI-algebras.

Congruence restrictions on axes

Jaromír Duda (1992)

Mathematica Bohemica

Similarity:

We give Mal’cev conditions for varieties 4V4 whose congruences on the product A × B , A , B V , are determined by their restrictions on the axes in A × B .