Finitely generated module over a principal ideal domain