You are here
Home ›finitely generated modules over a principal ideal domain
Primary tabs
finitely generated modules over a principal ideal domain
Let be a principal ideal domain and let be a finitely generated - module.
Lemma.
Let be a submodule of the -module . Then is free and finitely generated by elements.
Proof.
For this is clear, since is an ideal of and is generated by some element . Now suppose that the statement is true for all submodules of .
For a submodule of we define by . The image of is an ideal in . If , then . Otherwise, . In the first case, elements of can be bijectively mapped to by the function given by ; so the image of under this mapping is a submodule of , which by the induction hypothesis is finitely generated and free.
Now let such that and with . Then , which is equivalent to which is isomorphic to a submodule of . This shows that .
Let be a basis of . By assumption, . We’ll show that is linearly independent. So let . The first component of the are 0, so the first component of must also be 0. Since is a multiple of and , then . Since are linearly independent, is a generating set of with elements. ∎
Corollary.
If is a finitely generated -module over a PID generated by elements and is a submodule of , then can be generated by or fewer elements.
Proof.
Let be a generating set of and , . Then the inverse image of is a submodule of , and according to lemma finitely generated modules over a principal ideal domain can be generated by or fewer elements. Let be a generating set of ; then , and since is surjective, is a generating set of . ∎
Theorem.
Let be a finitely generated module over a principal ideal domain .
- (I)
-
Note that is torsion-free, that is, . In particular, if is torsion-free, then is free.
- (II)
-
Let be a proper submodule of . Then there exists a finitely generated free submodule of such that .
Proof of (I): Let . For , denotes the coset modulo generated by . Let be a torsion element of , so there exists such that , which means . But then is a member of , and this implies that has no non-zero torsion elements (which is obvious if ).
Now let be a finitely generated torsion-free -module. Choose a maximal linearly independent subset of , and let be the submodule of generated by . Let be a set of generators of . For each there is a non-zero such that . Put . Then is non-zero, and we have for each . As is torsion-free, the multiplication by is injective, so . So is isomorphic to a submodule of a free module, and is therefore free.
Proof of (II): Let be defined by . Then is surjective, so can be chosen such that , where the ’s are a basis of . If , then . Since are linearly independent in it follows . So the submodule spanned by of is free.
Now let be some element of and . This is equivalent to . Hence, any is a sum of the form , for some and . Since is torsion-free, , and it follows that .
Mathematics Subject Classification
13E15 Rings and modules of finite generation or presentation; number of generators- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)
- Other useful stuff
Recent Activity
new question: Sorry to steal a few minutes of your time for this question, but i honestly don't know what else to do. by Whrazithar
new question: equality of the determinants of submatrices of an orthogonal matrix by ismayli
Jun 11
new correction: Typo by suitangi
Jun 2
new question: Creating another set with same cardinality. by hkkass
Jun 1
new image: ProblemOneRevised by unlord
new Education: Chapter II by rspuzio
May 31
new collection: The Calculus by Davis and Brenke by rspuzio
new question: Proofs by weixifan
new question: Summation Integration Question by trevor.nickle
May 27
new correction: typo+finite measure hypothesis by Filipe



Comments
Addendum
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).