关于半群的刻画_第1页
关于半群的刻画_第2页
关于半群的刻画_第3页
全文预览已结束

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

关于半群的刻画

如果定义了半组s的元a,则a=a。当s的存在与a.a和xa相同时,a被认为是完全更正的。所有元都(完全)正则的半群称为(完全)正则半群。x是半群S的正则元a的逆元,如果a=axa,同时有x=xax。定义2称半群S的元a是(完全)Π-正则的,如果存在n∈N使得an(完全)正则,所有元都(完全)Π-正则的半群称为(完全)Π-正则半群。定义3半群S中的元1S称为幺元,如果对半群S的任意元a,有a1s=1sa=a。半群S中的元e称为幂等元,如果e=e2。定义4设S、T是幺半群,End(T)表示T的自同态。令α∶End(T),α(s)是给定的半群同态映射。关于任意s∈S和t∈T,用ts表示t在α(s)下的象tα(s)。显然有(t1t2)s=ts11sts22s,任意s∈S和t1,t2∈T,t(s1s2)=ts1ts2,t1s=t。半直积S×αT是关于以下乘法的一个半群,(s1,t1)(s2,t2)=(s1s2,ts2t2),(s1,t1),(s2,t2)∈S×αT。定义5半群S中的元b是a的σ-逆元,如果满足a=aba,b=bab,且存在n∈N使得anb=bna。如果半群S中的任意元a存在唯一的σ-逆元,称半群S是σ-逆半群。定义6正则半群中的幂等元乘积交换,且每个元的逆元唯一,则S是逆半群。注用E(S)表示S的幂等元。用Reg(S)表示S的正则元。用ts(m)表示tsm-1tsm-2…tst,其他未给出定义请见参考文献。1σ-逆幺半群的半直积及结构引理1对半群S以下几种情况等价:(1)S是σ-逆半群;(2)S逆且完全Π-正则;(3)S正则且任意元a存在e∈E(S),m∈N使(ae)m=(ea)m。引理2S,T是幺半群,如果半直积S×αT是σ-逆幺半群,则以下几种情况成立:(1)S,T是σ-逆幺半群;(2)任意e∈E(S),如果tet=t则te=t;(3)任意e∈E(S),u∈E(T),则ue=u;(4)S,T是逆的且任意e∈E(S),te=t;(5)任意(s,t)∈S×αT,存在m∈N,(e,t1)∈E(S×αT)使(se)m=(es)m,(tet1)se(m)tet1=(ts11st)es(m)ts11st;(6)(e,t)∈E(S×αT)⇔e∈E(S),te=t∈E(T)。证明(1)任意s∈S,(s,t)∈S×αT,由引理1S×αT,正则,故存在(s1,t1)∈S×αT,使得(s,t)(s1,t1)(s,t)=(s,t),可知ss1s=s,即s正则,可知S正则。任意(s,t)∈S×αT,由引理1存在(e,t1)∈E(S×αT),存在m∈N,使((s,t)(e,t1))m=((e,t1)(s,t))m,即(se,tet1)m=(es,ts11st)m,可知(se)m=(es)m,由引理1,S是σ-逆幺半群。任意t∈T,(1s,t)∈S×αT,同理存在(1s,t1)∈S×αT,使得(1s,t)(1s,t1)(1s,t)=(1s,t),即(1s,t1st1s1t)=(1,t),所以tt1t=t,可知T正则。同理任意t∈T,(1s,t),存在(1s,t1)∈E(S×αT),t1∈E(T),使得((1s,t)(1s,t1))m=((1s,t1)(1s,t))m,即(1s,tt1)m=(t11s)m,(1s,(tt1)m),所以(tt1)m=(t1t)m,由引理1,T是σ-逆幺半群。(2)如果e∈E(S),t∈T,由tet=t知(e,te),(e,t)∈E(S×αT),te∈E(T)。所以,(e,tet)=(e,te)×(e,t)=(e,t)(e,te)=(e,tete)=(e,te),t=tet,故t=tet=te。(3)对任意e∈E(S),u∈E(T),知(1s,u),(e,1t)∈E(S×αT),所以(1s,u)(e,1t)=(e,1t)(1s,u),ue1t=11stu,即,ue=u。(4)S,T是σ-逆的,显然是逆的。任意t∈T,由于T是σ-逆的,故存在唯一t1使t1=t1tt1,t=tt1t,用e作用亦有te=tetIe1t3,且tet1=(tet1)etet1,由(2)tet1=(tet1)e,tet1=tete11e。由于tt1∈E(T),由(3)tet1=(tt1)e=tt1。所以t1tt1=t1tet1=t1,tet1te=tete11ete=te,可见te是t逆元,有逆元唯一性知te=t。(5)由于S×αT是要σ-逆的,据引理1(3)对任意(s,t)∈S×αT,存在m∈N,(e,t1)∈E(S×αT)使((s,t)(e,t1))m=((e,t1)(s,t))m,(se,tet1)m=(es,ts11si)m,即((se)m,(tet1)se(m)tet1)=((es)m,(ts11st)es(m)ts11st),所以(se)m=(es)m,(tet1se(m)tet1=(ts11st)es(m)tts11st。(6)如果(e,t)∈E(S×αT),有(e,t)(e,t)=(e2,tet)=(e,t),所以e2=e∈E(s),tet=t。由(2)te=t∈E(T)。反之,显然成立。定理1S,T是幺半群,则半直积S×αT是σ-逆幺半群当且仅当以下情况成立:(1)S,T是σ-逆幺半群;(2)任意e∈E(S),u∈E(T),则ue=u;(3)任意(s,t)∈S×αT,存在m∈N,(e,t1)∈E(S×αT)使(se)m=(es)m,(tet1)se(m)tet1=(ts11st)es(m)ts11st。证明必要性由引理2给出。下论充分性:显然(1s,1t)是S×αT的幺元。任意(s,t)∈S×αT,由于S,T正则,故存在s1,t1使ss1s=s,tt1t=t。显然s1s∈E(S),tt1∈E(T),由(2)(tt1)s1sss1=tt1。由(s,t)(s1,ts111s1)(s,t)=(ss1s,ts1sts1s11s1st)=(s,(tt1)s1st)=(s,tt1t)=(s

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

评论

0/150

提交评论