A new matrix representation theorem for semigroups (Q1914079)

Let \(\mathcal K\) be a class of matrix semigroups over a field \(K\). A matrix representation \(f\) of a semigroup \(S\) is said to be a \(\mathcal K\)-representation of \(S\) if \(Sf\in{\mathcal K}\). This paper is motivated by the following problem: Find conditions under which there exists a satisfactory description of \(\mathcal K\)-representations of semigroups. Firstly some technical conditions for \(\mathcal K\) are introduced, and it is proved in Section 3 that if they are satisfied then \(\mathcal K\)-representations of semigroups can be described in the same way as irreducible representations are described in the classical theory constructed by \textit{W. D. Munn} [Q. J. Math., Oxf. II. Ser. 11, 295-309 (1960; Zbl 0113.02402)] and \textit{J. S. Ponizovskij} [Usp. Mat. Nauk 13, No. 6(84), 139-144 (1958; Zbl 0087.25402)]. Secondly in Section 4, the class \(SB(K)\) of strongly basic semigroups of matrices over a field \(K\) is introduced as a subclass of basic semigroups introduced by \textit{J. S. Ponizovskij} [in Semigroups: algebraic theory and applications to formal languages and codes 1992, 246-251 (1993; Zbl 0817.16014) and Semigroup Forum 44, No. 1, 125-128 (1992; Zbl 0751.20048)]. It is shown that the class of irreducible matrix semigroups is properly contained in the class \(SB(K)\) and \(SB(K)\) satisfies all the conditions needed in Section 3.