降序有限部分变换半群的幂等元秩

摘要

设Xn是包含n个元素的全序集,Pn是Xn上的所有部分变换构成的半群,Sn是n次对称群,SPn-={α∈PnSn:x∈dom α,xα≤x}.证明了:SPn-是幂等元生成的,并且是由顶端Jn*-1的n(n+1)/2个幂等元生成.