自动半群中的一致判定问题
环与代数
2007-05-23 v1
摘要
我们考虑自动半群的若干判定问题,其中问题实例包含提供一个自动结构。在对该自动结构施加适度限制(这似乎是使问题良定义所必需的)的条件下,由自动结构描述的半群的一致字问题是可判定的。在相同条件下,我们证明还可以判定该半群是否完全单或半群是否完全零单;若是,则可计算该半群的 Rees 矩阵表示,形式为 Rees 矩阵及其极大子群的自动结构。另一方面,我们证明一般而言,判定给定自动独异点中的给定元素是否具有右逆是不可判定的。
引用
@article{arxiv.math/0509349,
title = {Uniform decision problems in automatic semigroups},
author = {Mark Kambites and Friedrich Otto},
journal= {arXiv preprint arXiv:math/0509349},
year = {2007}
}
备注
19 pages