素GPI—环的幂零多项式.pdfVIP

维普资讯 第21巷第3期 数 学 研 究 与 评 论 ．2lN 3 2001年 8月 JOURNAL OFMATI~ MATICAL RESEARCH AND EXPOSITION AuE．2O01 素 GPI一环 的幂零多项式 ‘ 游 松 发 (期北大学研究生址，期北 武汉 430062) 摘 要 ；R是素GPI-~，若多项式f(z ．’． )在R上是幂零的，埘或 f(zl…．I．)是R的恒 等式，或 R是有耀域上的有 限矩 阵环． 美键 词 IGPI一环I幂零I广卫形心 I基层 I恒等式． 分类号 ；AMS(1991)15RS0／CLCO153．3 文赫标识码 ，A 文章冀号 t1009341X(2001)03-0452—03 1 j耍备知识 令 R是一个素环，④一 {JIIlR}是 R的所有非零理想的集合 ，F= (，I，：Jt— R 是所有 右 R一模 同态，J∈④}．称 ，1(作用在 R的理想J上)与 ，2(作用在R的理想J：上)是等价的． 若存在某J ∈@ 使得 ，1I，= I，，其中， J nJ．由此我们可定义 F上的一个等价关系 ， 其所有等价类的集合用Q表示． 若7_， ∈Q，定义7_+ 是由^+ 作用在JnJ。上所确定的类 ， ·7I是 由，1(，I) 作用在 ，。J。上所确定 的类 ，易知 (Q，+，一)构成一个环． 性质 1．1 若 R是索环，则 R可看作环Q的子环． 证明 定义映射 g：R— Q， 一 nt)，其 中n 是 R的左乘变换 ，即n ：R— R，(r— at)t 由R 的索性可知 是单 的，从而 R可同掏嵌入到 Q 中． 性质 1．2 若 R是索环，则 Vg∈Q，必存在 0≠ J R，使得 qJ R． 证明 由性质 1．1，，中元可看作Q中元 ，据 Q中定义的乘法和Q中元的定义q·I一 口U) R． 性质 1．3 若 R是素环，则 Q是素环． 证明 若 Q不是索环 ，必存在 0≠毋 ∈O(i= 1，2，下同)，使得 Q = 0，据性质 1．2，对 必存在 0≠I． R，使得 口J R，又 ≠0，故必存在 而 I．，使得 口毛≠0，而 (lz)R(gjz：) (吼q ：)z = 0，此与 R是索环相矛盾，故 Q是索环． 性质 1．4 若 R是索环，则环 Q的中心C— z(Q)是域． ·牧龋 日期，1998-06·15 怍者1l介漕 按发 (1966一)．男，胡jE武穴市^，期北大学讲师． F,-mcl!l sc@dn4．huba．edu．cn — — 452 —— 维普资讯 证明 因Q是紊环 ，因而C—z(Q)在 Q中没有零因子 ，令 o≠c∈C Q，据性质 1．z， 存在 0≠ qR，使得c R，因c与Q中元可换，从而与R中元可换 ，因而 c，是R的(双边)理 想，令 d∈Q，d：cl— R(cz— z，z∈，)，则 d(cx)一 ，据 Q 中乘法定义 dcx一 ．从而 (de一 1)x= 0，据 Q 的索性 c— l一 0，dc一 1，即C— z(o)是域． 下面令 s= RC，其中C=z(Q)，由上述性质可知 s是包含 R的Q的子环 (Q s R)， 称 c是 R的广义形心．s是 R的中心闭包 (或广义形心扩张)，若 1∈R，则C— z(s)．当R是 素环时，C—z(Q)是域且 s亦是紊环．[1]曾证明： 引理 1．5 夸 R是素环 ，S— RC是 R的中心闭包 ，则 S是 GPI一环 (c上)，当且仅 当S包 含一个最小右理想 eS(因此 s是本原的)且 eSe是 c上 的有限维可除代效．