Makanin-Razborov 图的典范性——反例
群论
2018-02-08 v1
摘要
自由群中有限方程组的解集等价于从固定有限生成群到自由群的同态集合。后者可编码为一个图，该构造对有限生成群同样有效。已知对于具有固定生成集的固定有限生成群，该图是典范的。本文证明该构造依赖于所给有限生成群的生成集的选取。
引用
@article{arxiv.1802.02431,
title = {Canonicality of Makanin-Razborov Diagrams - Counterexample},
author = {Gili Berk},
journal= {arXiv preprint arXiv:1802.02431},
year = {2018}
}