Factor congruences in BCK-algebras |
| |
Authors: | Manuel Abad J Patricio Díaz Varela |
| |
Affiliation: | (1) Departamento de Matemática, Universidad Nacional del Sur, 8000 Bahía Blanca, Argentina |
| |
Abstract: | 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 and its subvarieties. We prove that free algebras in a non k-potent subvariety of 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.
This paper is partially supported by Universidad Nacional del Sur and CONICET. |
| |
Keywords: | Factor congruences Implicative filters BCK-algebras Pocrims Hoops Free algebras Decomposability |
本文献已被 SpringerLink 等数据库收录! |