×

On the relative solvability of certain inverse monoids. (English) Zbl 1220.20046

If \(\mathbf H\) is a group pseudovariety and \(M\) is a finite monoid, then the \(\mathbf H\)-kernel of \(M\) is the set of all elements of \(M\) related to 1 under any relational morphism from \(M\) into a group from \(\mathbf H\). It is a submonoid of \(M\) containing all idempotents of \(M\). The construction can be iterated, and \(M\) is said to be \(\mathbf H\)-solvable if iterating the computation of the \(\mathbf H\)-kernel one eventually arrives at the submonoid generated by the idempotents of \(M\). This concept was suggested by M. Delgado and V. H. Fernandes [Int. J. Algebra 15, No. 3, 547-570 (2005; Zbl 1083.20047)] who also proved that an inverse monoid is \(\mathbf H\)-solvable if and only if each of its maximal subgroups is \(\mathbf H\)-solvable. The authors and V. H. Fernandes [Bull. Aust. Math. Soc. 73, No. 3, 375-404 (2006; Zbl 1104.20053)] studied the \(\mathbf{Ab}\)-solvability of four series of inverse monoids where \(\mathbf{Ab}\) stands for the pseudovariety of all finite Abelian groups.
In the present paper, the authors study the \(\mathbf H\)-solvability of the same monoids with \(\mathbf H\) being an arbitrary subpseudovariety of \(\mathbf{Ab}\). The monoids investigated consist of partial injective transformations of a finite chain that are 1) order-preserving, 2) order-preserving or order-reversing, 3) orientation-preserving, or 4) orientation-preserving or orientation-reversing.

MSC:

20M07 Varieties and pseudovarieties of semigroups
20M18 Inverse semigroups
20M20 Semigroups of transformations, relations, partitions, etc.

Software:

GAP
PDFBibTeX XMLCite
Full Text: DOI Link

References:

[1] Cordeiro, E.: Núcleo e solubilidade de certos monóides inversos (relativamente a pseudovariedades de grupos abelianos). PhD thesis, Universidade do Porto (2009). In Portuguese
[2] Cordeiro, E., Delgado, M.: Computing relative abelian kernels of finite monoids. J. Algebra 303(2), 642–654 (2006) · Zbl 1109.20051 · doi:10.1016/j.jalgebra.2005.05.027
[3] Cordeiro, E., Delgado, M., Fernandes, V.H.: Relative abelian kernels of some classes of transformation monoids. Bull. Aust. Math. Soc. 73(3), 375–404 (2006) · Zbl 1104.20053 · doi:10.1017/S0004972700035413
[4] Delgado, M.: Abelian pointlikes of a monoid. Semigroup Forum 56(3), 339–361 (1998) · Zbl 0909.20050 · doi:10.1007/PL00005951
[5] Delgado, M., Fernandes, V.H.: Abelian kernels, solvable monoids and the abelian kernel length of a finite monoid. In: Fernandes, V., Gomes, G., Araújo, I., Branco, M. (eds.) Semigroups and Languages, pp. 68–85. World Scientific, River Edge (2004) · Zbl 1189.20051
[6] Delgado, M., Fernandes, V.H.: Solvable monoids with commuting idempotents. Int. J. Algebra Comput. 15(3), 547–570 (2005) · Zbl 1083.20047 · doi:10.1142/S0218196705002414
[7] Delgado, M., Steinberg, B.: On iterated Mal’cev products with a pseudovariety of groups. Technical Report CMUP 2008-32, CMUP (2008) · Zbl 1244.20052
[8] Delgado, M., Fernandes, V.H., Margolis, S., Steinberg, B.: On semigroups whose idempotent-generated subsemigroup is aperiodic. Int. J. Algebra Comput. 14(5–6), 655–665 (2004). International Conference on Semigroups and Groups in honor of the 65th birthday of Prof. John Rhodes · Zbl 1081.20067 · doi:10.1142/S021819670400202X
[9] Dummit, D.S., Foote, R.M.: Abstract Algebra, 3rd edn. Wiley, Hoboken (2004) · Zbl 1037.00003
[10] Fernandes, V.H.: Presentations for some monoids of partial transformations on a finite chain: a survey. In: Semigroups, Algorithms, Automata and Languages, Coimbra, 2001, pp. 363–378. World Scientific, River Edge (2002) · Zbl 1030.20042
[11] Gallian, J.A.: Contemporary Abstract Algebra, 5th edn. Houghton Mifflin, Boston (2002) · Zbl 1051.00001
[12] Ramakrishnan, D., Valenza, R.J.: Fourier Analysis on Number Fields. Graduate Texts in Mathematics, vol. 186. Springer, New York (1999) · Zbl 0916.11058
[13] Steinberg, B.: Monoid kernels and profinite topologies on the free abelian group. Bull. Aust. Math. Soc. 60(3), 391–402 (1999) · Zbl 0946.20041 · doi:10.1017/S0004972700036571
[14] Straubing, H.: Families of recognizable sets corresponding to certain varieties of finite monoids. J. Pure Appl. Algebra 15(3), 305–318 (1979) · Zbl 0414.20056 · doi:10.1016/0022-4049(79)90024-0
[15] The GAP Group. GAP–Groups, Algorithms, and Programming, Version 4.4.11 (2008)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.