For each of the 26 sporadic finite simple groups, the authors construct a 2-completed classifying space using a homotopy decomposition in terms of classifying spaces of suitable 2-local subgroups. This construction leads to an additive decomposition of the mod 2 group cohomology. The authors also summarize the current status of knowledge in the literature about the ring structure of the mod 2 cohomology of sporadic simple groups.
Assume these have been shown, and let E" < L be a subgroup G-conjugate to E. Choose he G such that E = hEh", and set E = h Eh". ... (E)"; and by the Lang-Steinberg theorem, there is g1 € G such that gi. 'a(g) = a. So by Proposition 8.5, ...