有限半群的复杂度：历史与可判定性
群论
2025-01-03 v1
摘要
在近期论文中，Margolis、Rhodes 和 Schilling 证明了有限半群的复杂度是可计算的。这解决了一个已有超过 50 年之久的难题。本文旨在概述 Krohn-Rhodes 复杂度的基本结果，并概述其可判定性的证明。
引用
@article{arxiv.2501.00770,
title = {Complexity of Finite Semigroups: History and Decidability},
author = {StuarT Margolis and John Rhodes and Anne Schilling},
journal= {arXiv preprint arXiv:2501.00770},
year = {2025}
}
备注
arXiv admin note: text overlap with arXiv:2410.06668