Skip to main content
Log in

Acts Over Semigroups

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

Abstract

We present a review of results obtained mainly in the last two decades in a number of areas of the theory of acts over semigroups. The authors limited themselves to the structural theory of acts. The acts over completely (0-)simple semigroups, with conditions on the congruence lattice, diagonal acts, biacts and multiacts, and also partial acts are considered. Our work is an expanded version of the report made by the authors in October 2017 at the conference of Institute of Mathematics of Technical University of Berlin, dedicated to the 75th anniversary of Professor Ulrich Knauer, supplemented by results of later works.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. A. Alahmadi, H. Alsulami, S. K. Jain, and E. Zelmanov, Matrix Wreath Products of Algebras and Embedding Theorems, arXiv:1703.08734v2 [math.RA] (2017).

  2. S. V. Aleshin, Algebraic Systems of Automata [in Russian], MAKS Press, Moscow (2016).

    Google Scholar 

  3. S. V. Aleshin, “Automata in algebra,” J. Math. Sci., 168, 14–20 (2010).

    Article  MathSciNet  MATH  Google Scholar 

  4. T. V. Apraksina, “Diagonal polygons over semigroups of isotopic transformations,” Chebyshevskii Sb., 12, No. 1, 10–16 (2011).

    MathSciNet  MATH  Google Scholar 

  5. T. V. Apraksina, “Cyclicity and finite generation of acts over transformation semigroups,” Mat. Vest. Pedvuz. Univ. Volgo-Vyatsk. Reg., 14, 51–57 (2012).

    Google Scholar 

  6. T. V. Apraksina, “On generating sets of diagonal acts over semigroups of isotone and continuous transformations,” Prikl. Diskr. Mat., No. 4 (26), 5–12 (2014).

  7. T. V. Apraksina, I. V. Barkov, and I. B. Kozhukhov, “Diagonal ranks of semigroups,” Semigroup Forum, 90, No. 2, 386–400 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  8. T. V. Apraksina, I. V. Barkov, and I. B. Kozhukhov, “Two examples of diagonal bi-acts,” J. Math. Sci., 206, No. 5, 457–461 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  9. T. V. Apraksina and I. B. Kozhukhov, “Remarks on diagonal acts of invariant semigroups,” Vestn. MGOU. Ser. Fiz.-Mat., No. 1, 22–31 (2015).

    Google Scholar 

  10. T. V. Apraksina and M. Yu. Maksimovskiy, “Acts and partial acts over semilattices,” Izv. Saratov. Univ. (Nov. Ser.), Ser. Mat. Mekh. Inform., 12, No. 1, 3–7 (2012).

  11. M. A. Arbib, Algebraic Theory of Machines, Languages and Semigroups, Academic Press, New York (1968).

    MATH  Google Scholar 

  12. A. Yu. Avdeyev and I. B. Kozhukhov, “Acts over completely 0-simple semigroups,” Acta Cybernet., 14, No. 4, 523–531 (2000).

  13. I. V. Barkov, “Bidiagonal ranks of completely (0-)simple semigroups,” J. Sib. Fed. Univ. Math. Phys., 9, No. 2, 144–148 (2016).

    Article  MathSciNet  MATH  Google Scholar 

  14. I. V. Barkov and I. B. Kozhukhov, “On generating sets of diagonal acts,” Ehlektron. Inform. Sist., 3 (6), 101–104 (2015).

    Google Scholar 

  15. I. V. Barkov and R. R. Shakirov, “Finite semigroups of minimal rank,” Mat. Vest. Pedvuz. Univ. Volgo-Vyatsk. Reg., No. 16, 54–62 (2014).

    Google Scholar 

  16. P. Berthiaume, “The injective envelope of S-sets,” Can. Math. Bull., 10, 261–273 (1967).

    Article  MathSciNet  MATH  Google Scholar 

  17. A. M. Bogomolov and V. N. Salii, Algebraic Foundations of the Theory of Discrete Systems [in Russian], Nauka, Fizmatlit, Moscow (1997).

    Google Scholar 

  18. S. Bulman-Fleming and A. Gilmour, “Flatness properties of diagonal acts over monoids,” Semigroup Forum, 79, No. 2, p. 298–314 (2009).

    Article  MathSciNet  MATH  Google Scholar 

  19. S. Burris and H. P. Sankappanavar, A Course in Universal Algebra, Grad. Texts Math., Vol. 78, Springer, Berlin (1981),

  20. A. H. Clifford and G. B. Preston, The Algebraic Theory of Semigroups, Vols. I and II, Math. Surveys, Number 7, Amer. Math. Soc., Providence (1961, 1967).

  21. P. M. Cohn, Universal Algebra, Harper & Row (1965).

    MATH  Google Scholar 

  22. C. W. Curtis and I. Reiner, Representation Theory of Finite Groups and Associative Algebras, Amer. Math. Soc., Providence (1966).

    MATH  Google Scholar 

  23. S. Eilenberg, Automata, Languages, and Machines, Academic Press, New York (1974, 1976).

  24. M. Ershad and M. Sedaghatjoo, “On a conjecture of Bulman-Fleming and Gilmour,” Semigroup Forum, 82, No. 3, 542–546 (2011).

    Article  MathSciNet  MATH  Google Scholar 

  25. Yu. L. Ershov and E. A. Palyutin, Mathematical Logic, Cambridge Univ. Press (2014).

    Google Scholar 

  26. Ésik and B. Imreh, “Subdirectly irreducible commutative automata,” Acta Cyber., 5, No. 3, 251–260 (1981).

  27. P. Gallagher, “On the finite and non-finite generation of diagonal acts,” Commun. Algebra, 34, 3123–3137 (2006).

    Article  MATH  Google Scholar 

  28. P. Gallagher and N. Ruškuc, “Finite generation of diagonal acts of some infinite semigroups of transformations and relations,” Bull. Austral. Math. Soc., 72, 139–146 (2005).

    Article  MathSciNet  MATH  Google Scholar 

  29. V. M. Glushkov, “The abstract theory of automata,” Russ. Math. Surv., 16, No. 5, 1–53 (1961).

    Article  MathSciNet  MATH  Google Scholar 

  30. J. A. Goldstein, Semigroups of Linear Operators and Applications, Dover (2017).

    MATH  Google Scholar 

  31. G. Grätzer, General Lattice Theory, Springer, Birkhäuser, Berlin (2003).

    MATH  Google Scholar 

  32. M. Haddadi and S. M. N. Sheykholislami, “On radical and torsion theory in the category of S-acts,” arXiv:1806.07075v1 (2018).

  33. J. M. Howie, Fundamentals of Semigroup Theory, Clarendon Press (1995).

    MATH  Google Scholar 

  34. J. R. Isbell, “Perfect monoids,” Semigroup Forum, 2, 95–118 (1971).

    Article  MathSciNet  MATH  Google Scholar 

  35. D. Jakubíková-Studenovská and J. Pócs, “Monounary algebras,” Math. Slovac., 61, No. 1, 107–125 (2009).

    Article  MATH  Google Scholar 

  36. P. Jipsen and H. Rose, Varieties of Lattices, Lect. Notes Math., Vol. 1553, Springer, Berlin (1992).

  37. V. K. Kartashov, “Independent systems of generators and the Hopf property for unary algebras,” Discrete Math. Appl., 18, No. 6, 625–630 (2008).

    Article  MathSciNet  MATH  Google Scholar 

  38. V. K. Kartashov, “On some results and unsolved problems of the theory of unary algebras,” Chebyshevskii Sb., 12, No. 2, 18–26 (2011).

    MathSciNet  MATH  Google Scholar 

  39. K. A. Kearnes and E. W. Kiss, The Shape of Congruence Lattices, Mem. Amer. Math. Soc., Vol. 222, No. 1046 (2013).

  40. M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories, Berlin, Walter de Gruyter (2000).

  41. A. R. Khaliullina, “Congruences of acts over groups,” Izv. Saratov. Univ. (Nov. Ser.), Ser. Mat. Mekh. Inform., 13, No. 4, 133–137 (2013).

  42. A. R. Khaliullina, “Congruences of acts over right zero semigroup,” Chebyshevskii Sb., 14, No. 3, 142–146 (2013).

    MATH  Google Scholar 

  43. A. R. Khaliullina, “Modularity conditions of the lattice of congruences of acts over right or left zero semigroups,” Dal’nevost. Mat. Zh., 15, No. 1, 102–120 (2015).

    MathSciNet  MATH  Google Scholar 

  44. M. S. Korobov and A. O. Petrikov, “Extension of partial operations in universal algebras,” in: Mater. of the 5th Int. Sci. and Tech. Conf. “Modern Inf. Technologies in Education and Science Research,” [in Russian], Donetsk (2018), pp. 79–83.

  45. I. B. Kozhukhov, “Commutative semigroups with restrictions on subdirectly irreducible acts,” Inform. Kiber., in press.

  46. I. B. Kozhukhov, “Finiteness conditions for subdirectly irreducible S-acts and modules,” Fundam. Prikl. Mat., 4, No. 2, 763–767 (1998).

    MathSciNet  MATH  Google Scholar 

  47. I. B. Kozhukhov, “One characteristical property of semilattices,” Commun. Algebra, 25, No. 8, 2569–2577 (1997).

    Article  MathSciNet  MATH  Google Scholar 

  48. I. B. Kozhukhov, “Semigroups over which all acts are residually finite,” Fundam. Prikl. Mat., 4, No. 4, 1335–1344 (1998).

    MathSciNet  MATH  Google Scholar 

  49. I. B. Kozhukhov and A. R. Haliullina, “A characterization of subdirectly irreducible acts,” Prikl. Diskr. Mat., No. 1 (27), 5–16 (2015).

  50. I. B. Kozhukhov and A. R. Haliullina, “Injectivity and projectivity of acts over singular semigroup,” Ehlektron. Inform. Sist., 2, No. 2, 45–56 (2014).

    Google Scholar 

  51. I. B. Kozhukhov and A. R. Haliullina, “Semigroups with finitely approximated finite1 acts,” Yakut. Math. J., 21, No. 3 (83), 52–57 (2014) The word “finite” is a typo here.

  52. I. B. Kozhukhov and K. A. Kolesnikova, “On Hopfianity and co-Hopfianity of acts over groups,” Fundam. Prikl. Mat., 23, No. 3, 131–139 (2020).

    MathSciNet  Google Scholar 

  53. I. B. Kozhukhov and Yu. I. Kozhukhova, “On extensions of partial acts,” in: Mater. of the 16th Int. Conf. “Problems of theoretical cybernetics,” [in Russian] Nizhny Novgorod (2011), pp. 207–209.

  54. I. B. Kozhukhov and A. V. Mikhalev, “Acts over semigroups, unary algebras and automata,” Inform. Kiber., No. 2 (16), 96–100 (2019).

  55. I. B. Kozhukhov and A. Yu. Olshanski, “Diagonal bi-acts over semigroups with finiteness conditions,” Semigroup Forum, 92, No. 2, 538–542 (2015).

    Article  MathSciNet  MATH  Google Scholar 

  56. I. B. Kozhukhov and A. O. Petrikov, “Injective and projective acts over a completely 0-simple semigroup,” Chebyshevskii Sb., 17, No. 4, 65–78 (2016).

    MathSciNet  MATH  Google Scholar 

  57. I. B. Kozhukhov and A. O. Petrikov, “Subdirectly irreducible acts over rectangular groups,” Ehlektron. Inform. Sist., 2, 101–109 (2017).

    Google Scholar 

  58. I. B. Kozhukhov and A. O. Petrikov, “Projective and injective acts over completely simple semigroups,” J. Math. Sci., 233, No. 5, 687–694 (2018).

    Article  MathSciNet  MATH  Google Scholar 

  59. I. B. Kozhukhov and A. M. Pryanichnikov, “Acts with identities in congruence lattice,” in press.

  60. I. B. Kozhukhov, A. M. Pryanichnikov, and A. R. Simakova, “Conditions of modularity of the congruence lattice of an act over a rectangular band,” Izv. Math., 84, No. 2, 291–323 (2020).

    Article  MathSciNet  MATH  Google Scholar 

  61. I. B. Kozhukhov and A. V. Reshetnikov, “Algebras whose equivalence relations are congruences,” J. Math. Sci., 177, No. 6, 886–907 (2011).

    Article  MathSciNet  MATH  Google Scholar 

  62. I. B. Kozhukhov and A. M. Revyakin, “An example of an act which is not a biact,” in: Mater. of the 15th Interuniv. Sci. and Practical Sem. “Combinatorial configurations and their application,” [in Russian], pp. 55–58.

  63. I. B. Kozhukhov and A. S. Sotov, “On the conditions of Cantorianity of acts over a semilattice,” in press.

  64. I. B. Kozhukhov and A. V. Tsarev, “Abelian groups with finitely approximated acts,” Fundam. Prikl. Mat., 22, No. 5, 81–89 (2019).

    MATH  Google Scholar 

  65. I. B. Kozhukhov and V. A. Yaroshevich “Transformation semigroups preserving a binary relation,” J. Math. Sci., 164, No. 2, 240–244 (2010).

    Article  MathSciNet  MATH  Google Scholar 

  66. A. G. Kurosh, The Theory of Groups, Vol. 1: Chelsea, New York (1956), Vol. 2, Amer. Math. Soc., Providence (2003).

  67. G. Lallement, Semigroups and Combinatorial Applications, Wiley, New York (1979).

    MATH  Google Scholar 

  68. E. S. Lyapin and A. E. Evseyev, Partial Algebraic Actions [in Russian], Obrazovaniye, St. Petersburg (1991).

    Google Scholar 

  69. M. Yu. Maksimovskiy, “Bipolygons and multipolygons over semigroups,” Math. Notes, 87, No. 6, 834–843 (2010).

    Article  MathSciNet  MATH  Google Scholar 

  70. M. Yu. Maksimovskiy, “Acts over semilattices,” J. Math. Sci., 164, No. 2, 255–259 (2010).

    Article  MathSciNet  MATH  Google Scholar 

  71. J. D. P. Meldrum, Wreath Products of Groups and Semigroups, Wiley (1995).

    MATH  Google Scholar 

  72. C. Miller and N. Ruškuc, “Right Noetherian semigroups,” Int. J. Algebra Comput., 30, No. 1, 13–48 (2020).

    Article  MathSciNet  MATH  Google Scholar 

  73. Gh. Moghaddasi, “On injective and subdirectly irreducible S-acts over left zero semigroups,” Turk. J. Math., 36, 359–365 (2012).

    MathSciNet  MATH  Google Scholar 

  74. Gh. Moghaddasi and M. Mahmoudi, “Subdirectly irreducible acts over some semigroups,” Bull. Iran. Math. Soc., 43, No. 6, 1913–1924 (2017).

    MathSciNet  MATH  Google Scholar 

  75. M. A. Naimark and A. I. Stern, Theory of Group Representations, Springer, Berlin (1982).

    Book  MATH  Google Scholar 

  76. J. B. Nation, Varieties of Algebras Whose Congruence Lattices Satisfy Lattice Identities, Thesis, California Inst. Techn., Pasadena (1973).

    Google Scholar 

  77. A. Yu. Ol’shanskii, Geometry of Defining Relations in Groups, Springer (1991).

    Google Scholar 

  78. B. I. Plotkin, L. Ya. Gringlaz, and A. A. Gvaramiya, Elements of Algebraic Theory of Automata [in Russian], Moscow, Vysshaya Shkola (1994).

    Google Scholar 

  79. B. I. Plotkin, Groups of Automorphisms of Algebraic Systems, Wolters–Noordhoff (1972).

  80. “Problems and solutions,” Amer. Math. Mon., 96, No. 2, 155 (1989).

  81. “Problems and solutions,” Amer. Math. Mon., 97, No. 7 617–618 (1990).

  82. P. Pudlák and J. Tůma, “Every finite lattice can be embedded in a finite partition lattice,” Algebra Universalis, 10, No. 1, 74–95 (1980).

    Article  MathSciNet  MATH  Google Scholar 

  83. S. A. Rankin, C. M. Reis, and G. Thierrin, “Right subdirectly irreducible semigroups,” Pacific J. Math., 85, No. 2, 403–412 (1979).

    Article  MathSciNet  MATH  Google Scholar 

  84. E. F. Robertson, N. Ruˇskuc, and M. R. Thomson, “On diagonal acts on monoids,” Bull. Austral. Math. Soc., 63, No. 1, 167–175 (2001).

    Article  MathSciNet  MATH  Google Scholar 

  85. E. N. Roiz, “On subdirectly irreducible monars,” in: Ordered Sets and Lattices, Iss. 2 [in Russian], Saratov (1974), 80–84.

  86. M. Roueentan and M. Sedaghatjoo, “On uniform acts over semigroups,” Semigroup Forum, 97, No. 2, 229–243 (2018).

    Article  MathSciNet  MATH  Google Scholar 

  87. M. Roueentan and M. Sedaghatjoo, “The structure of subdirectly irreducible and uniform acts over rectangular bands,” Semigroup Forum, 101, No. 1, 192–201 (2020).

    Article  MathSciNet  MATH  Google Scholar 

  88. M. Sedaghatjoo and A. Khaksari, Monoids over Which Products of Indecomposable Acts Are Indecomposable, arXiv:1607.00806v1 (2016).

  89. L. A. Skornjakov, “Homological classification of rings,” Matem. Vesn. (Serbian Acad. Sci.), 19, No. 4, 415–434 (1967).

    MathSciNet  Google Scholar 

  90. L. A. Skornjakov, “On homological classification of monoids,” Sib. Mat. Zh., 10, No. 5, 1139–1143 (1969).

    MathSciNet  Google Scholar 

  91. A. S. Sotov, “Cantor–Bernstein theorem for acts over groups,” in: Mater. of the 5th Int. Sci. and Tech. Conf. “Modern Inf. Technologies in Education and Science Research,” DonNTU [in Russian], Donetsk (2018), pp. 120–123.

  92. B. Steinberg, Representation Theory of Finite Monoids, Springer (2016).

    Book  MATH  Google Scholar 

  93. A. A. Stepanova and D. O. Ptahov, “Congruence lattice of S-acts,” Dal’nevost. Mat. Zh., 13, No. 1, 107–115 (2013).

    MathSciNet  MATH  Google Scholar 

  94. G. H. Wenzel, “Subdirect irreducibility and equational compactness in unary algebras 〈A; f〉,” Arch. Math., 21, 256–264 (1970).

  95. R. Wiegandt, “Radical and torsion theory for acts,” Semigroup Forum, 72, 312–328 (2006).

    Article  MathSciNet  MATH  Google Scholar 

  96. R. A. Wilson, The Finite Simple Groups, Springer, London (2009).

    Book  MATH  Google Scholar 

  97. R. Z. Zhang and K. P. Shum, “Hereditary torsion classes of S-systems,” Semigroup Forum, 52, 253–270 (1996).

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to I. B. Kozhukhov.

Additional information

Happy memory of our friend and wonderful mathematician Viktor Timofeevich Markov

Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 23, No. 3, pp. 141–199, 2020.

Rights and permissions

Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Kozhukhov, I.B., Mikhalev, A.V. Acts Over Semigroups. J Math Sci 269, 362–401 (2023). https://doi.org/10.1007/s10958-023-06287-3

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10958-023-06287-3

Navigation