论文部分内容阅读
设T_X是非空集合X上全变换半群,E是X上等价关系,则T_?(X)={f∈T_X:?_x,y∈X,(f(x),f(y))∈E?(x,y)∈E}是T_X的反射等价关系的子半群.取定θ∈T_?(X),在T_?(X)上定义新的运算°为f°g=fθg,其中fθg表示一般意义上映射f、θ、g的复合.关于这个运算°,T_?(X)成为夹心变换半群T_?(X;θ).本文刻画了它的正则元,给出了T_?(X;θ)是正则半群的充要条件.