设P是一个域,Fij(ij=1,2,…,n)是全矩阵环Mn(P)中n2个n×n矩阵,且满足FijFkl=δjkFil(i,j,k,l=1,2,…,n),其中δij={1,i=j 0,i≠j......

An(F)((∩){aEij 1≤i≤j≤n})为域F上n阶上三角矩阵Tn(F)上的幂等矩阵集Υn(F)的乘法半群.f:An(F)→Υn(F)是满足trf(A)=trA,(A)A......

设P是一个域，Гn是满足{αEij｜i，j=1，2，…，n，α∈P}真包含于Гn真包含于Mn（P）的一个乘法半群，其中M（P）定义P上所有n×m矩阵组成的乘法半群．......