第六图书馆 图书馆推荐 图书馆更新 图书馆排行 中图法分类 期刊 中文期刊

Γ—正则半群上的若干同余


分类: 群论|代数、数论、组合理论|数学|数理科学和化学
文献类型:pdf 和 txt出版时间:1994
作者:杨国为 朱平关键词:幂等分离同余 Γ半群 同余 Γ正则半群
期刊名称:纯粹数学与应用数学.1994,10(1).-84-90全文长度:7234个字
文献来源:http://www.6lib.com 第六图书馆机构:青岛大学师范学院
查看次数:104分类号:O152.7
全文: Γ—正则半群上的若干同余 第六图书馆本文首先给出了Γ-正则半群上的群同余刻划。然后定义了Γ-逆半群的幂等分离核正规系,证明了Γ-逆半群上的幂等分离核正规系决定一个Γ-逆半群上的等分离同余,及Γ-逆半群上的幂等分离同余核是一个等分离核正规系。本文首先给出了Γ-正则半群上的群同余刻划。然后定义了Γ-逆半群的幂等分离核正规系,证明了Γ-逆半群上的幂等分离核正规系决定一个Γ-逆半群上的等分离同余,及Γ逆半群上的幂等分离同余核是一个等分离核正规系。幂等分离同余平青岛大学师范学院1994第六图书馆Γ半群同余Γ正则半群纯粹数学与应用数学杨国为朱 第1卷0 第l胡  纯粹数学与应用数学  PURE AND APPLI MATHEMATIEDC  VoLINOIO_ 1948—9 9 40 I9年.4—9 948O 、  n  r  r一正则半群上的若干同余’  杨国为一  一—一一  一 朱   平…  一 ‘  一  (青岛大学师范学院.青岛,40)(师专,胡.300 200集潮6 集28o) 摘 要 奉文首先给出了卜正则丰群上的群同奈刘划.然后定义了卜逆丰群  的幂等分离核正规系,证明了卜逆半群上的幂等分离核正规系决定一个厂_逆 半群上的幂等分离同余,及F逆丰群上的幂等分离同奈核是一个幂等分离技正 -规..拓广了[】睾1的纬果,  关键词r一半群, 等分商回怠  分类号012 5,7 辞  意 { 1引理 . 设 ,两非空集合.称为r半群,r是 一如果对所有abc ,,e,,,E 8r都有(口i曲 )E,i6肚=4( )本文沿用[,】3的定义和记号, ())i  6.1【,】】2[首先给出r正则半群上的 一群同余刻划,然后给出r逆半群上的幂等分离同余刻划.一下面先给出几个补充定义和引  理.  定义11设 是r半群.,.一称 为r正半群,一如果对任意 E,.相关半 r ( 群)均为正则半群. 定义1.设 是r半群. 为r逆半群,果对任意 ̄rM.为逆半 .2一称一如e,均 群.  定义1.设 是r半群..3一定义E‘为 .的所有幂等元的集合.  定义1.设M是F逆半 r称Ⅳ一UⅣ. .幂等离核规.4-群,.‘E:为的分正  。  ·-  系.如果成立:  c:意.E : .子 .对任ee‘.的群.是 c:意.E :o E:  对任e E‘。nⅣ.c · ·文啦到日期:9-10车3'-1 0 ··国塞自嚣科学基金资助课题  ···作者摹兰州大学致学摹9-329年度访问学者  一 8一 4 http://www.6lib.com第六图书馆 1994年  扬国为  朱 平  r正列半群上的若千同余 一 c:任e,Ⅳ∞。: -,意4对 。    Ⅳ。 4‘ 其中4是4在  。 。 中的—.文4’指口。:)唯逆后 是 e(. 口  r  定义1.设P为r逆半群上的幂等分离同余. .5一称 Ⅳ{1.:EⅣ是 幂元·类为上挟。Ⅳ.Ⅳ‘·:古等  j村的·‘U.r。一,瞳的  定义16设M为r半群.M上的同余.P为M上的群同余,..一P为称如果M/P  是r群.一  引理1.设M为r半群.  一若对任意 e..正皿的.日一日‘rM是!则f一日  1… , 日 一 . 日:·一.且日.中至多含—十一幂等元-   引 设M为r理2.一半群..含 若日中有一幂等。.日篝运 元e则日1:于算 作成—个群. 引理3设M为F半群.r.f。gF则当日.r予半群时.任 .一设一 …1.为一对 意口日,e.6 (.E. ,e:)有64  证明 因I.为r.子群.t一则存在4ei 。l ., 4  E  . 使口 二∽一口 ·一44- 加 。  令6一  e.e:) I.-∞l, (.i则6口口引.理4 设M为F正半如若4。, .7,.。e,4 -则群.图工,4I.,el, ..日i 。。 一  .. e 。 . - e., 7册,,,,一eJ一7.e ,时,d44一,.  。e贝有 .口4一 ., 口-鼬 ,1 一,.n 。,肋一e ,二a其 - (。’:),- .中二e:) e(.n。日 nn 。  a  c . CI  a‘   证明可由引理2和口】.得到 引理5设M为r正则半群,M上的幂等分离圊余P§日 .一剐 证明 由引理1及—般半群上的幂等分离同余得到.口  —— 85— — http://www.6lib.com第六图书馆 第lO誊  纯粹鼓学与应用敷学  第1期  引.设为r理6 一逆半若Ⅳ一UⅣ.群M。幂分离正系.群.‘:是半的等核规  · _ · r 。  则p一l,)M×I∞ ’曲 ’ (bea 4一6一f .. 4 EI是上幂分同 曲Ⅳ. 。的等离余.} 且梭K  一N‘.  结论可直接由幂等分离核正规系定 及[得到.4】  引口理7.M是r半的要件对意n’一逆群充条为任eE,有:)1 r总I(I. 口一  2主要结果 . 定义21设M是r正则半群...一称 的r子半群A为自共轭的r子半群.一一  如果对任意E E成立(当4E(时. r ,f 。口有∞ ) :)M 量,)存在xe,A(当f ,A y 使 ∞一虹,时,总存在 ‘A.e使 肋一6.   令C一似EMIA为包含M的所有幂等元的自共轭卜子半群}, .,一n可证r£一  正财半群M上的群同余核握咆含 的所有幂等元的白共轭r子半群.一 定理1设M是r正则半群,.一则对子AE ,f口bexMI在 E,Cp(,)M 存r e,A使 M一6} 是 上的卜群同余. 证明对于任意 E,C的定义知,ber由 ,)P当且仅当存在xyA,,e使 口a.一by 下面证明P 是M.上的群同余.  首先由口 ’于(∽)∽一口  。) 二,aA因而4』,具有反身性. ,4-口e.口口‘ ap口』P 口(-  6。二曲) (J6)b占慢 ’. k  设a』.pb则有 E使 M—by于是  ,a. 4[。c) 曲】口4  ∞ 伍 口6一( 。  -凹 。cJ曲 。皇[凹  )6-  )曲(口 由:n口)( 曲 )    6,,  46 ̄)A,  ,P  c ’be因而p4ep其省对耢牲.  现设a』,pc则存在xyY, .工4=占, 占墨c=因而(1)口p占b』,,,1 E使  Y1 .J 工  ’IJ1(a) ( ) 曲)。(  J皇c()由于J , ̄e因而a-. axa=Yx占薯(1 - c=- “ .-zyA,1pc  即P 有传递性.P故 是M。的等价关系.上  觋设a』,e.于是存在xyA,pbcM.,e使 口一6J从而c扣Y( -.曲 口  =c6  口 c   ’ 。c4一c4  ’ ’ca—c“  “口 c ̄ ̄L  , c c4】 ’ )  ’c)   c  . 由  于y( ’c’cn饵(a口 。ceA因而cb c口那么PanⅨ Ⅸ口)ax4  apE.』是左同余.似可 类 , 证p』是右同余.对任意e, E‘令 一fE.  。  ‘ 一e ".由AV。,  ̄ xyA ,e. 而 ". ,故eP=.. ‘因此p 是M.上的群同余. 的任意性及r群同余定义 由一 一 86—  http://www.6lib.com第六图书馆 l 年 9 扬国为  泉 平  r正捌半群匕一的若干同翕  5月  得证定理最后结论.口 推论设M是r正则半群.P一l,)M f存在 .e e使 n一则 (bex^I4yUr.  一 6,是M上的最小r群同余. l一  f 1  定义2.N一{‘.L, : Tr 称为r.2L一UNI;J N. e}一逆半群M的分离棱正 幂等规 系。如果:  , :任意 r‘对e 是 .的幂等分离核正规系. :任意 e|对 当 ≠r 时 ‘≠Ⅳ’.  2 /,对任意 r存在4 使 ’ .C:,esN‘  . :任 e4.6 一。e一.n e:,对意, 当∽二一0  e.t.曲Ⅳ.有 ,".时 ’ 一 - 4‘一, e:, ‘肋’. Ⅳ  定.设^是r半群r一UⅣ’ 理2f一逆 e ‘‘, :是Ⅳ.幂等离正的分棱规系. 若 eE’sN‘r, , 则N‘也是M 的幂等分离核正规系.J而且由Ⅳ‘Ⅳ。中决定的同余 在 与Ⅳ‘在 .中决定的同余—致.  证明证明‘是的等离正系.弓及理j .中且 先Ⅳ也 ,幂分核规由I引知.有 理i只—一幂元t日.I且日r一t卜子又:. 有个口等,|.~是1f’群·园Ⅳ.· Ⅳ· 是Ⅳ的 子则对意nE:有n e:于是群,任 N.曲’Ⅳ, . C1肋 ’雠:a一n 。 肋 一曲二曲肋  ’ .’’ . 一 (凸。-E:故N. ,子群·4二),N蕾.-:是的  . . 下证c:任.E. 暑.te.·意面:意e对 e‘  1ⅣⅣ.,Ⅳ.注到M.,  ,   中 幂元换 e是Ⅳ。的~幂等可及。,:中 等元c位,单位单元) 元 ,是Ⅳ,J 的一单  位元,单位元, 则  .  ),).)e     一。 (,)。)扣,)Jt     一t  故eE:.,由理3引得,e1又为,   )引及理7 Ⅳ.因  再  . 扣.),k . )e口   p一。 (.)扣.)扣,)t e     一J 从.e:,,样引及理7.Ⅳ.·么任 而e ( )由理3引得t e同 e-那对意t‘ e:6Ⅳ, 一Ⅳe 有n  , . .曲Ⅳ.,-sI  )e1即Ⅳl  Ⅳ. . 一 R7一  http://www.6lib.com第六图书馆 第10眷  纯粹数学与应用鼓学  幂I 期 接来明C:口  E: .nn。 n。:。 下证 n肋ⅣⅣ.=  ..且n E  -Ⅳ 由引理4及 .J 中幂等元可换性得  ( 口 )nn n)  n‘ )  一4,4. l 一4f t-l  0I,『al8ll80I lq.08,,a —n,   I  nn  加 ‘ 一n ’ 船 ’(n)  ‘  一 )  所以n加‘: n’从由理3弓1得n加Ⅳ  e( )而引及暗   e  n.7 弓理4及cI }任意6Ⅳ ,e  .由再  口口d. 。口4_|‘Ⅳ.._:t 口4 ) Et., .  Ⅳ  6 ‘ 64Ⅳ  柙 而且n Hn.如图由nn4‘一n。得 二.I—   肛   n 一n, -1 nn一n口dn一)n一, n 口 ’ ’(    , 。  e,.  a  c lc | 。  丑 。  因此由上面及C2 得 口肋 。口(6J∞ 肋一 y ) 。  _ ,  。  [n。d   ,Ⅻ 。,EⅣ )kt t,Ⅳl。一:。t £: tⅣ  .e‘.  故c成立 ‘,也是 ,的幂等分离核正规系- 设p是Ⅳ。定的M。决 。 的同余,JⅣ‘ 是决定的 ,同余.的由引理6有  - (E.d )p当且仅当d∞ ‘ ̄-b 一 ‘ 一 . e., 口 e:曲’Ⅳ .  R一 2 http://www.6lib.com第六图书馆 1994年  扬国由  来 平  r正则半群 的若工同索 一 ,耳  扣bp当-e,且仅当d 一6。f,#I∈:)鼬, 一,a8-Ⅳ‘ 。  由引理4可设d口一6  ‘曲 。=e及引理5必有aal l ‘  。, ∞6N, 一b  . e:口 。f曲一.那么由引 理4 。 ,a-肋一6。6一,i 口  ,。  ‘  6  ’ ,.肋 一 ae  ‘( ̄。一at)b∽ 4  。  口 的 曲 ,I即d)。含().过也 e.(g隐d印,来成Ⅳ,,p6r反6 立.口  定理3设M是r逆半群,M上的幂等分离f,p的核是M的幂等分 .一p是司余则离核正规系. 证明由p的核定义有。  Ke 。r {.-r.等。类Ⅳ . 是元的)‘Ⅳ  幂   、  如‘每-含一幂元.含一幂元,‘Ⅳ.此们重果Ⅳ中个Ⅳ. 等e又口等e则Ⅳ= 因我可 既.. 写  f  K=1Ⅳr: 幂 的类·ei.I 是一等。jr  .p .   于是由阁知幂等分离拨正规系定义中 一:,r 成立.由r半群 上的同余定义及 再一引理6得 .故Kep为幂等分离核正规系..r口  。  ,  ,  . 定.设Ⅳ{‘eE}-逆群幂分棱规贝理4一N rr是T半 的等离正系。f!  是膨上的幂等分离同余.  p一() l ,口b-e口 E: ,i M×存e口 -a’.曲Ⅳ}口E在  rh=, ~  .  证明 由p的定义及[1,是M5 5知p 的等价关系,是M且 . g)r上幂等分离同  ,  余一对于7rE— 由巳知存在  使 ’Ⅳ‘UⅣ:这样由定理lⅣ‘s 一得也是  t . ●r  . 。 上的幂等分离核正规系 ‘在  等分离同余.  ,  。 上决定的同余是同—个p故p也是  .  . 上的幂  致谢:导师郭幸琦教授的指导和另一位访问学者赵宪钟的建议感谢 .  参考文献  lStA.·eh.ConrecOl]-Grupg ̄nctia'o 。 Sohw,Mah219)3—3 ocoJ.t,(913272 . 2 ShaN.。nFSmirupm。lC1MahSc8(9812a.KO -ego-Bu1a.t o 018)—1 1 St.,eehARe ̄sThermfrT-Smlruoeo-cgopBu1eL.ah.c8(9921—26l.1MtSo 118172  . {-PrsoG.Ies cirupLLno t.o,915)9-43etn-B,nvresmgosodnMahSe2(94360 - , 5e Kan aaN..rhdo -SaM dSh KOtoxr—Sm[ru ̄Lntrt,Mah&Mahegopenatt Sc119'2—54  0J73 95 .—— 8—9—  http://www.6lib.com第六图书馆 第1O卷  纯粹数学与应用鼓学  第1期  CONGRUENCESON  卜 REGULAR SEM1GROUP  YagGuoin we  (nTiccc,Colg,hTi240)Ya a ahrT‘leYa a,60O e ChPi ung (nouT8h CoeeChou280)C'h cccalg,ah.30D  Abtatsrc  Thspprfs ic  hrceiaino —gopcnrcc D且卜iac rtgvsacaatrt fr izoru ogunoO SmiruThcegop.n Andmptntspr ̄n Ken icoc-caag-rd nra sseomlytm of卜 rglreua  jvfene。  smiru sdfe nd}i rvdta nieoeterdn me ra ytm cgopi eidantspoe htR dmptn-SpaagKel nomlses of卜ies cgo nvresmirupd ̄crie nicoe-smiru rnnsa dmptntcgopConrncsa h guee ndteK  ivresriru i 8 nes cagopsn nJof丑ieptn -sprigcnrec o r—e  a dmoeteaat ogunenn icoeteaalgKeloma seTh eutetnshs f1dmptn-Sprtn ̄enrlytm.eslxedteeo[】srs  Ke rsywod.r-smiruiepocteaai onrncs -cgop.dmtn—sprtngcguee. 19 ahmai betasfain09 91MtetscSujc sict 2M9Clio — 90—  http://www.6lib.com第六图书馆

【相关文献】
关于含单半群的一些性质纯正半群的几个充要条件
双循环半群及拟双循环半群半群局部化中的理想与Ress商
关于一类偏序富足半群的分解关于群矩阵半群
S(X)的变种半群的同余:(Ⅰ)一般结果关于半群中某些子集的分解
强右Ⅱ逆半群的特征正规子么半群与强码
基于完全剩余格值逻辑上的半群(Ⅱ)确定局部结构已知的半群的一种算法
有限幂零半群的构造S—系的扭类与扭自由类
上单调部分单位半群群的子半群的n次方幂
一类π正则半群的特征逆半群和左逆半群的S^1—系特征
双理想的若干性质半群的有限性与同余格的链条件
交换环上Witt指数非零的二维U群的自同构任意域上nxn矩阵半群的积性函数
有限π—拟超可解群关于C正则半群的一个生成问题
Г—纯整半群每个真双理想都是群的半群
F—正则半群与一致和反一致特征部分带关于群布尔矩阵半群
(O,A)类算子半群序列的收敛性一类正则Г—半群到完全0—单Г—半群的分解
正则带类中自由积与张量积的关系关于Kehayopulu问题
半群的灰半素理想AL—空间上格同态半群的实谱映象定理
关于Щеврин的一个定理的记注关于单演半群的指数与周期
同阶矩阵半群的同态可逆Lipschitz半群的北收敛性
无限对称群的正规子群自由半群上的完全同余关系
带非稠定生成元的指数有界C半群与积分半群Ⅱ:扰动n个Ornstein—Uhlenbeck算子在P=1时Sobolev型范数之等价性
关于t—半群与广义E—极小半群非负矩阵半群中J类结构
C—半群的可逆性与C—群交换幺半群的准素分解
I—半群与消去律半群的Goldie Torsion理论和Lambek Torsion理论
关于投射半群偏序半群的左基
半群的一个表示Sym(S)=Aut(S)的半群的特征
E—矩形周期半群及E—矩形分解E—反演半群的圈积嵌入与局部化
D—正则半群上的同余On the Characterization of a Class of π—inverse Semigroups
灰子群的若干性质关于C是指数有界的C—半群
拟纯整半群的构造有限幂零半群及其同余格
亚纯半群上的极大幂等分离同余半模的σ—结构(Ⅲ)
一类拟幂等半群的构造一类逆半群的亚直可约性
半群可唯一地分解为archimedean半群的半格的十种等价条件一类特殊严格纯正半群的特征
C—半群与C0一半群的关系正则半群上的几类左型同余
关于E—矩形理想半群C半群的两个结果
右群的同构定理关于左(右)分式半群(I)
次随机矩阵半群ψn的正则元S(X)的变种半群的α同余
子半群格是可补格的半群(续)矩阵半群的同态(I)
么半群上的严格根序半群中的模糊双理想
关于一个Open问题的注记对合半群中元素的*.Moore—Penrose逆
理想—正则语言类满足置换恒等式的强wrpp半群的性质
关于完全单Γ—半群Г—半群的次直积分解与Г—半格分解
非线性半群的生成元与微分方程的解关于AB理想的一些结果
局部可积半群的谱映射定理几种π正则半群的π正则并分解
FTS的极大交换子半群的结构矩阵及其算法(Ⅱ)关于群环的广义半理想
最终一致连续半群的条件有限变换的指数和周期的图示求法
关于蕴涵半群偏序半环的偏序扩张
半群的一个注记IC—完全正则半群的同余格
正则半群的左Clifford同余半群降,升部分链的对称积
关于偏序半群的素理想与弱素理想关于集合的等价格和完全O—单半群的同余格
第六图书馆 数字图书馆 法律图书馆 武汉华科新材料 Copyright © 2002-2010 www.6lib.com