Modules possessing projective resolutions of finite type
type: Item
instance of: scholarly article
title: Modules possessing projective resolutions of finite type
zbMATH Open document ID: 0931.16005
author: Peter H. Kropholler
published in: Journal of Algebra
publication date: 1999-12-09T00:00:00Z
review text: Let \(k\) be a commutative ring, \(G\) be a group. Let \(R\) be a strongly \(G\)-graded \(k\)-algebra, that is, a \(k\)-algebra which admits a \(k\)-module decomposition \(R=\bigoplus_{g\in G} R_g\) such that \(R_gR_h=R_{gh}\) for all \(g,h\in G\). If \(H\) is a subgroup of \(G\) then \(R_H\) denotes the subalgebra supported on \(H\). An \(R\)-module \(M\) is said to be of type \(FP_\infty\) if and only if there is a projective resolution \(P_*\to M\) by finitely generated projective modules. A module is called elementary if it is of the form \(U\otimes_{R_E} R\) where \(E\) is a finite elementary Abelian subgroup of \(G\) and \(U\) is a finitely generated \(R_E\)-module which is projective over \(R_1\). The elementary modules are certainly of type \(FP_\infty\). A module \(M\) is called polyelementary if it has a series \[ \langle 0\rangle=M_0\leq M_1\leq\cdots\leq M_n=M, \] every factor of which is elementary. Let \(P_*\to M\) be a projective resolution of a module \(M\), then the \(n\)th kernel is the kernel of the map \(P_{n-1}\to P_{n-2}\) when \(n\geq 2\), the kernel of the map \(P_0\to M\) when \(n=1\), and \(M\) itself if \(n=0\). An \(R\)-module \(N\) is said to be stably flat over \(R\) if and only if \(\widehat{\text{Ext}}_R^0(M,N)=0\) for all \(R\)-modules \(M\) of type \(FP_\infty\). Further \(LH{\mathfrak F}\) denotes the class of locally hierarchically decomposable groups. The main results of this paper are the following Theorem A. Let \(G\) belong to \(LH{\mathfrak F}\) and suppose that \(R_1\) is coherent and has finite global dimension. Let \(M\) be an \(R\)-module of type \(FP_\infty\). Then there is an integer \(n\geq 0\) such that in any projective resolution \(P_*\to M\) of finite type the \(n\)th kernel is isomorphic to a direct summand of a polyelementary module. Theorem B. Let \(G\) belong to \(LH{\mathfrak F}\) and let \(R\) be a strongly \(G\)-graded \(k\)-algebra such that \(R_1\) is coherent. Let \(N\) be an \(R\)-module. Then the follow…
Mathematics Subject Classification ID: 16E10
Mathematics Subject Classification ID: 16W50
Mathematics Subject Classification ID: 16D40
Mathematics Subject Classification ID: 16S34
Mathematics Subject Classification ID: 20C07
Mathematics Subject Classification ID: 16P70
zbMATH DE Number: 1309248
zbMATH Keywords: strongly graded algebras
zbMATH Keywords: projective resolutions
zbMATH Keywords: finitely generated projective modules
zbMATH Keywords: locally hierarchically decomposable groups
zbMATH Keywords: coherent rings
zbMATH Keywords: global dimensions
reviewed by: L. A. Kurdachenko
MaRDI profile type: Publication
full work available at URL: jabr.1998.7759
OpenAlex ID: W2052211889
cites work: Induction from elementary abelian subgroups
cites work: Complexity and varieties for infinite groups. I
cites work: Complexity and varieties for infinite groups. II
cites work: Q4129638
cites work: Projectivity and relative projectivity over group rings
cites work: Homological Finiteness Conditions for Modules Over Group Algebras
cites work: Homological finiteness conditions for modules over strongly group-graded rings
cites work: On complete resolutions
cites work: Q4001605
cites work: Equivariant Tate-Vogel homology
cites work: Q5648496
cites work: On groups of type \((FP)_\infty\)
cites work: A generalization of the Lyndon–Hochschild–Serre spectral sequence with applications to group cohomology and decompositions of groups
cites work: On a property of fundamental groups of graphs of finite groups
cites work: Autour de la platitude
cites work: Tate cohomology for arbitrary groups via satellites
cites work: Idempotent Modules in the Stable Category
cites work: Sur la dimension cohomologique des groupes profinis
DOI: 10.1006/JABR.1998.7759
Recommended article: Q3629077
Recommended article: On modules of finite projective dimension
Recommended article: Modules of finite length and finite projective dimension
Recommended article: Q4499135
Recommended article: Modules with pure resolutions
Recommended article: On finitely generated projective modules
Recommended article: Finitely projective modules with respect to a semidualizing module
Recommended article: Modules of finite virtual projective dimension
Recommended article: On modules of finite projective dimension over complete intersections
Recommended article: On projectivity of finitely generated modules
description: scientific article; zbMATH DE number 1309248