Γ—正则半群上的若干同余 |
|
| 分类: 群论|代数、数论、组合理论|数学|数理科学和化学 | | 文献类型: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第六图书馆
| | |
|