𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Bounded BCK-algebras and their generated variety

✍ Scribed by Joan Gispert; Antoni Torrens


Publisher
John Wiley and Sons
Year
2007
Tongue
English
Weight
170 KB
Volume
53
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

In this paper we prove that the equational class generated by bounded BCK‐algebras is the variety generated by the class of finite simple bounded BCK‐algebras. To obtain these results we prove that every simple algebra in the equational class generated by bounded BCK‐algebras is also a relatively simple bounded BCK‐algebra. Moreover, we show that every simple bounded BCK‐algebra can be embedded into a simple integral commutative bounded residuated lattice. We extend our main results to some richer subreducts of the class of integral commutative bounded residuated lattices and to the involutive case. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)


📜 SIMILAR VOLUMES


Nonmatrix Varieties and Nil-Generated Al
✍ Yuly Billig; David Riley; Vladimir Tasić 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 209 KB

Let R = denote the group of units of an associative algebra R over an infinite field F. We prove that if R is unitarily generated by its nilpotent elements, then R = satisfies a group identity precisely when R satisfies a nonmatrix polynomial identity. As an application, we examine the group algebra