Bockstein homology (source code)

= Bockstein homology
{c}
{title2=$\beta H_*(C;n)$}

When the homological Bockstein satisfies $\beta^2=0$, it makes $H_*(C\otimes\mathbb Z/n)$ into a chain complex. Its homology is the Bockstein homology $\beta H_*(C;n)$.