HNN-estensioni ed amalgami di semigruppi inversi finiti

摘要

Si dice semigruppo inverso un semigruppo Sin cui per ogni a ∈S esiste uno ed un solo elemento a ∈ S tale che aaa = a e aaa = a,a viene detto inverso di a e indicato con a~(-1). Il teorema di Vagner-Preston, che e l'analogo del teorema di Cayley per i gruppi, afferma che ogni semigruppo inverso puo essere immerso nel semigruppo delle biezioni parziali su un insieme opportuno. Ne consegue che i semigruppi inversi sono strutture naturali in vari campi della matematica e dell'informatica teorica.