Modules possessing projective resolutions of finite type
coherent ringsfinitely generated projective modulesglobal dimensionslocally hierarchically decomposable groupsprojective resolutionsstrongly graded algebras
Free, projective, and flat modules and ideals in associative algebras (16D40) Homological dimension in associative algebras (16E10) Chain conditions on other classes of submodules, ideals, subrings, etc.; coherence (associative rings and algebras) (16P70) Group rings (16S34) Graded rings and modules (associative rings and algebras) (16W50) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07)
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 following assertions are equivalent: (1) \(N\) is stable flat as an \(R\)-module; (2) \(N\) is stable flat as an \(R_E\)-module for all finite elementary Abelian subgroups \(E\) of \(G\). When \(G\) is finite, the same result holds without the assumption that \(R_1\) is coherent.
- A characterization of projective modules of finite type
- On modules of finite projective dimension
- Modules of finite length and finite projective dimension
- scientific article; zbMATH DE number 1497648
- Modules with pure resolutions
- On finitely generated projective modules
- Finitely projective modules with respect to a semidualizing module
- Modules of finite virtual projective dimension
- On modules of finite projective dimension over complete intersections
- On projectivity of finitely generated modules
- A generalization of the Lyndon–Hochschild–Serre spectral sequence with applications to group cohomology and decompositions of groups
- Autour de la platitude
- Complexity and varieties for infinite groups. I
- Complexity and varieties for infinite groups. II
- Equivariant Tate-Vogel homology
- Homological Finiteness Conditions for Modules Over Group Algebras
- Homological finiteness conditions for modules over strongly group-graded rings
- scientific article; zbMATH DE number 51218 (Why is no real title available?)
- scientific article; zbMATH DE number 3556332 (Why is no real title available?)
- scientific article; zbMATH DE number 3377408 (Why is no real title available?)
- Idempotent Modules in the Stable Category
- Induction from elementary abelian subgroups
- On a property of fundamental groups of graphs of finite groups
- On complete resolutions
- On groups of type (FP)_
- Projectivity and relative projectivity over group rings
- Sur la dimension cohomologique des groupes profinis
- Tate cohomology for arbitrary groups via satellites
- On groups of type (FP)_
- Flat and stably flat modules
- Finiteness conditions in the stable module category.
- Hereditary abelian model categories
- A Criterion for Projective Modules
- Homological Finiteness Conditions for Modules Over Group Algebras
- Coarse coherence of metric spaces and groups and its permanence properties
- Projective resolutions of Weyl modules.
- Homological finiteness conditions for modules over strongly group-graded rings
- Precovers and orthogonality in the stable module category
- On certain homological invariants of groups.
This page was built for publication: Modules possessing projective resolutions of finite type
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1293101)
