Theorem · Group theory and generalizations
Classification of finite abelian groups
Each finite abelian group is built from cyclic groups. You can choose the cyclic pieces to have prime power orders, or to have orders that divide each other. In both forms, the pieces are unique, so this lists all finite abelian groups.
Builds on Abelian group, Cyclic group, Group isomorphism, Direct product of groups