Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids. (Q949844)

From MaRDI portal
Revision as of 18:40, 30 January 2024 by Import240129110113 (talk | contribs) (Added link to MaRDI item.)
scientific article
Language Label Description Also known as
English
Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids.
scientific article

    Statements

    Projectively condensed semigroups, generalized completely regular semigroups and projective orthomonoids. (English)
    0 references
    0 references
    0 references
    0 references
    21 October 2008
    0 references
    The authors investigates some quasivarieties of unary semigroups. Recall that a unary semigroup is a triple \((S,\cdot,^*)\) where \((S,\cdot)\) is a semigroup and the mapping \(^*\colon a\mapsto a^*\) is a unary operation on \(S\). The class \(\mathcal Q\) of unary semigroups is a quasivariety if there exists a family \(\Sigma\) of implications (especially, identities) such that \(\mathcal Q\) consists of all unary semigroups which satisfy each implication in \(\Sigma\). In such a case, \(\mathcal Q\) is defined by the family of implications \(\Sigma\). Let \(\mathcal{PC}\) be the quasivariety of unary semigroups defined by the identities \(x^*x^*=x^*\), \(x^*xx^*=x\), and the implication \(y^*xy^*=x\to y^*x^*y^*=x^*\), and \(\mathcal C\) be the subquasivariety of \(\mathcal{PC}\) defined by the implication \(xx=x\to x^*=x\). The members in \(\mathcal{PC}\) are called projectively condensed semigroups; the members in \(\mathcal C\) are called condensed semigroups. Recall that a semigroup \(S\) is called completely regular semigroup if each element of \(S\) is contained in a subgroup of \(S\). A completely regular semigroup \(S\) is called an orthogroup if the set \(E(S)\) of all idempotents of \(S\) forms a subsemigroup. If a unary semigroup \((S,^*)\) of \(\mathcal{PC}\) satisfies the identities \((x^*y^*)^*=x^*y^*\), \((xy)^*x^*y^*(xy)^*=(xy)^*\), \(x^*y^*(xy)^*x^*y^*=x^*y^*\) then \((S,^*)\) is called a projective orthomonoid. The authors regard some well-known classes of generalized completely regular semigroups as subquasivarieties of \(\mathcal{PC}\). They give the structure semilattice composition and the standard representation of projective orthomonoids, and then obtain structure theorems of various generalized orthogroups.
    0 references
    condensed semigroups
    0 references
    quasivarieties of semigroups
    0 references
    generalized completely regular semigroups
    0 references

    Identifiers