Generating set for finitely generated submodule of finitely generated module
Let $R$ be a ring, $M$ a finitely generated $R$-module, and $N \subseteq M$ a f.g. submodule. Suppose $M$ has a minimal generating set of $m$ elements, then under what conditions may we assume that $N$ has a (not necessarily minimal) generating set of $n \leq m$ generators? I know the result holds, for example, when $R$ is a PID, but are there any other sufficient (or even necessary) conditions on $R$ (and/or $M,N$) to provide a complete characterization? A reference would be welcome.
41
Answer
Answers can only be viewed under the following conditions:
- The questioner was satisfied with and accepted the answer, or
- The answer was evaluated as being 100% correct by the judge.
1 Attachment
![Erdos](https://matchmaticians.com/storage/user/100028/thumb/matchmaticians-3empnt-file-5-avatar-512.jpg)
4.7K
The answer is accepted.
Join Matchmaticians Affiliate Marketing
Program to earn up to a 50% commission on every question that your affiliated users ask or answer.
- answered
- 183 views
- $20.00
Related Questions
- Prove that a reduced Gorenstein ring of Krull dimension 1 is not a complete intersection ring.
- Suppose that $(ab)^3 = a^3 b^3$ for all $a, b \in G$. Prove that G must be an abelian goup [Group Theory].
- Certain isometry overfinite ring is product of isometries over each local factor
- Root of $x^2+1$ in field of positive characteristic
- Algebra 2 problem about a ticket system
- [Modules] Show that Q/Z is injective and not projective
- Finding values of k for different points of intersection
- Population Equations