Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups. (Q707441): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 01:01, 5 March 2024

scientific article
Language Label Description Also known as
English
Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups.
scientific article

    Statements

    Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups. (English)
    0 references
    0 references
    0 references
    9 February 2005
    0 references
    A property \(P\) of \(m\)-generator and \(n\)-relator groups is generic if a randomly chosen such group has the property \(P\). In this paper the authors introduce Arzhantseva-Ol'shanskii's definition of genericity (it differs from the definition by Gromov), and present two definitions: (i) a tuple of nontrivial cyclically reduced words \((r_1,\dots,r_n)\) in \(F(A)\) satisfying the \((\lambda,\mu,m)\)-condition and (ii) the class \(P(\lambda,\mu,m,n)\) of finite group presentations on \(m\) generators with \(n\) defining relators as the collection of all presentations of the form \(\langle a_1,\dots,a_m\mid r_1,\dots, r_n\rangle\), where the \(n\)-tuple \((r_1,\dots, r_n)\) satisfies the \((\lambda,\mu,m)\)-condition. The main results of the paper state: (1) Let \(m\geq 2\) and \(n\geq 1\) be integers, \(F(A)= F(a_1,\dots,a_m)\) and let \(0<\mu<1\) and \(\lambda>0\) be real numbers such that \(\lambda\leq\mu/15m+3\mu<1/6\). Suppose that \(G\) is a group defined by a presentation \(G=\langle a_1,\dots,a_m\mid r_1,\dots,r_n\rangle\) which belongs to the class \(P(\lambda,\mu,m,n)\). Then \(G\) is torsion-free one-ended word hyperbolic and every \((m-1)\)-generated subgroup of \(G\) is free. Moreover, any \(m\)-tuple generating a non-free subgroup of \(G\) is Nielsen-equivalent to the tuple \((a_1,\dots,a_n)\) in \(G\), and \(G\) is co-Hopfian. (2) For an \(m\)-generator one-relator group \(G=\langle a_1,\dots,a_m\mid r\rangle\) with the \(m\)-Nielsen uniqueness property and for any other \(m\)-generator one-relator group \(H= \langle a_1,\dots,a_m\mid s\rangle\), the groups \(G\) and \(H\) are isomorphic if and only if there is an automorphism of \(F(\langle a_1,\dots,a_m\rangle)\) taking \(s\) to either \(r\) or \(r^{-1}\). So the paper describes the isomorphism problem is solvable in at most exponential time for a class of one-relator groups which is exponentially generic in the sense of Ol'shanskii. It is very interesting and recommendable to read it for many geometric group theorists who are interested in isomorphism problems in group theory.
    0 references
    0 references
    cyclically reduced words
    0 references
    finitely presented groups
    0 references
    presentations
    0 references
    word hyperbolic groups
    0 references
    co-Hopfian groups
    0 references
    one-relator groups
    0 references
    isomorphism problem
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references