A Note on BCK-Algebras

  • 발행 : 1983.12.01

초록

(1) Let f : XlongrightarrowX' be a homomorphism of BCK-algebras and let A,B be ideals of X and X' respectively such that f(A)⊂B. Then there is a unique homomorphism h : X/AlongrightarrowX'/B such that the diagram(equation omitted) commutes. (2) The class of all complexes of BCK-algebras becomes a category.

키워드