アーベル群
The classical Adams spectral sequence can be stated for any connective spectrum formula_9 of finite type, meaning formula_10 for formula_11 and formula_12 is a finitely generated Abelian group in each degree. Then, there is a spectral sequence formula_13 such that