Geodesic
Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 387-403

Voir la notice de l'article provenant de la source Math-Net.Ru

Over the past 20–25 years, a fruitful connection has emerged between group theory and computer science. Significant attention began to be paid to the algorithmic problems of group theory in view of their open applications. In addition to the traditional questions of solvability, the questions of complexity and effective solvability began to be studied. This paper provides a brief overview of this area. Attention is drawn to algorithmic problems related to rational subsets of groups which are a natural generalization of regular sets. The submonoid membership problem for free nilpotent groups, which has attracted the attention of a number of researchers in recent years, is considered. It is shown how the apparatus of subsets of positive elements makes it possible to obtain sufficient conditions for the solvability of this problem in the case of nilpotency class two. Note that the author announced a negative solution to this problem for a free nilpotent group of nilpotency class at least two of sufficiently large rank (the full proof is in print). This gives an answer to the well-known question of Lohrey-Steinberg about the existence of a finitely generated nilpotent group with an unsolvable submonoid membership problem. In view of this result, finding sufficient conditions for the solvability of this problem for nilpotent groups of class two is an urgent problem.
Keywords: nilpotent group, submonoid membership problem, rational set, positive elements, solvability. 
@article{SEMR_2022_19_1_a15,
     author = {V. A. Roman'kov},
     title = {Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {387--403},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a15/}
}
TY  - JOUR
AU  - V. A. Roman'kov
TI  - Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2022
SP  - 387
EP  - 403
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a15/
LA  - en
ID  - SEMR_2022_19_1_a15
ER  - 
%0 Journal Article
%A V. A. Roman'kov
%T Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2022
%P 387-403
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a15/
%G en
%F SEMR_2022_19_1_a15
V. A. Roman'kov. Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 387-403. http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a15/