关于周期拟环与L拟环的几个定理一.pdf

天津师大学掼 (自抟科学版)1090年第 1期 f总第l5期J 、 关于周期拟环与L一拟环的几个定理 侯国荣 朱眉眉 擒 要 一 本文把周期s~,-bJacobsonff,的概念 if八拟环，定义 了周 期 拟 环 和Jacobson托 环，井给 出了二者之间的关系以厦周期扭环争 】aeobsoa拟环为拟域 的 几 个 充要 条 件 ．由于环是零对称的扭环，且总存在分配元，从而 [2] 中除系2以外的奎部结 果是本 文有 关 定理的直接 推论 ． 关键词l周期拟坏 L一拟环 代数系 (N，+，·)称作拟环 (nearring)，如满足 条件 i) (K，一L)是一 个群 (不要 一 求可换)，ii) (N，·)是一个芈群；iii)右分配律成 立，(+y)z= +yzVz， ∈N． 在拟环 中，0a·=0，V口∈N，是显然的．但一般情况下。a·0=0却 不成立．若Va∈N，口·0 =0成立，则称N是零对称拟环．拟环是比环更加广泛的一个代数系．在拟环N 中，若存在 一 个元 z，使得v ，∈N， (+ )=z +∞成立，则称 z是N的一个分配元；N中分配元 的全体记为 N ，若 (N ，+)是山N 的一个乘法子半群生 成，则称N是分配生成 拟环 。若 VX∈N，恒有正整数re(x) (z)，使得 z ：z 成立，则称N是一个周期拟环，进 一 步，若Vx∈N，恒有正整数() 1，使 =z成立，则称N是一个 Jaeobson拟环， 零对称的Jacobson拟环也称为三一拟环 ．对拟环N，若N中全体非零元是一个乘群，剐称N 为一个拟域．拟环N称为左 (右)强正则的，若Vx∈N，存在口∈N，满足 = 0=$ 口) 拟环N称为可约的 (reduced)，若N 没有非零的幂零元且有 I．F．P性质，即若 ab=0 可推 出：Vx∈N，有axb=0，且ba=0． 本文中的术语和符号均以 [1]为标准． 我们把本文 中要引用的两个孰知的命题叙述如下： 命题 1 ([8]中定理 2) 设N是一个分配生成拟环，若V．r∈N，存在正整数 ) r1，满足z = ，则N是一个交换环 ． 命题 2 ([4] 中引理 1(a)) 若拟环N是左 (右)强正剐的，则N是可约的． 由周期拟环与Jacobson拟环的定义可 看出，Jacobson拟环一定是周期拟环，但反过来 不成立 (如非零的诣零拟环)． 我们首先讨论，在什么条件下，一个周期拟环是Jacobson拟环 ． 显然，】acobson拟环不含非零的幂零元 ．从而我们可以得到：JacobSOll拟环是不含非零 的幂零元的周期拟环 ．我们指出，当拟环是零对称时，这一结论的反面也是成立的．为此我 ， 们 需要下面舶 目I理 一个零对称拟环N不含非每的幂零元的充要条件是N是可约的． 证明 充分性是显然的；另一方面，如果曲=0，因为( )=(6a)·(6a)=b·(曲)·o= b·0·a=0，N不含非零的幂零元，敞有ba=0．同理，因(axb) ：axb·axb=az·0z·b=0， 可得axb=0． ． 定理 1 夸是零对称的拟环 刚N是三一拟环 (Jeeobson岢鼠环 的觉耍涤件是N是可 约的周期拟环 ． 证明 必要性 N显然不含非零的幂零元，由引理-N是可约的周期拟环 ． 充分性 N是周期拟环，~IlVzEN，存在正整数m() n()，使得z =∞ 成立． 不