On Group-Theoretic Decision Problems and Their Classification. (AM-68)

Research exposition (monographs, survey articles) pertaining to group theory (20-02) Free products of groups, free products with amalgamation, Higman-Neumann-Neumann extensions, and generalizations (20E06) Extensions, wreath products, and other compositions of groups (20E22) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited in

(80)

The isomorphism problem for toral relatively hyperbolic groups.
Model-theoretic and algorithmic questions in group theory
Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II
Pseudo-natural algorithms for the word problem for finitely presented monoids and groups
Infinite groups
Bounded HNN presentations
Automatic groups and amalgams
The conjugacy problem for free products of sixth-groups with cyclic amalgamation
The solvability of the conjugacy problem for certain free products with amalgamation
Base-undecidable properties of universal varieties
Computing presentations for subgroups of polycyclic groups and of context-free groups
On the conjugacy separability of certain graphs of groups
Generic-case complexity, decision problems in group theory, and random walks.
Non-Abelian key agreement protocols
Complete positive group presentations.
Ascending HNN extensions of polycyclic groups are residually finite.
Involutary presentations, with applications to Coxeter groups, NEC- groups, and groups of Kanevskiĭ
Amalgamated products of groups: measures of random normal forms.
Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups
Groups with decidable word problem that do not embed in groups with decidable conjugacy problem
Symmetric and asymmetric cryptographic key exchange protocols in the octonion algebra
The theory of ceers computes true arithmetic
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\)
The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\)
Twisted conjugacy in Houghton's groups
Decision problems and profinite completions of groups.
Unrecognizability of manifolds
On the multiple conjugacy problem in group \(F/N_1 \cap N_2\)
Conjugacy languages in groups
The constructive membership problem for discrete free subgroups of rank 2 of \(\mathrm{SL}_2(\mathbb R)\).
A survey on universal computably enumerable equivalence relations
A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups
Asymptotic invariants, complexity of groups and related problems.
Orbit decidability and the conjugacy problem for some extensions of groups.
On the conjugacy problem in the group F/N₁ N₂.
On Finite Presentations for Groups
On the integral homology of finitely-presented groups
The Conjugacy Problem for Graph Products with Cyclic Edge Groups
The Conjugacy Problem for Graph Products with Infinite Cyclic Edge Groups
The word problem for small cancellation quotients of groups acting on trees
C-graph automatic groups.
Algorithms and topology of Cayley graphs for groups.
The solvability of the conjugacy problem for certain HNN groups
An algebraic characterization of groups with soluble word problem
The conjugacy problem and cyclic amalgamations
Conjugate Powers in HNN Groups
Some One-Relator Hopfian Groups
Recursively enumerable sets and degrees
The Conjugacy Problem for Finite Graph Products
Covers of abelian varieties as analytic Zariski structures
Twisted conjugacy in braid groups.
The conjugacy problem for groups, and Higman embeddings
The Conjugacy Problem for Graph Products with Central Cyclic Edge Groups
Multipass automata and group word problems
Initial segments of the degrees of ceers
ON THE RECOGNITION OF RIGHT-ANGLED ARTIN GROUPS
The constructive membership problem for discrete two-generator subgroups of \(\operatorname{SL}_2(\mathbb{R})\)
Magnus embedding and algorithmic properties of groups \(F/N^{(d)}\)
The isomorphism problem for all hyperbolic groups.
On the residual finiteness and other properties of (relative) one-relator groups
The Free Product of Residually Finite Groups Amalgamated Along Retracts is Residually Finite
Some Undecidable Problems in Group Theory
Logspace computations in graph products
A note on doubles of groups
Malnormality is undecidable in hyperbolic groups
Word problems and ceers
Binary subgroups of direct products
A simple undecidable problem for free groups
Endomorphisms of mapping tori
Bounded cohomology of finitely presented groups: vanishing, non-vanishing, and computability
Conjugacy in Miller's groups
Friedberg splittings of recursively enumerable sets
Fundamental n-quandles of links are residually finite
Undecidability of the stabilizer and zero-in-the-corner problems for matrix groups
Two results on complexities of decision problems of groups
A branch group with unsolvable conjugacy problem
On finitely generated normal subgroups of right-angled Artin groups and graph products of groups
On the conjugacy problem for subdirect products of hyperbolic groups
The Grushko decomposition of a finite graph of finite rank free groups: an algorithm.
A recursive presentation for Mihailova's subgroup.

This page was built for publication: On Group-Theoretic Decision Problems and Their Classification. (AM-68)

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