王 芳，楊秀良

(杭州師范大學理學院，浙江 杭州 311121)

0 引言和主要結(jié)果敘述

設(shè)IOn={α∈In|?x,y∈dom(α),x≤y?xα≤yα}是有限集Xn={1,2,…,n}上的部分一一保序變換半群,它引起了人們極大的關(guān)注[1-5].最近,Al-Kharousi等[6]研究了IOn的保序等距子半群

ODPn={α∈IOn|?x,y∈dom(α),|x-y|=|xα-yα|}∪{?}.

文獻[7]將ODPn推廣到IOn的更大的子半群,即保序擴張半群

OEXn={α∈IOn|?x,y∈dom(α),|x-y|≤|xα-yα|}∪{?}，

本文的主要結(jié)果如下:

定理1半群OEXn的階為

1 主要結(jié)果的證明

為敘述方便, 先作如下準備.

對α∈OEXn,dom(α)和im(α)依次表示α的定義域和值域,令|im(α)|=r,且

其中a1

g(dom(α))=(|a2-a1|,|a3-a2|,…,|ar-ar-1|)，

g(im(α))=(|a2α-a1α|,|a3α-a2α|,…,|arα-ar-1α|).

給定g(dom(α))所對應(yīng)的定義域集和值域集如下:

dom(g(dom(α)))={{p,p+d1,p+d1+d2,…,p+k}|1≤p≤n-k}，

im(g(dom(α)))={{p,p+d1+i1,p+d1+d2+i1+i2,…,p+k+s}|0≤s≤n-k-1,1≤p≤n-k-s}.

例如,α∈OEX4,且|im(α)|=3,設(shè)g(dom(α))=(1,1),則g(dom(α))所對應(yīng)的定義域集和值域集分別為:

dom(g(dom(α)))={{1,2,3},{2,3,4}}，

im(g(dom(α)))={{1,2,3},{2,3,4},{1,3,4},{1,2,4}}.

引理1對n≥1,則F(n,0)=1，F(xiàn)(n,1)=n2.

□

x1+x2+…+xr-1=k-r+1

的非負整數(shù)解的個數(shù).由[11,推論3.5.3],可得所求的個數(shù)為

因此當3≤r≤n時,結(jié)論成立.

綜上可得結(jié)論成立.

集合X表示從數(shù)集{1,2,…,n-k+r-1}中任意取出r個數(shù)組成的集合{x1,x2,…,xr}的全體,其中x1

X={{p,p+i1+1,p+i1+i2+2,…,p+s+r-1}|0≤s≤n-k-1,1≤p≤n-k-s},

Y={{p,p+d1+i1,p+d1+d2+i1+i2,…,p+k+s}|0≤s≤n-k-1,1≤p≤n-k-s}.

證明給定集合

X={{p,p+i1+1,p+i1+i2+2,…,p+s+r-1}|0≤s≤n-k-1,1≤p≤n-k-s}.

Y={{p,p+d1+i1,p+d1+d2+i1+i2,…,p+k+s}|0≤s≤n-k-1,1≤p≤n-k-s}.

因此我們只需找一個從X映到Y(jié)的雙射即可.現(xiàn)有映射f:X→Y為

只需證映射f是一個雙射.

任取a,b∈X且a≠b,令a=(a1,a2,…,ar),b=(b1,b2,…,br), 從而

f(a)=f(a1,a2,…,ar)=(a1,a2+d1-1,a3+d1+d2-2,…,ar+k-r+1)=(l1,…,lr),

f(b)=f(b1,b2,…,br)=(b1,b2+d1-1,b3+d1+d2-2,…,br+k-r+1)=(m1,…,mr).

由于a≠b, 必存在t使at≠bt,因

lt=at+(d1+d2+…+dt-1)-t+1,

mt=bt+(d1+d2+…+dt-1)-t+1,

故lt≠mt.因此f(a)≠f(b),即f是一個單射.

現(xiàn)任取{y1,y2,…,yr}∈Y,必存在

c={y1,y2-d1+1,y3-d1-d2+2,…,yr-k+r-1},

由1≤y1

1≤y1

種情況.因r-1≤k≤n-1,故

令k=r+i-2,得

|OEXn|=F(n,0)+F(n,1)+F(n,2)+F(n,3)+…+F(n,n).

由引理1和引理4得

以下給出第二個主要結(jié)果的證明.

ij≥dj,k≤s≤n-1(j∈{1,2,…,r-1}).

i1+i2+…+ir-1=s

滿足條件i1≥d1,i2≥d2,…,ir-1≥dr-1的整數(shù)解的個數(shù).設(shè)x1=i1-d1,x2=i2-d2,…,xr-1=ir-1-dr-1,則等價于

x1+x2+…+xr-1=s-k

的非負整數(shù)解的個數(shù).由[11,推論3.5.3],可得所求的個數(shù)為

因k≤s≤n-1,故(i1,i2,…,ir-1)共有

種情況.

當r=2時,則g(dom(α))=(d1),g(im(α))=(i1),由|x1-x2|≤|a1-a2|, 從而

1≤d1≤i1≤n-1,

綜上可得結(jié)論成立.

結(jié)論成立.

結(jié)論成立.

結(jié)論成立.