Model-theoretic and algorithmic questions in group theory

DOI10.1007/BF02106805zbMath0573.20031MaRDI QIDQ1063112

Vitaliĭ Roman'kov, Vladimir N. Remeslennikov

Publication date: 1985

Published in: Journal of Soviet Mathematics (Search for Journal in Brave)

zbMATH Keywords

word problemsolvable groupsconjugacy problemimbedding theoremsalgorithmic problemselementary propertiesmodel-theoretic methods in group theory

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Word problems, etc. in computability and recursion theory (03D40)

Related Items (5)

Diophantine questions in the class of finitely generated nilpotent groups ⋮ Canonical and existential groups in universal classes of abelian groups ⋮ Algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups ⋮ Positive elements and sufficient conditions for solvability of the submonoid membership problem for nilpotent groups of class two ⋮ Undecidability of the submonoid membership problem for free nilpotent group of class $l\geqslant 2$ of sufficiently large rank

Cites Work

• Quadratic equations over free groups and free products
• Infinitely generated subgroups of finitely presented groups. II
• Gleichungen in freien Produkten mit Amalgam
• Ähnlichkeitsanalyse von Gruppenrelationen
• Recursive unsolvability of group theoretic problems
• On Dehn's lemma and the asphericity of knots
• Properties preserved under homomorphism
• Properties preserved in subdirect products
• Bestimmung der Primfaktorzerlegung von Verkettungen
• Theorie der Normalflächen. Ein Isotopiekriterium für den Kreisknoten
• Two complexes which are homeomorphic but combinatorially distinct
• An analogue of a theorem of Magnus
• Formularity of sets of Mal'tsev bases, and elementary theories of finite algebras. I
• Unsolvability of the universal theory of finite groups
• Periodic existentially closed nilpotent groups
• A class of groups all of whose elements have trivial centralizers
• Profinite completion and generalizations of a theorem of Blackburn
• A non-Abelian variety of groups has an undecidable elementary theory
• Minimal and prime models of complete theories of torsion free abelian groups
• Groups with solvable conjugacy problems
• Minimal words in the free group of rank two
• Decision problems in classes of group presentations with uniformly solvable word problem
• Solving equations in groups: a survey of Frobenius' theorem
• Kategorizität
• Existentially complete lattice-ordered groups
• Some recognizable properties of solvable groups
• Some general algorithms. I: Arithmetic groups
• Quadratic equations over small cancellation groups
• The word problem in a variety of groups containing N//2A
• Existenziell abgeschlossene lokal endliche p-Gruppen
• Two decidable Markov properties over a class of solvable groups
• A problem of equality for Galois cohomology
• Computable algebra and group embeddings
• Example of a finitely presented group in the variety \({\mathfrak A}^5\) with the unsolvable word problem
• Some algorithmic problems for solvable groups
• Gruppen mit vorgeschriebenem Wortproblem
• Forcing, arithmetic, division rings
• Polynilpotent groups with one defining relation
• On the conjugacy problem in a free product with commuting subgroups
• Powers and conjugacy in small cancellation groups
• The conjugacy problem for free products of sixth-groups with cyclic amalgamation
• Algebraically closed groups
• Operations on elementary classes of groups
• Model theoretic algebra. Selected topics
• Infinitely generated subgroups of finitely presented groups. I
• The word problem and power problem in 1-relator groups are primitive recursive
• Zum Isomorphieproblem für Gruppen mit einer definierenden Relation
• Conjugate separability in polycyclic groups
• Existentially complete nilpotent groups
• On cancellations in HNN-groups
• The solvability of the conjugacy problem for certain free products with amalgamation
• Undecidable universal theories of lattices of subgroups of Abelian groups
• \(\aleph_0\)-categorical stable groups
• The isomorphism problem for solvable groups
• Generalized Magnus embeddings and some applications
• Elementary properties of V-free products of groups
• Universal group with twenty-one defining relations
• Decidability of the conjugacy problem does not carry over to finite extensions of groups
• Subrekursive Komplexität bei Gruppen. I: Gruppen mit vorgeschriebener Komplexität
• Subrekursive Komplexität bei Gruppen. II: Der Einbettungssatz von Higman für entscheidbare Gruppen
• Definability in algebraically closed systems
• Existentially closed structures and Jensen's principle \(\diamond\)
• The cohomology of \(SL_3(Z)\)
• Proof of a lemma on model completeness
• On \(\aleph_0\)-categorical Abelian-by-finite groups
• Produkte von Potenzen und Kommutatoren in freien Gruppen
• The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations
• Theories of Abelian groups with predicates specifying a subgroup
• Totally categorical groups and rings
• The Boone-Higman theorem and the conjugacy problem
• On the classification of homeomorphisms of 2-manifolds and the classification of 3-manifolds
• Undecidability of the theory of lattice-orderable groups
• Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings
• Klassifizierung torsionsfreier abelscher Gruppen des Ranges 2. II
• An inductive theory for free products of groups
• On roots in free groups
• Conjugacy in free polynilpotent groups
• Algorithmic problems for metabelian groups
• Almost all free products of groups have the same positive theory
• On Dehn's algorithm
• Visualizing the word problem, with an application to sixth groups
• On Dehn's algorithm and the conjugacy problem
• The word problem in fundamental groups of sufficiently large irreducible 3-manifolds
• On powers in generalized free products of groups
• Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups
• Recursively enumerable degress and the conjugacy problem
• On recognising Hopf groups
• Über die Nielsensche Kürzungsmethode in freien Produkten mit Amalgam
• On recognising properties of groups which have solvable word problem
• Preservation of elementary and universal equivalence under the wreath product
• Flächen und ebene diskontinuierliche Gruppen
• On the occurrence problem for finitely defined groups
• Elementary theory of abelian groups without trosion, with a predicate selecting a subgroup
• On elementary theories of lattices of subgroups
• The undecidability of the elementary theory of lattices of subgroups of finite abelian p-groups
• One theorem of G. Higman
• Conjugacy of subgroups of a free group
• On free products with amalgamation of two infinite cyclic groups
• Word problems and recursively enumerable degrees of unsolvability. An emendation
• Truth-table degrees and the Boone groups
• FINITELY PRESENTED GROUP WHOSE WORD PROBLEM HAS THE SAME DEGREE AS THAT OF AN ARBITRARILY GIVEN THUE SYSTEM (AN APPLICATION OF METHODS OF BRITTON)
• On Embedding Groups and the Conjugacy Problem
• On Britton's Theorem A
• Root-Closure in Free Groups
• On the Substitution Problem for Free Groups
• On the Conjugacy Problem and Greendlinger's Eighth-Groups
• Word and conjugacy problems in groups with only a few defining relations
• A note on recursively enumerable predicates in groups
• On Greendlinger's lemma
• THE BRAID GROUP AND OTHER GROUPS
• The order problem and the power problem for free product sixth-groups
• On Greendlinger groups
• Elements of finite order in free product sixth-groups
• An Extension of Greendlinger's Results on the Word Problem
• A Residual Property of Certain Groups
• Groups with certain solvable and unsolvable decision problems
• Conjugacy Separability of Certain Free Products with Amalgamation
• Unsolvable Problems in Groups With Solvable Word Problem
• On the isomorphism problem for just‐infinite groups
• On Finitely Generated Subgroups of Free Products
• The Power Problem for Groups with One Defining Relator
• Model-completions and modules
• The Word and Conjugacy Problems for the Knot Group of any Tame, Prime, Alternating Knot
• On the notion of algebraic closedness for noncommutative groups and fields
• A Note on Root Decision Problems in Groups
• Finitely Presented Groups with Word Problems of Arbitrary Degrees of Insolubility
• On $ω_1$-categorical theories of abelian groups
• Finitely Generated Nilpotent Groups with Isomorphic Finite Quotients
• Conjugacy Separability of Certain Fuchsian Groups
• The Conjugacy Problem for the Group of Any Tame Alternating Knot is Solvable
• The elementary theory of abelian groups
• Some model theory of abelian groups
• A Finitely Generated Residually Finite Group with an Unsolvable Word Problem
• Conjugacy Separating Representations of Free Groups
• Elementary Properties of Free Groups
• Martin's Axiom Applied to Existentially Closed Groups.
• A class of $\pi _c$ groups closed under cyclic amalgamations
• Partial results regarding word problems and recursively enumerable degrees of unsolvability
• On the recursiveness of sets of presentations of 3-manifold groups
• On Computable Numbers, with an Application to the Entscheidungsproblem
• THE WORD PROBLEM IN A GROUP EXTENSION
• Algebraically Closed Groups
• A Note on Algebraically Closed Groups
• Ein Analogon der Körpertheorie für abelsche Gruppen.
• Recursively enumerable sets of positive integers and their decision problems
• Elementary properties of Abelian groups
• [Russian Text Ignored]
• [Russian Text Ignored]
• [Russian Text Ignored]
• The word problem
• Periodic products of groups
• [Russian Text Ignored.]
• Superstable fields and groups
• The word problem
• An algebraic characterization of groups with soluble word problem
• Wreath Products and Existentially Complete Solvable Groups
• Minimale Gruppen
• Die Elementare Theorie der Gruppe vom Typ p^∞ mit Untergruppen
• Undecidability of the Theory of Abelian Groups with a Subgroup
• Stability of Non-Model-Complete Theories; Products, Groups
• The conjugacy problem and cyclic amalgamations
• Residual Solvability of an Equation in Nilpotent Groups
• Another Example of a Soluble Group that is not Conjugacy Separable
• Modular Subgroup Structure in Infinite Groups
• A property of finitely generated residually finite groups
• Constructions in Algebra
• The Isomorphism Problem for Two-Generator One-Relator Groups with Torsion is Solvable
• The Conjugacy Problem for HNN Groups and the Word Problem For Commutative Semigroups
• Embeddings into Simple Groups
• The Conjugacy Problem and Subgroups of Finite Index
• Subgroups of Finitely Presented Groups
• On the Conjugacy Problem and Difference Equations
• A characterization of the subgroups of finitely presented groups
• Algebraically closed torsion-free nilpotent groups of class 2
• Subgroups of Small Cancellation Groups
• WREATH PRODUCTS AND ULTRAPRODUCTS OF GROUPS
• Word problems
• Элементарные свойства алгебраически замкнутых групп
• Conjugacy in polycyclic groups
• Existentially complete torsion-free nilpotent groups
• A Condition Equivalent to the Solvability of the Endomorphism Problem for Free Groups
• On Cyclic Subgroups and the Conjugacy Problem
• A Note on Arithmetic Groups
• Completeness of two theories on ordered abelian groups and embedding relations
• On the Endomorphism Problem for Free Groups II
• On Group-Theoretic Decision Problems and Their Classification. (AM-68)
• Metabelian groups with the same finite quotients
• A New Solution to the Word Problem in the Fundamental Groups of Alternating Knots and Links
• On Some Lemmas in the Theory of Groups
• The geometry of higman‐neumann‐neumann extensions
• Equivalence of Elements Under Automorphisms of a Free Group
• Theorien abelscher Gruppen mit einem einstelligen Prädikat
• Recursive Unsolvability of a problem of Thue
• Omitting quantifier-free types in generic structures
• Conjugacy in Nilpotent Groups
• Powers in Eighth-Groups
• The Conjugacy Problem in Wreath Products and Free Metabelian Groups
• On square roots in eighth‐groups
• On the decidability of some problems in special classes of groups
• Generalization of Dehn's Result on the Conjugacy Problem
• Identical relations and decision procedures for groups
• An Embedding Theorem for Finitely Generated Groups
• Groups and Semigroups with Solvable Word Problems
• On Dehn's algorithms for the conjugacy and word problems, with applications
• Dehn's algorithm for the word problem
• On a Problem of J.H.C. Whitehead and a Problem of Alonzo Church.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Algorithmic problems for \(\sigma\)-power groups
• The conjugacy problem for a free product with amalgamation
• Inclusion problem for a certain class of groups
• Artin-Gruppen und Coxeter-Gruppen
• Some properties of a Magnus embedding
• Solvability of the membership problem in finitely generated solvable matrix groups over number fields
• On algebraically closed groups
• \(\aleph_0\)-categoricity of groups
• An example of two elementarily equivalent, but nonisomorphic finitely generated metabelian groups
• Categorial quasivarieties
• The isomorphism problem for one-relator groups with non-trivial centre
• On equivalent sets of elements in a free group
• The word problem in semi-groups with cancellation
• Zum Identitätsproblem bei Gruppen
• On Recognising Certain One Relation Presentations
• Two Examples of Soluble Groups that are not Conjugacy Separable
• The unsolvability of the problem of the equivalence of words in a group and several other problems in algebra
• Properties preserved under algebraic constructions
• THE WORD PROBLEM
• The Word Problem for Groups
• On the algorithmic insolvability of the word problem in group theory
• Elementary Properties of Ordered Abelian Groups
• Some Unsolvable Problems about Elements and Subgroups of Groups.
• Dehn's algorithm for the word problem
• Subgroups of finitely presented groups
• On Powers of Elements in S-Groups
• Effective aspects of profinite groups
• Groups With Parametric Exponents
• Separating Conjugates in Free-by-Finite Groups
• A Quick Test for Nonisomorphism of One-Relator Groups
• Algebraically closed groups of large cardinality
• Groups of small Morley rank
• The solubility of certain decision problems in arithmetic and algebra
• A generalization of the bracketing process applied in the commutator calculus
• DECIDABILITY PROBLEMS OF EXTENDED THEORIES
• Vector Groups and the Equality Problem for Vector Addition Systems
• Stability theory and Algebra
• A Reduction of the Open Sentence Problem for Finite Groups
• A NOTE ON THE WORD PROBLEM FOR GROUPS
• Fine Degrees of Word Problems of Cancellation Semigroups
• Valuations and Finitely Presented Metabelian Groups
• Sur le problème des mots des quotients de groupes et produits libres
• Commutators in Free Groups
• Continued fractions and the conjugacy problem in SL₂; (Z)
• Equations in groups
• [https://portal.mardi4nfdi.de/wiki/Publication:3916734 On the Conjugacy Problem for F/R �]
• Sous-groupes définissables d'un groupe stable
• The elementary theory of Abelian groups with m-chains of pure subgroups
• Subgroups of small Cancellation Groups
• Another Characterization of Finitely Generated Groups with a Solvable Word Problem
• Existentially Complete Abelian Lattice-Ordered Groups
• The word problem and the isomorphism problem for groups
• Decision Problems in Group Theory
• Preservation of saturation and stability in a variety of nilpotent groups
• Identity theorems in small‐cancellation groups
• The solvability of the conjugacy problem for certain HNN groups
• Conjugacy in Abelian-by-Cyclic Groups

This page was built for publication: Model-theoretic and algorithmic questions in group theory