A structural property of Adian inverse semigroups (Q2361723)

A well-known result of \textit{S. I. Adian} [Proc. Steklov Inst. Math. 85, 152 p. (1966; Zbl 0204.01702); translation from Tr. Mat. Inst. Steklov 85, 123 p. (1966)] states that the semigroup \(\mathrm{Sgp}\langle X|R\rangle\) over a positive cycle-free presentation \((X|R)\) embeds into the group \(\mathrm{Gp}\langle X|R\rangle\) over the same presentation. This paper is devoted to inverse semigroups over cycle-free presentations. Clearly that an inverse semigroup \(S\) embeds into a group \(G\) if and only if \(S\) is a group. Hence we can not expect that Adian's result remains true for the inverse semigroup \(\mathrm{Inv}\langle X|R\rangle\) over an arbitrary cycle-free presentation \((X|R)\). However, main result of this paper is a far analogue of the Adian's result [loc. cit.] and states the following: if \((X,R)\) is a cycle-free presentation then the inverse semigroup \(\mathrm{Inv}\langle X|R\rangle\) is \(E\)-unitary. This analogy is based on the classic McAllister theorem which states that each \(E\)-unitary inverse semigroup embeds into a semidirect product of a semilattice by a group.