<p>In this paper we obtain relations between some important ideals in the ring extension <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(R\subseteq T\)</EquationSource> </InlineEquation>, where <i>R</i> is a maximal subring of a ring <i>T</i>. In fact, we find some relations between <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(Nil_*(R)\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(Nil_*(T)\)</EquationSource> </InlineEquation>, <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(Nil^*(R)\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(Nil^*(T)\)</EquationSource> </InlineEquation>, <i>J</i>(<i>R</i>) and <i>J</i>(<i>T</i>), <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(Soc({}_RR)\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(Soc({}_RT)\)</EquationSource> </InlineEquation>, and finally <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(Z({}_RR)\)</EquationSource> </InlineEquation> and <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(Z({}_RT)\)</EquationSource> </InlineEquation>. Special attention is given to cases such as when <i>T</i> is a reduced ring or whenever <i>R</i> (or <i>T</i>) is a left Artinian ring. If <i>R</i> is a maximal subring of a ring <i>T</i>, then we show that either <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(Soc({}_RR)=Soc({}_RT)\)</EquationSource> </InlineEquation> or <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\((R:T)_r\)</EquationSource> </InlineEquation> (the greatest right ideal of <i>T</i> contained in <i>R</i>) is a left primitive ideal of <i>R</i>. We prove that if <i>T</i> is a reduced ring, then either <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(Z({}_RT)=0\)</EquationSource> </InlineEquation> or <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(Z({}_RT)\)</EquationSource> </InlineEquation> is a minimal ideal of <i>T</i>, <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(T=R\oplus Z({}_RT)\)</EquationSource> </InlineEquation>, and <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\((R:T)=(R:T)_\ell =(R:T)_r=ann_R(Z({}_RT))\)</EquationSource> </InlineEquation>. If <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(T=R\oplus I\)</EquationSource> </InlineEquation>, where <i>I</i> is an ideal of <i>T</i>, then we completely determine relations between Jacobson radicals, lower nilradicals, upper nilradicals, socle and singular ideals of <i>R</i> and <i>T</i>, in particular whenever <i>R</i> or <i>T</i> is a left Artinian ring.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Classical ideal theory of maximal subrings in noncommutative rings

  • Alborz Azarang

摘要

In this paper we obtain relations between some important ideals in the ring extension \(R\subseteq T\) , where R is a maximal subring of a ring T. In fact, we find some relations between \(Nil_*(R)\) and \(Nil_*(T)\) , \(Nil^*(R)\) and \(Nil^*(T)\) , J(R) and J(T), \(Soc({}_RR)\) and \(Soc({}_RT)\) , and finally \(Z({}_RR)\) and \(Z({}_RT)\) . Special attention is given to cases such as when T is a reduced ring or whenever R (or T) is a left Artinian ring. If R is a maximal subring of a ring T, then we show that either \(Soc({}_RR)=Soc({}_RT)\) or \((R:T)_r\) (the greatest right ideal of T contained in R) is a left primitive ideal of R. We prove that if T is a reduced ring, then either \(Z({}_RT)=0\) or \(Z({}_RT)\) is a minimal ideal of T, \(T=R\oplus Z({}_RT)\) , and \((R:T)=(R:T)_\ell =(R:T)_r=ann_R(Z({}_RT))\) . If \(T=R\oplus I\) , where I is an ideal of T, then we completely determine relations between Jacobson radicals, lower nilradicals, upper nilradicals, socle and singular ideals of R and T, in particular whenever R or T is a left Artinian ring.