Gröbner-Shirshov basis of the Adyan extension of the Novikov group. (Q947815)

This significant paper starts by depicting the importance of Adyan's original group construction which was given in the fundamental paper [Tr. Mosk. Mat. Obshch. 6, 231-298 (1957; Zbl 0080.24101)] written by \textit{S. I. Adyan}. In there it was basically said that ``if \(\mathcal P\) is a Markov property of finitely presented groups, then \(\mathcal P\) is not recursively solvable, i.e. there is no algorithm to decide whether a given finitely presented group has a Markov property''. In fact, as the authors note here, since Novikov groups are contained in the Adyan groups, the main aim of this paper is to simplify Adyan's construction by considering Novikov groups. In detail, the authors state and prove that, for a group \(G\) with four \textit{independent} elements (free generators of a free subgroup in \(G\)) \(g_i\) (\(i=1,2,3,4\)), the (two-relation) Adyan extension of \(G\), shortly \(A(G,g_1,g_2,g_3,g_4)\), contains \(G\) as a subgroup. Since Adyan's construction has the same form as \(A(G,g_1,g_2,g_3,g_4)\) for independent elements \(g_1,g_2,g_3,g_4\), the main result of Adyan's paper [loc. cit.] can be obtained easily from the main result of this paper. The methodology of the proof of the main result is based on Gröbner-Shirshov bases. At this point, I should note that there are some important papers about using and obtaining Gröbner-Shirshov bases written by \textit{Y. Chen} and \textit{J. Qiu} [J. Algebra Appl. 7, No. 5, 623-628 (2008; Zbl 1165.16013)] and \textit{Y. Chen} and \textit{C. Zhong} [Commun. Algebra 36, No. 1, 94-103 (2008; Zbl 1206.20028)] that are not listed in the references in this paper.