有限表示幺半群中共轭问题的可判定性与独立性
群论
2021-01-19 v1
摘要
已有若干尝试将共轭的概念从群推广到幺半群。本文旨在研究某些有限表示幺半群类中三种此类概念（记为 、 和 ）的共轭问题的可判定性与独立性。我们将证明，在多循环幺半群类中，-共轭“几乎”具有传递性， 严格包含于 中，且 -与 -共轭问题可以线性复杂度判定。对于其他幺半群类，情况更为复杂。我们证明存在一个由有限完全表示定义的幺半群 ，使得 的 -共轭问题不可判定；并且对于有限表示幺半群，-共轭问题与字问题相互独立，正如 -共轭与 -共轭问题相互独立一样。
引用
@article{arxiv.1703.00027,
title = {Decidability and Independence of Conjugacy Problems in Finitely Presented Monoids},
author = {João Araújo and Michael Kinyon and Janusz Konieczny and António Malheiro},
journal= {arXiv preprint arXiv:1703.00027},
year = {2021}
}
备注
12 pages. arXiv admin note: text overlap with arXiv:1503.00915