Classification
The fundamental theorem of finitely generated abelian groups (which is a special case of the structure theorem for finitely generated modules over a principal ideal domain) can be stated two ways (analogously with PIDs):
Read more about this topic: Finitely-generated Abelian Group