On the structure of abelian Hopf algebras

We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct sum of explicitly given indecomposables. This gives rise to a