一类变换半群的极大逆子半群

摘要

令Y是一个有限集合X的非空子集,T(X)是X到自身的全变换半群。定义S(X,Y)是T(X)的一个子半群为S(X,Y)={α∈T(X):Yα■Y},即S(X,Y)包含T(X)中所有使得Y不变的映射。如果Y=X,则S(X,Y)=T(X)。本文主要给出了半群S(X,Y)的一类极大逆子半群的刻画。