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

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.