论文部分内容阅读
令L=[Y;Lα，ρα，β，φα，β]为不含零元不含单位元的左正则带，其中Y为含零元0的有限链.本文证明了L次直不可约当且仅当
1.((V)α∈Y)((E)Nα(∈)L0)ρα,0=ωN∪εL0;
2.((E)a，b∈L0)∩α∈YNα={α,b};
3.（(V)α∈Y）φαα，0为单射;
4.((V)α,β∈Y)α(＞)β（→）|Nβ-Nα|=1;
5.((V)α∈Y)((E)u,v∈Lα) uφαα，0=α,vφbα,0=b.
本文还讨论了正则带簇子簇含元素个数最小的生成元.即
1.(L)(L)=;
2.R(L)=;
3.RB=;
4.(L)=;
5.(L)NB=;
6.RNB=;
7.NB=;
8.(L)RB=;
9.RRB=;
10.(L)(L)NB=;
11.R(L)NB=
; 12.RcB=.
本文分为三部分，主要有以下内容:
第一章介绍了半群，带簇的一些基本概念和引理，及本文经常使用的符号.
第二章给出了结构半格为有限链的不含单位元不含零元的次直不可约左正则带性质结构的一个等价刻画.
第三章讨论正则带簇的子簇含元素个数最少的生成元.
; 12.RcB=