On free inverse semigroups (Q1576307)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On free inverse semigroups |
scientific article |
Statements
On free inverse semigroups (English)
0 references
21 March 2001
0 references
For a given set \(X\), denote by \(G_X\) the set of finite directed trees whose edges are labelled by members of \(X\), with two distinguished vertices. In this note, using techniques of rewriting theory, a new proof is given of the theorem of Munn that the free inverse semigroup on \(X\) is isomorphic to a semigroup defined on the set of so-called birooted word trees on \(X\). The free inverse semigroup emerges as a quotient of \(G_X\) regarded as a certain algebra.
0 references
finite directed trees
0 references
free inverse semigroups
0 references
birooted word trees
0 references