The pseudovariety generated by completely 0-simple semigroups

DOI10.1007/BF02676589MaRDI QIDQ2365284zbMATH OpenFDO

Authors Grigory Mashevitzky

Publication date 3 June 1997

Published in Semigroup Forum (Search for Journal in Brave)

Full work available at URL https://eudml.org/doc/135508

zbMATH Keywords

decidable membership problemfinite 0-simple semigroupsfinite pseudoidentity basespseudoidentitiessemigroup pseudovarieties

Mathematics Subject Classification ID

Varieties and pseudovarieties of semigroups (20M07) Regular semigroups (20M17)

Review text

The author finds a finite pseudoidentity basis for the semigroup pseudovariety generated by all finite 0-simple semigroups. The basis consists of the following four pseudoidentities: (1) \((xy)^{\omega+1}x=xyx\); (2) \(x^{\omega+2}=x^2\); (3) \((xyz)^\omega xhz=xhz(xyz)^\omega\); (4) \((xy)^\omega xzx=xz(xy)^\omega x\). This implies that the pseudovariety in question has decidable membership. Reviewer's remarks: 1. It can be shown that each of the pseudoidentities (3) and (4) implies the other modulo (1) and (2). The basis found in the paper can therefore be reduced to (1), (2), (3) or (1), (2), (4). 2. The results in the paper have been independently obtained by \textit{T. E. Hall, S. I. Kublanovskij, S. Margolis, M. V. Sapir} and \textit{P. G. Trotter} [Decidable and undecidable problems related to completely 0-simple semigroups. J. Pure Appl. Algebra (to appear)].

Recommendations

• scientific article; zbMATH DE number 618000
• ON A CLASS OF SEMIGROUP PSEUDOVARIETIES WITHOUT FINITE PSEUDOIDENTITY BASIS
• The finite basis problem for pseudovariety

Cites work

• Algorithmic problems for finite groups and finite \(0\)-simple semigroups
• scientific article; zbMATH DE number 3179521 (Why is no real title available?)
• Matrix rank 1 semigroup identities
• On pseudovarieties
• The Birkhoff theorem for finite algebras

Cited in

(14)

• The \(p_n\) sequences of semigroup varieties generated by combinatorial 0-simple semigroups.
• Undecidable problems for completely 0-simple semigroups.
• Three examples of join computations
• On the finite basis problem for completely 0-simple semigroup identities
• Identities of a five-element \(0\)-simple semigroup
• A minimal nonfinitely based semigroup whose variety is polynomially recognizable.
• Pseudovarieties of finite semigroups having a complete radical.
• On a simpler basis for the pseudovariety EDS.
• On Divisors of Pseudovarieties Generated by Some Classes of Full Transformation Semigroups
• The globals of pseudovarieties of ordered semigroups containingB₂and an application to a problem proposed by Pin
• THE PSEUDOVARIETY GENERATED BY ALL SEMIGROUPS OF ORIENTATION-PRESERVING TRANSFORMATIONS ON A FINITE CYCLE
• Completely \(0\)-simple semigroup with the basis property
• On the membership problem for pseudovarieties of commutative semigroups
• The intersection of pseudovarieties of central simple semigroups.

This page was built for publication: The pseudovariety generated by completely \(0\)-simple semigroups

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