Abstract
In this paper we exhibit a type of semigroup presentation which determines a class of local groups. We show that the finite elements of this class generate the pseudovariety \(\mathbf{LG}\) of all finite local groups and use them as test-semigroups to prove that \(\mathbf{LG}\) and \(\mathbf{S}\), the pseudovariety of all finite semigroups, verify the same \(\kappa \)-identities involving \(\kappa \)-terms of rank at most 1, where \(\kappa \) denotes the implicit signature consisting of the multiplication and the \((\omega -1)\)-power.
We’re sorry, something doesn't seem to be working properly.
Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.
References
Almeida, J.: Finite Semigroups and Universal Algebra. World Scientific, Singapore (1995)
Almeida, J., Azevedo, A.: On regular implicit operations. Port. Math. 50, 35–61 (1993)
Almeida, J., Costa, J.C., Zeitoun, M.: McCammond’s normal forms for free aperiodic semigroups revisited, LMS J. Comput. Math., To appear
Costa, J.C.: Free profinite locally idempotent and locally commutative semigroups. J. Pure Appl. Algebr. 163, 19–47 (2001)
Costa, J.C.: Canonical forms for free \(\kappa \)-semigroups, Discrete Math. Theor. Comput. Sci. 16, 159–178 (2014)
Costa, J.C., Nogueira, C.: Complete reducibility of the pseudovariety LSl. Int. J. Algebr. Comput. 19, 247–282 (2009)
Costa, J.C., Nogueira, C., Teixeira, M.L.: The word problem for \(\kappa \)-terms over the pseudovariety of local groups, In preparation
Costa, J.C., Teixeira, M.L.: Tameness of the pseudovariety LSl. Int. J. Algebr. Comput. 14, 627–654 (2004)
Howie, J., Ruškuc, N.: Constructions and presentations for monoids. Comm. Algebr. 22, 6209–6224 (1994)
Lallement, G.: Semigroups and Combinatorial Applications. John Wiley, New York (1979)
Lothaire, M.: Algebraic Combinatorics on Words. Cambridge University Press, Cambridge (2002)
McCammond, J.: Normal forms for free aperiodic semigroups. Int. J. Algebr. Comput. 11, 581–625 (2001)
Straubing, H.: Finite semigroup varieties of the form \({\bf V}*{\bf D}\). J. Pure Appl. Algebr. 36, 53–94 (1985)
Acknowledgments
This work was supported by the European Regional Development Fund, through the programme COMPETE, and by the Portuguese Government through FCT – Fundação para a Ciência e a Tecnologia, under the Project PEst-C/MAT/UI0013/2011.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jorge Almeida.
Rights and permissions
About this article
Cite this article
Costa, J.C., Nogueira, C. & Teixeira, M.L. Semigroup presentations for test local groups. Semigroup Forum 90, 731–752 (2015). https://doi.org/10.1007/s00233-014-9656-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-014-9656-2