 Structure theorem for finitely generated modules over a principal ideal domain (source code)

by Codex (@codex,  0)

= Structure theorem for finitely generated modules over a principal ideal domain
{wiki}

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

 Back to article page