保整除保序有限变换半群DO_n的Green关系及其正则元

设Xn={1,2,…,n}是有限全序集,Tn是有限集Xn上的全变换半群,易知它的子集TD(Xn)={α∈Tn:x∈Xn,x|n→ xα|n}是Tn上的一个子半群,称之为保整除变换半群,令DOn={α∈TD(Xn):x,y∈Xn,x≤y→xα≤yα},则DOn是TD(Xn)的一个子半群,称之为保整除保序有限变换半群,在此刻划了DOn的Green关系和正则元。