In this note, we provide an effective proof of the fundamental structure theorem of finitely generated modules over a principal ideal domain, from which we find the minimality of decomposition for a finitely generated...In this note, we provide an effective proof of the fundamental structure theorem of finitely generated modules over a principal ideal domain, from which we find the minimality of decomposition for a finitely generated module over a principal ideal domain.展开更多
文摘In this note, we provide an effective proof of the fundamental structure theorem of finitely generated modules over a principal ideal domain, from which we find the minimality of decomposition for a finitely generated module over a principal ideal domain.