Canonicality of Makanin-Razborov Diagrams - Counterexample
Group Theory
2018-02-08 v1
Abstract
Sets of solutions to finite systems of equations in a free group, are equivalent to sets of homomorphisms from a fixed f.p. group into a free group. The latter can be encoded in a diagram, the construction of which is valid also for f.g. groups. The diagram is known to be canonical for a fixed f.g. group with a fixed generating set. In this paper we prove that the construction depends on the chosen generating set of the given f.g. group.
Keywords
Cite
@article{arxiv.1802.02431,
title = {Canonicality of Makanin-Razborov Diagrams - Counterexample},
author = {Gili Berk},
journal= {arXiv preprint arXiv:1802.02431},
year = {2018}
}