On Finitely Annihilated Modules and Artinian Rings

Let R be a ring. An R-module M is finitely annihilated if the annihilator of M is the annihilator of a finite subset of M. It is proved that if R has right socle S then the ring R/S is right Artinian if and only if every singular right R-module is finitely annihilated. Moreover, a right Noetherian ring R is right Artinian if and only if every uniform right R-module is finitely annihilated. In addition, a (right and left) Noetherian ring is (right and left) Artinian if and only if every injective right R-module is finitely annihilated. This paper will form part of the Ph.D. thesis at the University of Glasgow of the second author. He would like to thank the EPSRC for their financial support     

Gorenstein Modules and Dualizing Modules

In this article, we study the characterizations of Gorenstein injective left S-modules and finitely generated Gorenstein projective left R-modules when there is a dualizing S-R-bimodule associated with a right noetherian ring R and a left noetherian ring S.     

Gorenstein injective and strongly cotorsion modules

By investigating the properties of some special covers and envelopes of modules, we prove that if R is a Gorenstein ring with the injective envelope of _R R flat, then a left R-module is Gorenstein injective if and only if it is strongly cotorsion, and a right R-module is Gorenstein flat if and only if it is strongly torsionfree. As a consequence, we get that for an Auslander-Gorenstein ring R, a left R-module is Gorenstein injective (resp. flat) if and only if it is strongly cotorsion (resp. torsionfree).     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

Injective Envelopes and (Gorenstein) Flat Covers

We characterize left Noetherian rings in terms of the duality property of injective preenvelopes and flat precovers. For a left and right Noetherian ring R, we prove that the flat dimension of the injective envelope of any (Gorenstein) flat left R-module is at most the flat dimension of the injective envelope of _R R. Then we get that the injective envelope of _R R is (Gorenstein) flat if and only if the injective envelope of every Gorenstein flat left R-module is (Gorenstein) flat, if and only if the injective envelope of every flat left R-module is (Gorenstein) flat, if and only if the (Gorenstein) flat cover of every injective left R-module is injective, and if and only if the opposite version of one of these conditions is satisfied.     

Wakamatsu tilting modules with finite injective dimension

Let R be a left Noetherian ring, S a right Noetherian ring and _R ω a Wakamatsu tilting module with S = End( _R ω). We introduce the notion of the ω-torsionfree dimension of finitely generated R-modules and give some criteria for computing it. For any n ? 0, we prove that l.id _R (ω) = r.id _S (ω) ? n if and only if every finitely generated left R-module and every finitely generated right S-module have ω-torsionfree dimension at most n, if and only if every finitely generated left R-module (or right S-module) has generalized Gorenstein dimension at most n. Then some examples and applications are given.     

Localization of Injective Modules Over Arithmetical Rings

It is proved that localizations of injective R-modules of finite Goldie dimension are injective if R is an arithmetical ring satisfying the following condition: for every maximal ideal P, R _P is either coherent or not semicoherent. If, in addition, each finitely generated R-module has finite Goldie dimension, then localizations of finitely injective R-modules are finitely injective too. Moreover, if R is a Prüfer domain of finite character, localizations of injective R-modules are injective.     

On P-coherent endomorphism rings

A ring is called right P-coherent if every principal right ideal is finitely presented. Let M _R be a right R-module. We study the P-coherence of the endomorphism ring S of M _R . It is shown that S is a right P-coherent ring if and only if every endomorphism of M _R has a pseudokernel in add M _R ; S is a left P-coherent ring if and only if every endomorphism of M _R has a pseudocokernel in add M _R . Some applications are given.     

The structure of injective covers of special modules

In this paper, we prove that the injective cover of theR-moduleE(R/B)/R/B for a prime ideal B ofR is the direct sum of copies ofE(R/B) for prime ideals D ⊃ B, and if B is maximal, the injective cover is a finite sum of copies ofE(R/B). For a finitely generatedR-moduleM withn generators andG an injectiveR-module, we argue that the natural mapG ⁿ →G ⁿ/Hom _R (M, G) is an injective precover if Ext _R ¹ (M, R) = 0, and that the converse holds ifG is an injective cogenerator ofR. Consequently, for a maximal ideal R ofR, depth_R R ≧ 2 if and only if the natural mapE(R/R) →E(R/R)/R/R is an injective cover and depth_R R > 0.     

On FC-Purity and I-Purity of Modules and Köthe Rings

In this article, several characterizations of certain classes of rings via FC-purity and I-purity are considered. Among others results, it is shown that every I-pure injective left R-module is projective if and only if every FC-pure projective left R-module is injective, if and only if, R is a semisimple ring. In particular, the structures of FC-pure projective and I-pure projective modules over a left Artinian ring are completely described. Also, it is shown that every left R-module is FC-pure projective if and only if every indecomposable left R-module is a finitely presented cyclic R-module, if and only if, R is a left Köthe ring. Finally, we introduce FC-pure flatness and I-pure flatness of modules and several characterizations of these notions are given. In particular, we show that a commutative ring R is quasi-Frobenius if and only if R is an Artinian ring and I-pure injective, if and only if, R is an Artinian ring and the injective envelope E(R) is an FC-pure projective R-module.     

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.     

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.     

Injective and flat covers,envelopes and resolvents

Using the dual of a categorical definition of an injective envelope, injective covers can be defined. For a ringR, every leftR-module is shown to have an injective cover if and only ifR is left noetherian. Flat envelopes are defined and shown to exist for all modules over a regular local ring of dimension 2. Using injective covers, minimal injective resolvents can be defined.     

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.     

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

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

Infinite Direct Sums of Lifting Modules

A module M over a ring R is called a lifting module if every submodule A of M contains a direct summand K of M such that A/K is a small submodule of M/K (e.g., local modules are lifting). It is known that a (finite) direct sum of lifting modules need not be lifting. We prove that R is right Noetherian and indecomposable injective right R-modules are hollow if and only if every injective right R-module is a direct sum of lifting modules. We also discuss the case when an infinite direct sum of finitely generated modules containing its radical as a small submodule is lifting.     

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.