1) normalized Rees matrix semigroup
正规Rees矩阵半群
3) completely regular Rees matrix semigroup
完全正则Rees矩阵半群
4) regular Rees matrix Γ-semigroup
正则Rees矩阵Γ-半群
5) π-Rees matrix semigroup
π-Rees矩阵半群
6) generalized Rees matrix semigroups
广义rees矩阵半群
补充资料:Rees矩阵型半群
Rees矩阵型半群
Rees semi-group of matrix type
R吧矩阵型半群【R昭胭城一gr.lpof叮Iatri旅仃伴;P知e。砚翔"。月犷p邓Ila Ma印11明oro硼a] 按下法定义的一种半群结构.设S为任意一个半群(semi一group),I,A为两个(指标)集合,而p二(尸*,)为S上一个(Axl)矩阵,即由众scartes积A xl到S内的一映射.下列公式定义了集合M‘Ixsx人上的一种运算: (i,s,又)口,t,群)=(i,、户,,t,井)·则M是一半群,称为S上的Rees矩阵型半群并记作‘了(S;I,A;尸);矩阵尸称为才(义I,A;P)的夹层矩阵(sa记wich matrix).若S为带零元O的半群,则Z二{(i,o,又):i任I,又任A}是M=/(S;I,怂尸)中的理想而R。乏商半群(见半群(s蒯-脚uP))M/Z记作/o(S;I,A;P);此时若S二G。为带零元的群,则用符号‘才“(G;I,A;尸)代替了”(G”;I,A;尸)并称为带零元的群G0上的Rees矩阵型半群.群G称为半群.才(G;I,A梦尸)和了‘,(G:I,A;p)的结构群(struct切旧g心up)· 在带零元的罕凑,s士的有夹层(A、I)矩阵尸的矩阵型R曰荡半群也可由下法构造.5上的(1 xA)矩阵称为R日留矩阵(Reesrr坦trix),如果它只包含至多1个非零元.设}!all‘*表示S上的Rees矩阵.其第i行第又个元素为a而其余元素为零.在S上全部(I xA)Rees矩阵的集合上定义运算: A oB二APB,(l)其中右端为“通常”的矩阵乘积.于是上述集合在这一乘法下成为一半群.映射{al},,,巨(i,a,劝为这一半群和半群才。(S;I,A;尸)之间的同构.记号.才“(s;I,A;p)于是可以用于这两个半群.公式(l)解释了尸称为“夹层矩阵”的原因.若G为一个群,则半群‘才“(G;I,人;尸)为正则的,当且仅当矩阵P的每行每列中包含一个非零元;任意半群才(G;I,A;尸)是完全单的(见完全单半群(completelys如-ple~一911〕叩)),任意正则半群(比酬肚sell五~grouP)尸(G;I,A;尸)是完全O单的.上面两个结论的逆命题给出了腼宇理(R。滔tllco~)“11)的主要内容:任何完全单的(完全O单的)半群可以同构地表示成为群上的Rees矩阵型半群(相应地,表示成为一附带零元的群上的正则的Rees矩阵型半群).若.才‘,(G;I,A;P)和了。(G‘;I‘,A‘;P‘)是同构的,则群G和G’是同构的,I和I‘有相同的基数且A和A’有相同的基数.半群.才“(G;I,A;尸)和了“(G‘;I‘;A’;尸‘)同构的一些必要充分条件已经知道,除去刚刚提到的条件外,它们还要包含夹层矩阵P和P‘之间的一个十分确切的关系(见tl]一〔31).特别地,任意的完全0单半群可以同构地表示成一个Rees矩阵型半群,而在其夹层矩阵的一给定的行和给定的列中,每个元素不是为O就是为结构群中的单位元;这种夹层矩阵称为正规化的(加rn刘j左沮).同样的性质对完全单半群也成立.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条