Conical residuated lattice-ordered idempotent monoids
type: Item
instance of: scholarly article
title: Conical residuated lattice-ordered idempotent monoids
zbMATH Open document ID: 1185.06010
author: Wei Chen
author: Xianzhong Zhao
author: Xiaojiang Guo
published in: Semigroup Forum
publication date: 2009-10-14T00:00:00Z
review text: A residuated lattice (r.l.) is an algebra \((L,\wedge,\vee,\cdot, e,\triangleright,\triangleleft)\) such that (i) \((L,\wedge,\vee)\) is a lattice, (ii) \((L,\cdot)\) is a semigroup with identity \(e\), (iii) the induced partial order on \(L\) is two-sided compatible with ``\(.\)'', and (iv) for all \(a,b\in L\), both \(\{x\in L\mid a\cdot x\leq b\}\) and \(\{y\in L\mid y\cdot a\leq b\}\) contain a greatest element denoted by \(a\triangleright b\) and \(b\triangleleft a\), respectively: An r.l. \(L\) is called conical if \((L,\cdot)\) is a band and for all \(a\in L\), either \(a\leq e\) or \(a\geq e\) (in this paper such an algebraic structure is also called a conical lattice-ordered idempotent monoid). Several properties of conical r.l.s are proved. As the main result a (quite involved) construction of all conical residuated lattices is given. Also the subdirectly irreducible conical r.l.s are characterized; the case that \((L,\cdot)\) is a semilattice (i.e., a commutative band) is dealt with, too. Finally, a characterization of conical r.l.s \(L\) which are simple (i.e., \(L\) does not contain a proper convex normal subalgebra) is provided. Also, the particular case of strictly simple r.l.s \(L\) is considered (i.e., \(L\) lacks nontrivial proper subalgebras and congruences).
reviewed by: H. Mitsch
Mathematics Subject Classification ID: 06F05
zbMATH DE Number: 5614946
zbMATH Keywords: conical idempotent residuated lattice
zbMATH Keywords: semilattice
zbMATH Keywords: band
MaRDI profile type: Publication
full work available at URL: s00233-009-9158-9
OpenAlex ID: W2131238258
cites work: Cancellative residuated lattices
cites work: THE STRUCTURE OF RESIDUATED LATTICES
cites work: Q3934450
cites work: Minimal varieties of residuated lattices
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Q3505080
cites work: Varieties generated by ordered bands. I.
cites work: THE STRUCTURE OF COMMUTATIVE RESIDUATED LATTICES
cites work: Q4846425
cites work: Q3222326
cites work: Q5693612
cites work: Representable pseudo-BCK-algebras and integral residuated lattices
cites work: Representable idempotent commutative residuated lattices
cites work: Ordered idempotent semigroups
cites work: Commutative idempotent residuated lattices
cites work: Residuated Lattices
cites work: The structure of idempotent residuated chains
DOI: 10.1007/S00233-009-9158-9
description: scientific article; zbMATH DE number 5614946