Structure theorem for finitely generated modules over a principal ideal domain

Every finitely generated module over a PID is a direct sum of a free module and cyclic prime-power torsion modules.