On the injective envelope of a graded module

Abstract

Let Sing _n be the semigroup of all singular full transformations on the set X _n  = {1, 2,…, n} under the composition of functions. Let E(J _n ? 1) be the set of all idempotents of the top 𝒥-class J _n ? 1 = {α ∈ Sing _n :|im α| = n-1}. For any nonempty subset I of E(J _n  ? 1), the aim of this paper is to find a constructive necessary and sufficient condition for the semiband S(I) = ?I? to be ?-trivial. Further, the semiband S(I) is locally maximal ?-trivial if S(I) is ?-trivial and S(I ∪ {e}) is not ?-trivial for any e ∈ E(J _n ? 1 )\I. As applications, we classify locally maximal ?-trivial subsemibands and locally maximal regular ?-trivial subsemibands of Sing _n , respectively. Moreover, the characterization of which S(I) is a band is obtained.