有限半群和自动机的 Krohn-Rhodes 复杂度 $c = 1$ 的可决定性
摘要：有关有限半群的分解为群和非周期半群的嵌套积时，复杂度衡量了所需的最少群的数量。确定一个计算复杂度的算法是一个持续近60年的开放问题。本文的主要结果证明了有限半群和自动机的Krohn-Rhodes复杂度$c=1$是可判定的。通过使用无穷尞方法和McCammond 1991年和2001年的结果，证明了Henckell、Rhodes和Steinberg 2012年的工作中的下界是尖锐的。
作者：Stuart Margolis, John Rhodes, Anne Schilling
论文ID：2110.10373
分类：Group Theory
分类简称：math.GR
提交时间：2023-08-07