We will explore classification theory concerning the structure theorem for finitely generated modules over a principal ideal domain and its applications such as the Fundamental Theorem for Finitely Generated Abelian Groups and the Canonical Forms for Matrices.