保序递减全变换半群

令T_(n)为有限集X_(n)={1,2,…,n}上的全变换半群.研究子半群C_(n)={α∈T_(n)|■x,y∈X_(n),x≤y?xα≤yα且xα≤x}.特别得到C_(n)的每一个Gree_(n)关系都是恒等关系,且每一个正则元都是幂等元;进一步C_(n)的每一个L^(*)类和每一个R^(*)类都仅含唯一个幂等元,但不是L^(*)-幂单的和R^(*)-幂单的.