In 1990, Howie and McFadden showed that every proper two-sided ideal of the full transformation monoid $T_n$, the set of all maps from an $n$-set to itself under composition, has a generating set, consisting of idempotents, that is no larger than any other generating set. This fact is a direct consequence of the same property holding in an associated finite $0$-simple semigroup. We show a correspondence between finite $0$-simple semigroups that have this property and bipartite graphs that satisfy a condition that is similar to, but slightly stronger than, Hall's condition. The results are applied in order to recover the above result for the full transformation monoid and to prove the analogous result for the proper two-sided ideals of the monoid of endomorphisms of a finite vector space.
|Number of pages||16|
|Journal||Proceedings of the Edinburgh Mathematical Society|
|Publication status||Published - 2008|