A triple [S,T;U] where S and T are inverse semigroups and U is the intersection of S and T is called an amalgam of inverse semigroups. The amalgamated free product associated to the amalgam [S,T;U] is defined by the usual universal diagram and it is well-known that each amalgams of inverse semigroups embeds in its associated aalgamated free product. In general amalgamated free products of inverse semigroups have undecidable word problem even when S, T, U satisfy nice conditions. Here we consider amalgams of inverse semigroups where S and T have decidable word problem, U has decidable membership problem and we give some sufficient conditions for the associated amalgamated free product having decidable word problem.
On the decidability of the word problem for amalgamated free products of inverse semigroups.
CHERUBINI, ALESSANDRA
2008-01-01
Abstract
A triple [S,T;U] where S and T are inverse semigroups and U is the intersection of S and T is called an amalgam of inverse semigroups. The amalgamated free product associated to the amalgam [S,T;U] is defined by the usual universal diagram and it is well-known that each amalgams of inverse semigroups embeds in its associated aalgamated free product. In general amalgamated free products of inverse semigroups have undecidable word problem even when S, T, U satisfy nice conditions. Here we consider amalgams of inverse semigroups where S and T have decidable word problem, U has decidable membership problem and we give some sufficient conditions for the associated amalgamated free product having decidable word problem.File | Dimensione | Formato | |
---|---|---|---|
CS_amalgams.pdf
Accesso riservato
:
Post-Print (DRAFT o Author’s Accepted Manuscript-AAM)
Dimensione
506.02 kB
Formato
Adobe PDF
|
506.02 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.