Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups.

DOI10.1007/S00208-004-0570-XMaRDI QIDQ707441zbMATH OpenOpenAlexFDO

Authors Ilya Kapovich, Paul E. Schupp

Publication date 9 February 2005

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0210307

zbMATH Keywords

one-relator groupsisomorphism problemword hyperbolic groupspresentationsfinitely presented groupsco-Hopfian groupscyclically reduced words

Mathematics Subject Classification ID

Generators, relations, and presentations of groups (20F05) Hyperbolic groups and nonpositively curved groups (20F67) Subgroup theorems; subgroup growth (20E07) Cancellation theory of groups; application of van Kampen diagrams (20F06) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Abstract: We apply the method of Arzhantseva-Ol'shanskii to prove that for an exponentially generic (in the sense of Ol'shanskii) class of one-relator groups the isomorphism problem is solvable in at most exponential time. This is obtained as a corollary of our more general result that for any fixed integers $m>1,n>0$ there is an exponentially generic class of $m$-generator $n$-relator groups where every group has only one Nielsen equivalence class of $m$-tuples generating non-free subgroups. This means that a group $G$ in this class has has only one non-free $m$-generated subgroup, namely $G$ itself. Hence for any homomorphism for an $m$-generated group to $G$ the image of this homomorphism is either free or is equal to $G$. Applied to injective homomorphisms from $G$ to itself this implies that $G$ is co-Hopfian. Moreover, every automorphism of $G$ is "freely induced", that is, it lifts to an automorphism of the free group $F_m$. All of these results are obtained by folding methods without using the theory of JSJ-decomposition or the R-tree techniques deployed by Zlil Sela in his famous solution of the isomorphism problem for torsion-free word-hyperbolic groups.

Recommendations

• Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups.
• The isomorphism problem for hyperbolic groups. I
• The isomorphism problem for all hyperbolic groups.
• scientific article; zbMATH DE number 3989630
• The isomorphism problem for a class of para-free groups

Cites work

• scientific article; zbMATH DE number 3828149 (Why is no real title available?)
• scientific article; zbMATH DE number 988684 (Why is no real title available?)
• scientific article; zbMATH DE number 53661 (Why is no real title available?)
• scientific article; zbMATH DE number 3574107 (Why is no real title available?)
• scientific article; zbMATH DE number 1245574 (Why is no real title available?)
• scientific article; zbMATH DE number 1320672 (Why is no real title available?)
• scientific article; zbMATH DE number 849255 (Why is no real title available?)
• scientific article; zbMATH DE number 1421031 (Why is no real title available?)
• A group with an infinite number of Nielsen inequivalent one-relator presentations
• A property of subgroups of infinite index in a free group
• A small simplification in hyperbolic groups
• ALMOST EVERY GROUP IS HYPERBOLIC
• An asymptotic Freiheitssatz for finitely generated groups
• Average-case complexity and decision problems in group theory.
• Bounded rank subgroups of Coxeter groups, Artin groups and one-relator groups with torsion
• Coherence, local quasiconvexity, and the perimeter of 2-complexes.
• Coxeter groups, 2-completion, perimeter reduction and subgroup separability.
• Critical densities for random quotients of hyperbolic groups.
• Dynamic theory of growth in groups: Entropy, boundaries, examples
• Elements of finite order in groups with a single defining relation
• FREELY INDECOMPOSABLE GROUPS ACTING ON HYPERBOLIC SPACES
• Generic properties of finitely presented groups and howson's theorem
• Generic-case complexity, decision problems in group theory, and random walks.
• Injectivity radius and fundamental groups of hyperbolic 3-manifolds
• Nielsen methods and groups acting on hyperbolic spaces
• ON SMALL CANCELLATION k-GENERATED GROUPS WITH (k-1)-GENERATED SUBGROUPS ALL FREE
• On equivalent sets of elements in a free group
• On free products with amalgamation of two infinite cyclic groups
• On quasiconvex subgroups of word hyperbolic groups
• On spectra of simple random walks on one-relator groups. With an appendix by Paul Jolissaint
• On the Hopficity and Related Properties of Small Cancellation Groups
• On the failure of the co-Hopf property for subgroups of word-hyperbolic groups
• On the hyperbolicity of small cancellation groups and one-relator groups
• Presentations of the amalgamated free product of two infinite cycles
• Random walk in random groups.
• Small cancellation conditions satisfied by one-relator groups
• Stallings foldings and subgroups of free groups
• Statistical properties of finitely presented groups
• Sur les groupes hyperboliques d'après Mikhael Gromov. (On the hyperbolic groups à la M. Gromov)
• The Isomorphism Problem for Two-Generator One-Relator Groups with Torsion is Solvable
• The Two-Generator Subgroups of One-Relator Groups with Torsion
• The isomorphism problem for cyclically pinched one-relator groups
• The isomorphism problem for hyperbolic groups. I
• The residual finiteness of negatively curved polygons of finite groups.
• The space of finitely generated groups
• Topology of finite graphs
• Über freie Faktorgruppen und freie Untergruppen gegebener Gruppen

Cited in

(29)

• Stallings graphs for quasi-convex subgroups
• Sublinear time algorithms in the theory of groups and semigroups.
• Average-case complexity and decision problems in group theory.
• Short, Highly Imprimitive Words Yield Hyperbolic One-Relator Groups
• Exponentially generic subsets of groups
• Nielsen equivalence in a class of random groups
• Scott sentences for certain groups
• Presentations of Groups Involving More Generators than are Necessary
• Partial word and equality problems and Banach densities
• Random systems of equations in free abelian groups.
• Random quotients of the modular group are rigid and essentially incompressible
• A list of applications of Stallings automata
• Genericity of filling elements.
• Counting problems in graph products and relatively hyperbolic groups
• Rips-Segev torsion-free groups without the unique product property
• Random equations in nilpotent groups.
• On the Generalized Membership Problem in Relatively Hyperbolic Groups
• Power circuits, exponential algebra, and time complexity
• Generic properties of Whitehead's algorithm and isomorphism rigidity of random one-relator groups.
• On mathematical contributions of Paul E. Schupp
• ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
• Random equations in free groups.
• Density of random subsets and applications to group theory
• Følner functions and the generic word problem for finitely generated amenable groups
• Delzant's \(T\)-invariant, Kolmogorov complexity and one-relator groups.
• On group-theoretic models of randomness and genericity.
• The subadditive ergodic theorem and generic stretching factors for free group automorphisms.
• Primitivity rank for random elements in free groups
• Conformal dimension and random groups.

This page was built for publication: Genericity, the Arzhantseva-Ol'shanskii method and the isomorphism problem for one-relator groups.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q707441)