Discriminating completions of hyperbolic groups
algebraic geometry over groupscompletionsdiscriminationgroup actionshyperbolic groupsunitary Abelian groups
Extensions, wreath products, and other compositions of groups (20E22) General structure theorems for groups (20E34) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Hyperbolic groups and nonpositively curved groups (20F67) Extensions of abelian groups (20K35)
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\).
- scientific article; zbMATH DE number 1740293
- Local units and circular index in abelian \(p\)-group rings
- On the extraction of roots in exponential A-groups.
- EXPONENTIAL GROUPS 2: EXTENSIONS OF CENTRALIZERS AND TENSOR COMPLETION OF CSA-GROUPS
- Free Abelian X-groups
- On classes of exponential A-groups.
- scientific article; zbMATH DE number 3465385
- TENSOR COMPLETION FOR A CERTAIN CLASS OF GROUPS
- scientific article; zbMATH DE number 923718
- scientific article; zbMATH DE number 167358
- Algebraic geometry over groups. I: Algebraic sets and ideal theory
- The tensor completion functor in categories of exponential \textit{MR}-groups
- Free nilpotent \(R\)-groups of class 2.
- Limit groups as limits of free groups.
- Power groups.
- Varieties of exponential \textit{MR}-groups
- Exponential \(MR\)-groups: faithful \(R\)-completion
- Limits of relatively hyperbolic groups and Lyndon's completions.
- Irreducibility of an affine space in algebraic geometry over a group.
- Limit groups over coherent right-angled Artin groups
- Classes of groups generalizing a theorem of Benjamin Baumslag.
- On systems of equations over free partially commutative groups.
- Solving one-variable equations in free groups
- Tensor completion in the category of R-groups over a ring R.
- Pregroups and the big powers condition.
- ACTIONS, LENGTH FUNCTIONS, AND NON-ARCHIMEDEAN WORDS
- Category of \(\mathrm{MR} \)-groups over a ring \(\mathrm{R}\)
- Fundamentals of the theory of varieties of nilpotent MR-groups
- Exponential extensions of groups
- Knapsack problems in groups
- On nilpotent power \textit{MR}-groups
- Varieties of exponential R-groups
- Strongly convergent unitary representations of limit groups
- Algorithmic problems in tensor completions of 2-nilpotent finitely generated torsion-free groups
- Algebraic structure of tensor completions of 2-nilpotent torsion-free groups
This page was built for publication: Discriminating completions of hyperbolic groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q698123)
