Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras

Jiří Demel

Displaying similar documents to “Fast algorithms for finding a subdirect decomposition and interesting congruences of finite algebras”

Factorable congruences and factorable congruence blocks on powers of a finite algebra

Jaromír Duda (1992)

Czechoslovak Mathematical Journal

Similarity:

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.

On the determining of the form of congruences in abstract algebras with equationally definable constant elements

J. Słomiński (1960)

Fundamenta Mathematicae

Similarity:

On The Greatest Congruence Of Relations

Marica D. Prešić (1979)

Publications de l'Institut Mathématique

Similarity:

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.

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 \times B, A, B \in V$ , are determined by their restrictions on the axes in $A \times B$ .