On the equation V* G= E V
Motivated originally by Krohn-Rhodes theory, the study of semidirect products of pseudovarieties of semigroups of the form \({\mathbf V}*{\mathbf G}\), where \(\mathbf G\) is the pseudovariety of finite groups, has a long history. It was found early on that many calculations of such products lead to the equation in the title, where \({\mathcal E}{\mathbf V}\) denotes the pseudovariety consisting of the finite semigroups whose idempotents generate semigroups in \(\mathbf V\). For instance, \textit{J.-C. Birget, S. Margolis} and \textit{J. Rhodes} [Bull. Aust. Math. Soc. 41, No. 2, 161-184 (1990; Zbl 0692.20046)] showed that it is true when \(\mathbf V\) is the pseudovariety of semilattices, based on a fundamental result of Ash.NEWLINENEWLINENEWLINEThe authors make a systematic study of this general equation, based on syntactic methods. Most of the varieties \(\mathbf V\) under consideration lie within \({\mathcal D}{\mathbf S}\), the pseudovariety consisting of all finite semigroups whose regular \(\mathcal D\)-classes are subsemigroups, since the most powerful such tools are known in this case, based on the first author's results. The equation is completely solved for locally trivial pseudovarieties, and it is shown to hold for various other special subpseudovarieties of \({\mathcal D}{\mathbf S}\), such as \({\mathcal D}{\mathbf S}\) itself and \(\mathbf J\), consisting of all finite semigroups in which each \(\mathcal J\)-class is trivial.
- Semidirect products of pseudovarieties from the universal algebraist's point of view
- Pseudovarieties, Regular Semigroups and Semidirect Products
- On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups
- On iterated semidirect products of finite semilattices
- Idempotent-generated semigroups and pseudovarieties.
- Equations on the semidirect product of a finite semilattice by a finite commutative monoid
- Semidirectly closed pseudovarieties of locally trivial semigroups
- Join irreducible semigroups
- scientific article; zbMATH DE number 1512753
- Generalised existence varieties of regular semigroups.
- A SYNTACTICAL PROOF OF LOCALITY OF DA
- Algebraic Theory of Machines. I. Prime Decomposition Theorem for Finite Semigroups and Machines
- An infinite order operator on the lattice of varieties of completely regular semigroups
- ASH'S TYPE II THEOREM, PROFINITE TOPOLOGY AND MALCEV PRODUCTS: PART I
- Categories as algebra: An essential ingredient in the theory of monoids
- Generalized varieties of commutative and nilpotent semigroups
- scientific article; zbMATH DE number 988806 (Why is no real title available?)
- scientific article; zbMATH DE number 988808 (Why is no real title available?)
- scientific article; zbMATH DE number 3920797 (Why is no real title available?)
- scientific article; zbMATH DE number 4028925 (Why is no real title available?)
- scientific article; zbMATH DE number 4031970 (Why is no real title available?)
- scientific article; zbMATH DE number 3561239 (Why is no real title available?)
- scientific article; zbMATH DE number 459332 (Why is no real title available?)
- scientific article; zbMATH DE number 459360 (Why is no real title available?)
- HYPERDECIDABLE PSEUDOVARIETIES AND THE CALCULATION OF SEMIDIRECT PRODUCTS
- INEVITABLE GRAPHS AND PROFINITE TOPOLOGIES: SOME SOLUTIONS TO ALGORITHMIC PROBLEMS IN MONOID AND AUTOMATA THEORY, STEMMING FROM GROUP THEORY
- INEVITABLE GRAPHS: A PROOF OF THE TYPE II CONJECTURE AND SOME RELATED DECISION PROCEDURES
- Kernel systems - a global study of homomorphisms on finite semigroups
- Locality of DS and associated varieties
- On the Decidability of Iterated Semidirect Products with Applications to Complexity
- ON THE HYPERDECIDABILITY OF PSEUDOVARIETIES OF GROUPS
- On The Profinite Topology on a Free Group
- Profinite categories and semidirect products
- Profinite categories, implicit operations and pseudovarieties of categories
- Pseudovarieties, generalized varieties and similarly described classes
- Semidirect products of regular semigroups
- Semigroups whose idempotents form a subsemigroup
- The bifree regular \(E\)-solid semigroups
- The Birkhoff theorem for finite algebras
- The free completely regular semigroup on a set
- Semidirect products of pseudovarieties from the universal algebraist's point of view
- The \(\mathbf G\)-exponent of a pseudovariety of semigroups
- scientific article; zbMATH DE number 5901567 (Why is no real title available?)
- scientific article; zbMATH DE number 4204659 (Why is no real title available?)
- A syntactic approach to covers for E ‐dense semigroups over group varieties
- THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
- ON SEMIGROUPS WHOSE IDEMPOTENT-GENERATED SUBSEMIGROUP IS APERIODIC
- THE GLOBALS OF SOME SUBPSEUDOVARIETIES OF $\mathsf{DA}$
- SOLVABLE MONOIDS WITH COMMUTING IDEMPOTENTS
- Equidivisibility and profinite coproduct
- Pseudovarieties of semigroups
This page was built for publication: On the equation \({\mathbf V}*{\mathbf G}={\mathcal E}{\mathbf V}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5956869)
