The word problem for a family of one relation Adian inverse semigroups
The word problem for an Adian inverse semigroup given by the presentation $Inv\langle a,b|a=ba^nb\rangle$, where $n\geq 1$, is decidable.
math.GR↗
arXiv subjects
Muhammad Inam
Publications and source records attributed to Muhammad Inam.
The word problem for some classes of Adian inverse semigroups -- II
We introduce the notion of a subgraph generated by an $R$-word $r$ of the Sch\"{u}tzenberger graph of a positive word $w$, $S\Gamma(w)$, where $w$ contains $r$ as its subword. We show that the word problem for a finitely presented Adian inverse semigroup $Inv\langle X|R \rangle$ is decidable if the subgraphs of $S\Gamma(t)$, for all $t\in X^+$, generated by all the $R$-words over the presentation $\langle X|R\rangle$, 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.
math.GR↗
The word problem for some classes of one relation Adian inverse semigroups
We show that if the Sch\"{u}tzenberger graph of every positive word, that contains an $R$-word only once as it's subword, is finite over an Adain presentation $\langle X|u=v\rangle$, then the Sch\"{u}tzenberger graph of every positive word is finite over the presentation $\langle X|u=v\rangle$. This enable us to solve the word problem ffor some classes of one relation Adian inverse semigroups.
math.GR↗
The word problem for some classes of Adian inverse semigroups
We show that all of the Sch\"{u}tzenberger complexes of an Adian inverse semigroup are finite if the Sch\"{u}tzenberger complex of every positive word is finite. This enables us to solve the word problem for certain classes of Adian inverse semigroups (and hence for the corresponding Adian semigroups and Adian groups).
math.GR↗
A structural property of Adian inverse semigroups
We prove that an inverse semigroup over an Adian presentation is E-unitary.
math.GR↗