Spectra of Maximal 1-Sided Ideals and Primitive Ideals

R is any ring with identity. Let Spec _r (R) (resp. Max _r (R), Prim _r (R)) denote the set of all right prime ideals (resp. all maximal right ideals, all right primitive ideals) of R and let U _r (eR) = {P ? Spec _r (R)| e ? P}. Let  = ∪_{P?Prim r (R)} Spec _r ^P (R), where Spec _r ^P (R) = {Q ?Spec _r ^P (R)|P is the largest ideal contained in Q}. A ring is called right quasi-duo if every maximal right ideal is 2-sided. In this article, we study the properties of the weak Zariski topology on  and the relationships among various ring-theoretic properties and topological conditions on it. Then the following results are obtained for any ring R: (1) R is right quasi-duo ring if and only if  is a space with Zariski topology if and only if, for any Q ? , Q is irreducible as a right ideal in R. (2) For any clopen (i.e., closed and open) set U in ? = Max _r (R) ∪  Prim _r (R) (resp.  = Prim _r (R)) there is an element e in R with e ² ? e ? J(R) such that U = U _r (eR) ∩  ? (resp. U = U _r (eR) ∩  ), where J(R) is the Jacobson of R. (3) Max _r (R) ∪  Prim _r (R) is connected if and only if Max _l (R) ∪  Prim _l (R) is connected if and only if Prim _r (R) is connected.     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

Spectrum of a Noncommutative Ring

R is any ring with identity. Let Spec _r (R) (resp. Spec(R)) be the set of all prime right ideals (resp. all prime ideals) of R and let U _r (eR) = {P ? Spec _r (R) | e ? P}. In this article, we study the relationships among various ring-theoretic properties and topological conditions on Spec _r (R) (with weak Zariski topology). A ring R is called Abelian if all idempotents in R are central (see Goodearl, 1991 Goodearl , K. R. ( 1991 ). Von Neumann Regular Rings. , 2nd ed. Malabar , Florida : Krieger Publishing Company . [Google Scholar]). A ring R is called 2-primal if every nilpotent element is in the prime radical of R (see Lam, 2001 Lam , T. Y. ( 2001 ). A First Course in Noncommutative Rings. , 2nd ed. (GTM 131) . New York : Springer-Verlag .[Crossref] , [Google Scholar]). It will be shown that for an Abelian ring R there is a bijection between the set of all idempotents in R and the clopen (i.e., closed and open) sets in Spec _r (R). And the following results are obtained for any ring R: (1) For any clopen set U in Spec _r (R), there is an idempotent e in R such that U = U _r (eR). (2) If R is an Abelian ring or a 2-primal ring, then, for any idempotent e in R, U _r (eR) is a clopen set in Spec _r (R). (3) Spec _r (R) is connected if and only if Spec(R) is connected.     

Symplectic algebras and poisson algebras

Abstract

A ring R is called left P-injective if for every a ∈ R, aR = r(l(a)) where l( ? ) and r( ? ) denote left and right annihilators respectively. The ring R is called left GP-injective if for any 0 ≠ a ∈ R, there exists n > 0 such that a ⁿ  ≠ 0 and a ⁿ R = r(l(a ⁿ )). As a response to an open question on GP -injective rings, an example of a left GP-injective ring which is not left P-injective is given. It is also proved here that a ring R is left FP -injective if and only if every matrix ring 𝕄 _n (R) is left GP-injective.     

Generalizations of Prime Ideals

Let R be a commutative ring with identity. Various generalizations of prime ideals have been studied. For example, a proper ideal I of R is weakly prime (resp., almost prime) if a, b ∈ R with ab ∈ I ? {0} (resp., ab ∈ I ? I ²) implies a ∈ I or b ∈ I. Let φ:?(R) → ?(R) ∪ {?} be a function where ?(R) is the set of ideals of R. We call a proper ideal I of R a φ-prime ideal if a, b ∈ R with ab ∈ I ? φ(I) implies a ∈ I or b ∈ I. So taking φ_?(J) = ? (resp., φ₀(J) = 0, φ₂(J) = J ²), a φ_?-prime ideal (resp., φ₀-prime ideal, φ₂-prime ideal) is a prime ideal (resp., weakly prime ideal, almost prime ideal). We show that φ-prime ideals enjoy analogs of many of the properties of prime ideals.     

Simple-Baer Rings and Minannihilator Modules

Let R be a ring. M is said to be a minannihilator left R-module if r _M l _R (I) = IM for any simple right ideal I of R. A right R-module N is called simple-flat if Nl _R (I) = l _N (I) for any simple right ideal I of R. R is said to be a left simple-Baer (resp., left simple-coherent) ring if the left annihilator of every simple right ideal is a direct summand of _R R (resp., finitely generated). We first obtain some properties of minannihilator and simple-flat modules. Then we characterize simple-coherent rings, simple-Baer rings, and universally mininjective rings using minannihilator and simple-flat modules.     

The Patch Topology and the Ultrafilter Topology on the Prime Spectrum of a Commutative Ring

Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well-known patch or constructible topology. The proof is accomplished by use of a von Neumann regular ring canonically associated with R.     

Multiplication Modules in Which Every Prime Submodule is Contained in a Unique Maximal Submodule

Abstract

Let R be a commutative ring. An R-module M is called a multiplication module if for each submodule N of M, N?=?IM for some ideal I of R. An R-module M is called a pm-module, i.e., M is pm, if every prime submodule of M is contained in a unique maximal submodule of M. In this paper the following results are obtained. (1) If R is pm, then any multiplication R-module M is pm. (2) If M is finitely generated, then M is a multiplication module if and only if Spec(M) is a spectral space if and only if Spec(M)?=?{PM?|?P?∈?Spec(R) and P???M ^⊥}. (3) If M is a finitely generated multiplication R-module, then: (i) M is pm if and only if Max(M) is a retract of Spec(M) if and only if Spec(M) is normal if and only if M is a weakly Gelfand module; (ii) M is a Gelfand module if and only if Mod(M) is normal. (4) If M is a multiplication R-module, then Spec(M) is normal if and only if Mod(M) is weakly normal.     

The Zariski Topology-Graph of Modules Over Commutative Rings

Let M be a module over a commutative ring, and let Spec(M) be the collection of all prime submodules of M. We topologize Spec(M) with Zariski topology, which is analogous to that for Spec(R), and for a nonempty subset T of Spec(M), we introduce a new graph G(τ _T ), called the Zariski topology-graph. This graph helps us to study the algebraic (resp. topological) properties of M (resp. Spec(M)) by using the graph theoretical tools.     

A note on utumi quotient rings

Let R be a ring and ρ a right ideal of R with zero right annihilate. Then ρ and R have the same left Utumi quotient ring. We study the lifting properties of GPIs and some chain conditions inherited by such right ideals. Next, we prove a generalization of Chatters’ theorem. Precisely, we show that if R is a right nonsingular ring with finite right Goldie dimension and possesses a right ideal ρ such that both ρ and l _R(ρ) are PI-rings, then the right Utumi quotient ring of R is also a Pi-ring.     

On a Generalization of Injective Rings

Abstract

A ring R is called left IP-injective if every homomorphism from a left ideal of R into R with principal image is given by right multiplication by an element of R. It is shown that R is left IP-injective if and only if R is left P-injective and left GIN (i.e., r(I ∩ K) = r(I) + r(K) for each pair of left ideals I and K of R with I principal). We prove that R is QF if and only if R is right noetherian and left IP-injective if and only if R is left perfect, left GIN and right simple-injective. We also show that, for a right CF left GIN-ring R, R is QF if and only if Soc(R _R ) ? Soc( _R R). Two examples are given to show that an IP-injective ring need not be self-injective and a right IP-injective ring is not necessarily left IP-injective respectively.     

A Generalization of Divided Domains and Its Connection to Weak Baer Going-Down Rings

Many results on going-down domains and divided domains are generalized to the context of rings with von Neumann regular total quotient rings. A (commutative unital) ring R is called regular divided if each P ∈ Spec(R)?(Max(R) ∩ Min(R)) is comparable with each principal regular ideal of R. Among rings having von Neumann regular total quotient rings, the regular divided rings are the pullbacks K× _K/P D where K is von Neumann regular, P ∈ Spec(K) and D is a divided domain. Any regular divided ring (for instance, regular comparable ring) with a von Neumann regular total quotient ring is a weak Baer going-down ring. If R is a weak Baer going-down ring and T is an extension ring with a von Neumann regular total quotient ring such that no regular element of R becomes a zero-divisor in T, then R ? T satisfies going-down. If R is a weak Baer ring and P ∈ Spec(R), then R + PR _(P) is a going-down ring if and only if R/P and R _P are going-down rings. The weak Baer going-down rings R such that Spec(R)?Min(R) has a unique maximal element are characterized in terms of the existence of suitable regular divided overrings.     

A Note on Semilocal Group Rings

Let R be an associative ring with identity and let J(R) denote the Jacobson radical of R. R is said to be semilocal if R/J(R) is Artinian. In this paper we give necessary and sufficient conditions for the group ring RG, where G is an abelian group, to be semilocal.     

ON THE NORMALITY OF MONOMIAL IDEALS OF MIXED PRODUCTS

Let R = K[x, y] be a polynomial ring in two disjoint sets of variables x, y over a field K. We study ideals of mixed products L = I_kJ_r + I_sJ_t such that k + r = s + t, where I_k (resp. J_r ) denotes the ideal of R generated by the square-free monomials of degree k (resp. r) in the x (resp. y ) variables. Our main result is a characterization of when a given ideal L of mixed products is normal.

     

Sufficient conditions for the projective freeness of Banach algebras

Let R be a unital semi-simple commutative complex Banach algebra, and let M(R) denote its maximal ideal space, equipped with the Gelfand topology. Sufficient topological conditions are given on M(R) for R to be a projective free ring, that is, a ring in which every finitely generated projective R-module is free. Several examples are included, notably the Hardy algebra H^∞(X) of bounded holomorphic functions on a Riemann surface of finite type, and also some algebras of stable transfer functions arising in control theory.     

THREE NOTES ON NICE EXTENSION DOMAINS

The first note shows that the integral closure L′ of certain localities L over a local domain R are unmixed and analytically unramified, even when it is not assumed that R has these properties. The second note considers a separably generated extension domain B of a regular domain A, and a sufficient condition is given for a prime ideal p in A to be unramified with respect to B (that is, p B is an intersection of prime ideals and B/P is separably generated over A/p for all P ∈ Ass (B/p B)). Then, assuming that p satisfies this condition, a sufficient condition is given in order that all but finitely many q ∈ S = {q ∈ Spec(A), p ? q and height(q/p) = 1} are unramified with respect to B, and a form of the converse is also considered. The third note shows that if R′ is the integral closure of a semi-local domain R, then I(R) = ∩{R′ _p′ ;p′ ∈ Spec(R′) and altitude(R′/p′) = altitude(R′) ? 1} is a quasi-semi-local Krull domain such that: (a) height(N ^*) = altitude(R) for each maximal ideal N ^* in I(R); and, (b) I(R) is an H-domain (that is, altitude(I(R)/p ^*) = altitude(I(R)) ? 1 for all height one p ^* ∈ Spec(I(R))). Also, K = ∩{R _p ; p ∈ Spec(R) and altitude(R/p) = altitude(R) ? 1} is a quasi-semi-local H-domain such that height (N) = altitude(R) for all maximal ideals N in K.     

Regular Action in Rings

Let R be a ring with identity, X(R) the set of all nonzero non-units of R and G(R) the group of all units of R. By considering left and right regular actions of G(R) on X(R), the following are investigated: (1) For a local ring R such that X(R) is a union of n distinct orbits under the left (or right) regular action of G(R) on X(R), if J ⁿ  ≠ 0 = J ⁿ⁺¹ where J is the Jacobson radical of R, then the set of all the distinct ideals of R is exactly {R, J, J ²,…, J ⁿ , 0}, and each orbit under the left regular action is equal to the one under the right regular action. (2) Such a ring R is left (and right) duo ring. (3) For the full matrix ring S of n × n matrices over a commutative ring R, the number of orbits under left regular action of G(S) on X(S) is equal to the number of orbits under right regular action of G(S) on X(S); the result also holds for the ring of n × n upper triangular matrices over R.     

K 0 of Exchange Rings with All Idempotents Central

ABSTRACT

Let R be an exchange ring with all idempotents central, and let Max(R) ? Ξ(R) ? Spec(R). If ∩{P | P ∈ Ξ(R)} is nil, we prove that K ₀(R) ? {f : Ξ(R) → ?| f is continuous}.     

Ideals of Some Matrix Rings

For a commutative ring K the conception of a strongly maximal ideal J was introduced by Kuzucuoglu and Levchuk in 2000. Denote by R_n(K,J) the ring of all n×n-matrices over K with elements from J on and above the main diagonal. Recent results on ideals of the ring R_n(K,J) for this case, ideals of the associated Lie ring and normal subgroups of the adjoint group are considered in this paper. Also ideals of R_n(K,J) for the case of an arbitrary associative ring K with the identity are investigated.     

On commutative rings which are strongly prüfer

Abstract

As defined by Nicholson [Nicholson, W. K. (1977). Lifting idempotents and exchange rings. Trans. Amer. Math. Soc. 229:269–278] an element of a ring R is clean if it is the sum of a unit and an idempotent, and a subset A of R is clean if every element of A is clean. It is shown that a semiprimitive Gelfand ring R is clean if and only if Max(R) is zero-dimensional; if and only if for each M ∈ Max(R), the intersection all prime ideals contained in M is generated by a set of idempotents. We also give several equivalent conditions for clean functional rings. In fact, a functional ring R is clean if and only if the set of clean elements is closed under sum; if and only if every zero-divisor is clean; if and only if; R has a clean prime ideal.