Abstract
We considei systems u i = v i (i ∃ I) of equations in semigroups over finite sets of variables. A semigroup S is said to satisfy the compactness property (or CP, for short), if each system of equations has an equivalent finite subsystem. It is shown that all monoids in a variety V satisfy CP, if and only if the finitely generated monoids in V satisfy the maximal condition on congruences. We also show that if a finitely generated semigroup S satisfies CP, then S is necessarily hopfian and satisfies the chain condition on idempotents. Finally, we give three simple examples (the bicyclic monoid, the free monogenic inverse semigroup and the Baumslag-Solitar group) which do not satisfy CP, and show that the above necessary conditions are not sufficient.
Supported by Academy of Finland grant 4077
Supported by the KBN grant 8 T11C 012 08
Preview
Unable to display preview. Download preview PDF.
References
M.H. Albert and J. Lawrence, The descending chain condition on solution sets for systems of equations in groups, Proc. Edinburg Math. Soc. 29 (1986), 69–73.
M.H. Albert and J. Lawrence, A proof of Ehrenfeucht's Conjecture, Theoret. Comput. Sci. 41 (1985), 121–123.
G. Baumslag and D. Solitar, Some two-generator one-relator non-hopfian groups, Bull. Amer. Math. Soc. 68 (1962), 199–201.
A.H. Clifford and G.B. Preston, “The Algebraic Theory of Semigroups”, Vol I, Math. Surveys of the American Math. Soc.7, Providence, R.I., 1961.
P.M. Cohn, “Universal Algebra”, D. Reidel Publ. Co., Dordrecht, 1981.
K. Culik II and J. KarhumÄki, Systems of equations over a free monoid and Ehrenfeucht's Conjecture, Discrete Math. 43 (1983), 139–153.
P. Dubreil, Sur le demi-groupe des endomorhismes d'une algébre abstraite, Lincei-Rend. Sc. fis. mat. e nat. Vol. XLVI (1969), 149–153.
T. Evans, The lattice of semigroup varieties, Semigroup Forum 2 (1971), 1–43.
P. Freyd, Redei's finiteness theorem for commutative semigroups, Proc. Amer. Math. Soc. 19 (1968), 1003.
P.A. Grillet, A short proof of Redei's Theorem, Semigroup Forum 46 (1993), 126–127.
P. Hall, Finiteness conditions for soluble groups, Proc. London Math. Soc. 4 (1954), 419–436.
T. Harju and J. KarhumÄki, On the defect theorem and simplifiability, Semigroup Forum 33 (1986), 199–217.
T. Harju, J. KarhumÄki and W. Plandowski, Compactness of systems of equations in semigroups, Manuscript 1994.
J. KarhumÄki and W. Plandowski, On the size of independent systems of equations in semigroups, Manuscript 1994.
J. Lawrence, The nonexistence of finite test set for set-equivalence of finite substitutions, Bull. of the EATCS 28 (1986), 34–37.
A. de Luca and A. Restivo, On a generalization of a conjecture of Ehrenfeucht, Bulletin of the EATCS 30 (1986), 84–90.
W. Magnus, A. Karrass and D. Solitar, “Combinatorial Group Theory”, Dover Publ., New York, 1976.
Al.A. Markov, On finitely generated subsemigroups of a free semigroup, Semigroup Forum 3 (1971), 251–258.
A.A. Muchnik and A.L. Semenov, “Jewels of Formal Languages”, (Russian translation of a book by A. Salomaa), Mir, Moscow, 1986.
W.D. Munn, Free inverse semigroups, Proc. London Math. Soc. 29 (1974), 385–404.
H. Neumann, “Varieties of groups”, Springer-Verlag, Berlin, 1967.
M. Petrich, “Inverse Semigroups”, John Wiley & Sons, New York, 1984.
L. Redei, “The Theory of Finitely Generated Commutative Semi-Groups”, Pergamon Press, Oxford, 1965.
E. Schenkman, “Group Theory”, D. van Nostrand Co., Princeton, 1965.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1995 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harju, T., KarhumÄki, J., Plandowski, W. (1995). Compactness of systems of equations in semigroups. In: Fülöp, Z., Gécseg, F. (eds) Automata, Languages and Programming. ICALP 1995. Lecture Notes in Computer Science, vol 944. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60084-1_95
Download citation
DOI: https://doi.org/10.1007/3-540-60084-1_95
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-60084-8
Online ISBN: 978-3-540-49425-6
eBook Packages: Springer Book Archive