On varieties of semilattice-ordered semigroups.
type: Item
instance of: scholarly article
title: On varieties of semilattice-ordered semigroups.
zbMATH Open document ID: 1090.20028
author: Martin Kuřil
author: Libor Polák
published in: Semigroup Forum
publication date: 2006-03-22T00:00:00Z
review text: \((S,\cdot,\vee)\) is a semilattice ordered semigroup if \((S,\cdot)\) is a semigroup, \((S,\vee)\) a semilattice and \(a(b\vee c)=ab\vee ac\), \((a\vee b)c=ac\vee bc\) hold for all \(a,b,c\in S\). Section 2 gives examples which provide motivation. For any semigroup \(S\), \(F(S)\) consists of the finite nonempty subsets of \(S\) and then \((F(S),\cdot,\cup)\) is a semilattice ordered semigroup. If \(X^+\) is the free semigroup on the set \(X\), then \((F(X^+),\cdot,\cup)\) is the free semilattice ordered semigroup on \(X\). Section 3 of the paper brings a case study for what will be established more in general in the main results of Section 4. If \(S_r\) is the semigroup free on the set \(X\) in the semigroup variety determined by \(x^r=x\), then the authors find the fully invariant congruence \(\rho\) on \((F(S_r),\cdot,\cup)\) such that \(F(S_r)/\rho\) is free on \(X\) in the variety of semilattice ordered semigroups satisfying \(x^r=x\). Here \(\rho\) is obtained in terms of a transparently defined closure operation on the set of subsets of \(S_r\). More in general, given a fully invariant congruence \(\rho\) on \(X^+\), the authors define so-called \(\rho\)-admissible closure operations on \(F(X^+)/\rho\) which in turn determine fully invariant congruences on \((F(X^+),\cdot,\cup)\). Proceeding this way, they find all fully invariant congruences on \((F(X^+),\cdot,\cup)\), \(X\) countably infinite, which correspond to semilattice ordered semigroup varieties whose semigroup reducts belong to the semigroup variety corresponding to \(\rho\).
Mathematics Subject Classification ID: 20M07
Mathematics Subject Classification ID: 06F05
zbMATH DE Number: 5014166
zbMATH Keywords: semilattice ordered semigroups
zbMATH Keywords: free semigroups
zbMATH Keywords: semigroup varieties
zbMATH Keywords: fully invariant congruences
zbMATH Keywords: closure operations
reviewed by: Francis Pastijn
MaRDI profile type: Publication
full work available at URL: s00233-004-0176-3
OpenAlex ID: W1977440510
DOI: 10.1007/S00233-004-0176-3
description: scientific article; zbMATH DE number 5014166