The University of Southampton
University of Southampton Institutional Repository

# The homological grade of a module over a commutative ring

Alshaniafi, Yousef Saleh (1990) The homological grade of a module over a commutative ring. University of Southampton, Doctoral Thesis.

Record type: Thesis (Doctoral)

## Abstract

Throughout the thesis a ring' means a commutative ring with identity', and R-module' means a unitary R-module'. The category of all R-modules is denoted by Mod-R and the annihilator of an R-module N is denoted by annRN. For an ideal A of a ring R and an R-module M, David Kirby and Hefzi A. Mehran, in a recent paper, define the homological grade of M in A, hgrR(A;M), to be inf(n PROB*LEMExtn/R(R/A,M) PROB*LEM 0). In the thesis, we consider the homological grade of M in A as the homological grade of M in the cyclic R-module R/A. We denote it by hgrR(R/A;M) and extend this definition to any arbitrary R-module N replacing R/A. The notion of an M-sequence in the work of D. Kirby and H.A. Mehran is adapted for use in new situations. For an R-module M and an exact sequence 0 → N_1 → N2 → N_3 → 0 of R-modules with N2 finitely generated, it is proved that, hgrR(R/annR N2; M) = hgrR(N2; M) = min(hgrR(N1; M), hgrR(N3; M)) = the supremum of lengths of M-sequences in annRN2. For R-modules N, M where N is finitely generated and for r ≤ hgr_R(N; M), it is shown that Ext^r/_R(N, M) PROB*LEM Hom_R(N, ker d^r), where ker d^r is the r^th cosyzygy in the minimal injective resolution of M. If, in addition, ann_RN is finitely generated, a relation between hgr_R(N;M), proj dim_RM and hgr_R(N; R) is given. Dual notions of the homological grade and an M-sequence is given and most of the results concerning the homological grade are dualized. For an artinian R-module M and a finitely generated R-module N, it is proved that for every n ≤ cohgrR(N; M) there exists a regular M-consequence in annRN of length n. Finally, if (R,PROB*LEM) is a local (noetherian) ring, it is shown that for every r ≤ hgr_R(R/PROB*LEM;R) the contravariant left exact functor Ext^r/_R (-, Hom_R(ker d^r, E(R/PROB*LEM))) is an exact functor in the category of all R-modules of finite length. And if, in addition, R is complete and n = hgr_R(R/PROB*LEM;R) then, for a finitely generated R-module N PROB*LEM 0 of finite injective dimension, the R-module Hom_R(PROB*LEM_n,N) is finitely generated with finite projective dimension equal to n - hgr_R(R/PROB*LEM;N), where PROB*LEM_n = Hom_R(ker d^n, E(R/PROB*LEM)).

Text
26918.pdf - Version of Record

Published date: 1990

## Identifiers

Local EPrints ID: 458273
URI: http://eprints.soton.ac.uk/id/eprint/458273
PURE UUID: bf1df08c-a53b-44f9-a1cb-81cdf9e47aac

## Catalogue record

Date deposited: 04 Jul 2022 16:45

## Contributors

Author: Yousef Saleh Alshaniafi