摘要
设X为一非空集合,T(X)为X上的变换半群,E为X上的一个等价关系,给出如下两个集合:Tx0(X)={α∈T(X):x0α=x0},Tx0SE(X)={α∈Tx0(X):x∈X,(x,xα)∈E}。证明了Tx0SE(X)为一正则半群,同时还讨论了Tx0SE(X)上的自然偏序结构及其左右相容性。
Let X be a non-empty set,T(X) denote the full transformation semigroup on a set X. For an arbitrary equivalence relation E on X,we consider two sub semi-group of T( X) defined by:Tx0(X)= {α∈T(X):x0α = x0},Tx0SE(X) ={α∈Tx0(X):x∈X,(x,xα)∈E}It is shown that Tx0SE(X) is a regular semigroup,we also described the left compatibility and right compatibility of each element of Tx0SE(X) wich respect to this order.
引文
[1]Vagner V.Generalized groups[J].Dokl Akud Nank(Russian),1952,SSSR84:1119-1122.
[2]Hartwig R.How to partially order regular elements[J].Math Japon,1980,10:251-13.
[3]Namgooripad K.The natural partial order on a regular semigroup,proc[J].Edinburgh Math Soc,1980,23:249-260.
[4]Mistch H.A natural partial order for semigroups[J].Proc Am Soc,1986,97:384-338
[5]Kowol G,Mitsch H.Naturally ordered transformation semigroups[J].Monatsh Math,1986,102:115-138.
[6]Sun L,Pei H,Cheng Z.Naturally ordered transformation semigroups preserving an equivalence[J].Bull Austral Math Soc,2008,78:117-128.
[7]Namnak C,Laysirikul E.Natural partial order on a semigroup of self-E-Preserving transformations[J].Scientific Research and Essays,2013,8(1):39-42.