Free Inverse Semigroups
A construction similar to a free group is possible for inverse semigroups. A presentation of the free inverse semigroup on a set X may be obtained by considering the free semigroup with involution, where involution is the taking of the inverse, and then taking the quotient by the Vagner congruence
The word problem for free inverse semigroups is much more intricate than that of free groups. A celebrated result in this area due to W. D. Munn who showed that elements of the free inverse semigroup can be naturally regarded as trees, known as Munn trees. Multiplication in the free inverse semigroup has a correspondent on Munn trees, which essentially consists of overlapping common portions of the trees. (see Lawson 1998 for further details)
Any free inverse semigroup is F-inverse.
Read more about this topic: Inverse Semigroup
Famous quotes containing the words free and/or inverse:
“People named John and Mary never divorce. For better or for worse, in madness and in saneness, they seem bound together for eternity by their rudimentary nomenclature. They may loathe and despise one another, quarrel, weep, and commit mayhem, but they are not free to divorce. Tom, Dick, and Harry can go to Reno on a whim, but nothing short of death can separate John and Mary.”
—John Cheever (1912–1982)
“The quality of moral behaviour varies in inverse ratio to the number of human beings involved.”
—Aldous Huxley (1894–1963)