We show that the Identity Problem is decidable for finitely generated sub-semigroups of the group $\operatorname{UT}(4, \mathbb{Z})$ of $4 \times 4$ unitriangular integer matrices. As a byproduct of our proof, we have also shown the decidability of several subset reachability problems in $\operatorname{UT}(4, \mathbb{Z})$.
翻译：我们显示身份问题对于一个组的有限产生的子小组 $\ operatorname{UT}( 4,\ mathbb}) (4, \ mathbb}) $ 4\ times 4$ unitrialgrongnal 矩阵是可判分的。 作为我们证据的副产品, 我们还用$\ operatorname{UT} (4,\ mathbb}) 来显示几个子子可达性问题的可判分性 。
相关内容
Group一直是研究计算机支持的合作工作、人机交互、计算机支持的协作学习和社会技术研究的主要场所。该会议将社会科学、计算机科学、工程、设计、价值观以及其他与小组工作相关的多个不同主题的工作结合起来，并进行了广泛的概念化。官网链接：https://group.acm.org/conferences/group20/
专知会员服务
18+阅读 · 2019年10月22日
Arxiv
0+阅读 · 2022年4月18日
Arxiv
0+阅读 · 2022年4月17日
Arxiv
0+阅读 · 2022年4月17日
相关VIP内容
专知会员服务
18+阅读 · 2019年10月22日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年4月18日
Arxiv
0+阅读 · 2022年4月17日
Arxiv
0+阅读 · 2022年4月17日
微信扫码咨询专知VIP会员