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

DOI10.1515/9781400881789zbMath0277.20054OpenAlexW1556167844MaRDI QIDQ4402143

Charles F. III Miller

Publication date: 1971

Full work available at URL: https://doi.org/10.1515/9781400881789

Mathematics Subject Classification ID

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

Related Items (72)

Computing presentations for subgroups of polycyclic groups and of context-free groups ⋮ Some One-Relator Hopfian Groups ⋮ Conjugacy languages in groups ⋮ Amenability of Schreier graphs and strongly generic algorithms for the conjugacy problem ⋮ On Finite Presentations for Groups ⋮ The conjugacy problem in free solvable groups and wreath products of abelian groups is in \({\mathsf {TC}^0}\) ⋮ On the conjugacy problem in the group \(F/N_1\cap N_2\). ⋮ Twisted conjugacy in Houghton's groups ⋮ On the conjugacy separability of certain graphs of groups ⋮ The Conjugacy Problem for Graph Products with Central Cyclic Edge Groups ⋮ The Conjugacy Problem for Finite Graph Products ⋮ On the multiple conjugacy problem in group \(F/N_1 \cap N_2\) ⋮ Amalgamated products of groups: measures of random normal forms. ⋮ INITIAL SEGMENTS OF THE DEGREES OF CEERS ⋮ The theory of ceers computes true arithmetic ⋮ The word problem for small cancellation quotients of groups acting on trees ⋮ Right-angled Artin groups and a generalized isomorphism problem for finitely generated subgroups of mapping class groups ⋮ \(\mathcal C\)-graph automatic groups. ⋮ Algorithms and topology of Cayley graphs for groups. ⋮ Word problems and ceers ⋮ Generic-case complexity, decision problems in group theory, and random walks. ⋮ ON THE RECOGNITION OF RIGHT-ANGLED ARTIN GROUPS ⋮ Binary subgroups of direct products ⋮ The Conjugacy Problem for Graph Products with Cyclic Edge Groups ⋮ Non-Abelian key agreement protocols ⋮ The solvability of the conjugacy problem for certain HNN groups ⋮ Decision problems and profinite completions of groups. ⋮ Complete positive group presentations. ⋮ A Survey on Universal Computably Enumerable Equivalence Relations ⋮ An algebraic characterization of groups with soluble word problem ⋮ A logspace solution to the word and conjugacy problem of generalized Baumslag-Solitar groups ⋮ Infinite groups ⋮ Covers of abelian varieties as analytic Zariski structures ⋮ Bounded HNN presentations ⋮ Twisted conjugacy in braid groups. ⋮ Orbit decidability and the conjugacy problem for some extensions of groups ⋮ Automatic groups and amalgams ⋮ Multipass automata and group word problems ⋮ The conjugacy problem and cyclic amalgamations ⋮ The Conjugacy Problem for Graph Products with Infinite Cyclic Edge Groups ⋮ Friedberg splittings of recursively enumerable sets ⋮ The constructive membership problem for discrete two-generator subgroups of \(\operatorname{SL}_2(\mathbb{R})\) ⋮ A note on doubles of groups ⋮ The Free Product of Residually Finite Groups Amalgamated Along Retracts is Residually Finite ⋮ The isomorphism problem for all hyperbolic groups. ⋮ Some Undecidable Problems in Group Theory ⋮ The conjugacy problem for free products of sixth-groups with cyclic amalgamation ⋮ On the residual finiteness and other properties of (relative) one-relator groups ⋮ Unrecognizability of manifolds ⋮ The conjugacy problem for groups, and Higman embeddings ⋮ Malnormality is undecidable in hyperbolic groups ⋮ The solvability of the conjugacy problem for certain free products with amalgamation ⋮ Base-undecidable properties of universal varieties ⋮ A recursive presentation for Mihailova's subgroup. ⋮ 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 ⋮ Conjugacy in Baumslag's group, generic case complexity, and division in power circuits ⋮ Recursively enumerable sets and degrees ⋮ Ascending HNN extensions of polycyclic groups are residually finite. ⋮ The conjugacy problem in free solvable groups and wreath products of abelian groups is in \(\mathsf{TC}^0\) ⋮ Logspace computations in graph products ⋮ Involutary presentations, with applications to Coxeter groups, NEC- groups, and groups of Kanevskiĭ ⋮ On the integral homology of finitely-presented groups ⋮ The isomorphism problem for toral relatively hyperbolic groups. ⋮ Conjugate Powers in HNN Groups ⋮ Model-theoretic and algorithmic questions in group theory ⋮ Algorithmically insoluble problems about finitely presented solvable groups, Lie and associative algebras. II ⋮ Magnus embedding and algorithmic properties of groups 𝐹/𝑁^{(𝑑)} ⋮ Asymptotic invariants, complexity of groups and related problems ⋮ The Grushko decomposition of a finite graph of finite rank free groups: an algorithm. ⋮ The constructive membership problem for discrete free subgroups of rank 2 of ⋮ Pseudo-natural algorithms for the word problem for finitely presented monoids and groups

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