FI-injective and FI-flat modules

Let R be a left coherent ring, S a right coherent ring and RU a generalized tilting module, with S=End(RU) satisfying the condition that each finitely presented left R-module X with ExtRi(X,U)=0 for any i≥1 is U-torsionless. If M is a finitely presented left R-module such that ExtRi(M,U)=0 for any i≥0 with $i \neq n$ (where n is a nonnegative integer), then $\mathrm {Ext}_S^n( \mathrm {Ext}_R^n(M, U), U)\cong M$ and ExtSi(ExtRn(M,U),U)=0 for any i≥0 with $i\neq n$. A duality is thus induced between the category of finitely presented holonomic left R-modules and the category of finitely presented holonomic right S-modules.

This paper investigates the structure of cyclically pure (or C-pure) projective modules. In particular, it is shown that a ring R is left Noetherian if and only if every C-pure projective left R-module is pure projective. Also, over a left hereditary Noetherian ring R, a left R-module M is C-pure projective if and only if M = N ⊕ P, where N is a direct sum of cyclic modules and P is a projective left R-module. The relationship C-purity with purity and RD-purity are also studied. It is shown that if R is a local duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is a principal ideal ring. If R is a left perfect duo-ring, then the C-pure projective left R-modules and the pure projective left R-modules coincide if and only if R is left Köthe (i.e., every left R-module is a direct sum of cyclic modules). Also, it is shown that for a ring R, if every C-pure projective left R-module is RD-projective, then R is left Noetherian, every p-injective left R-module is injective and every p-flat right R-module is flat. Finally, it is shown that if R is a left p.p-ring and every C-pure projective left R-module is RD-projective, then R is left Noetherian hereditary. The converse is also true when R is commutative, but it does not hold in the noncommutative case.

Let T be a weak torsion class of left R-modules and n a positive integer. A left R-module M is called (T, n)-injective if Ext (C, M) = 0 for each (T, n + 1)-presented left R-module C; a right R-module M is called (T, n)-flat if Tor (M, C) = 0 for each (T, n +1)-presented left R-module C; a left R-module M is called (T, n)-projective if Ext (M, N) = 0 for each (T, n)-injective left R-module N; the ring R is called strongly (T, n)-coherent if whenever 0 → K → P → C → 0 is exact, where C is (T, n + 1)-presented and P is finitely generated projective, then K is (T, n)-projective; the ring R is called (T, n)-semihereditary if whenever 0 → K → P → C → 0 is exact, where C is (T, n + 1)-presented and P is finitely generated projective, then pd(K) ⩽ n → 1. Using the concepts of (T, n)-injectivity and (T, n)-flatness of modules, we present some characterizations of strongly (T, n)-coherent rings, (T, n)-semihereditary rings and (T, n)-regular rings.

Expanding Nakayama’s original concept of dominant dimension, Tachikawa, Müller and Kato have obtained a number of results pertaining to finite dimensional algebras and more generally, rings and their modules. The purpose of this paper is to introduce and examine a categorically dual notion, namely, codominant dimension. Special attention is given to the question of the relation between the codominant and dominant dimensions of a ring. In particular, we show that the two dimensions are equivalent for artinian rings. This follows from our main result that for a left perfect ring R the dominant dimension of each projective left R-module is greater than or equal to n if and only if the codominant dimension of each injective left R-module is greater than or equal to n. Finally, for computations, we consider generalized uniserial rings and show that the codominant dimension, or equivalently, dominant dimension, is a strict function of the ring’s Kupisch sequence.

Continuing an earlier examination of the codominant dimension of rings and modules, a categorical characterization is given for rings of equivalent dominant and codominant dimensions. Specifically, the question is reduced to when R R and the left minimal injective cogenerator R can be used as test modules respectively for the dominant dimension of the projective modules and the codominant dimension of the injective modules. These conditions are in turn characterized by when the injective projective modules are Z-injective. Also, a new and shortened version is given for the proof that the codominant dimension of the injective modules is equal to the dominant dimension of the projective modules. Throughout, R is an associative ring with unity and all modules considered are unital. We denote a minimal injective cogenerator for R)R by R such being isomorphic to an injective hull of a direct sum of a complete representative class of simple left R-modules. For a left perfect ring R and a left R-module RM we define the codominant dimension of RM, denoted codom dim RM, to be greater than or equal to n if for a minimal projective resolution . P* P M 0, Pi is injective for i = 1, 29, . . ., n. The left codominant dimesnion of R is defined to be codom dim RU. The dominant dimension of RM is defined in a dual manner, and the left dominant dimension of R is dom dimRR. Further, for R left perfect, we define codom dimR9 to be infIcodom dim RE: RE injectivel. Similarly, dom dim Ris given by inf dom dimRP: RP projectivel. Finally, we say that RE (nRP) is a test module for RI (RT) provided codom dim RE= codom dimRI (dom dimR P = dom dimRY). In [2] we showed that dom dim R 9= codom dim RI. As an application it can Presented to the Society, January 25, 1973; received by the editors April 16, 1973. AMS (MOS) subject classifications (1970). Primary 16A60; Secondary 16A50, 16A52.

A left R-module M is called strongly P-projective if Exti(M, P) = 0 for all projective left R-modules P and all i ≥ 1. In this article, we first discuss properties of strongly P-projective modules. Then we introduce and study the strongly P-projective dimensions of modules and rings. The relations between the strongly P-projective dimension and other homological dimensions are also investigated.

In a recent paper [3], Michler showed that (iii) is a consequence of the other assumptions and therefore can be omitted. Asano's proof of the theorem is quite long and the purpose of this note is to present a new short proof which forms a natural sequel to Michler's work. First we recall some properties of such a ring R. These can be found in [3] or else, as indicated, are easy consequences. (a) For each nonzero prime P of R, there is a classical local ring Rp which is the right and left quotient ring of R with respect to the set of regular elements C(P) = {cCRI c+P is a unit of R/P}. Rp is a prime principal ideal ring. And, as in commutative theory, it is easily checked that Rp is flat as a right or left R-module. (b) If T is a nonzero ideal of R then T has a unique factorization T=P'l * * * P, as a (commutative) product of primes and

A left R-module M is called almost F-injective, if every R-homomorphism from a finitely presented left ideal to M extends to a homomorphism of R to M. A right R-module V is said to be almost flat, if for every finitely presented left ideal I, the canonical map V ⊗ I → V ⊗R is monic. A ring R is called left almost semihereditary, if every finitely presented left ideal of R is projective. A ring R is said to be left almost regular, if every finitely presented left ideal of R is a direct summand of RR. We observe some characterizations and properties of almost F-injective modules and almost flat modules. Using the concepts of almost F-injectivity and almost flatness of modules, we present some characterizations of left coherent rings, left almost semihereditary rings, and left almost regular rings.

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G 1 → G 0 → G 0 → G 1 → … such that the complex Hom R (G, H) is exact for each projective left R-module H, the module Im(G 0 → G 0) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.

Local rings whose modules are almost serial

Our aim in this paper is to develop a theory of purity and to prove in a unified conceptual way the existence of almost split morphisms, almost split sequences and almost split triangles in abstract homotopy categories, a rather omnipresent class of categories of interest in representation theory. Our main tool for doing this is the classical Brown representability theorem. Mathematics Subject Classifications (2000): 16Gxx, 18Gxx, 18Exx, 55U35. Abstract homotopy categories were introduced by E. Brown in the mid-sixties as the proper framework for the study of the homotopy theory of CW-complexes. In this setting, he proved in (18) his celebrated representability theorem, a variant of which has recently found important applications in the stable module category of a modular group algebra and more generally in compactly generated triangulated categories, mainly through the work of Rickard (42) and Neeman (40). Our main purpose in this paper is to develop a theory of purity and a theory of existence of almost split morphisms in an abstract homotopy category, using the Brown representability theorem as a main catalyzing tool. This aim is justified by the fact that abstract homotopy categories are om- nipresent in representation theory. They include module categories, locally finitely presented categories with products, compactly generated triangulated categories, categories of projective modules, and stable categories modulo projectives over left coherent and right perfect rings, categories of injective modules and stable categories modulo injectives over right Morita rings, (stable) categories of Cohen- Macaulay modules over Gorenstein rings, and many others. Abstract homotopy

One of the main results of this paper is the characterization of left FP-injective rings as rings over which every finitely presented right module is torsionless. The necessity of the torsionless condition (in fact reflexivity) previously has been observed for special classes of FP-injective rings (e.g., self-injective rings (Kato and McRae), right and left coherent and self FP-injective rings (Stenström)). Furthermore, if the ring is left coherent, it is equivalent to say that every finitely presented right module is reflexive. We investigate the condition (called IF) that every injective right module is flat and characterize this via FP-injectivity. IF-rings generalize regular rings and QF-rings, and under certain chain or homological conditions coincide with regular or QF-rings (e.g., w g l dim ⁡ R ≦ 1 ⇒ regular wgl\dim R \leqq 1 \Rightarrow {\text {regular}} , noetherian, or right perfect ⇒ QF) {\text {right perfect}} \Rightarrow {\text {QF)}} .

A module is uniserial in case its submodules are linearly ordered by inclusion. A ring R is left (right) serial if it is a direct sum of uniserial left (right) R-modules. A ring R is serial if it is both left and right serial. It is well known that for artinian rings the property of being serial is equivalent to the finitely generated modules being a direct sum of uniserial modules [8]. Results along this line have been generalized to more arbitrary rings [6], [13].This article is concerned with investigating rings whose indecomposable injective modules are uniserial. The following question is considered which was first posed in [4]. If an artinian ring R has all indecomposable injective modules uniserial, does this imply that R is serial? The answer is yes if R is a finite dimensional algebra over a field. In this paper it is shown, provided R modulo its radical is commutative, that R has every left indecomposable injective uniserial implies that R is right serial.

Given a complete hereditary cotorsion pair$(\mathcal{X}, \mathcal{Y})$, we introduce the concept of$(\mathcal{X}, \mathcal{X} \cap \mathcal{Y})$-Gorenstein projective modules and study its stability properties. As applications, we first get two model structures related to Gorenstein flat modules over a right coherent ring. Secondly, for any non-negative integern, we construct a cofibrantly generated model structure on Mod(R) in which the class of fibrant objects are the modules of Gorenstein injective dimension ≤nover a left Noetherian ringR. Similarly, ifRis a left coherent ring in which all flat leftR-modules have finite projective dimension, then there is a cofibrantly generated model structure on Mod(R) such that the cofibrant objects are the modules of Gorenstein projective dimension ≤n. These structures have their analogous in the category of chain complexes.

Let S and R be rings, be a semidualizing bimodule and be an integer or We introduce and study C-FP n -injective and C-FP n -flat modules as a common generalization of some known modules such as C-injective (resp. C-FP-injective, C-weak injective) and C-flat (resp. C-projective, C-weak flat) modules. Suppose that is a faithfully semidualizing bimodule. We give some equivalent characterizations of left n-coherent rings in terms of C-FP n -flat left S-modules and C-FP n -injective left R-modules. Then we show that the pairs and are coproduct-closed and product-closed duality pairs and both and are covering and preenveloping, where and denote the classes of C-FP n -flat left S-modules and C-FP n -injective left R-modules respectively. Finally, we investigate Foxby equivalence relative to C-FP n -injective and C-FP n -flat modules.