Discriminating completions of hyperbolic groups (Q698123)

Let \(A\) be an additively written Abelian group. The authors of the paper under review call a group \(G\) an \(A\)-group if it comes equipped with an action of \(A\) on \(G\) which mimics the way in which \(\mathbb{Z}\) acts on any group. More precisely, they call \(A\) unitary if it comes equipped with a distinguished nonzero element, which denoted by 1. A typical example of a unitary Abelian group is the additive group \(A^+\) of a unitary ring \(A\) with the ring identity as the distinguished element. A group \(H\) is termed an \(A\)-group if it comes equipped with a function \(H\times A\to H\): \((h,\alpha)\mapsto h^\alpha\) satisfying the following conditions for arbitrary \(g,h\in H\) and \(\alpha,\beta\in A\): \[ h^1=h,\quad h^{\alpha+\beta}=h^\alpha h^\beta,\quad g^{-1}h^\alpha g=(g^{-1}hg)^\alpha, \] and if \(g\) and \(h\) commute, \((gh)^\alpha=g^\alpha h^\alpha\). In the event that \(A\) is a unitary ring it is also assumed that \(h^{\alpha\beta}=(h^\alpha)^\beta\). The most well-known, nontrivial, examples of \(A\)-groups are those in which \(A\) is a binomial ring [\textit{P. Hall}, Nilpotent groups. Queen Mary College Mathematics Notes. London: Queen Mary College (1969; Zbl 0211.34201)], the field \(\mathbb{Q}\) of rational numbers [\textit{G. Baumslag}, Acta Math. 104, 217-303 (1960; Zbl 0178.34901)] and the ring \(\mathbb{Z}[x]\) of integral polynomials in a single variable \(x\), introduced by \textit{R. C. Lyndon} [in Trans. Am. Math. Soc. 96, 518-533 (1960; Zbl 0108.02501)]. A detailed investigation of \(A\)-groups when \(A\) is a unitary ring has recently been carried out by \textit{A. G. Myasnikov} and \textit{V. N. Remeslennikov} [in Sib. Mat. Zh. 35, No. 5, 1106-1118 (1994; Zbl 0851.20050)]. They termed such groups `exponential groups' and in the paper under review their terminology has been expanded to include the case of unitary Abelian groups. For every such group \(G\) and \(A\) there exists an \(A\)-exponential group \(G^A\) which is the \(A\)-completion of \(G\). We refer to the paper to see the definitions and results, since there are much more things in the paper than to reproduce here, the reviewer only states the following result which is indicated in the abstract of the paper: if \(G\) is a torsion-free hyperbolic group and if \(A\) is a torsion-free Abelian group, then the Lyndon type completion \(G^A\) of \(G\) is \(G\)-discriminated by \(G\). This implies various model-theoretic and algorithmic results about \(G^A\).