素Γ-环理想上的强保交换导子.pdfVIP

第 52卷 第 2期 吉 林 大 学 学 报 (理 学 版 ) Vo1．52 No．2 2014年 3月 JournalofJilinUniversity(ScienceEdition) M ar 2O14 研 究 简 报 素 环理想上的强保交换导子 周 园，马 晶 (吉林大学 数学学院，长春 130012) 摘要 ：利用素 环的性质讨论 当素r_环的导子在一个非零理想上强保交换时素 环的交换 性，证 明了：若导子d在素 环尺 的非零理想J上强保交换，且 (J) J，则R是交换的． 关键词 ：素r_环；导子；强保交换 ；理想 中图分类号 ：O153．v 文献标志码 ：A 文章编号 ：1671—5489(2014)02—0277—03 StrongCommutativity—PreservingDerivationon an IdealofaPrime／-Ring ZH()U Yuan。MA Jing (CollegeofMathematics，JilinUniversity，Changchun130012，China) Abstract：IetR beaprime_P-ringwithaderivationd．W eprovedthatifd isstrongcommutativity preservingonanonzeroidealIofR，andd(J) I，thenR iscommutative． Keywords：primeB-ring；derivation；strongcommutativitypreserving；ideal 由Nobusawal1定义的代数系统称为r 一环 ；由Barnes[2定义的代数系统称为 环． 设 R和 是两个加法群 ，如果存在一个从R×r×R到R 的映射 ，它把 (。，a，6)映成 aab，并且对 任意的 “，6∈R及a，口∈工1，都有 ： 1)(a+b)ac=aac+bac。“(a4-f1)b=aab+aflb，aa(b@c)=aab+aac； 2)(aab)~c=aa( f)． 则称R是一个 环 ]． 对于任意给定的环R，取加法群 F=R，则 R成为一个r_环．可见环都可以视为 环 ；反之， 环 未必是环．例如，环R上的所有 × 矩阵构成一个加法群 ，记为 (R)．但当 ≠ 时M (R) 不构成环．若取I1是由环R上所有n× 矩阵构成的加法群 ，则 M (R)构成一个 环． 设 ，是 环R 的一个加法子群 ，若 Rr J(盯IR J)，则称 J是R 的左 (右)理想．如果R 的左理 想 I同时也是R的右理想，则称 ，是R的理想．集合 z(R)一{a∈Rjaab—baa，Vb∈R，a∈r)称为 环R 的中心．对一个 环R，a，b∈R，如果 由 “ Ib一0总可以推出n一0或 b一0，则称 R是素 r环；如果 由aPR 一0总可以推出 “一0，则称 R为半素厂_环[3]． 若 是环R上的加性映射 ，并且对任意的Iz，Y∈R都有d(xy)一d(z)Y+xd()，则称 d是R 的 导子．Sapanci等 给出了 环上导子的概念 ，并列举 了几个实例．设 d是 环R上的加性映射，若 d(xay)一 ()ay+ a ()对任意的37，Y∈R，a∈r均成立，则称 d是 环R 的导子． 若环 R上的映射 厂在其子集S上满足[(z)，-厂()]=[z，]，则称 厂在 5上是强保交换的 ．设 收稿 日期 ：2O13一O6—03． 作者简介 ：周 园(1987 )，女，汉族 ，硕士，从事环论的研究，Email：zhouyuan150630@126．COII1．通信作者：马 品(1978 ) 女，汉族 ，博士，副教授 ，从事环论的研究，E—mail：jma@jlu．edu，cil． 基金项 目：国家 自然科学基金 (批准号：l1101175． 278