关于群自由积上方程组的系统研究
群论
2009-03-13 v1 逻辑
摘要
利用Makanin-Razborov图的类比，我们给出了在方程诺特群自由积上方程组的解集的描述。等价地，我们给出了从有限生成群到的所有同态集合的参数化。此外，我们证明了上的每个代数集可以分解为有限个NTQ系统代数集像的并集。如果的泛Horn理论（拟等式理论）是可判定的，那么我们的构造是有效的。
引用
@article{arxiv.0903.2096,
title = {On Systems of Equations over Free Products of Groups},
author = {Montserrat Casals-Ruiz and Ilya Kazachkov},
journal= {arXiv preprint arXiv:0903.2096},
year = {2009}
}
备注
71 pages, 13 figures