Commutative semigroups with bounded orders of subdirectly irreducible acts
https://doi.org/10.22405/2226-8383-2021-22-1-188-199
Abstract
Subdirectly irreducible universal algebras, i.e., algebras which are not decomposable into non-trivial subdirect product, play an important role in mathematics due to well-known Birkhoff Theorem which states that any algebra is a subdirect product of subdirectly irreducible algebras (in another terminology: every algebra is approximated by the subdirectly irreducible algebras).
In view of this, it seems reasonable to study algebras with certain conditions on subdirectly irreducible algebras. One of the natural restrictions is the finiteness of all subdirectly irreducible algebras. More stronger restriction is boundness of orders of all subdirectly irreducible algebras. An act over a semigroup (it is also an automaton, and a unary algebra) is a set with an action of the given semigroup on it. The acts over a fixed semigroup form a variety whose signature coincides with self semigroup. On the other hand, it is a category whose morphisms are homomorphisms from one act into another. It is not difficult to see that the semigroups over which all subdirectly ireducible acts
are finite, are exactly the semigroups over which all subdirectly irreducible acts are finitely approximated (in another terminology: residually finite). A more narrow class form semigroups over which all acts are approximated by acts of n or less elements where n is a fixed natural number.
In 2000, I.B.Kozhukhov proved that all non-trivial acts over a semigroup S are approximated by two-element ones if and only if S is a semilattice (a commutative idempotent semigroup).
In 2014, I.B.Kozhukhov and A.R.Haliullina proved that any semigroup with bounded orders of dubdirectly irreducible acts is uniformly locally finite, i.e., for every k, the orders of k-generated subsemigroups are bounded. In the work of I.B.Kozhukhov and A.V.Tsarev 2019, the authors described completely the abelian groups over which all acts are finitely approximated, and also abelian groups over which all acts are approximated by acts of bounded orders.
In this work, we characterize the commutative semigroups over which all acts are approximated by acts consisted of n or less elements.
About the Author
Igor Borisovich Kozhukhov
National Research University of Electronic Technology, Centre
Fund. Appl. Math. of Lomonosov Moscow State University
Russian Federation
Russian Federation
References
1. Clifford, A. H. & Preston, G. B. 1961, 1967 "The algebraic theory of semigroups". Vol. I and II, Mathematical Surveys, Number 7, American Mathematical Society, Providence, Rhode
2. Island, xvi + 244 pp. and xv + 350 pp.
3. Kozhukhov, I. B. 2020 "Commutative semigroups with restrictions on subdirectly irreducible acts". Informatics and Cybernetics (DonNTU), vol. 21, no. 3, pp. 21–24. (in Russian)
4. Kozhukhov, I. B. 1998, “Semigroups over which all acts are residually finite”, Fundam. Prikl. Mat., vol. 4, no. 4, pp. 1335–1344. (in Russian)
5. Kozhukhov, I. B. 1998, “Finiteness conditions for subdirectly irreducible S-acts and modules”, Fundam. Prikl. Mat., vol. 4, no. 2, pp. 763–767. (in Russian)
6. Kozhukhov, I. B. & Khaliullina, A. R. 2014. "Semigroups with finitely approximated finite acts". Yakutian Math. J., vol. 21, no. 3(83), pp. 52-57. (in Russian)
7. Kozhukhov, I. B. & Khaliullina, A. R. 2015. “A characterization of subdirectly irreducible acts”. Prikl. Diskr. Mat., 2015, vol. 27, no. 1, pp. 5–16. (in Russian)
8. Kozhukhov, I. B. & Tsarev, A.V. 2019. “Abelian groups with finitely approximated acts”, Fundam. Prikl. Mat., vol. 22, no. 5, pp. 81–89. (in Russian)
9. Cohn, P. M. 1965 "Universal algebra". , Harper & Row, xv + 333 pp.
10. Pinus, A. G. 2001, “Inner homomorphisms and positive-conditional terms”, Algebra and Logic, vol. 40, no. 2, pp. 87–95.
11. Plotkin, B. I. & Gringlaz, L. Ya. & Gvaramiya, A. A. 1994. "Elements of the algebraic theory of automata"Vysshaya Shkola, Moscow, 191 pp. (in Russian)
12. Roiz, E. N. 1974 "On subdirectly irreducible monars" , Inter-Univ. Sci. Coll. "Ordered sets and lattices" , Saratov, iss. 2, pp. 80–84. (in Russian)
13. "Algebraic theory of machines, languages and semigroups"(Ed. Arbib, M. A.) 1968. Acad. Press, N.Y. – London, 359 pp.
14. Fuchs, L. 1970 "Infinite abelian groups"1970. Acad. Press, N.Y. & Berlin, 290 pp.
15. ´Esik, Z. & Imreh, B. 1981, "Subdirectly irreducible commutative automata" , Acta Cybernetica, vol. 5, iss. 3, pp. 251–260.
16. Kilp, M. & Knauer, U. & Mikhalev, A. V. "Monoids, acts and categories"2000.W. de Gruyter, N.Y. & Berlin, xvii + 529 pp.
17. Kozhukhov, I. B. 1997 "One characteristical property of semilattices" , Commun. Algebra, vol.
18. , iss. 8, pp. 2569–2577.
19. Moghaddasi, Gh. & Mahmoudi, M. 2017 "Subdirectly irreducible acts over some semigroups", Bull. Iranian Math. Soc., vol. 43, no. 6, pp. 1913–1924.
20. Rankin, S. A. & Reis, C. M. & Thierrin, G. 1979 "Right subdirectly irreducible semigroups", Pacific J. Math., vol 85, iss. 2, pp. 403–412.
21. Roueentan, M. & Sedaghatjoo, M. 2020 "The structure of subdirectly irreducible and uniform acts over rectangular bands" , Semigroup Forum, vol. 101, no. 1, pp. 192–201.
Review
For citations:
Kozhukhov I.B. Commutative semigroups with bounded orders of subdirectly irreducible acts. Chebyshevskii Sbornik. 2021;22(1):188-199. (In Russ.) https://doi.org/10.22405/2226-8383-2021-22-1-188-199
Views:
363
Email this article 