左拟正规带的自由积.pdfVIP

维普资讯 第 43卷 第 6期 山 东 大 学 学 报 (理 学 版) 2008年 6月 v01．43 No．6 JoumalofShandongUniversity(NaturalScience) Jun．2O08 文章编号 20o8)06—0083—04 左拟正规带的 自由积 毕晓冬 (山东警察学院人事处 ，山东 济南 250014) 摘要：证明了左拟正规带在半群范畴中的 自由积的极大左拟正规带同态象，同构于它们在左拟正规带范畴中的 自 由积 ，从而证明了左拟正规带自由积的存在性。还建立了交换 自由积的概念，并考察了半格 自由积与交换 自由积 的关系。 关键词 ：左拟正规带；半格；自由积 ；范畴；交换 自由积 中图法分类号：0152．7 文献标志码：A Freeproductofleftquasi—normalbands BIXiao-dong (PersonnelOffice，SbandongPoliceCoUege，Jinan250014，Shandong，China) Abstract：Itisprovedthatthemaximalleftquasi—normalbandhomomorphicimageofthefreeproductof rightquasi-normalbands inhtesemi-groupcategroryisisomorphictohteirfreeproductinhteleftquasi—normalbandcategory．Then，hteexistenceof hte freeproductinleftquasinommlbandwasproved．Finally，hteconceptof commutativefreeproductWas ven，andhterelation- shipbetweensemi-latticefreeproductandcomm uattivefreeproductWas examined． Keywords：leftquasi—n0nnalband；semi-lattice：freeproduct；category；comm uattive product t 0 引言 带是指适合幂等律、结合律且具有一个运算的代数系统。正规带是指适合正规性 xyzx=xxyx的带，右正 规带是适合 xyz=yxz的带，左正规带是适合 xyz=xzy等式的带，左零带是适合xy= 的带，右正则带是适合 xy=yxy的带，左拟正规带是指适合左拟正规性 xyz=xyxz的带，显然正规带是左拟正规带。半格是指适合 交换律xy=yx的带。 下面给出左拟正规带的一个刻划 。 引理 0．1… 设 Js是一个带，以下结论等价： 1)Js是一个左拟正规带； 2)Js是一个左正则带和一个右正规带的织积 ； 3)Js是右零带和左正则带的次直积。 定义 O．1 设 { Ii∈，}是一族左拟正规带，其在半群范畴中的自由积Ⅱ 由所有形如 i b1b2…b ，b1∈B1，b2∈Bi2，… ，b ∈B ，mI0 的字组成(字母不可交换)。单位元为空字 ，其乘法是并字|2]。 一 般地Ⅱ 不是左拟正规带。 收稿 日期 ：2OO7—09—30 作者简介：毕晓冬(1962- )，女，副研究员，研究方向为代数学．Email,,jexy3639@sdpe．edu、