Let CΨ (X) be the ideal of functions with pseudocompact support and let kX be the set of all points in υX having compact neighborhoods. We show that CΨ (X) is pure if and only if βX−kX is a round subset of βX, CΨ (X) is a projective C(X)-module if and only if CΨ (X) is pure and kX is paracompact. We also show that if CΨ (X) is pure, then for each f ∈ CΨ (X) the ideal (f ) is a projective (flat)...

A finite module M over a noetherian local ring R is said to be Gorenstein if Ext(k, M) = 0 for all i 6= dimR. A endomorphism φ : R → R of rings is called contracting if φ(m) ⊆ m for some i ≥ 1. Letting R denote the R-module R with action induced by φ, we prove: A finite R-module M is Gorenstein if and only if HomR( R,M) ∼= M and ExtiR( R,M) = 0 for 1 ≤ i ≤ depthR.

In this paper, by considering the notion of extended BCK-module, we define the concepts of free extended BCK-module, free object in category of extended BCK-modules and we state and prove some related results. Specially, we define the notion of idempotent extended BCK-module and we get some important results in free extended BCK-modules. In particular, in category of idempotent extended BCK-mod...

We propose a concept of module liaison that extends Gorenstein liaison of ideals and provides an equivalence relation among unmixed modules over a commutative Gorenstein ring. Analyzing the resulting equivalence classes we show that several results known for Gorenstein liaison are still true in the more general case of module liaison. In particular, we construct two maps from the set of even li...

Gillespie posed two questions in [Front. Math. China 12 (2017) 97-115], one of which states that “for what rings R do we have K(AC)=K(R-Inj)?”. We give an answer to such a question. As applications, obtain new homological approach unifies some well-known conditions Krause’s recollement holds, and example show there exists Gorenstein injective module is not AC-injective. also improve Neeman’s an...

We investigate the relationship between level of a bounded complex over commutative ring with respect to class Gorenstein projective modules and other invariants or ring, such as dimension, Krull dimension. The results build upon work done by J. D. Christensen [7], H. Altmann et al. [1], Avramov [4] for levels finitely generated modules.

Fix integers r, k, g with r > k > 0 and g ≥ 2. Let X be an integral projective curve with g := pa(X) and E a rank r torsion free sheaf on X which is a flat limit of a family of locally free sheaves on X. Here we prove the existence of a rank k subsheaf A of E such that r(deg(A)) ≥ k(deg(E)) − k(r − k)g. We show that for every g ≥ 9 there is an integral projective curve X,X not Gorenstein, and a...