Artículo
Factor congruences in BCK-algebras
Fecha de publicación:
29/07/2008
Editorial:
Springer Verlag Berlín
Revista:
Soft Computing
ISSN:
1432-7643
e-ISSN:
1433-7479
Idioma:
Inglés
Tipo de recurso:
Artículo publicado
Clasificación temática:
Resumen
In this paper, we characterize factor congruences in the quasivariety of BCK-algebras. As an application we prove that the free algebra over an infinite set of generators is indecomposable in any subvariety of BCK-algebras. We also study the decomposability of free algebras in the variety of hoop residuation algebras (HBCK) and its subvarieties. We prove that free algebras in a non k-potent subvariety of HBCK are indecomposable while finitely generated free algebras in k-potent subvarieties have a unique non-trivial decomposition into a direct product of two factors, and one of them is the two-element implication algebra.
Archivos asociados
Licencia
Identificadores
Colecciones
Articulos(INMABB)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Articulos de INST.DE MATEMATICA BAHIA BLANCA (I)
Citación
Abad, Manuel; Díaz Varela, José Patricio; Factor congruences in BCK-algebras; Springer Verlag Berlín; Soft Computing; 13; 10; 29-7-2008; 1007-1012
Compartir
Altmétricas