Abstract
An algebra \(A\) is said to be Cantor if a theorem similar to the Cantor– Bernstein– Schröder theorem holds for it; namely, if, for any algebra \(B\), the existence of injective homomorphisms \(A\to B\) and \(B\to A\) implies the isomorphism \(A\cong B\). Necessary and sufficient conditions for an act over a finite commutative semigroup of idempotents to be Cantor are obtained under the assumption that all connected components of this act are finite.
Similar content being viewed by others
References
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic (Mir, Moscow, 1986).
A. S. Sotov, “The Cantor–Bernstein theorem for acts over groups,” in Proceedings of VI International Conference “Modern Informational Technologies in Education and Scientific Research” (SITONI-2019) (Izd. Donetsk. Nauchno-Tekhnich. Univ., Donetsk, 2019), pp. 120–123.
A. H. Clifford and G. B. Preston, Algebraic Theory of Semigroups (Amer. Math. Soc., Providence, RI, 1961).
M. Kilp, U. Knauer and A. V. Mikhalev, Monoids, Acts and Categories (Walter de Gruyter, Berlin, 2000).
P. M. Cohn, Universal Algebra (Reidel, Dordrecht, 1981).
B. I. Plotkin, L. Ya. Gringlaz and A. A. Gvaramiya, Elements of Algebraic Theory of Automata (Vysshaya Shkola, Moscow, 1994) [in Russian].
D. Jakubiková-Studenovská and J. Pócs, Monounary Algebras (Pavol Jozef Šafárik Univ., Košice, 2009).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Matematicheskie Zametki, 2021, Vol. 109, pp. 581-589 https://doi.org/10.4213/mzm12703.
Rights and permissions
About this article
Cite this article
Kozhukhov, I.B., Sotov, A.S. Conditions for Acts over Semilattices to be Cantor. Math Notes 109, 593–599 (2021). https://doi.org/10.1134/S0001434621030287
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0001434621030287