广义幂级数环的PP性质

作为幂级数环的推广,Ｒｉｂｅｎｂｏｉｍ引入了广义幂级数环的概念．设Ｒ是有单位元的交换环,（Ｊ,≤）是严格全序半群．本文中我们证明了如下结果：（１）广义幂级数环 ［［Ｒｓ］］是ＰＰ－环当且仅当Ｒ是ＰＰ－环且Ｂ（Ｒ）的任意 Ｓ－可标子集Ｃ在Ｂ（Ｒ）中有最小上界;（２）如果对任意ｓ∈Ｓ都有０≤ｓ,则［［Ｒｓ,≤］］是弱ＰＰ－环当且仅当Ｒ是弱ＰＰ－环．我们还给出了一个例子说明交换的弱ＰＰ－环可以不是ＰＰ－环．     

M-McCoy环和M-Armendariz环的多项式扩张

研究非交换环上的相对于幺半群的McCoy环和Armendariz环的多项式扩张.对于包含无限循环子幺半群的交换可消幺半群M,证明了若R是M-McCoy（或M-Armendariz）环,则R上的洛朗多项式环R[x,x-1]是M-McCoy（或M-Armendariz）环.     

环的投射生成元和K0群

设Ｒ是含幺结合环,Ｐｇ（Ｒ）是Ｒ的所有投射生成元的同构类组成的半群,Ｇｒ（Ｐｇ（Ｒ））是Ｐｇ（Ｒ）的Ｇｒｏｔｈｅｎｄｉｅｃｋ群,在本文中我们证明了Ｋ０（Ｒ）＝Ｇｒ（Ｐｇ（Ｒ））。由此我们得到对任意ＶＢＮ环Ｒ,存在环Ｓ满足Ｓ＾２＝Ｓ并且具有Ａｕｔ－Ｐｉｃ性质,最后我们给出了环的一个分类,并且用Ｐｇ（Ｒ）的周期性对它作了描述。     

关于半群环与群环的链条件的等价性

给出了将半群环的链条件转化为群环的链条件的一个定理,并由此将［１］中的结果推广到半群环的情形．     

相对于幺半群的McCoy环的扩张

对于幺半群~$M$, 本文引入了~$M$-McCoy~环.~证明了~$R$~是~$M$-McCoy~环当且仅当~$R$~上的~$n$~阶上三角矩阵环~$aUT_n(R)$~是~$M$-McCoy~环;得到了若~$R$~是~McCoy~环,~$R[x]$~是~$M$-McCoy~环,则~$R[M]$~是~McCoy~环;对于包含无限循环子半群的交换可消幺半群~$M$,证明了若~$R$~是~$M$-McCoy~环,则半群环~$R[M]$~是~McCoy~环及~$R$~上的多项式环~$R[x]$~是~$M$-McCoy~环.     

无限矩阵环和完备环

无限矩阵环和完备环郭善良（复旦大学）Ｓｈａｎｎｙ在１９７１证明了一个环Ｒ是半单Ａｒｔｉｎ环当且仅当Ｒ上的无限矩阵环是ＶｏｎＮｅｕｍａｎｎ正则环［１］。这也就是说一个环的无限矩阵环在一定程度上唯一确定了Ｒ本身。我们注意到若ＥｎｄＦ，为ＶｏｎＮｅｕｍｍａ...     

图的字典序积和自同态幺半群

Ｆ．Ｈａｒａｒｙ￣［１］和Ｇ．Ｓａｂｉｄｕｓｓｉ￣［２］考虑过图Ｘ和ｙ的字典序积Ｘ［Ｙ］的自同构群ＡｕｔＸ［Ｙ］与它们各自的自同构群的圈积ＡｕｔＸ［ＡｕｔＹ］的关系，并给出了两者相等的一种刻划．在本文，我们考虑更广意义上的问题，即Ｘ［Ｙ］的自同态幺半群ＥｎｄＸ［Ｙ］与各自的自同态幺半群的圈积ＥｎｄＸ［ＥｎｄＹ］的关系，也给出了两者相等的一种刻划，同时得到了下面结果：如果Ｘ和Ｙ都是不含Ｋ＿３导出子图的连通图，且其中之一图有奇数围长，那么ＥｎｄＸ［Ｙ］＝ＥｎｄＸ［ＥｎｄＹ］．     

非交换主理想整环上分块矩阵的秩

本文从非交换主理想整环Ｒ上矩阵Ａ的秩与它在Ｒ所嵌入的商除环Ｋ上的秩间的关系着手，证得了Ｒ上分块矩阵秩的一些结果，因此也解决了［１］中关于ｐ￣一除环上矩阵秩的一个猜想．     

关于半交换环与强正则环

本文得到了环Ｒ是强正则环的若干充分必要条件，证明了下面条件是等价的：（１）Ｒ是强正则的；（２）Ｒ是半交换正则的；（３）Ｒ是半交换的左ＳＦ－环；（４）Ｒ是半交换的ＥＬＴ环，且使得每个单左Ｒ－模是Ｐ－内射的或者平坦的；（５）Ｒ是半交换右非奇异的左ＳＦ－环；（６）Ｒ是半素的半交换左（或右）Ｐ－内射环．     

强正则环的刻划

强正则环的刻划胡卫群（安徽省滁州师范专科学校）Ａｕｓｌａｎｄｅｒ在［３］中证明了：环Ａ是ＶｏｎＮｅｕｍａｎｎ正则的对于Ａ的任意左理想Ｌ与Ａ的任意右理想Ｒ，，总有ＲｎＬ＝ＲＬ．Ｒ．ＹｕｅＣｈｉＭｉｎｇ在［２］中推广了Ａｕｓｌａｎｄｅｒ［３］的结果，证明...     

环上的σ-导子

本文研究了σ－导子的扩张问题，并且在本原环上刻化了s－导子。     

Verschiebung and Frobenius operators

Metropolis and Rota introduced the concept of the necklace ring Nr(A) of a commutative ringA. WhenA contains Q as a subring there is a natural bijection γ:Nr(A→1+tA[]. Grothendieck has introduced a ring structure on 1+tA[t] while studyingK-theoretic Chern classes. Nr(A) comes equipped with two families of operatorsF _r,V _r called the Frobenius and Verschiebung operators. Mathematicians studying formal group laws have introduced two families of operators,F _r, andV _r on 1+tA[t]. Metropolis and Rota have not however tried to show that γ preserves, these operators. They transport the operators from Nr(A) to 1+tA[t] using γ. In our present paper we show that γ does preserve all these operators. Part of this work was done while the author was visiting the Institute of Mathematical Sciences, Madras.     

Reflexivity with maximal ideal axes

The reflexive property for ideals was introduced by Mason and has important roles in noncommutative ring theory. We in this note study rings with the reflexivity whose axis is given by maximal ideals (simply, an RM ring) which are a generalization of symmetric rings. It is first shown that the reflexivity of a ring and the RM ring property are independent of each other, noting that both of them are generalizations of ideal-symmetric rings. We connect RM rings with reflexive rings in various situations raised naturally in the procedure. As a generalization of RM rings, we also study the structure of the reflexivity with the maximal ideal axis on idempotents (simply, an RMI ring) and then investigate the structure of minimal non-Abelian RMI rings (with or without identity) up to isomorphism.     

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).     

广义幂级数环的拟Baer性

设R是环,（S,≤）是严格全序幺半群,且对任意s∈S都有0≤s.本文证明了环R是拟Baer环当且仅当R上的广义幂级数环[[RS,≤]]是拟 Baer环.     

Rationally complete semiprimary rings of index two

Let R be an associative unitary semiprimary ring of index two.Then R is left rationally complete if and only if the protective cover of every infective non-pro jective left simple is the infective hull of a non-pro jective left simple module.     

Weakly left localizable rings

A new class of rings, the class of weakly left localizable rings, is introduced. A ring R is called weakly left localizable if each non-nilpotent element of R is invertible in some left localization S^?1R of the ring R. Explicit criteria are given for a ring to be a weakly left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case for all left Noetherian rings). It is proved that a ring with finitely many maximal left denominator sets that satisfies some natural conditions is a weakly left localizable ring iff its left quotient ring is a direct product of finitely many local rings such that their radicals are nil ideals.