Minimal pure injective resolutions of flat modules

DOI10.1016/0021-8693(87)90200-6MaRDI QIDQ1820206zbMATH OpenOpenAlexWikidataFDO

Publication date 1987

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0021-8693(87)90200-6

change of ring theorem noetherian ring projective dimension of flat modules pure injective minimal resolution of a flat module

Mathematics Subject Classification ID

Injective and flat modules and ideals in commutative rings (13C11) (Co)homology of commutative rings and algebras (e.g., Hochschild, André-Quillen, cyclic, dihedral, etc.) (13D03) Homological dimension and commutative rings (13D05)

Review text

This paper examines the pure injective minimal resolution of a flat module F over a noetherian ring R. Starting from the fact that the pure injective envelope \(PE(F)\) of a flat module F over a noetherian ring \(R\) can be represented as: \(PE(F)=\oplus_{{\mathfrak p}\in\text{Spec} k}T_{{\mathfrak p}}\), where \(T_{{\mathfrak p}}\) is the completion of a free \(R_{{\mathfrak p}}\)-module, the author proves the following theorem on a minimal pure injective resolution of \(F: F\to PE(F) \to PE^ 1(F) \to ....\) Let \(\pi_ n({\mathfrak q},F)\) be the cardinality of a base of a free \(R_{{\mathfrak q}}\) module whose completion is \(T_{{\mathfrak q}}\), where \(PE^ n(F) = \prod T_{{\mathfrak q}}\), then: \(\pi_ n({\mathfrak q},F)=0\), \(\forall {\mathfrak q}\supsetneqq {\mathfrak p} \Rightarrow \pi_{n+1}({\mathfrak q},F)=0\), \(\forall {\mathfrak q}>{\mathfrak p}.\) As a consequence: \(\dim(R)<\infty\), \(n>\dim(R) \Rightarrow PE^ n(F)=0.\) This theorem is used to give new proofs of results about the projective dimension of flat modules and at the same time to sharpen these results. A characterization of the modules \(\prod T_{{\mathfrak p}},\) such that \(F\to \prod T_{{\mathfrak p}}\) is a pure injective envelope, enables to give a change of ring theorem and, as a corollary, the result that \(\dim(R_ 1)=\dim(R_ 2) \Rightarrow\) pure \(inj.\dim._{R_ 1}(R_ 1) =\) pure \(inj.\dim_{R_ 2}(R_ 2),\) for \(R_ 1, R_ 2\) coordinate rings of affine algebraic varieties over a field \(k\).

Recommendations

Cites work

Cited in

(21)

This page was built for publication: Minimal pure injective resolutions of flat modules

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1820206)