一类夹心变换半群的正则元

设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;θ)是正则半群的充要条件.

半群上的一类变换及其性质

设S是一个半群,δ是S到S的一个映射,如果δ满足对于任意的x,y∈S,有δ(xyx)=xδ(y)x.则称δ为S的一个夹心变换.S的所有夹心变换的集合作成的半群称为S的夹心变换半群.本文讨论了夹心变换半群的一些性质,进一步利用夹心变换半群对一些特殊半群的进行了刻画.