Mod-Retractable Rings

A right module M over a ring R is said to be retractable if Hom _R (M, N) ≠ 0 for each nonzero submodule N of M. We show that M ? _R RG is a retractable RG-module if and only if M _R is retractable for every finite group G. The ring R is (finitely) mod-retractable if every (finitely generated) right R-module is retractable. Some comparisons between max rings, semiartinian rings, perfect rings, noetherian rings, nonsingular rings, and mod-retractable rings are investigated. In particular, we prove ring-theoretical criteria of right mod-retractability for classes of all commutative, left perfect, and right noetherian rings.     

Properties of Modules and Rings Relative to Some Matrices

Let R be a ring and  _β×α(R) (?   _β×α(R)) the set of all β × α full (row finite) matrices over R where α and β ≥ 1 are two cardinal numbers. A left R-module M is said to be “injective relative” to a matrix A ? ?   _β×α(R) if every R-homomorphism from R ^(β) A to M extends to one from R ^(α) to M. It is proved that M is injective relative to A if and only if it is A-pure in every module which contains M as a submodule. A right R-module N is called flat relative to a matrix A ?  _β×α(R) if the canonical map μ: N? R ^(β) A → N ^α is a monomorphism. This extends the notion of (m, n)-flat modules so that n-projectivity, finitely projectivity, and τ-flatness can be redefined in terms of flatness relative to certain matrices. R is called left coherent relative to a matrix A ?  _β×α(R) if R ^(β) A is a left R-ML module. Some results on τ-coherent rings and (m, n)-coherent rings are extended.     

Group homomorphisms inducing isomorphisms in cohomology

In this article, we call a ring R right generalized semiregular if for any a ∈ R there exist two left ideals P, L of R such that lr(a) = P⊕ L, where P ? Ra and Ra ∩ L is small in R. The class of generalized semiregular rings contains all semiregular rings and all AP-injective rings. Some properties of these rings are studied and some results about semiregular rings and AP-injective rings are extended. In addition, we call a ring R semi-π-regular if for any a ∈ R there exist a positive integer n and e ² = e ∈ a ⁿ R such that (1 ? e)a ⁿ  ∈ J(R), the Jacobson radical of R. It is shown that a ring R is semi-π-regular if and only if R/J(R) is π-regular and idempotents can be lifted modulo J(R).     

Weak Global Dimension of Coherent Rings

In this article, we study the weak global dimension of coherent rings in terms of the left FP-injective resolutions of modules. Let R be a left coherent ring and ? ? the class of all FP-injective left R-modules. It is shown that wD(R) ≤ n (n ≥ 1) if and only if every nth ? ?-syzygy of a left R-module is FP-injective; and wD(R) ≤ n (n ≥ 2) if and only if every (n ? 2)th ? ?-syzygy in a minimal ? ?-resolution of a left R-module has an FP-injective cover with the unique mapping property. Some results for the weak global dimension of commutative coherent rings are also given.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

A Note on Relative Flatness and Coherence

Let R be a ring and M a fixed right R-module. A new characterization of M-flatness is given by certain linear equations. For a left R-module F such that the canonical map M? _R F → Hom _R (M?, F) is injective, where M? = Hom _R (M, R), the M-flatness of F is characterized via certain matrix subgroups. An example is given to show that R need not be M-coherent even if every left R-module is M-flat. Moreover, some properties of M-coherent rings are discussed.     

Orders in regular rings with minimal condition for principal right ideals

ABSTRACT

A ring R is called an n-clean (resp. Σ-clean) ring if every element in R is n-clean (resp. Σ-clean). Clean rings are 1-clean and hence are Σ-clean. An example shows that there exists a 2-clean ring that is not clean. This shows that Σ-clean rings are a proper generalization of clean rings. The group ring ?_(p) G with G a cyclic group of order 3 is proved to be Σ-clean. The m× m matrix ring M _m (R) over an n-clean ring is n-clean, and the m×m (m>1) matrix ring M _m (R) over any ring is Σ-clean. Additionally, rings satisfying a weakly unit 1-stable range were introduced. Rings satisfying weakly unit 1-stable range are left-right symmetric and are generalizations of abelian π-regular rings, abelian clean rings, and rings satisfying unit 1-stable range. A ring R satisfies a weakly unit 1-stable range if and only if whenever a ₁ R + ˙˙˙ a _m R = dR, with m ≥ 2, a ₁,…, a _m, d ∈ R, there exist u ₁ ∈ U(R) and u ₂,…, u _m ∈ W(R) such that a ₁ u ₁ + ? a _m u _m = Rd.     

On Almost Unit-Regular Rings

An element a ∈ R is unit-regular provided that there exists an invertible u ∈ R such that a = aua. A ring R is called an almost unit-regular ring provided that for any a ∈ R, either a or 1 ? a is unit-regular. We characterize, in this article, the almost unit-regularity of Morita contexts with zero pairings. We also show that a ring R is unit-regular if and only if M ₂(R) is almost unit-regular. Various examples of such rings are constructed by means of formal triangular matrix rings.     

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.     

On Divisible and Torsionfree Modules

A ring R is called left P-coherent in case each principal left ideal of R is finitely presented. A left R-module M (resp. right R-module N) is called D-injective (resp. D-flat) if Ext¹(G, M) = 0 (resp. Tor₁(N, G) = 0) for every divisible left R-module G. It is shown that every left R-module over a left P-coherent ring R has a divisible cover; a left R-module M is D-injective if and only if M is the kernel of a divisible precover A → B with A injective; a finitely presented right R-module L over a left P-coherent ring R is D-flat if and only if L is the cokernel of a torsionfree preenvelope K → F with F flat. We also study the divisible and torsionfree dimensions of modules and rings. As applications, some new characterizations of von Neumann regular rings and PP rings are given.     

On Strongly Copure Flat Modules and Copure Flat Dimensions

Let R be a left coherent ring. We first prove that a right R-module M is strongly copure flat if and only if Ext ⁱ (M, C) = 0 for all flat cotorsion right R-modules C and i ≥ 1. Then we define and investigate copure flat dimensions of left coherent rings. Finally, we give some new characterizations of n-FC rings.     

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.     

Quasi-localizations of ℤ

Motivated by the categorical notion of localizations applied to the quasi-category of abelian groups, we call a homomorphism α: A → B a quasi-localization of abelian groups if for each ϕ ∈ Hom(A,B) there is an n ∈ ℕ and a unique ψ ∈ End(B) such that nϕ = ψ ∘ α. In this case we call B a quasi-localization of A. In this paper we investigate quasi-localizations of the integers ℤ. While it is well-known that localizations of ℤ are just the E-rings, quasi-localizations of ℤ are much more abundant; an injection α: ℤ → M with M torsion-free, is a quasi-localization if and only if, for R = End(M), one has . We call R the ring of the quasi-localization M. Some old results due to Zassenhaus and Butler show that all rings with free additive groups of finite rank are indeed rings of quasi-localizations of ℤ. We will extend this result and show that there are also rings of infinite rank with this property. While there are many realization results of rings R as endomorphism rings of torsion-free abelian groups M in the literature, the group M is usually not contained in the divisible hull of R ⁺, as is required here. We will use a particular case of a category of left R-modules M with a distinguished family of submodules and thus . We will restrict our discussion to the case M = R such that , and in this case we call the family of left ideals E-forcing, not to be confused with the notion of forcing in set theory. We will provide many examples of quasi-localizations M of ℤ, among them those of infinite rank as well as matrix rings for various rings of finite rank.     

On Strongly Essential Submodules

The submodules with the property of the title (N ? M is strongly essential in M if ∏ _I N is essential in ∏ _I M for any index set I) are introduced and fully investigated.

It is shown that for each submodule N of M there exists a subset T ? M such that N + T is strongly essential submodule of M and (N:T) = Ann(T), T  ∩  N = 0. Basic properties of these objects and several examples are given and the counterparts of the related concepts to essential submodules are also introduced and studied. It is shown that each maximal left ideal of a left fully bounded ring is either a summand or strongly essential. Rings over which no module has a proper strongly essential submodule are characterized. It is also shown that the left Loewy rings are the only rings over which the essential submodules and strongly essential submodules of any left module coincide. Finally, a new characterization of left FBN rings is observed.     

Strongly Duo Modules and Rings

An R-module M is called strongly duo if Tr(N, M) = N for every N ≤ M _R . Several equivalent conditions to being strongly duo are given. If M _R is strongly duo and reduced, then End _R (M) is a strongly regular ring and the converse is true when R is a Dedekind domain and M _R is torsion. Over certain rings, nonsingular strongly duo modules are precisely regular duo modules. If R is a Dedekind domain, then M _R is strongly duo if and only if either M ≈ R or M _R is torsion and duo. Over a commutative ring, strongly duo modules are precisely pq-injective duo modules and every projective strongly duo module is a multiplication module. A ring R is called right strongly duo if R _R is strongly duo. Strongly regular rings are precisely reduced (right) strongly duo rings. A ring R is Noetherian and all of its factor rings are right strongly duo if and only if R is a serial Artinian right duo ring.     

Boolean Algebras,Generalized Abelian Rings,and Grothendieck Groups

ABSTRACT

A ring R is called generalized Abelian if for each idempotent e in R, eR and (1 ? e)R have no isomorphic nonzero summands. The class of generalized Abelian rings properly contains the class of Abelian rings. We denote by GAERS ? 1 the class of generalized Abelian exchange rings with stable range 1. In this article we prove, by introducing Boolean algebras, that for any R ∈ GAERS ? 1, the Grothendieck group K ₀(R) is always an Archimedean lattice-ordered group, and hence is torsion free and unperforated, which generalizes the corresponding results of Abelian exchange rings. Our main technical tool is the use of the ordered structure of K ₀(R)⁺, which provides a new method in the study of Grothendieck groups.     

ARMENDARIZ RINGS RELATIVE TO A MONOID

ABSTRACT

For a monoid M, we introduce M-Armendariz rings, which are generalizations of Armendariz rings; and we investigate their properties. Every reduced ring is M-Armendariz for any unique product monoid M. We show that if R is a reduced and M-Armendariz ring, then R is M × N-Armendariz, where N is a unique product monoid. It is also shown that a finitely generated Abelian group G is torsion free if and only if there exists a ring R such that R is G-Armendariz. Moreover, we study the relationship between the Baerness and the PP-property of a ring R and those of the monoid ring R[M] in case R is M-Armendariz.     

Jacobson rings and rings strongly graded by an abelian group

LetR be ring strongly graded by an abelian groupG of finite torsion-free rank. Lete be the identity ofG, andR _e the component of degreee ofR. AssumeR _e is a Jacobson ring. We prove that graded subrings ofR are again Jacobson rings if eitherR _e is a left Noetherian ring orR is a group ring. In particular we generalise Goldie and Michlers’s result on Jacobson polycyclic group rings, and Gilmer’s result on Jacobson commutative semigroup rings of finite torsion-free rank.     

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.     

On the FIP Property for Extensions of Commutative Rings

ABSTRACT

A (unital) extension R ? T of (commutative) rings is said to have FIP (respectively be a minimal extension) if there are only finitely many (respectively no) rings S such that R ? S ? T. Transfer results for the FIP property for extensions of Nagata rings are obtained, including the following fact: if R ? T is a (module-) finite minimal ring extension, then R(X)?T(X) also is a (module-) finite minimal ring extension. The assertion obtained by replacing “is a (module-) finite minimal ring extension” with “has FIP” is valid if R is an infinite field but invalid if R is a finite field. A generalization of the Primitive Element Theorem is obtained by characterizing, for any field (more generally, any artinian reduced ring) R, the ring extensions R ? T which have FIP; and, if R is any field K, by describing all possible structures of the (necessarily minimal) ring extensions appearing in any maximal chain of intermediate rings between K and any such T. Transfer of the FIP and “minimal extension” properties is given for certain pullbacks, with applications to constructions such as CPI-extensions. Various sufficient conditions are given for a ring extension of the form R ? R[u], with u a nilpotent element, to have or not have FIP. One such result states that if R is a residually finite integral domain that is not a field and u is a nilpotent element belonging to some ring extension of R, then R ? R[u] has FIP if and only if (0 : u) ≠ 0. The rings R having only finitely many unital subrings are studied, with complete characterizations being obtained in the following cases: char(R)>0; R an integral domain of characteristic 0; and R a (module-)finite extension of ? which is not an integral domain. In particular, a ring of the last-mentioned type has only finitely many unital subrings if and only if (?:R)≠0. Some results are also given for the residually FIP property.