On F-inverse covers of inverse monoids.
An inverse monoid \(F\) in which every class with respect to the smallest group congruence has a maximal element in the natural partial order is called an \(F\)-inverse monoid. Such a monoid \(F\) is an \(F\)-inverse cover of an inverse monoid \(M\) if there is an idempotent-separating onto homomorphism \(F\to M\). While it is well known that every inverse monoid admits an \(F\)-inverse cover, it remains an open problem whether every finite inverse monoid admits a finite \(F\)-inverse cover. One of the difficulties in trying to solve the problem is that the only construction of an \(F\)-inverse cover which is known involves monoids over free groups. This paper proposes an approach to the problem by examining conditions on a variety \(\mathcal U\) of groups which ensure that a given inverse monoid \(M\) admits an \(F\)-inverse cover over \(\mathcal U\). For instance, as an application of results on Burnside varieties of groups, the authors show that, if a monoid \(M\) admits an \(E\)-unitary cover over a periodic group then it also admits an \(F\)-inverse cover over a periodic group. They also give several necessary and sufficient conditions for a finite inverse monoid \(M\) to have a finite \(F\)-inverse cover, such as: (a) there exists a prime \(p\) such that, for every elementary Abelian \(p\)-group \(H\), the Margolis-Meakin expansion \(M(H)\) has a finite \(F\)-inverse cover; (b) for every positive integer \(n\) there exists a positive integer \(m\) such that, for every arrow \(x\) of the free category in the variety of categories generated by the Kostrikin-Zelmanov variety \({\mathcal K}_m\) of exponent \(m\), freely generated by the Hasse diagram of the Boolean lattice of \(2^n\) elements, directed upward, every term in a certain recursively defined sequence of subgraphs associated with \(x\) contains the terminal vertex of~\(x\).
- Braids and self-distributivity
- Categories as algebra: An essential ingredient in the theory of monoids
- E-unitary inverse monoids and the Cayley graph of a group presentation
- F-Inverse Semigroups
- scientific article; zbMATH DE number 3869616 (Why is no real title available?)
- scientific article; zbMATH DE number 1286008 (Why is no real title available?)
- scientific article; zbMATH DE number 459360 (Why is no real title available?)
- scientific article; zbMATH DE number 1761434 (Why is no real title available?)
- 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
- ON A GROUPOID CONSTRUCTION FOR ACTIONS OF CERTAIN INVERSE SEMIGROUPS
- PARTIAL ACTIONS OF GROUPS
- PROFINITE SEMIGROUPS, VARIETIES, EXPANSIONS AND THE STRUCTURE OF RELATIVELY FREE PROFINITE SEMIGROUPS
- Regular representation of groupoid C* -algebras and applications to inverse semigroups
- Semigroup expansions using the derived category, kernel, and Malcev products
- The geometry monoid of left self-distributivity
- Covers for monoids.
- A note on dual prehomomorphisms from a group into the Margolis-Meakin expansion of a group
- On the graph condition regarding the F-inverse cover problem
- scientific article; zbMATH DE number 5697719 (Why is no real title available?)
- scientific article; zbMATH DE number 5652507 (Why is no real title available?)
- \(F\)-inverse monoids as algebraic structures in enriched signature
- A note on prehomomorphisms
- On \(F\)-inverse covers of finite-above inverse monoids.
- On a connection between fuzzy subgroups and \(F\)-inverse covers of inverse monoids
- A new approach to universal F-inverse monoids in enriched signature
- Finite approximation of free groups. I: The F-inverse cover problem
- A unifying approach to the Margolis-Meakin And Birget-Rhodes group expansion
This page was built for publication: On \(F\)-inverse covers of inverse monoids.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2581279)
