The concept of Munn tree was created to investigate the structure of the free inverse monoid. The main result about it says that it “recognize” whether or not two different word in belong to the same -class, where is the Wagner congruence on . We recall that if [resp. ], then [resp. ].
Theorem 1 (Munn)
Let (or ). Then if and only if
As an immediate corollary of this result we obtain that the word problem in the free inverse monoid (and in the free inverse semigroup) is decidable. In fact, we can effectively build the Munn tree of an arbitrary word in , and this suffice to prove wheter or not two words belong to the same -class.
The Munn tree reveals also some property of the -classes of elements of the free inverse monoid, where is the right Green relation. In fact, the following result says that “essentially” the Munn tree of is the Schützenberger graph of the -class of .
Let . There exists an isomorphism (in the category of -inverse word graphs) between the Munn tree and the Schützenberger graph given by
|Date of creation||2013-03-22 16:11:59|
|Last modified on||2013-03-22 16:11:59|
|Last modified by||Mazzu (14365)|