自动半群中的一致决策问题
摘要：自动半群的各种决策问题：自动结构将作为问题实例的一部分进行考虑。在对自动结构进行一些限制的情况下，似乎有必要使问题形式明确。对于由自动结构描述的半群的统一词问题是可决定的。在相同的条件下，我们还证明了可以决定半群是否是完全简单或完全零简单的；在这种情况下，可以计算出半群的一种Rees矩阵表示，该表示形式包括一个Rees矩阵和其最大子群的自动结构。另一方面，我们证明了对于给定自动幂等结构的给定元素是否具有右逆是一般不可判定的。
作者：Mark Kambites (Universitaet Kassel) and Friedrich Otto (Universitaet Kassel)
论文ID：math/0509349
分类：Rings and Algebras
分类简称：math.RA
提交时间：2007-05-23