We study inverse semigroup amalgams of the form
S *
U T where
S and
T are free inverse semigroups and
U is an arbitrary finitely generated inverse subsemigroup of
S and
T. We make use of recent work of Bennett to show that the word problem is decidable for any such amalgam. This is in contrast
to the general situation for semigroup amalgams, where recent work of Birget, Margolis and Meakin shows that the word problem
for a semigroup amalgam
S *
U T is in general undecidable, even if
S and
T have decidable word problem,
U is a free semigroup, and the membership problem for
U in
S and
T is decidable. We also obtain a number of results concerning the structure of such amalgams. We obtain conditions for the
D-classes of such an amalgam to be finite and we show that the amalgam is combinatorial in such a case. For example every one-relator
amalgam of this type has finite
D-classes and is combinatorial. We also obtain information concerning when such an amalgam is
E-unitary: for example every one relator amalgam of the form
Inv<
A ∪
B :
u =
v > where
A and
B are disjoint and
u (resp.
v) is a cyclically reduced word over
A ∪
A
−1 (resp.
B ∪
B
−1) is
E-unitary.
Communicated by J. M. Howie
Research of all authors supported by a grant from the Italian CNR. The first and third authors’ research was partially supported
by MURST. The second author’s research was also partially supported by NSF and the Center for Communication and Information
Science of the University of Nebraska at Lincoln.