论文部分内容阅读
设[n]={1,2,···,n}并赋予自然序,Ln和Sn分别是[n]上的对称逆半群和对称群.设α∈Ln,若对任意x,y∈dom(α), x≤y?xα≤yα,则称α是保序的.设OLn为严格对称逆半群Ln?Sn中的所有保序变换之集,则OLn是Ln的逆子半群,称OLn为保序严格部分一一变换半群. 本文首次引入半群OLn的m-偏度秩的概念,对任意1≤ m≤ n-1,证明了半群OLn的m-偏度秩存在的充要条件是m与n互素,并得到了半群OLn的m-偏度秩均为n.同时证明了半群OLn的平方幂等元秩为2n-2及半群OLn的平方幂等元生成的极大子半群的完全分类. 本文主要结果有: 引理2.3设1≤m≤n-1且1≤i≤n,令Rmi=;Gm;∩R(i),则Rmi={μii+km:k∈N}. 定理2.5设n≥3且1≤M≤n-1,则半群OLn是由集合Gm生成的充要条件是n与m互素.当n与m互素时,SrankmOLn=n. 引理3.1设α是非幂等元,则α是OLn中的平方幂等元的充要条件是:对任意的x∈dom(α),若xα≠x,则xα/∈dom(α). 引理3.3设n≥3,则2(Dn-1)={αi-1i:2≤i≤n}?{αj+1j:1≤j≤n-1}. 定理3.6设n≥3,则;E2(Dn-1);=OLn,且quaidrank2OLn=2n-2. 定理4.1设n≥3,则OLn的极大平方幂等元生成的子半群为以下形式： (1)K(n,n-2)?{α∈Dn-1:(x∈dom(α))x≥i?xα≥i},3≤i≤n-1, (2)K(n,n-2)?{α∈Dn-1:(x∈dom(α))x≤j?xα≤j},2≤j≤n-2, (3)K(n,n-2)?(Dn-1?Rk),k=1,n, (4)K(n,n-2)?(Dn-1?Rl),l=1,n. 引理4.7设E*2(Dn-2)={αi:1≤i≤m},则K(n,n-2)=;E*2(Dn-2);.