Abstract
Based on the previously obtained concrete characterization of the endomorphism semigroups of quasi-acyclic reflexive graphs we prove the relatively elementary definability of the class of such graphs in the class of all semigroups. It will permit us to investigate for such graphs the abstract representation problem for the endomorphism semigroups of graphs and the problem of elementary definability of graphs by their endomorphism semigroups.
Similar content being viewed by others
References
Ershov, Y.L.: Problems of decidability and constructive models. Nauka, Moscow (1980).. (Russian)
Gluskin, L.M.: Semigroups of isotone transformations. Uspekhi Mat. Nauk 16(5), 157–162 (1961). (Russian)
Harary, F.: Graph Theory. Addison-Wesley, Reading, MA (1969)
Hedrlin, Z., Pultr, A.: Relations (Graphs) with given finitely generated semigroups. Monatsh. Math. 68, 213–217 (1964)
Jónsson, B.: Topics in Universal Algebras. Lecture Notes in Mathematics, vol. 250. Springer, Berlin (1972)
Lyapin, E.S.: Some endomorphisms of an ordered set. Izv. Vyssh. Uchebn. Zaved. Mat. 2, 87–94 (1962). (Russian)
Molchanov, V.A.: Semigroups of mappings on graphs. Semigroup Forum 27, 155–199 (1983)
Molchanov, V.A.: On concrete characterization problem of endomorphism semigroups of graphs. Semigroup Forum 101(1), 143–151 (2020)
Ore, O.: Theory of Graphs. American Mathematical Society Colloquium Publications, vol. 38. American Mathematical Society, Providence, RI (1962)
Schein, B.M.: Ordered sets, semilattices, distributive lattices and Boolean algebras. Fund. Math. 68(1), 31–50 (1970)
Vazhenin, Y.M.: Elementary properties of semigroups of transformations of ordered sets. Algebra. Logic 9(3), 169–179 (1970). (Russian)
Vazhenin, Y.M.: On elementary definability and elementary characterizability of classes of reflexive graphs. Izv. Vyssh. Uchebn. Zaved. Mat. 7, 3–11 (1972). (Russian)
Acknowledgements
The author is indebted to the referee for useful remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Presented by R. Pöschel.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Molchanov, V.A. On relatively elementary definability of graph classes in the class of semigroups. Algebra Univers. 83, 27 (2022). https://doi.org/10.1007/s00012-022-00780-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-022-00780-7