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

DOI10.1007/S00208-004-0570-XzbMATH Open1080.20029arXivmath/0210307OpenAlexW2036813339MaRDI QIDQ707441FDOQ707441

Paul E. Schupp, Ilya Kapovich

Publication date: 9 February 2005

Published in: Mathematische Annalen (Search for Journal in Brave)

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.

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)

Cites Work

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

Cited In (27)

• A list of applications of Stallings automata
• Density of random subsets and applications to group theory
• Conformal dimension and random groups.
• Random systems of equations in free abelian groups.
• Random equations in nilpotent groups.
• Stallings graphs for quasi-convex subgroups
• On group-theoretic models of randomness and genericity.
• On mathematical contributions of Paul E. Schupp
• The subadditive ergodic theorem and generic stretching factors for free group automorphisms.
• Short, Highly Imprimitive Words Yield Hyperbolic One-Relator Groups
• Scott sentences for certain groups
• Average-case complexity and decision problems in group theory.
• Exponentially generic subsets of groups
• GENERICITY OF FILLING ELEMENTS
• Følner functions and the generic word problem for finitely generated amenable groups
• Counting problems in graph products and relatively hyperbolic groups
• On the Generalized Membership Problem in Relatively Hyperbolic Groups
• Primitivity rank for random elements in free groups
• ASYMPTOTIC DENSITY AND COMPUTABLY ENUMERABLE SETS
• Random equations in free groups.
• Random quotients of the modular group are rigid and essentially incompressible
• Nielsen equivalence in a class of random groups
• Partial word and equality problems and Banach densities
• Presentations of Groups Involving More Generators than are Necessary
• Rips-Segev torsion-free groups without the unique product property
• POWER CIRCUITS, EXPONENTIAL ALGEBRA, AND TIME COMPLEXITY
• Sublinear time algorithms in the theory of groups and semigroups.

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)