Abelian groups are described over which the class of all subdirectly irreducible acts is axiomatizable. Also some properties of subdirectly irreducible acts over Abelian groups are studied. It is proved that all connected acts over an Abelian group are subdirectly irreducible iff the group is totally ordered.
Similar content being viewed by others
References
V. Gould, A. V. Mikhalev, E. A. Palyutin, and A. A. Stepanova, “Model-theoretic properties of free, projective, and flat S-acts,” Fund. Prikl. Mat., 14, No. 7, 63-110 (2008).
A. A. Stepanova, “Axiomatizability and completeness of some classes of S-polygons,” Algebra and Logic, 30, No. 5, 379-388 (1991).
V. Gould, “Axiomatizability problems for S-systems,” J. London Math. Soc., II. Ser., 35, 193-201 (1987).
A. V. Mikhalev, E. V. Ovchinnikova, E. A. Palyutin, and A. A. Stepanova, “Model-theoretic properties of regular polygons,” Fund. Prikl. Mat., 10, No. 4, 107-157 (2004).
A. A. Stepanova, “Axiomatizability and model completeness of the class of regular polygons,” Sib. Math. J., 35, No. 1, 166-177 (1994).
M. Kilp, U. Knauer, and A. V. Mikhalev, Monoids, Acts and Categories. With Applications to Wreath Products and Graphs. A Handbook for Students and Researchers, Walter de Gruyter, Berlin (2000).
C. W. Curtis and I. Reiner, Representation Theory of Finite Groups and Associative Algebras, Interscience, New York (1962).
Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], 6th edn., Fizmatlit, Moscow (2011).
Author information
Authors and Affiliations
Corresponding author
Additional information
A. A. Stepanova is Supported by RF Ministry of Education and Science (Suppl. Agreement No. 075-02-2020-1482-1 of 21.04.2020).
D. O. Ptakhov is Supported by RFBR, project No. 17-01-00531.
Translated from Algebra i Logika, Vol. 59, No. 5, pp. 582-593, September-October, 2020. Russian DOI: 10.33048/alglog.2020.59.505.
Rights and permissions
About this article
Cite this article
Stepanova, A.A., Ptakhov, D.O. Axiomatizability of the Class of Subdirectly Irreducible Acts over an Abelian Group. Algebra Logic 59, 395–403 (2020). https://doi.org/10.1007/s10469-020-09612-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-020-09612-w