On the cohomology of pro-fusion systems

Abstract

We prove the Cartan–Eilenberg stable elements theorem and construct a Lyndon–Hochschild–Serre type spectral sequence for pro-fusion systems. As an application, we determine the continuous mod-[Formula: see text] cohomology ring of [Formula: see text] for any odd prime [Formula: see text].