Abstract
The concept ofk-nilpotency is adapted for inverse semigroups andN k(X) is defined as the largestk-nilpotent Rees quotient of the free inverse monoid onX. The membership problem is solved for a certain class of ideals of quasifree inverse monoids. As a consequence, the word problem is shown to be decidable for every finite relation onN k (X), producing an unusual example of total decidability.
Similar content being viewed by others
References
Berstel, J., “Transductions and Context-free Languages,” B. G. Teubner, Stuttgart, 1979.
Eilenberg, S., “Automata, languages and machines (vol. A),” Academic Press, New York, 1974.
Hopcroft, J. E., and Ullman, J. D., “Formal Languages and Their Relation to Automata,” Addison-Wesley, Reading, Mass., 1969.
Howie, J. M., “An Introduction to Semigroup Theory,” Academic Press, London, 1976.
Lothaire, M., “Combinatorics on Words,” Addison-Wesley, Reading, Mass., 1983.
Margolis, S. W., and Meakin, J. C.,Inverse monoids, trees and context-free languages, Trans. Amer. Math. Soc. (1)335 (1993), 259–276.
Munn, W. D.,Free inverse semigroups, Proc. London Math. Soc. (3)29 (1974), 385–404.
Munn, W. D., and Reilly, N. R.,E-unitary congruences on inverse semigroups, Glasgow Math. J.17 (1976), 57–75.
Petrich, M., “Inverse semigroups,” Wiley, New York, 1984.
Scheiblich, H. E.,Free inverse semigroups, Proc. Amer. Math. Soc.38 (1973), 1–7.
Silva, P. V.,Rational languages and inverse monoid presentations, Int. J. Alg. Comp.2.2 (1992), 187–207.
Stephen, J. B.,Presentations of inverse monoids, J. Pure Appl. Alg.63 (1990), 81–112.
Author information
Authors and Affiliations
Additional information
Communicated by J. M. Howie
The author acknowledges support from JNICT-Project SAL (PBIC/C/CEN/1021/92) and ESPRIT-BRA Working Group 6317 “ASMICS”.
Rights and permissions
About this article
Cite this article
Silva, P.V. The word problem for nilpotent inverse monoids. Semigroup Forum 51, 285–293 (1995). https://doi.org/10.1007/BF02573637
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF02573637