Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore.

DOI10.1016/J.AIM.2010.12.002zbMATH Open1229.20051arXiv0905.1459OpenAlexW2963393639WikidataQ123178640 ScholiaQ123178640MaRDI QIDQ631804FDOQ631804

Authors: Eli Aljadeff, Ehud Meir 

Publication date: 14 March 2011

Published in: Advances in Mathematics (Search for Journal in Brave)

Abstract: A conjecture of Moore claims that if G is a group and H a finite index subgroup of G such that G - H has no elements of prime order (e.g. G is torsion free), then a G-module which is projective over H is projective over G. The conjecture is known for finite groups. In that case, it is a direct consequence of Chouinard's theorem which is based on a fundamental result of Serre on the vanishing of products of Bockstein operators. It was observed by Benson, using a construction of Baumslag, Dyer and Heller, that the analog of Serre's Theorem for infinite groups is not true in general. We prove that the conjecture is true for groups which satisfy the analog of Serre's theorem. Using a result of Benson and Goodearl, we prove that the conjecture holds for all groups inside Kropholler's hierarchy LHF, extending a result of Aljadeff, Cornick, Ginosar, and Kropholler. We show two closure properties for the class of pairs of groups (G,H) which satisfy the conjecture, the one is closure under morphisms, and the other is a closure operation which comes from Kropholler's construction. We use this in order to exhibit cases in which the analog of Serre's theorem does not hold, and yet the conjecture is true. We will show that in fact there are pairs of groups (G,H) in which H is a perfect normal subgroup of prime index in G, and the conjecture is true for (G,H). Moreover, we will show that it is enough to prove the conjecture for groups of this kind only.

Full work available at URL: https://arxiv.org/abs/0905.1459

Recommendations

• The nilpotence conjecture in \(K\)-theory of toric varieties
• Nilpotent cone and bivariant theory
• Some conjectures and results concerning the homology of nilpotent Lie algebras
• scientific article; zbMATH DE number 2077597
• Nilpotent extensions and entire cyclic cohomology
• Nilpotence and finite H-spaces
• On the \(K\)-theory of nilpotent endomorphisms
• Nilpotence theorems via homological residue fields
• scientific article; zbMATH DE number 17574
• Borel–Moore homology of determinantal varieties

zbMATH Keywords

cohomology of groupssubgroups of finite indexprojective modulescohomology ringsflat modulesBockstein operatorsKropholler hierarchyLHFMoore conjectureprojectivity over group ringstorsion free groups

Mathematics Subject Classification ID

Group rings (16S34) Generalizations of solvable and nilpotent groups (20F19) Free, projective, and flat modules and ideals in associative algebras (16D40) Group rings of infinite groups and their modules (group-theoretic aspects) (20C07) Cohomology of groups (20J06) Local properties of groups (20E25)

Cites Work

• On groups of type \((FP)_\infty\)
• Soluble Groups of Type (FP)∞ have Finite Torsion-Free Rank
• Title not available (Why is that?)
• Homology
• Periodic flat modules, and flat modules for finite groups.
• Cohomology and induction from elementary Abelian subgroups
• Groups of cohomological dimension one
• Projectivity and relative projectivity over group rings
• Title not available (Why is that?)
• Groups acting on finite dimensional spaces with finite stabilizers
• On cohomology rings of infinite groups.
• Every connected space has the homology of a \(K\) \((\pi,1)\)
• The topology of discrete groups
• Cohomology of finite groups and elementary abelian subgroups
• Homological Finiteness Conditions for Modules Over Group Algebras
• On a conjecture of Moore
• Profinite groups, profinite completions and a conjecture of Moore.

Cited In (5)

• Profinite groups, profinite completions and a conjecture of Moore.
• Virtual Gorensteinness over group algebras.
• New results related to a conjecture of Moore.
• Nielsen root theory and Hopf degree theory.
• Complexes, group cohomology, and an induction theorem for the Green ring

This page was built for publication: Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore.

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