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.     

On Copure Projective Modules and Copure Projective Dimensions

Let R be any ring. A right R-module M is called n-copure projective if Ext¹(M, N) = 0 for any right R-module N with fd(N) ≤ n, and M is said to be strongly copure projective if Ext ⁱ (M, F) = 0 for all flat right R-modules F and all i ≥ 1. In this article, firstly, we present some general properties of n-copure projective modules and strongly copure projective modules. Then we define and investigate copure projective dimensions of modules and rings. Finally, more properties and applications of n-copure projective modules, strongly copure projective modules and copure projective dimensions are given over coherent rings with finite self-FP-injective dimension.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

Relative <Emphasis Type="Italic">FI</Emphasis>-injective and <Emphasis Type="Italic">FI</Emphasis>-flat modules

Let R be a ring, n a fixed nonnegative integer and FP _n (F _n ) the class of all left (right) R-modules of FP-injective (flat) dimensions at most n. A left R-module M (resp., right R-module F) is called n-FI-injective (resp., n-FI-flat) if Ext ¹(N,M) = 0 (resp., Tor ₁(F,N) = 0) for any N ∈ FP _n . It is shown that a left R-module M over any ring R is n-FI-injective if and only if M is a kernel of an FP _n -precover f: A → B with A injective. For a left coherent ring R, it is proven that a finitely presented right R-module M is n-FI-flat if and only if M is a cokernel of an F _n -preenvelope K → F of a right R-module K with F projective if and only if M ∈^⊥ F _n . These classes of modules are used to construct cotorsion theories and to characterize the global dimension of a ring.     

C-Pure Projective 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.     

Gorenstein projective dimensions of complexes

We show that over a right coherent left perfect ring R, a complex C of left R-modules is Gorenstein projective if and only if C ^m is Gorenstein projective in R-Mod for all m ∈ ℤ. Basing on this we show that if R is a right coherent left perfect ring then Gpd(C) = sup{Gpd(C ^m )|m ∈ ℤ} where Gpd(−) denotes Gorenstein projective dimension.     

When Are Covers Relative to Two Classes Isomorphic

Let ?₁ ? ?₂ be classes of right R-modules, we introduce ?₁-covering modules and projective modules relative to ?₂ to characterize the relations between the existences of ?₁-covers, ?₂-covers and the classes ?₁, ?₂. As corollaries, every module in ? _n is an ?-covering module if and only if every flat cover is an ? _n -cover for each right module if and only if R is a von Neumann regular ring whenever wD(R) < ∞; every flat right R-module is projective relative to 𝒫 if and only if every flat cover is a projective cover for each right module if and only if R is right perfect.     

Properties of a certain product of submodules

Let R be a commutative ring with identity, let M be an R-module, and let K ₁, . . . ,K _n be submodules of M: We construct an algebraic object called the product of K ₁, . . . ,K _n : This structure is equipped with appropriate operations to get an R(M)-module. It is shown that the R(M)-module M ⁿ   = M . . .M and the R-module M inherit some of the most important properties of each other. Thus, it is shown that M is a projective (flat) R-module if and only if M ⁿ is a projective (flat) R(M)-module.     

Characterization of Quasi-Coherent Modules that are Module Schemes

Let R be a commutative ring with unit, and let E be an R-module. We say the functor of R-modules E, defined by E(B) = E ? _R B, is a quasi-coherent R-module, and its dual E* is an R-module scheme. Both types of R-module functors are essential for the development of the theory of the linear representations of an affine R-group. We prove that a quasi-coherent R-module E is an R-module scheme if and only if E is a projective R-module of finite type, and, as a consequence, we also characterize finitely generated projective R-modules.     

t-Extending Modules and t-Baer Modules

We introduce the notions of “t-extending modules,” and “t-Baer modules,” which are generalizations of extending modules. The second notion is also a generalization of nonsingular Baer modules. We show that a homomorphic image (hence a direct summand) of a t-extending module and a direct summand of a t-Baer module inherits the property. It is shown that a module M is t-extending if and only if M is t-Baer and t-cononsingular. The rings for which every free right module is t-extending are called right Σ-t-extending. The class of right Σ-t-extending rings properly contains the class of right Σ-extending rings. Among other equivalent conditions for such rings, it is shown that a ring R is right Σ-t-extending, if and only if, every right R-module is t-extending, if and only if, every right R-module is t-Baer, if and only if, every nonsingular right R-module is projective. Moreover, it is proved that for a ring R, every free right R-module is t-Baer if and only if Z ₂(R _R ) is a direct summand of R and every submodule of a direct product of nonsingular projective R-modules is projective.     

On the rate of points in projective spaces

The rate of a standard gradedK-algebraR is a measure of the growth of the shifts in a minimal free resolution ofK as anR-module. It is known that rate(R)=1 if and only ifR is Koszul and that rate(R) ≥m(I)−1 wherem(I) denotes the highest degree of a generator of the defining idealI ofR. We show that the rate of the coordinate ring of certain sets of pointsX of the projective space P ⁿ is equal tom(I)−1. This extends a theorem of Kempf. We study also the rate of algebras defined by a space of forms of some fixed degreed and of small codimension.     

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 simultaneous approximation to a differentiable function and its derivative by inverse Pal-Type interpolation polynomials

Let ξ_{n −1} < ξ_{n −2} < ξ_{n − 2} < ... < ξ₁ be the zeros of the the (n−1)-th Legendre polynomial P_n−1(x) and −1=x_n<x_n−1<...<x₁=1, the zeros of the polynomial . By the theory of the inverse Pal-Type interpolation, for a function f(x)∈C _[−1,1] ¹ , there exists a unique polynomial R_n(x) of degree 2n−2 (if n is even) satisfying conditions R_n(f, ξ_k) = f (ε_k) (1 ⩽ k ⩽ n −1); R¹ _n(f,x_k)=f¹(x_k)(1≤k≤n). This paper discusses the simultaneous approximation to a differentiable function f by inverse Pal-Type interpolation polynomial {R_n(f, x)} (n is even) and the main result of this paper is that if f∈C _[1,1] ^r , r≥2, n≥r+2, and n is even then |R¹ _n(f,x)−f¹(x)|=0(1)|W_n(x)|h(x)·n^3−r·E_2n−r−3(f^(r)) holds uniformly for all x∈[−1,1], where .     

Acyclic edge colorings of planar graphs and seriesparallel graphs

A proper edge coloring of a graph G is called acyclic if there is no 2-colored cycle in G. The acyclic edge chromatic number of G, denoted by a′(G), is the least number of colors in an acyclic edge coloring of G. Alon et al. conjectured that a′(G) ⩽ Δ(G) + 2 for any graphs. For planar graphs G with girth g(G), we prove that a′(G) ⩽ max{2Δ(G) − 2, Δ(G) + 22} if g(G) ⩾ 3, a′(G) ⩽ Δ(G) + 2 if g(G) ⩾ 5, a′(G) ⩽ Δ(G) + 1 if g(G) ⩾ 7, and a′(G) = Δ(G) if g(G) ⩾ 16 and Δ(G) ⩾ 3. For series-parallel graphs G, we have a′(G) ⩽ Δ(G) + 1. This work was supported by National Natural Science Foundation of China (Grant No. 10871119) and Natural Science Foundation of Shandong Province (Grant No. Y2008A20).     

Rings whose cyclic modules are lifting and ⊕-supplemented

It is proved that a semiperfect module is lifting if and only if it has a projective cover preserving direct summands. Three corollaries are obtained: (1) every cyclic module over a ring R is lifting if and only if every cyclic R-module has a projective cover preserving direct summands; (2) a ring R is artinian serial with Jacobson radical square-zero if and only if every (2-generated) R-module has a projective cover preserving direct summands; (3) a ring R is a right (semi-)perfect ring if and only if (cyclic) lifting R-module has a projective cover preserving direct summands, if and only if every (cyclic) R-module having a projective cover preserving direct summands is lifting. It is also proved that every cyclic module over a ring R is ⊕-supplemented if and only if every cyclic R-module is a direct sum of local modules. Consequently, a ring R is artinian serial if and only if every left and right R-module is a direct sum of local modules.     

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.