{"title":"素数环上中心值广义导数的作用","authors":"Basudeb Dhara, Sukhendu Kar, Kalyan Singh","doi":"10.1007/s13370-025-01240-w","DOIUrl":null,"url":null,"abstract":"<div><p>In this paper we are going to show that derivations satisfying some identity carry a certain form. To prove this, we assume <span>\\(\\mathcal {R}\\)</span> is a prime ring with <span>\\(char(\\mathcal {R})\\ne 2\\)</span>, <span>\\(\\mathcal {I}\\)</span> is a nonzero ideal of <span>\\(\\mathcal {R}\\)</span>, <span>\\(\\mathcal {U}\\)</span> is the Utumi quotient ring of <span>\\(\\mathcal {R}\\)</span> with extended centroid <span>\\(\\mathcal {C}=\\mathcal {Z}(\\mathcal {U})\\)</span> and <span>\\(f(x_1,\\ldots ,x_n)\\)</span> is any noncentral valued multilinear polynomial over <span>\\(\\mathcal {C}\\)</span>. Suppose that <span>\\(\\mathcal {F}\\)</span> and <span>\\(\\mathcal {G}\\)</span> are two generalized derivations and <i>d</i> is any non-zero derivation of <span>\\(\\mathcal {R}\\)</span>. If </p><div><div><span>$$\\begin{aligned}\\mathcal {F}^2(f(\\zeta ))d(f(\\zeta ))-\\mathcal {G}(f(\\zeta )^2) \\in \\mathcal {C}\\end{aligned}$$</span></div></div><p>for all <span>\\(\\zeta =(\\zeta _1,\\ldots ,\\zeta _n)\\in \\mathcal {I}^n\\)</span>, then <span>\\(\\mathcal {F}(x)=ax\\)</span> or <span>\\(\\mathcal {F}(x)=xa\\)</span> for any <span>\\(x\\in \\mathcal {R}\\)</span>, for some <span>\\(a\\in \\mathcal {U}\\)</span> along with <span>\\(a^2 =0\\)</span> and following one conclusion holds: </p><ol>\n <li>\n <span>(1)</span>\n \n <p><span>\\(\\mathcal {G}=0\\)</span>;</p>\n \n </li>\n <li>\n <span>(2)</span>\n \n <p>there exists <span>\\(\\lambda \\in \\mathcal {C}\\)</span> and a derivation <i>h</i> of <span>\\(\\mathcal {R}\\)</span> such that <span>\\(\\mathcal {G}(x)= \\lambda x+h(x)\\)</span> for all <span>\\(x\\in \\mathcal {R}\\)</span> with <span>\\(f(\\zeta _1,\\ldots ,\\zeta _n)^2\\)</span> is central valued on <span>\\(\\mathcal {R}\\)</span>;</p>\n \n </li>\n <li>\n <span>(3)</span>\n \n <p><span>\\(\\mathcal {R}\\)</span> satisfies <span>\\(s_4\\)</span>.</p>\n \n </li>\n </ol></div>","PeriodicalId":46107,"journal":{"name":"Afrika Matematika","volume":"36 1","pages":""},"PeriodicalIF":0.9000,"publicationDate":"2025-01-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Action of generalized derivations with central values in prime rings\",\"authors\":\"Basudeb Dhara, Sukhendu Kar, Kalyan Singh\",\"doi\":\"10.1007/s13370-025-01240-w\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<div><p>In this paper we are going to show that derivations satisfying some identity carry a certain form. To prove this, we assume <span>\\\\(\\\\mathcal {R}\\\\)</span> is a prime ring with <span>\\\\(char(\\\\mathcal {R})\\\\ne 2\\\\)</span>, <span>\\\\(\\\\mathcal {I}\\\\)</span> is a nonzero ideal of <span>\\\\(\\\\mathcal {R}\\\\)</span>, <span>\\\\(\\\\mathcal {U}\\\\)</span> is the Utumi quotient ring of <span>\\\\(\\\\mathcal {R}\\\\)</span> with extended centroid <span>\\\\(\\\\mathcal {C}=\\\\mathcal {Z}(\\\\mathcal {U})\\\\)</span> and <span>\\\\(f(x_1,\\\\ldots ,x_n)\\\\)</span> is any noncentral valued multilinear polynomial over <span>\\\\(\\\\mathcal {C}\\\\)</span>. Suppose that <span>\\\\(\\\\mathcal {F}\\\\)</span> and <span>\\\\(\\\\mathcal {G}\\\\)</span> are two generalized derivations and <i>d</i> is any non-zero derivation of <span>\\\\(\\\\mathcal {R}\\\\)</span>. If </p><div><div><span>$$\\\\begin{aligned}\\\\mathcal {F}^2(f(\\\\zeta ))d(f(\\\\zeta ))-\\\\mathcal {G}(f(\\\\zeta )^2) \\\\in \\\\mathcal {C}\\\\end{aligned}$$</span></div></div><p>for all <span>\\\\(\\\\zeta =(\\\\zeta _1,\\\\ldots ,\\\\zeta _n)\\\\in \\\\mathcal {I}^n\\\\)</span>, then <span>\\\\(\\\\mathcal {F}(x)=ax\\\\)</span> or <span>\\\\(\\\\mathcal {F}(x)=xa\\\\)</span> for any <span>\\\\(x\\\\in \\\\mathcal {R}\\\\)</span>, for some <span>\\\\(a\\\\in \\\\mathcal {U}\\\\)</span> along with <span>\\\\(a^2 =0\\\\)</span> and following one conclusion holds: </p><ol>\\n <li>\\n <span>(1)</span>\\n \\n <p><span>\\\\(\\\\mathcal {G}=0\\\\)</span>;</p>\\n \\n </li>\\n <li>\\n <span>(2)</span>\\n \\n <p>there exists <span>\\\\(\\\\lambda \\\\in \\\\mathcal {C}\\\\)</span> and a derivation <i>h</i> of <span>\\\\(\\\\mathcal {R}\\\\)</span> such that <span>\\\\(\\\\mathcal {G}(x)= \\\\lambda x+h(x)\\\\)</span> for all <span>\\\\(x\\\\in \\\\mathcal {R}\\\\)</span> with <span>\\\\(f(\\\\zeta _1,\\\\ldots ,\\\\zeta _n)^2\\\\)</span> is central valued on <span>\\\\(\\\\mathcal {R}\\\\)</span>;</p>\\n \\n </li>\\n <li>\\n <span>(3)</span>\\n \\n <p><span>\\\\(\\\\mathcal {R}\\\\)</span> satisfies <span>\\\\(s_4\\\\)</span>.</p>\\n \\n </li>\\n </ol></div>\",\"PeriodicalId\":46107,\"journal\":{\"name\":\"Afrika Matematika\",\"volume\":\"36 1\",\"pages\":\"\"},\"PeriodicalIF\":0.9000,\"publicationDate\":\"2025-01-18\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Afrika Matematika\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://link.springer.com/article/10.1007/s13370-025-01240-w\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Afrika Matematika","FirstCategoryId":"1085","ListUrlMain":"https://link.springer.com/article/10.1007/s13370-025-01240-w","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Action of generalized derivations with central values in prime rings
In this paper we are going to show that derivations satisfying some identity carry a certain form. To prove this, we assume \(\mathcal {R}\) is a prime ring with \(char(\mathcal {R})\ne 2\), \(\mathcal {I}\) is a nonzero ideal of \(\mathcal {R}\), \(\mathcal {U}\) is the Utumi quotient ring of \(\mathcal {R}\) with extended centroid \(\mathcal {C}=\mathcal {Z}(\mathcal {U})\) and \(f(x_1,\ldots ,x_n)\) is any noncentral valued multilinear polynomial over \(\mathcal {C}\). Suppose that \(\mathcal {F}\) and \(\mathcal {G}\) are two generalized derivations and d is any non-zero derivation of \(\mathcal {R}\). If
for all \(\zeta =(\zeta _1,\ldots ,\zeta _n)\in \mathcal {I}^n\), then \(\mathcal {F}(x)=ax\) or \(\mathcal {F}(x)=xa\) for any \(x\in \mathcal {R}\), for some \(a\in \mathcal {U}\) along with \(a^2 =0\) and following one conclusion holds:
(1)
\(\mathcal {G}=0\);
(2)
there exists \(\lambda \in \mathcal {C}\) and a derivation h of \(\mathcal {R}\) such that \(\mathcal {G}(x)= \lambda x+h(x)\) for all \(x\in \mathcal {R}\) with \(f(\zeta _1,\ldots ,\zeta _n)^2\) is central valued on \(\mathcal {R}\);