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.
Elviegem
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
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
 127 views
 $20.00
Related Questions
 Confused on this graph question, not sure how to reduce it to linear and It looks too wonky to draw a best fit line, probably won't take long

The given equation is x²  2mx + 2m  1=0
Determine m.  Get area of rotated polygon knowing all coordinates and angle.
 Double absolute value equations.
 Let $z = f(x − y)$. Show that $\frac{\partial z}{\partial x}+\frac{\partial z}{\partial y}=0$
 Reverse this equation/function (2d to isometric)
 If both $n$ and $\sqrt{n^2+204n}$ are positive integers, find the maximum value of $𝑛$.
 Is the $\mathbb{C}$algebra $Fun(X,\mathbb{C})$ semisimple?