Publication:3751772
From MaRDI portal
zbMath0611.20020MaRDI QIDQ3751772
Publication date: 1986
free group; homomorphisms; free semigroup; finite alphabet; test set; system of equations; Ehrenfeucht conjecture
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
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, Explicit test sets for iterated morphisms in free monoids and metabelian groups, Many aspects of defect theorems, Algebraic geometry over algebraic structures. II: Foundations, 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, 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
