Self-Orthogonal Modules of Finite Projective Dimension

Let R be a ring and _R ω a self-orthogonal module. We introduce the notion of the right orthogonal dimension (relative to _R ω) of modules. We give a criterion for computing this relative right orthogonal dimension of modules. For a left coherent and semilocal ring R and a finitely presented self-orthogonal module _R ω, we show that the projective dimension of _R ω and the right orthogonal dimension (relative to _R ω) of R/J are identical, where J is the Jacobson radical of R. As a consequence, we get that _R ω has finite projective dimension if and only if every left (finitely presented) R-module has finite right orthogonal dimension (relative to _R ω). If ω is a tilting module, we then prove that a left R-module has finite right orthogonal dimension (relative to _R ω) if and only if it has a special ω^⊥-preenvelope.     

On Strong Goldie Dimension

Let R be an associative ring with identity. A unital right R-module M is called “strongly finite dimensional” if Sup{G.dim (M/N) | N ≤ M} < +∞, where G.dim denotes the Goldie dimension of a module. Properties of strongly finite dimensional modules are explored. It is also proved that: (1) If R is left F-injective and semilocal, then R is left finite dimensional. (2) R is right artinian if and only if R is right strongly finite dimensional and right semiartinian. Some known results are obtained as corollaries.     

Noetherian rings with almost injective simple modules

We characterize right Noetherian rings over which all simple modules are almost injective. It is proved that R is such a ring, if and only if, the complements of semisimple submodules of every R-module M are direct summands of M, if and only if, R is a finite direct sum of right ideals I_r, where I_r is either a Noetherian V-module with zero socle, or a simple module, or an injective module of length 2. A commutative Noetherian ring for which all simple modules are almost injective is precisely a finite direct product of rings R_i, where R_i is either a field or a quasi-Frobenius ring of length 2. We show that for commutative rings whose all simple modules are almost injective, the properties of Kasch, (semi)perfect, semilocal, quasi-Frobenius, Artinian, and Noetherian coincide.     

The homomorphismM*⊗N → Hom (M,N)

In this note we prove two theorems. In theorem 1 we prove that if M andN are two non-zero reflexive modules of finite projective dimensions over a Gorenstein local ring, such that Hom (M, N) is a third module of syzygies, then the natural homomorphismM* ⊗N → Hom (M, N) is an isomorphism. This extends the result in [7]. In theorem 2, we prove that projective dimension of a moduleM over a regular local ringR is less than or equal ton if and only if Ext_R ⁿ (M, R) ⊗M → Ext_R ⁿ (M, M) is surjective; in which case it is actually bijective. This extends the usual criterion for the projectivity of a module.     

On co-Hopficity of Injective Envelopes

A right R-module M is called co-Hopfian if injective endomorphisms of M _R are surjective. It is shown that E(M _R ) is co-Hopfian if and only if M _R does not contain an infinite direct sum ?_{i ? \mathbbN}W_i{{\oplus_{i \in \mathbb{N}}W_{i}}} of submodules such that each W _i+1 essentially embeds in W _i . For many modules M _R , including modules over a right FBN or right duo ring with Krull dimension, it is proved that E(M _R ) is co-Hopfian if and only if (\mathbbN){(\mathbb{N})} ↪̸ M _R for every non-zero X _R . For a ring which has enough uniforms, the class of modules with co-Hopfian injective envelope is the same as the class of modules with finite uniform dimension if and only if there are only finitely many isomorphism classes of indecomposable injective modules.     

Two Results on Modules whose Endomorphism Ring is Semilocal

The aim of this paper is twofold. On the one hand, we show that the dual Goldie dimension codim(End(M _R )) of the endomorphism ring End(M _R ) of a module M _R can be used as a measure of the dimension of the module M _R . On the other hand, we prove under suitable hypotheses the validity of the Krull–Schmidt Theorem for infinite direct sums of modules with homogeneous semilocal endomorphism rings.     

On the small Krull dimension of modules

We introduce and study the concept of small Krull dimension of a module which is Krull-like dimension extension of the concept of DCC on small submodules. Using this concept we extend some of the basic results for modules with this dimension, which are almost similar to the basic properties of modules with Krull dimension. When for a module A with small Krull dimension, whose Rad(A) is quotient finite dimensional, then these two dimensions for Rad(A) coincide. In particular, we prove that if an R-module A has finite hollow dimension, then A has small Krull dimension if and only if it has Krull dimension. Consequently, we show that if A has properties AB5* and qfd, then A has s.Krull dimension if and only if A has Krull dimension.     

Euclidean modules

In this paper, we introduce the notion of Euclidean module and weakly Euclidean ring. We prove the main result that a commutative ring R is weakly Euclidean if and only if every cyclic R-module is Euclidean, and also if and only if End( _R M) is weakly Euclidean for each cyclic R-moduleM. In addition, some properties of torsion-free Euclidean modules are presented.     

Artinian Rings Characterized by Direct Sums of CS Modules

Abstract

In this note, we show that the following are equivalent for a ring R for which the socle or the injective hull of R _R is finitely generated: (i) The direct sum of any two CS right R-modules is again CS; (ii) R is right Artinian and every uniform right R-module has composition length at most two. Next we give partial answers to a question of Huynh whether a right countably Σ-CS ring which either is semilocal or has finite Goldie dimension is right Σ-CS. We give characterizations, in terms of radicals, of when such rings are right Σ-CS. In particular, for the semilocal case, Huynh's question is reduced to whether rad(Z ₂(R _R )) is Σ-CS or Noetherian, where Z ₂(R _R ) is the second singular right ideal of R. Our results yield new characterizations of QF-rings.     

On weakly prime radical of modules and semi-compatible modules

Summary Let M be a left R-module. Then a proper submodule P of M is called weakly prime submodule if for any ideals A and B of R and any submodule N of M such that ABN ⊆ P, we have AN ⊆ P or BN ⊆ P. We define weakly prime radicals of modules and show that for Ore domains, the study of weakly prime radicals of general modules reduces to that of torsion modules. We determine the weakly prime radical of any module over a commutative domain R with dim (R) ≦ 1. Also, we show that over a commutative domain R with dim (R) ≦ 1, every semiprime submodule of any module is an intersection of weakly prime submodules. Localization of a module over a commutative ring preserves the weakly prime property. An R-module M is called semi-compatible if every weakly prime submodule of M is an intersection of prime submodules. Also, a ring R is called semi-compatible if every R-module is semi-compatible. It is shown that any projective module over a commutative ring is semi-compatible and that a commutative Noetherian ring R is semi-compatible if and only if for every prime ideal B of R, the ring R/\B is a Dedekind domain. Finally, we show that if R is a UFD such that the free R-module R⊕ R is a semi-compatible module, then R is a Bezout domain.     

Semilocal rings whose adjoint group is locally supersoluble

An associative ring R, not necessarily with an identity element, is called semilocal if R modulo its Jacobson radical is an artinian ring. It is proved that if the adjoint group of a semilocal ring R is locally supersoluble, then R is locally Lie-supersoluble and its Jacobson radical is contained in a locally Lie-nilpotent ideal of finite index in R.     

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

Weakly automorphism invariant modules and essential tightness

While a module is pseudo-injective if and only if it is automorphism-invariant, it was not known whether automorphism-invariant modules are tight. It is shown that weakly automorphism-invariant modules are precisely essentially tight. We give various examples of weakly automorphism-invariant and essentially tight modules and study their properties. Some particular results: (1) R is a semiprime right and left Goldie ring if and only if every right (left) ideal is weakly injective if and only if every right (left) ideal is weakly automorphism invariant; (2) R is a CEP-ring if and only if R is right artinian and every indecomposable projective right R-module is uniform and essentially R-tight.     

Quasi Co-Hopfian Modules and Applications

We carry out an extensive study of modules M _R with the property that M/f(M) is singular for all injective endomorphisms f of M. Such modules called “quasi co-Hopfian”, generalize co-Hopfian modules. It is shown that a ring R is semisimple if and only if every quasi co-Hopfian R-module is co-Hopfian. Every module contains a unique largest fully invariant quasi co-Hopfian submodule. This submodule is determined for some modules including the semisimple ones. Over right nonsingular rings several equivalent conditions to being quasi co-Hopfian are given. Modules with all submodules quasi co-Hopfian are called “completely quasi co-Hopfian” (cqcH). Over right nonsingular rings and over certain right Noetherian rings, it is proved that every finite reduced rank module is cqcH. For a right nonsingular ring which is right semi-Artinian (resp. right FBN) the class of cqcH modules is the same as the class of finite reduced rank modules if and only if there are only finitely many isomorphism classes of nonsingular R-modules which are simple (resp. indecomposable injective).     

k-torsionless modules with finite Gorenstein dimension

Let R be a commutative Noetherian ring. It is shown that the finitely generated R-module M with finite Gorenstein dimension is reflexive if and only if M _p is reflexive for p ∈ Spec(R) with depth(R _p) ? 1, and $G - {\dim _{{R_p}}}$ (M _p) ? depth(R _p) ? 2 for p ∈ Spec(R) with depth(R _p) ? 2. This gives a generalization of Serre and Samuel’s results on reflexive modules over a regular local ring and a generalization of a recent result due to Belshoff. In addition, for n ? 2 we give a characterization of n-Gorenstein rings via Gorenstein dimension of the dual of modules. Finally it is shown that every R-module has a k-torsionless cover provided R is a k-Gorenstein ring.     

Finitistic dimensions of semiprimary rings

LetR be a semiprimary ring. We show that if the left generalized projective dimension (defined below) of _R (R/J ²) is finite, then the injectively defined left finitistic dimension ofR is finite.     

FP-Injective and Weakly Quasi-Frobenius Rings

The classes of FP-injective and weakly quasi-Frobenius rings are investigated. The properties of both classes of rings are closely related to the embedding of finitely presented modules in fp-flat and free modules, respectively. Using these properties, we characterize the classes of coherent CF- and FGF-rings. Moreover, it is proved that the group ring R(G) is FP-injective (weakly quasi-Frobenius, respectively) if and only if the ring R is FP-injective (weakly quasi-Frobenius) and G is locally finite. Bibliography: 15 titles.     

Modules whose Endomorphism Rings have Finite Triangulating Dimension and Some Applications

By defining orthogonal decomposition for modules, we prove that an R-module M has only finitely many fully invariant direct summands if and only if End _R (M) has triangulating dimension ${n = {\rm Sup}\{k \in \mathbb{N} | M = \oplus^{k}_{i=1}M_{i}}$ is left orthogonal}. Denoting n = τdim(M _R ), the triangulating dimension of M _R , it is shown that τ dim(M _R ) is Morita invariant, and when R is an Artinian principal ideal ring, τ dim(M _R ) is the number of socle components of M _R . If R is commutative then R is perfect (resp. a finite direct product of domains) if and only if it is semi-Artinian (resp. semiprime extending) with finite triangulating dimension. A recent result of Birkenmeier et al. [4] is generalized into a module setting.     

Cotorsion pairs generated by modules of bounded projective dimension

We apply the theory of cotorsion pairs to study closure properties of classes of modules with finite projective dimension with respect to direct limit operations and to filtrations. We also prove that if the ring is an order in an ℵ₀-noetherian ring Q of little finitistic dimension 0, then the cotorsion pair generated by the modules of projective dimension at most one is of finite type if and only if Q has big finitistic dimension 0. This applies, for example, to semiprime Goldie rings and to Cohen Macaulay noetherian commutative rings.     

Some new dimensions of modules and rings

We say that a class 𝒫 of right modules over a fixed ring R is an epic class if it is closed under homomorphic images. For an arbitrary epic class 𝒫, we define a 𝒫-dimension of modules that measures how far modules are from the modules in the class 𝒫. For an epic class 𝒫 consisting of indecomposable modules, first we characterize rings whose modules have 𝒫-dimension. In fact, we show that every right R-module has 𝒫-dimension if and only if R is a semisimple Artinan ring. Then we study fully Hopfian modules with 𝒫-dimension. In particular, we show that a commutative ring R with 𝒫-dimension (resp. finite 𝒫-dimension) is either local or Noetherian (resp. Artinian). Finally, we show that Mat_m(R) is a right Köthe ring for some m if and only if every (left) right module is a direct sum of modules of 𝒫-dimension at most n for some n, if and only if R is a pure semisimple ring.