アーベル群
For a locally finite collection of elements in formula_25 generating it as an abelian group, the associated map formula_42 induces a surjection on cohomology, meaning if we evaluate these spectra on some topological space formula_43, there is always a surjectionformula_44of Abelian groups.