关于正则半群与完全正则半群.pdfVIP

第 18卷第 2期 南昌大学学报 (理科gL) Vo[．18No．2 1994年 6月 JournalofNanchangUniversity(NaturalScience) Jun-1994 ‘ 关于正则半群与完全正则半群 7cI，一 张人 智 (南昌太学敷学与系蜿科学系 南昌 330047) 摘 要 本文给出一十么半群是正则半群的充要条件是 对任意n·本质左理想L与任意n一本 质右理想R+都有 RNL=RL．推广 丁 Iseki的相应定理 。同时还给 出了完全正则半群的一十刻画。 关键词 正则半群，完全正则半群，本质左 (右)理想 分类号 O152．7 用理想的交来刻画半群的正则性 ，已经 由Iseki给出(见ClIP．34)。在这个注记 中，我们对 么半群推广 Iseki的结果，并给出一个正则半群是完全正则半群的一个充要条件 。 在本文中．我们总假设 s是么半群。 设 s是半群 ，a∈S，如果存在 x∈S，使得 a】a【—a，则称 a是 s的正则元。如果 s的所有元素 都是正则元 ，则称 s是T,N半群 。若R是 s的右理想，如果对 s的任意右理想K，均有RnK≠ ，则称 R是 s的n一本质右理想。类似地 ，我们有n一本质左理想的概念 。首先我们有 引理 1 如果 R是 s的右理想且 R≠s，那么存在 s的右理想K，使得 RnK=o且 RUK 是 s的本质右理想 。类似的结果对左理想也成立 。 证明 考虑 s的右理想的集合 一 {KlKnR= )．显然，K≠ 且 K是一个归纳集 。根据 zorn引理， 中存在极大元K．那么，RUK是 s的n一本质右理想 。事实上，如果存在 s的右理 想 K ，使得 (RUK)nK 一 ，那么 ，RnK 一 ，KnK 一 ，因此 ，(KUK )nR一 且 KU K ∈ ．但 K呈KUK ．这与 K的极大性矛盾。 引理 2(Iseki) 半群 s是正则的，当且仅当对 s的任意右理想 R与任意左理想 L，有Rn L= RL 。 对么半群而言．这个定理可推 广为 定理 1 下列条件等价 ： (1)s是正则半群 ； (2)对 S的任意n一本质左理想I与任意n一本质右理想 R，有RnL--RI． (3)对 S的任意n一本质左理想 I与任意主右理想R，有RnL--RL． 证明 根据引理 2．(1) (2)．(1) (3)成立 。 收犒 日期 l993 04 l3 江西省 自然科学基金资助项Ig · 206 · 南 昌大学学报 (理科版) (2) (1)对任意的a∈S，如果aS=S或者 Sa=S．那么，容易看到a是S的正则元。如果 as≠S且 sa≠s，根据 I理 1．存在 S的右理想 K．使得KnaS= 且R--kUaS是 S的n一本质 右理想 ；存在 S的左理想 C，使得 CNSa= 且 CUSa=L是 S的几一本质左理想 。由(2)的假 设 RnL—RL 注意到a∈RNL，因而存在 u∈R，v∈L．使得 a—uv．因为 R与 I分别是 S的 右 、左理想 的无交并 ，我们分如下几种情况讨论 ： 当u—at．v—sa时，a--atsa．且 a是正则元 。 当u--at，v∈C时，a—atv∈C．而 a∈Sa，故有 a∈SaNC，这是不可能的。 当u∈ ，v—sa时，同样可以看到是不可能的。 最后 ，当u∈K，I1∈C时，a~LIV∈KNC．容易得到a6Sa几c．这与 saNc一 矛盾 。 因而只能出现第一种情况，即存t，s∈S使得 a：atsa，且 a是正则元。 (3) (1)对任意的aES，如果Sa=S．显然 ，a是正则元。如果 sa≠S，同前 ．存在左理想c， 使得 SanC一 且 L=SaUC是S的n一本质左理想。由(3)的假设 ．工naS=aSL．注意到 工是 左理想 aL aLNL aSNL—aSL 口L 由此可见 ，aSNL=aL，而 a∈aSnL．所 以存在 v6L使得 a—av．分如下两种情况下讨