加载中…
We introduce the notion of a subgraph generated by an -word of the Schützenberger graph of a positive word , , where contains as its subword. We show that the word problem for a finitely presented Adian inverse semigroup is decidable if the subgraphs of , for all , generated by all the -words over the presentation , are finite. As a consequence of this result, we show that the word problem is decidable for some classes of one relation Adian inverse semigroups.

生成讲解博客的中文版本

生成AI智能校验的中文版本