The University of Southampton
University of Southampton Institutional Repository

The homological grade of a module over a commutative ring

The homological grade of a module over a commutative ring
The homological grade of a module over a commutative ring

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)).

University of Southampton
Alshaniafi, Yousef Saleh
Alshaniafi, Yousef Saleh

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
Available under License University of Southampton Thesis Licence.
Download (2MB)

More information

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
Last modified: 04 Jul 2022 17:21

Export record

Contributors

Author: Yousef Saleh Alshaniafi

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×