Resolutions by permutation modules

Abstract

We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.