Nilpotency of Bocksteins, Kropholler's hierarchy and a conjecture of Moore.
From MaRDI portal
(Redirected from Publication:631804)
cohomology of groupssubgroups of finite indexprojective modulescohomology ringsflat modulesBockstein operatorsKropholler hierarchyLHFMoore conjectureprojectivity over group ringstorsion free groups
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)
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.
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
Cites work
- scientific article; zbMATH DE number 51218 (Why is no real title available?)
- scientific article; zbMATH DE number 1478717 (Why is no real title available?)
- Cohomology and induction from elementary Abelian subgroups
- Cohomology of finite groups and elementary abelian subgroups
- Every connected space has the homology of a \(K\) \((\pi,1)\)
- Groups acting on finite dimensional spaces with finite stabilizers
- Groups of cohomological dimension one
- Homological Finiteness Conditions for Modules Over Group Algebras
- Homology
- On a conjecture of Moore
- On cohomology rings of infinite groups.
- On groups of type \((FP)_\infty\)
- Periodic flat modules, and flat modules for finite groups.
- Profinite groups, profinite completions and a conjecture of Moore.
- Projectivity and relative projectivity over group rings
- Soluble Groups of Type (FP)∞ have Finite Torsion-Free Rank
- The topology of discrete groups
Cited in
(5)
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)
