Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems
From MaRDI portal
Publication:1090408
DOI10.1007/BF01142470zbMath0621.20009MaRDI QIDQ1090408
Publication date: 1986
Published in: Mathematical Notes (Search for Journal in Brave)
free semigroupshomomorphismsfree groupsfinite alphabettest setsystem of equationsEhrenfeucht conjecture
Generators, relations, and presentations of groups (20F05) Free semigroups, generators and relations, word problems (20M05) Automorphisms of infinite groups (20E36) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)
Related Items
The expressibility of languages and relations by word equations, Representations via differential algebras and equationally Noetherian algebras, Unnamed Item, Unnamed Item, On the (non) superstable part of the free group, Test sets for equality of terms in the additive structure of ordinals augmented with right multiplication by \(\omega\), Limit groups for relatively hyperbolic groups. II: Makanin-Razborov diagrams.
Cites Work
