Let N be a quasivariety of torsion-free nilpotent groups of class at most two. It is proved that the set of subquasivarieties in N, which have no independent basis of quasiidentities and are generated by a finitely generated group, is infinite. It is stated that there exists an infinite set of quasivarieties M in N which are generated by a finitely generated group and are such that for every quasivariety K(M ⊈ K ⊆ N), an interval [M, K] has the power of the continuum in the quasivariety lattice.
Similar content being viewed by others
References
A. I. Budkin, “Independent axiomatizability of quasivarieties of groups,” Mat. Zametki, 31, No. 6, 817-826 (1982).
A. I. Budkin, “Independent axiomatizability of quasivarieties of generalized solvable groups,” Algebra and Logic, 25, No. 3, 155-166 (1986).
N. Ya. Medvedev, “Quasivarieties of l-groups and groups,” Sib. Math. J., 26, No. 5, 717-723 (1985).
A. N. Fedorov, “Quasi-identities of free 2-nilpotent group,” Mat. Zametki, 40, No. 5, 590-597 (1986).
A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Structure of quasivariety lattices. I. Independent axiomatizability,” Algebra and Logic, 57, No. 6, 445–462 (2018).
A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Structure of quasivariety lattices. II. Undecidable problems,” Algebra and Logic, 58, No. 2, 123–136 (2019).
A. V. Kravchenko, A. M. Nurakunov, and M. V. Schwidefsky, “Structure of quasivariety lattices. III. Finitely partitionable bases,” Algebra and Logic, 59, No. 3, 222–229 (2020).
M. V. Schwidefsky, “On sufficient conditions for Q-universality,” Sib. El. Mat. Izv., 17, 1043-1051 (2020); http://semr.math.nsc.ru/v17/p1043-1051.pdf.
M. E. Adams and W. Dziobiak, “Q-universal quasivarieties of algebras,” Proc. Am. Math. Soc., 120, No. 4, 1053-1059 (1994).
M. Sapir, “The lattice of quasivarieties of semigroups,” Alg. Univ., 21, Nos. 2/3, 172-180 (1985).
S. A. Shakhova, “On the lattice of quasivarieties of nilpotent groups of class 2,” Sib. Adv. Math., 7, No. 3, 98-125 (1997).
S. A. Shakhova, “On the quasivariety generated by a finite p-group,” Mat. Zametki, 53, No. 3, 144-148 (1993).
S. A. Shakhova, “On a cardinality of the lattice of quasivarieties of nilpotent groups,” Algebra and Logic, 38, No. 3, 202-206 (1999).
A. I. Budkin, “Quasivarieties of nilpotent groups of axiomatic rank 4,” Sib. El. Mat. Izv., 17, 2131-2141 (2020); http://semr.math.nsc.ru/v17/p2131-2141.pdf.
A. I. Mal’tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
A. I. Budkin and V. A. Gorbunov, “Quasivarieties of algebraic systems,” Algebra and Logic, 14, No. 2, 73-84 (1975).
M. I. Kargapolov and Yu. I. Merzlyakov, Fundamentals of Group Theory [in Russian], Nauka, Moscow (1982).
A. I. Budkin, Quasivarieties of Groups [in Russian], Altai State Univ., Barnaul (2002).
V. A. Gorbunov, Algebraic Theory of Quasivarieties, Sib. School Alg. Log. [in Russian], Nauch. Kniga, Novosibirsk (1999).
A. I. Budkin, “A lattice of quasivarieties of nilpotent groups,” Algebra and Logic, 33, No. 1, 14-21 (1994).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 60, No. 2, pp. 123-136,March-April, 2021. Russian https://doi.org/10.33048/alglog.2021.60.201.
Rights and permissions
About this article
Cite this article
Budkin, A.I. Independent Axiomatizability of Quasivarieties of Torsion-Free Nilpotent Groups. Algebra Logic 60, 79–88 (2021). https://doi.org/10.1007/s10469-021-09630-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-021-09630-2