A Prime Ideal Principle for Two-Sided Ideals

Many classical ring-theoretic results state that an ideal that is maximal with respect to satisfying a special property must be prime. We present a “Prime Ideal Principle” that gives a uniform method of proving such facts, generalizing the Prime Ideal Principle for commutative rings due to T. Y. Lam and the author. Old and new “maximal implies prime” results are presented, with results touching on annihilator ideals, polynomial identity rings, the Artin–Rees property, Dedekind-finite rings, principal ideals generated by normal elements, strongly noetherian algebras, and just infinite algebras.     

P.I. rings and the localization at height 1 prime ideals

LetR be a prime P.I. ring, finitely generated over a central noetherian subring. LetP be a height one prime ideal inR. We establish a finite criteria for the left (right) Ore localizability ofP, providedP/P ² is left (right) finitely generated. This replaces the noetherian assumption onR appearing in [BW], using an entirely different technique.     

左连续环中若干链条件的等价性

(1)设R是左连续环,则R是左Artin环当且仅当R满足左限制有限条件当且仅当R关于本质左理想满足极小条件当且仅当R关于本质左理想满足极大条件.同时给出一个左自内射环是QF环的充要条件;(2)证明了左Z₁-环上的有限生成模都有Artin-Rees性质.     

A Prime Ideal Principle in commutative algebra

In this paper, we offer a general Prime Ideal Principle for proving that certain ideals in a commutative ring are prime. This leads to a direct and uniform treatment of a number of standard results on prime ideals in commutative algebra, due to Krull, Cohen, Kaplansky, Herstein, Isaacs, McAdam, D.D. Anderson, and others. More significantly, the simple nature of this Prime Ideal Principle enables us to generate a large number of hitherto unknown results of the “maximal implies prime” variety. The key notions used in our uniform approach to such prime ideal problems are those of Oka families and Ako families of ideals in a commutative ring, defined in (2.1) and (2.2). Much of this work has also natural interpretations in terms of categories of cyclic modules.     

Local bijective gabriel correspondence and relative fully boundedness in τ-noetherian rings

Let Rbe a right τ-noetherian ring, where τ denotes a hereditary torsion theory on the category of right R-modules. It is shown that every essential τ-closed right ideal of every prime homomorphic image of Rcontains a nonzero two-sided ideal if and only if any two τ-torsionfree injective indecomposable right R-modules with identical associated prime ideals are isomorphic, and for any τ-closed prime ideal Pthe annhilator of a finitely generated P-tame right R-module cannot be a prime ideal properly contained in P. Furthermore, if in the last condition finitely generated is replaced by r-noetherian, then all τ-noetherian τ-torsionfree modules turn out to be finitely annihilated.     

Quotient rings of finitely generated P.I. Algebras

This paper generalizes properties which hold for localization of Azumaya algebras, in two directions. Firstly, fully left bounded left Noetherian rings, especially finitely generated Noetherian algebras, are considered. It is noted that for such rings every idempotent kernel functor a is symmetric, i.e. the filter T(σ) of a-dense left ideals has a basis of a-dense ideals. A prime ideal P of a f.l.b.l.N. ring R is localizable if and only if it is the intersection of the P-critical left ideals. In case R is a finitely generated algebra over its (Noetherian) center C, we apply the technique of “descent” of kernel functors. If a is a symmetric kernel functor such that R(A n c) S T(σ) for every A G T(σ) and such that a has property (T) then there is a kernel functor a’ on C-modules such that Qσ (R) ?Q? ,(R). If P is a prime ideal of R then σ_- descends to C if and only if P is localizable. Secondly, a class of rings is described in terms of the Zariski topology on Spec. The imposed condition is weaker than maximal centrallity and does not imply fully left boundedness either, but the good properties of Spec R in case R is an Azumaya algebra are preserved.     

Quasi-Baer Rings with Essential Prime Radicals

A ring R is called “quasi-Baer” if the right annihilator of every right ideal is generated, as a right ideal, by an idempotent. It can be seen that a quasi-Baer ring cannot be a right essential extension of a nilpotent right ideal. Birkenmeier asked: Does there exist a quasi-Baer ring which is a right essential extension of its prime radical? We answer this question in the affirmative. Moreover, we provide an example of a quasi-Baer ring in which the right essentiality of the prime radical does not imply the left essentiality of the prime radical.     

Noether环上的幂稳定自由模

设I是Noether环R的投射理想, I^m=Iⁿ, m≠n. 该文证明, 有限生成投射右R - 模幂稳定自由当且仅当(1) 存在环S使得I^|m-n|( S ( R且有限生成投射S - 模是幂稳定自由; (2) 有限生成投射右R/I^|m-n| - 模幂稳定自由.     

On nonsingular right fpf rings

A right FPF ring is one over which every finitely generated faithful right module is a generator. The main purpose of the article is to givp the following cnaracterization of certain right FPF rings. TheoremLet R be semiprime and right semihereditary. Then R is right FPF iff (1) the right maximal ring of quotients Q_r (R) = Q coincides with the left and right classical rings of quotients and is self-injective regular of bounded index, (ii) R and Q have the same central idem-potents, (iii) if I is an ideal of R generated by a ma­ximal ideal of the boolean algebra of central idempotent s5 R/I is such that each non-zero finitely generated right ideal is a generator (hence prime), and (iv) R is such that every essential right ideal contains an ideal which is essential as a right ideal

In case that R is semiprime and module finite over its centre C, then the above can be used to show that R is FPF (both sides) if and only if it is a semi-hereditary maximal C-order in a self-injective regular ring (of finite index)

In order to prove the above it is shown that for any semiprime right FPF ring R, Q _lcl (R) exists and coincides with Q_r(R) (Faith and Page have shown that the latter is self-injective regular of bounded index). It R is semiprime right FPF and satisfies a polynamical identity then the factor rings as in (iii) above are right FPF and R is the ring of sections of a sheaf of prime right FPF rings

The Proofs use many results of C. Faith and S Page as well as some of the techniques of Pierce sheaves     

Two criteria to check whether ideals are direct sums of cyclically presented modules

A famous theorem of commutative algebra due to I. M. Isaacs states that “if every prime ideal of R is principal, then every ideal of R is principal”. Therefore, a natural question of this sort is “whether the same is true if one weakens this condition and studies rings in which ideals are direct sums of cyclically presented modules?” The goal of this paper is to answer this question in the case R is a commutative local ring. We obtain an analogue of Isaacs's theorem. In fact, we give two criteria to check whether every ideal of a commutative local ring R is a direct sum of cyclically presented modules, it suffices to test only the prime ideals or structure of the maximal ideal of R. As a consequence, we obtain: if R is a commutative local ring such that every prime ideal of R is a direct sum of cyclically presented R-modules, then R is a Noetherian ring. Finally, we describe the ideal structure of commutative local rings in which every ideal of R is a direct sum of cyclically presented R-modules.     

Homological Characterizations of Rings with Property (P)

Abstract

A commutative ring R is said to satisfy property (P) if every finitely generated proper ideal of R admits a non-zero annihilator. In this paper we give some necessary and sufficient conditions that a ring satisfies property (P). In particular, we characterize coherent rings, noetherian rings and Π-coherent rings with property (P).     

The connes spectrums of certain finite non-abelian groups

In this article, we investigate when every simple module has a projective (pre)envelope. It is proven that (1) every simple right R-module has a projective preenvelope if and only if the left annihilator of every maximal right ideal of R is finitely generated; (2) every simple right R-module has an epic projective envelope if and only if R is a right PS ring; (3) Every simple right R-module has a monic projective preenvelope if and only if R is a right Kasch ring and the left annihilator of every maximal right ideal of R is finitely generated.     

Poisson Prime Ideals of Poisson Polynomial Rings

Let A be a finitely generated Poisson algebra over a field of characteristic zero. Here we prove that every Poisson prime ideal of A is prime and give a method to find all Poisson prime ideals in an arbitrary Poisson polynomial ring A[x; α, δ].     

关于MHR-环的一个问题

ＭＨＲ－环指的是其主右理想适合极小条件的环．本文的环指的是结合环，未必有单位元． Ｆ．Ａ．Ｓｚａｓｚ在他的专著“Ｒａｄｉｃａｌ　ｏｆ　Ｒｉｎｇｓ”［１］中提出一系列问题，其中第３１问题是：是否存在一个诣零ＭＨＲ－环（或任意ＭＨＲ－环），其有限生成右理想不适合极小条件？本文证明了：任意一个ＭＨＲ－环其有限生成右理想均适合极小条件．从而给出了Ｆ．Ａ．Ｓｚａｓｚ第３１问题的完全解答．     

關於素性環

<正> §1.本文的目的是在對於所謂素性環(Primal Ring)作一些探討.這裹的環都是指着有么元無零因子的可換環.我們以R表這樣一個環,1就是R的么元,大寫字母A,B,C,P,……表R的真理想子環,小寫字母a,b,c,x,y等表R的元.符號Ax~(-1)表示R中一切能使xy∈A的y所組成的集.容易證明Ax~(-1)是一個理想子環,並且Ax~(-1)A.如果Ax~(-1)A,則說x不素於A,否則說x素於A.這樣一來,A是素理想子環的充要條件就是R中凡不屬A的元都素於A.     

F q [M 2], F q [GL 2], and F q [SL 2] as Quantized Hyperalgebras

A ring R is called right Johns if R is right noetherian and every right ideal of R is a right annihilator. R is called strongly right Johns if the matrix ring M _n (R) is right Johns for each integer n ≥ 1. The Faith–Menal conjecture is an open conjecture on QF rings. It says that every strongly right Johns ring is QF. It is proved that the conjecture is true if every closed left ideal of the ring R is finitely generated. This result improves the known result that the conjecture is true if R is a left CS ring.     

Prosolvable subgroups of free products of profinite groups

In this paper we establish several equivalent conditions for a commutative ring in which every principal ideal is a finite intersection of prime power ideals to be a general ZPI-ring. Using these results, we establish some equivalent conditions for a commutative ring in which every principal ideal is a finite intersection of primary ideals to be a general ZPI-ring.     

Note on residually finite rings

This paper is on the subject of residually finite (= RF) modules and rings introduced by Varadarajan [93] and [98/99]. Specifically there are several theorems that simplify proofs and generalize some results of Varadarajan, namely.

Theorem 1. An RF right R-module is finitely bedded (= has finite essential socle iff M is finite.

Corollay. If T is a right RF woth just finitely many simple ringht R-modules, them R is fimite.

Theorem 2. A commutative ring R is residually finite iff every local ring R_m at a maximal ideal m is finite.     

关于交换序半群的一个注记

给出了正则交换序半群的与素理想结构有关的若干性质，还给出了为有限个主理想的并的交换序半群类中的诺特性，阿基米德性，正则性以及有限生成性之间的一些关系。