KG-strong semilattice structure of regular orthocryptosemigroups.

DOI10.1007/S00233-006-0614-5MaRDI QIDQ862384zbMATH OpenOpenAlexFDO

Publication date 24 January 2007

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00233-006-0614-5

\({\mathcal K}G\)-strong semilattices congruences Green relations idempotents natural partial order regular orthocryptosemigroups strong semilattice decompositions u-semigroups

Mathematics Subject Classification ID

General structure theory for semigroups (20M10) Regular semigroups (20M17)

Review text

A semigroup \(S\) is called 1) `semisuperabundant' if each of its \(\widetilde{\mathcal H}\)-classes contains an idempotent, where \(\widetilde{\mathcal H}\) is Green's \(\sim\)-relation; 2) `orthosemigroup' if \(E(S)\) is a subsemigroup of \(S\); 3) `cryptosemigroup' if \(\widetilde{\mathcal H}\) is a congruence; 4) `u-semigroup' if \(S\) has a unique idempotent, which is its identity. The authors introduce the concept of \(\widetilde{\mathcal K}G\)-strong semilattice decomposition of a semigroup \(S\) where \(\widetilde{\mathcal K}\) is an equivalence relation on a semilattice decomposition of \(S\). Let \(S\) be a semisuperabundant orthosemigroup. Then: 1) \(S\) is a regular orthocryptosemigroup if and only if \(S\) is an \(\widetilde{\mathcal H}G\)-strong semilattice of rectangular u-semigroups; 2) \(S\) is a quasinormal orthocryptosemigroup if and only if \(S\) is an \(\widetilde{\mathcal L}G\)-strong semilattice of rectangular u-semigroups; 3) \(S\) is a normal orthocryptosemigroup if and only if \(S\) is a \(\widetilde{\mathcal J}G\)-strong semilattice of rectangular u-semigroups.

Recommendations

Cited in

(6)

This page was built for publication: \({\mathcal K}G\)-strong semilattice structure of regular orthocryptosemigroups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q862384)