On the power pseudovariety PCS.

DOI10.5565/PUBLMAT_56212_08MaRDI QIDQ2248226zbMATH OpenFDO

Authors K. Auinger

Publication date 30 June 2014

Published in Publicacions Matemàtiques (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1202.5511, https://projecteuclid.org/euclid.pm/1340127813

zbMATH Keywords

\(\mathcal J\)-trivial semigroupsbases of pseudoidentitiesblock groupscompletely simple semigroupsMal'cev products of pseudovarietiespower pseudovarietiespower semigroupspseudovarieties of finite semigroupssemidirect products of pseudovarieties

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Semigroups of transformations, relations, partitions, etc. (20M20) Representation of semigroups; actions of semigroups on sets (20M30)

Abstract: Some new semantic and syntactic characterizations of the members of the power pseudovariety $mathbfPCS$ are obtained. This leads in particular to new algorithms for deciding membership in $mathbfPCS$.

Review text

Let \(\mathbf{CS}\) stand for the pseudovariety of all finite completely simple semigroups and let \(\mathbf{PCS}\) be the pseudovariety generated by all power semigroups of the members of \(\mathbf{CS}\). The author proves that \(\mathbf{PCS}\) is equal to the Mal'cev product of the pseudovariety of all finite \(\mathcal J\)-trivial semigroups with \(\mathbf{CS}\), thus solving a problem raised by \textit{J. Kad'ourek} [Monatsh. Math. 166, No. 3-4, 411-440 (2012; Zbl 1255.20051)], and provides some other Mal'cev and semidirect decompositions for \(\mathbf{PCS}\) (Theorem~6) as well as various finite pseudoidentity bases for this pseudovariety (Theorem~8). These results yield transparent and efficient algorithms for deciding membership in \(\mathbf{PCS}\).

Recommendations

• About the power pseudovariety \(\mathbf{PCS}\)
• A note on the power semigroup of a completely simple semigroup.
• An upper bound for the power pseudovariety \(\mathbf{PCS}\).
• On algorithmic problems for joins of pseudovarieties
• Power pseudovarieties of semigroups. I

Cites work

• A note on the power semigroup of a completely simple semigroup.
• Categories as algebra: An essential ingredient in the theory of monoids
• Constructing divisions into power groups
• Eilenberg's theorem for positive varieties of languages
• scientific article; zbMATH DE number 988806 (Why is no real title available?)
• scientific article; zbMATH DE number 459360 (Why is no real title available?)
• scientific article; zbMATH DE number 1972795 (Why is no real title available?)
• INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
• On the extension problem for partial permutations
• Profinite categories and semidirect products
• Profinite semigroups and applications.
• Profinite semigroups, Mal'cev products, and identities
• Pseudovarieties, Regular Semigroups and Semidirect Products
• Some results on the dot-depth hierarchy
• The \(\mathfrak q\)-theory of finite semigroups.

Cited in

(6)

• Power pseudovarieties of semigroups. I
• About the power pseudovariety \(\mathbf{PCS}\)
• On a simpler basis for the pseudovariety EDS.
• An upper bound for the power pseudovariety \(\mathbf{PCS}\).
• On algorithmic problems for joins of pseudovarieties
• A note on the power semigroup of a completely simple semigroup.

This page was built for publication: On the power pseudovariety \(\mathbf{PCS}\).

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