Section 1 gives a brief review of known results on embeddings of solvable, nilpotent, and polycyclic groups in 2-generated groups from these classes, including the description of the author’s recently obtained solution to the Mikaelian–Ol’schanskii problem on embeddings of finitely generated solvable groups of derived length l in solvable groups of derived length l + 1 with a fixed small number of generators.
Section 2 contains a somewhat more extensive review of known results on the rational subset membership problem for groups, including the presentation of the author’s recently obtained solution to the Laurie–Steinberg–Kambites–Silva–Zetsche problem of whether the membership problem is decidable for finitely generated submonoids of free nilpotent groups.
References
A. Cayley, “On the theory of groups, as depending on the symbolic equation θn = 1,” London, Edinburgh, Dublin Philos. Mag. J. Sci., 7, No. 42, 40-47 (1854).
W. Burnside, Theory of Groups of Finite Order, Cambridge Univ. Press, Cambridge (1897).
G. Higman, B. H. Neumann, and H. Neumann, “Embedding theorems for groups,” J. London Math. Soc., 24, No. 4, 247-254 (1950).
B. H. Neumann and H. Neumann, “Embedding theorems for groups,” J. London Math. Soc., 34, 465-479 (1959).
P. Hall, “On the finiteness of certain soluble groups,” Proc. London Math. Soc., III. Ser., 9, 595-622 (1959).
P. Hall, “Nilpotent groups,” Notes of lectures given at the Canadian Math. Congr. Summer Seminar, Univ. Alberta (12–30 August, 1957), Queen Mary College Math. Notes, Queen Mary College (Univ. London), London (1969).
V. A. Roman’kov, Essays in Group Theory and Cryptology: Solvable Groups [in Russian], Dostoevsky Omsk State Univ., Omsk (2017).
V. A. Roman’kov, “Embedding theorems for nilpotent groups,” Sib. Math. J., 13, No. 4, 597-603 (1972).
V. A. Roman’kov, “An embedding theorem for polycyclic groups,” Mat. Zametki, 14, No. 5, 741-744 (1973).
G. A. Noskov, V. N. Remeslennikov, and V. A. Roman’kov, “Infinite groups,” Itogi Nauki Tekh. Alg., Geom., Topol., 17, 65-157 (1979).
V. H. Mikaelian and A. Y. Olshanskii, “On abelian subgroups of finitely generated metabelian groups,” J. Group Theory, 16, No. 5, 695-705 (2013).
Unsolved Problems in Group Theory, The Kourovka Notebook, No. 19, Institute of Mathematics SO RAN, Novosibirsk (2018); http://www.math.nsc.ru/∼alglog/19tkt.pdf.
R. H. Gilman, “Formal languages and infinite groups,” in DIMACS, Ser. Discr. Math. Theor. Comp. Sci., 25, Am. Math. Soc., Providence, RI (1996), pp. 27-51.
V. A. Roman’kov, Rational Subsets in Groups [in Russian], Omsk Univ., Omsk (2014).
M. Lohrey, “The rational subset membership problem for groups: A survey,” London Math. Soc. Lect. Note Ser., 422, Cambridge Univ. Press, Cambridge, 368-389 (2015).
M. Lohrey, B. Steinberg, and G. Zetsche, “Rational subsets in groups,” Vanderbild Univ. Sem., 14 June 2013; https://math.vanderbilt.edu/sapirmv/stuart/lohrey.pdf.
B. Steinberg, “The submonoid membership problem for groups,” City College of New York Sem. (New York, 22 June 2013).
V. A. Roman’kov, “On the occurrence problem for rational subsets of a group,” in Combinatorial and Computational Methods in Mathematics [in Russian], V. A. Roman’kov (Ed.), Omsk Univ., Omsk (1999), pp. 235-242.
M. Benois, “Parties rationnelles du groupe libre,” C. R. Acad. Sci. Paris, Sér. A, 269, 1188-1190 (1969).
S. Eilenberg and M. P. Schützenberger, “Rational sets in commutative monoids,” J. Alg., 13, 173-191 (1969).
Z. Grunschlag, “Algorithms in geometric group theory,” PhD Thesis, Univ. California, Berkley (1999).
M. Yu. Nedbai, “The rational subset membership problem for finitely generated Abelian groups,” Vestnik Omsk Univ., No. 3, 37-41 (1999).
M. Cadilhac, D. Chistikov, and G. Zetzsche, “Rational subsets of Baumslag–Solitar groups,” in 47th Int. Colloq. Automata, Lang. Program. ICALP 2020 (July 8-11, 2020, Saarbrücken, Germany (Virtual conf.)), LIPIcs, 168; https://drops.dagstuhl.de/opus/volltexte/2020/12523/pdf/LIPIcs-ICALP-2020-116.pdf.
M. Kambites, P. V. Silva, and B. Steinberg, “On the rational subset problem for groups,” J. Alg., 309, No. 2, 622-639 (2007).
K. A. Mikhailova, “Occurrence problem for direct products of groups,” Dokl. Akad. Nauk SSSR, 119, No. 6, 1103-1105 (1958).
E. Rips, “Subgroups of small cancellation groups,” Bull. London Math. Soc., 14, No. 1, 45-47 (1982).
I. Kapovich, R. Weidmann, and A. Myasnikov, “Foldings, graphs of groups and the membership problem,” Int. J. Algebra Comput., 15, No. 1, 95-128 (2005).
M. Lohrey and B. Steinberg, “The submonoid and rational subset membership problems for graph groups,” J. Alg., 320, No. 2, 728-755 (2008).
M. Lohrey, B. Steinberg, and G. Zetzsche, “Rational subsets and submonoids of wreath products,” Inf. Comput., 243, 191-204 (2015).
V. A. Roman’kov, “Rationality of verbal subsets in solvable groups,” Algebra and Logic, 57, No. 1, 39-48 (2018).
M. Lohrey and B. Steinberg, “Tilings and submonoids of metabelian groups,” Theory Comput. Syst., 48, No. 2, 411-427 (2011).
M. Lohrey, “Rational subsets of unitriangular groups,” Int. J. Algebra Comput., 25, Nos. 1/2, 113-121 (2015).
A. Myasnikov and V. Roman’kov, “On rationality of verbal subsets in a group,” Theory Comput. Syst., 52, No. 4, 587-598 (2013).
V. Roman’kov, “Polycyclic, metabelian or soluble of type (FP)∞ groups with Boolean algebra of rational sets and biautomatic soluble groups are virtually abelian,” Glasg. Math. J., 60, No. 1, 209-218 (2018).
S. W. Margolis, J. Meakin, and Z. Šuniḱ, “Distortion functions and the membership problem for submonoids of groups and monoids,” in Contemp. Math., 372, Am. Math. Soc., Providence, RI (2005), pp. 109-129.
F. Bassino, I. Kapovich, M. Lohrey, A. Miasnikov, C. Nicaud, A. Nikolaev, I. Rivin, V. Shpilrain, A. Ushakov, and P. Weil, Complexity and Randomness in Group Theory: GAGTA Book 1, De Gruyter, Berlin (2020).
Yu. V. Matiyasevich, “Diophantine representation of enumerable predicates,” Izv. Akad. Nauk SSSR, Ser. Mat., 35, No. 1, 3-30 (1971).
Yu. V. Matiyasevich, “Some purely mathematical results inspired by mathematical logic,” in Logic, Found. Math., Comput. Theory; Proc. 5th Int. Congress (London/Ontario 1975), Part 1 (1977), pp. 121-127.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 59, No. 6, pp. 719-733, November-December, 2020. Russian DOI: https://doi.org/10.33048/alglog.2020.59.606.
Supported by Russian Science Foundation, project No. 19-71-10017.
Rights and permissions
About this article
Cite this article
Roman’kov, V.A. Two Problems for Solvable and Nilpotent Groups. Algebra Logic 59, 483–492 (2021). https://doi.org/10.1007/s10469-021-09617-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-021-09617-z