Projective resolutions for modules over infinite groups
arXiv:1006.0129
Abstract
We define a notion of complexity for modules over infinite groups. We show that if is a module over the group ring , and has complexity (where is some complexity function) over some set of finite index subgroups of , then has complexity over (up to a direct summand). This generalizes the Alperin-Evens Theorem, which states that if the group is finite then the complexity of over is the maximal complexity of over an elementary abelian subgroup of . We also show how we can use this generalization in order to construct projective resolutions for the integral special linear groups, , where .
16 pages