Subsection III.2.3.6

The main theorem on finite abelian groups