On a type of matrix semigroup (Q1184178)

In this short note the author's theory of irreducible matrix semigroups [see \textit{J. S. Ponizovskij}, Semigroup Forum 24, 117-148 (1982; Zbl 0491.20053); Interuniv. Collect. Sci. Works, Leningrad 1986, 64-71 (1986; Zbl 0636.20040)] is extended to basic matrix semigroups. Let \(K\) be a field, \(M(n,K)\) be the multiplicative semigroup of all \(n\times n\) matrices over \(K\), and \(W\) be an \(n\)-dimensional linear space over \(K\) on which matrices from \(M(n,K)\) act as right operators. For a semigroup \(S<M(n,K)\), \(L(S)\) denotes the \(K\)-linear envelope of \(S\), and \(H(S)\) denotes the set of all \(x\in S\) with \(\text{rank}(x)\leq r\) where \(r\) is the least positive rank of elements of \(S\). A semigroup \(S\) is called homogeneous iff \(S=H(S)\). For \(S<M(n,K)\) the semigroup \(\bar S\) is a completely \(0\)-simple hull of \(S\) if i) \(\bar S<M(n,K)\) and \(\bar S\) is completely \(0\)-simple, ii) if \(S<U<M(n,K)\) with \(U\) completely \(0\)- simple, then \(\bar S<U\). A semigroup \(S<M(n,K)\) is called basic iff i) \(W\cdot L(S)=W\), and ii) if \(w\in W\), then \(w\cdot S=0\) implies \(w=0\). Any irreducible matrix semigroup is basic. If \(S<M(n,K)\) is basic, then the idealizer of \(S\) in \(M(n,K)\) is canonically isomorphic to the translational hull of \(S\). Any homogeneous basic semigroup possesses a completely \(0\)-simple hull. If \(S<M(n,K)\), \(H(S)\) is basic and a maximal nonzero subgroup of \(\overline{H(S)}\) is finite, then \(S\) itself is finite.