保E*关系的部分——变换半群

令X为有限集合,E为X上的等价关系,IX是X上的对称逆半群.令IE*(X)={f∈IX:(x,y)∈E当且仅当(f(x),f(y))∈E},则IE*(X)是IX的逆子半群.讨论了半群IE*(X)的格林关系与秩.     

保E~*关系的部分一一变换半群

令X为有限集合,E为X上的等价关系,IX是X上的对称逆半群.令IE*(X)={f∈IX:(x,y)∈E当且仅当(f(x),f(y))∈E},则IE*(X)是IX的逆子半群.讨论了半群IE*(X)的格林关系与秩.     

半群CPOn的秩

设自然数n≥4,Xn={1,2,…,n}.证明了Xn上的保序且保压缩的有限部分变换半群CPOn的秩为2n-1.