Variety generated by conical residuated lattice-ordered idempotent monoids

被引：5

作者：

Chen, Wei ^{[1
]}

Chen, Yizhi ^{[2
]}

机构：

[1] Minnan Normal Univ, Sch Math & Stat, Zhangzhou 363000, Fujian, Peoples R China

[2] Huizhou Univ, Dept Math, Huizhou 516007, Guangdong, Peoples R China

来源：

SEMIGROUP FORUM | 2019年 / 98卷 / 03期

关键词：

Residuated lattice; Finite embeddability property; Regular band;

D O I：

10.1007/s00233-019-10014-3

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In this paper, we study the variety generated by conical idempotent residuated lattices. After obtaining some properties of conical idempotent residuated lattices, we establish a chain decomposition theorem for conical idempotent residuated lattices and give an equational basis for the variety. It is proved that the variety has the finite embeddability property. It is also proved that the semigroup reduct of a semiconical idempotent residuated lattice is a regular band.

引用

页码：431 / 455

页数：25

共 19 条

[1]

Birkhoff G., 1967, Lattice Theory, Vthird

[2] On the finite embeddability property for residuated ordered groupoids [J].

Blok, WJ ;

Van Alten, CJ .

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 2005, 357 (10) :4141-4157

[3] The structure of residuated lattices [J].

Blount, K ;

Tsinakis, C .

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (04) :437-461

[4] On finitely generated idempotent semigroups [J].

Brown, Tom ;

Lazerson, Earl .

SEMIGROUP FORUM, 2009, 78 (01) :183-186

[5]

Burris S., 1981, COURSE UNIVERSAL ALG

[6] Conical residuated lattice-ordered idempotent monoids [J].

Chen, Wei ;

Zhao, Xianzhong ;

Guo, Xiaojiang .

SEMIGROUP FORUM, 2009, 79 (02) :244-278

[7] THE STRUCTURE OF IDEMPOTENT RESIDUATED CHAINS [J].

Chen, Wei ;

Zhao, Xianzhong .

CZECHOSLOVAK MATHEMATICAL JOURNAL, 2009, 59 (02) :453-479

[8]

Ciungu L.C, 2014, SPRINGER MONOGRAPHS

[9] Equational Bases for Joins of Residuated-lattice Varieties [J].

Nikolaos Galatos .

Studia Logica, 2004, 76 (2) :227-240

[10]

Galatos N., 2007, STUDIES LOGICS FDN M

← 1 2 →