McAlister's P-theorem via Schutzenberger graphs

摘要

We give a short proof, using Schutzenberger graphs, of McAlister's P-theorem. The proof, when restricted to free inverse semigroups, turns into Munn's geometric multiplication of Munn trees. [References: 8]