Fork me on GitHub
Math for the people, by the people.

User login

finitely generated modules over a principal ideal domain

Type of Math Object: 
Major Section: 

Mathematics Subject Classification

13E15 no label found


The statement could be made more precise in the following manner:

If M is a finitely generated module over a PID R, then

M \cong R^n \oplus R/(q_1) \oplus ... \oplus R/(q_r)

where q_1 | q_1 | ... q_r, the ideals (q_i) are uniquely determined.

Here, R^n is the free module F which is the torsion free part of M. Therefore, n is uniquely determined too. The other factors represent a direct sum decomposition of M_{tor} (the torsion submodule of M).

Subscribe to Comments for "finitely generated modules over a principal ideal domain"