Moore's conjecture on projectivity over finite-index subgroup extensions

From papers

Let GG be a group, let HH be a subgroup of finite index, and let RR be an arbitrary ring. Assume that for every nontrivial element xx of GG, at least one of the following conditions holds: M1)\text{M1)} xHe\langle x\rangle\cap H\neq\\{e\\}, in particular if GG is torsion free; or M2)\text{M2)} ord(x)\operatorname{ord}(x) is finite and invertible in RR. Moore's conjecture. Every RGRG-module MM that is projective over RHRH is also projective over RGRG. Moore's conjecture is an infinite analogue of Chouinard's theorem and implies Serre's result that a torsion-free group with a finite-index subgroup of finite cohomological dimension has the same finite cohomological dimension. The conjecture is stated here without evidence of resolution.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Eli Aljadeff, “On cohomology rings of infinite groups”, arXiv:math/0502513 (2008).

Solutions 0

No solutions have been posted yet.