Residual finiteness of free products of combinatorial strict inverse semigroups
Karl Auinger · Proceedings of the Royal Society of Edinburgh Section A Mathematics · 1994
It is shown that the free product of two residually finite combinatorial strict inverse semigroups in general is not residually finite. In contrast, the free product of a residually finite combinatorial strict inverse semigroup and a semilattice is residually finite.