We show, in full generality, that Lusztig’s a-function describes the projective dimension of both indecomposable tilting modules and indecomposable injective modules in the regular block of the BGG category O, proving a conjecture from the first paper. On the way we show that the images of simple modules under projective functors can be represented in the derived category by linear complexes of...

 In this paper, a new homological dimension of modules, copresented dimension, is defined. We study some basic properties of this homological dimension. Some ring extensions are considered, too. For instance, we prove that if $Sgeq R$ is a finite normalizing extension and $S_R$ is a projective module, then for each right $S$-module $M_S$, the copresented dimension of $M_S$ does not exceed the c...

This paper studies the vanishing of $Ext$ modules over group rings. Let $R$ be a commutative noetherian ring and $ga$ a group. We provide a criterion under which the vanishing of self extensions of a finitely generated $Rga$-module $M$ forces it to be projective. Using this result, it is shown that $Rga$ satisfies the Auslander-Reiten conjecture, whenever $R$ has finite global dimension and $ga...

let $m$ be a right module over a ring $r$, $tau_m$ a preradical on $sigma[m]$, and$ninsigma[m]$. in this note we show that if $n_1, n_2in sigma[m]$ are two$tau_m$-lifting modules such that $n_i$ is $n_j$-projective ($i,j=1,2$), then $n=n_1oplusn_2$ is $tau_m$-lifting. we investigate when homomorphic image of a $tau_m$-lifting moduleis $tau_m$-lifting.

We investigate the structure of pure-syzygy modules in a pure-projective resolution of any right R-module over an associative ring R with an identity element. We show that a right R-module M is pure-projective if and only if there exists an integer n ≥ 0 and a pure-exact sequence 0 → M → Pn → · · · → P0 → M → 0 with pure-projective modules Pn, . . . , P0. As a consequence we get the following v...

Let R be a commutative ring with identity and M an R–module. If M is either locally cyclic projective or faithful multiplication then M is locally either zero or isomorphic to R. We investigate locally cyclic projective modules and the properties they have in common with faithful multiplication modules. Our main tool is the trace ideal. We see that the module structure of a locally cyclic proje...

Since Eilenberg and Moore [EM], the relative homological algebra, especially the Gorenstein homological algebra ([EJ2]), has been developed to an advanced level. The analogues for the basic notion, such as projective, injective, flat, and free modules, are respectively the Gorenstein projective, the Gorenstein injective, the Gorenstein flat, and the strongly Gorenstein projective modules. One c...

we show  that a projective maximal submodule of afinitely generated, regular, extending module is a directsummand. hence, every finitely generated, regular, extendingmodule with projective maximal submodules is semisimple. as aconsequence, we observe that every regular, hereditary, extendingmodule is semisimple. this generalizes and simplifies a result of  dung and   smith. as another consequen...

Definition 1. Let S be a graded ring, set X = ProjS and letM a graded S-module. We define a sheaf of modulesM ̃ on X as follows. For each p ∈ ProjS we have the local ring S(p) and the S(p)module M(p) (GRM,Definition 4). Let Γ(U,M ̃) be the set of all functions s : U −→ ∐p∈U M(p) with s(p) ∈M(p) for each p, which are locally fractions. That is, for every p ∈ U there is an open neighborhood p ∈ V ⊆...