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

Skip to main content (access key 's'), Skip to navigation (access key 'n'), Accessibility information (access key '0')

Displaying similar documents to “On the determining of the form of congruences in abstract algebras with equationally definable constant elements”

Relation products of congruences and factor congruences

Jaromír Duda (1991)

Czechoslovak Mathematical Journal

Similarity:

Polynomially determined congruences in algebras without constants

Radim Bělohlávek, Ivan Chajda (1997)

Acta Universitatis Palackianae Olomucensis. Facultas Rerum Naturalium. Mathematica

Similarity:

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

Jaromír Duda (1992)

Czechoslovak Mathematical Journal

Similarity:

Congruences for Stirling numbers and Eulerian numbers

Hui-Qin Cao, Hao Pan (2008)

Acta Arithmetica

Similarity:

Factorable congruences and strict refinement.

Iskander, A.A. (1996)

Acta Mathematica Universitatis Comenianae. New Series

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.