Semigroup algebras of the full matrix semigroup over a finite field

Abstract

Let M M denote the multiplicative semigroup of all n n -by- n n matrices over a finite field F F and K K a commutative ring with an identity element in which the characteristic of F F is a unit. It is proved here that the semigroup algebra K [ M ] K[M] is the direct sum of n + 1 n + 1 algebras, namely, of one full matrix algebra over each of the group algebras K [ GL ⁡ ( r , F ) ] K[\operatorname {GL}(r,F)] with r = 0 , 1 , … , n r = 0,1, \ldots ,n . The degree of the relevant matrix algebra over K [ GL ⁡ ( r , F ) ] K[\operatorname {GL}(r,F)] is the number of r r -dimensional subspaces in an n n -dimensional vector space over F F . For K K a field of characteristic different from that of F F , this result was announced by Faddeev in 1976. He only published an incomplete sketch of his proof, which relied on details from the representation theory of finite general linear groups. The present proof is self-contained.