Inverse subsemigroups of free inverse semigroups
Peter R. Jones · Bulletin of the Australian Mathematical Society · 1975
This thesis is concerned with the properties of inverse subsemigroups of inverse semigroups, from various classes: the unifying feature is that all these classes contain the free inverse semigroups I for every X .X Here, for simplicity, we just state our main results in this special case.The most important result (Corollary 2.2.5: the "Basis Theorem") is that free inverse semigroups have the "strong basis property", which we now describe.Let U and S be a pair of inverse subsemigroups of I v (for A.