In a previous paper [9], the author showed that a wide class of inverse semigroups (for example free inverse semigroups, semilattices and finite combinatorial inverse semigroups) possess the strong basis property, and thus the basis property, which we now define. If S is an invcrsc semigroup and C < C; ::z S, a CT-basis for I’ is a subset S of V, minimal such that (Z! u .Y) 7: V, and a hasis for V is an O-basis for V, S is said to have the basis property [strong basis property] if for any inverse subsemigroup V of S [and inverse subsemigroup I,’ of I’] any two bases for C’ [U-bases for I’] have the same cardinality. (One notable consequence of the strong basis property for S is that for any j’-class J of S, any two U-bases for V have the same number of elements in J [9, Theorem 3.91). Two questions were put in [9]:
Read full abstract