Publication:3751772

zbMath0611.20020MaRDI QIDQ3751772

Victor S. Guba

Publication date: 1986

zbMATH Keywords

free group; homomorphisms; free semigroup; finite alphabet; test set; system of equations; Ehrenfeucht conjecture

Mathematics Subject Classification ID

20M05: Free semigroups, generators and relations, word problems

20E36: Automorphisms of infinite groups

20E05: Free nonabelian groups

20F10: Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)

Related Items

One-Variable Word Equations and Three-Variable Constant-Free Word Equations, Unnamed Item, An Optimal Bound on the Solution Sets of One-Variable Word Equations and its Consequences, Seven lectures on universal algebraic geometry, Homomorphisms to acylindrically hyperbolic groups I: Equationally noetherian groups and families, Topologizability of countable equationally Noetherian algebras, The Markov and Zariski topologies of some linear groups, Algebraic geometry over groups. III: Elements of model theory., Krull dimension of solvable groups., On systems of equations over free products of groups., Algebraic geometry over groups. I: Algebraic sets and ideal theory, On the size of independent systems of equations in semigroups, Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz, Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups, A note on decidability questions on presentations of word semigroups, Multiple factorizations of words and defect effect, Systems of word equations, polynomials and linear algebra: a new approach, Zariski topology and Markov topology on groups, Equalizers and kernels in categories of monoids, Explicit test sets for iterated morphisms in free monoids and metabelian groups, Many aspects of defect theorems, Algebraic geometry over algebraic structures. II: Foundations, Finite transducers and rational transductions, A compactness property of the \(k\)-abelian monoids, Makanin-Razborov diagrams for hyperbolic groups, Algebraic properties of word equations, On systems of word equations with simple loop sets, Diophantine geometry over groups. V\(_1\): Quantifier elimination. I., Implicit function theorem over free groups., On maximal chains of systems of word equations, One-Unknown Word Equations and Three-Unknown Constant-Free Word Equations, On systems of equations over free partially commutative groups, Equations in the Partial Semigroup of Words with Overlapping Products, An Analysis and a Reproof of Hmelevskii’s Theorem, On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations, Tarski’s problem about the elementary theory of free groups has a positive solution