关于逆半群共轭的复杂性
群论
2024-11-26 v1
摘要
我们研究了有限逆半群中与共轭相关的各种决策问题的计算复杂性。我们描述了用于检查此类半群中两个元素是否 ~p 共轭以及一个逆幺半群是否可因子分解的多项式时间算法。我们描述了检查 ~i 共轭与检查逆半群中成员资格之间的联系。我们证明了 ~o 和 ~c 对于任意可数集是划分覆盖的，且 ~p、~p* 和 ~tr 对于任意有限集是划分覆盖的。最后，我们证明了在部分双射半群中检查幂零性、R-平凡性和中心幂等元是 NL-完全问题，并将部分双射半群的若干复杂性结果推广到逆半群。
引用
@article{arxiv.2111.07551,
title = {On the complexity of inverse semigroup conjugacy},
author = {Trevor Jack},
journal= {arXiv preprint arXiv:2111.07551},
year = {2024}
}