本原环为除环的若干条件

本文推广文（１－３）的结果，给出了本原环为除环的几个条件。     

拟环为拟除环的几个条件

我们定义了左、右不变拟了环和完全亚直既约拟环，给出了拟环为拟除环的几个条件．这些结果可以直接推广到结合环．     

本原环为体的条件

本文证明了定理１假定Ｒ是本原环，且（ｘｙ－ｙｘ）ｍ（ｘ，ｙ）＝０，那么Ｒ是除环．定理２假定Ｒ是本原环，且存在自然数ｍ＝ｍ（ｘ，ｙ），ｎ＝ｎ（ｘ，ｙ），使得ｘｍ（ｘｍｙｎ－ｙｎｘｍ）－（ｘｍｙｎ－ｙｎｘｍ）ｘｍ＝０那末Ｒ是除环     

分次Abel正则环的结构

首先给出了 gr-正则环为分次除环的两个充要条件 ,其次讨论了分次正则环r G(R)和分次 Jacobson根 JG(R)之间的关系 ,最后给出了分次 Abel正则环的结构定理 .     

群分次环的本原性及分次本原性

设A是一个用有限群G分次的环,本文给出了Smash积A＃G~*为本原环的一个判别准则,并证明了群分次环的每一个本原理想必定包含一个分次本原理想。作为一个推论,得到已被Cohen和Montgomery证实的Bergman猜想的另一个证明。此外还得到了A_1为本原环或单环的判别。     

本原环的Grothendieck群

设R为本原环,对应的忠实既约模为T,且soc(R)≠R,设R=R/soc(R).在文中证明了以下结果: (1)K_o(R)→K_o(R)是满同态,且当soc(R)≠0时,N=Ker(K_o(R)→K_o(R))是由[T]∈K_o(R)生成的循环子群. (2)若soc(R)=0,则存在一个本原环R_1,soc(R_1)≠0,使得R是R_1的同态象,且K_o(R_1)≌K_o(R)⊕N,其中N=Ker(K_o(R_1)→K_o(R))是由[T]∈K_o(R_t)生成的循环子群.     

有限单群的局部本原Cayley图

设G是图Γ的全自同构群的一个子群,Γ称为是G-局部本原的,如果顶点α的点稳定子群G_α在α的邻域Γ(α)上作用本原.对于非交换单群L和它的一个Cayley子集S,假设L(G≤Aut(L),且相应的Cayley图Γ=Cay(L,S)是G-局部本原的.证明了这时L必为一个Lie型单群,且或者Γ的度数为|Out(L)|的奇素数因子,或者L=PΩ⁺₈(q)而Γ的度数为4.还证明了在这两种情形下Γ的全自同构群都是以L为基座的几乎单群.     

本原分式 Artin 的 Exchange 环上矩阵环

文章证明了：如果Ｒ或要为本原Ａｒｔｉｎ的Ｅｘｃｈａｎｇｅ环,则Ｍｎ（Ｒ）≌（Ｓ）当且仅当Ｒ≌Ｓ。     

分次环的分次Jacobson根

本文通过引入弱拟正则元的概念，对一般Ｍｏｎｏｉｄ分次环Ａ（未必有１）给出以内部元素刻划的分次Ｊａｃｏｂｓｏｎ根ＪＧ（Ａ）．证明当Ａ有１时，ＪＧ（Ａ）与通常定义的Ｊｇ（Ａ）相等．对ＪＧ（Ａ）性质的讨论，推广了最近的许多结果．作为应用，我们给出了Ａｒｔｉｎ分次环的全部基本结构定理．     

除环上rcf方阵的对角化

讨论了除环上ｒｃｆ方阵的对角化问题,证明了除环上ｒｃｆ方阵等价于一在特殊对角矩阵Ｄｍｎ的等价条件。     

除环上无限方阵的逆方阵

本文探讨了除环上无限方阵的逆方阵,得到了除环上无限方阵存在左（或右）逆方阵的充要条件．     

关于除环上分块矩阵秩的等式

本文使用双矩阵分解方法研究除环上分块矩阵秩的等式,给出了Marsaglia-Styan公式一个新的证明并获得了一些新的秩等式的刻划.     

亚直不可约环是体的条件

设R是结合环,H是R中全部非零理想之交,若H≠(0),则称R是亚直不可约环。本文研究了亚直不可约环是体的条件,得到: 定理 R是具有极小单侧理想的亚直不可约环,且H中无非零幂零元,则R是体。     

The Largest Left Quotient Ring of a Ring

The left quotient ring (i.e., the left classical ring of fractions) Q_cl(R) of a ring R does not always exist and still, in general, there is no good understanding of the reason why this happens. In this article, existence of the largest left quotient ring Q_l(R) of an arbitrary ring R is proved, i.e., Q_l(R) = S₀(R)^?1R where S₀(R) is the largest left regular denominator set of R. It is proved that Q_l(Q_l(R)) = Q_l(R); the ring Q_l(R) is semisimple iff Q_cl(R) exists and is semisimple; moreover, if the ring Q_l(R) is left Artinian, then Q_cl(R) exists and Q_l(R) = Q_cl(R). The group of units Q_l(R)* of Q_l(R) is equal to the set {s^?1t | s, t ∈ S₀(R)} and S₀(R) = R ∩ Q_l(R)*. If there exists a finitely generated flat left R-module which is not projective, then Q_l(R) is not a semisimple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semiprime Goldie rings, Noetherian commutative rings, the algebra of polynomial integro-differential operators).     

除环上矩阵的几个性质

该文研究了除环上的矩阵范畴，除环上n×n矩阵的柱心 幂零分解以及除环上矩阵的幂的性质     

除环上的矩阵方程AXB=D

先建立除环上的矩阵范畴,并证明这个范畴是Ａｂｅｌ范畴,然后利用范畴论中的结论给出除环上矩阵方程ＡＸＢ＝Ｄ有解的条件。     

Primitive polynomial with three coefficients prescribed

The authors proved in Fan and Han (Finite Field Appl., in press) that, for any given (a₁,a₂,a₃)F_q³, there exists a primitive polynomial f(x)=xⁿ−σ₁xⁿ⁻¹++(−1)ⁿσ_n over F_q of degree n with the first three coefficients σ₁,σ₂,σ₃ prescribed as a₁,a₂,a₃ when n8. But the methods in Fan and Han (in press) are not effective for the case of n=7. Mills (Existence of primitive polynomials with three coefficients prescribed, J. Algebra Number Theory Appl., in press) resolves the n=7 case for finite fields of characteristic at least 5. In this paper, we deal with the remaining cases and prove that there exists a primitive polynomial of degree 7 over F_q with the first three coefficient prescribed where the characteristic of F_q is 2 or 3.     

Modules Whose Endomorphism Rings are Division Rings

The well-known Schur's Lemma states that the endomorphism ring of a simple module is a division ring. But the converse is not true in general. In this paper we study modules whose endomorphism rings are division rings. We first reduce our consideration to the case of faithful modules with this property. Using the existence of such modules, we obtain results on a new notion which generalizes that of primitive rings. When R is a full or triangular matrix ring over a commutative ring, a structure theorem is proved for an R-module M such that End _R (M) is a division ring. A number of examples are given to illustrate our results and to motivate further study on this topic.