MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Hi there,

Let R be a local commutative ring. If M and N are two R-modules with the condition that their direct sum is equal to R^n. How do I use Nakayama to show that M and N are in fact free R-modules?

I don't know if it was useful but I first showed that M and N are finite R-modules by making two surjective homomorphisms from R^n to M and R^n to N so that R^n/N is isomorphic to M and R^n/M is isomorphic to N. We know that R^n/N and R^n/M are finite R-modules, hence M and N are finite R-modules.

Please correct me if I'm doing stupid things here... and feel absolutely free to give me hints on how to use Nakayama's lemma to prove that M and N are free...



share|cite|improve this question

closed as too localized by Daniel Litt, S. Carnahan Oct 4 '11 at 3:44

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

This sounds like a homework exercise, in which case your question should probably be asked on But I could be wrong. – M Turgeon Oct 3 '11 at 23:28
Moreover, there seems to be a problem. If your ring is infinite, and you have proven that $M,N$ are finite, then the only way they could be free as well is if they are trivial. But you would have a counterexample to your "lemma" by simply taking $R\oplus R$. – M Turgeon Oct 3 '11 at 23:36
Lemma 2.2 in Weibel's K-Book chapter I ( ). Given that part of the proof relegated to the exercise and the rest isn't too much detailed either, you can safely consider it a hint. – darij grinberg Oct 3 '11 at 23:37
@M Turgeon: He means "finitely generated" when saying "finite". – darij grinberg Oct 3 '11 at 23:37
This is a standard homework exercise (essentially equivalent to one of my favorites); voting to close. – Daniel Litt Oct 3 '11 at 23:39

$M$ and $N$ are projective module over a local ring. Then they are free. (See, Matsumura: Commutative ring theory, Theorem 2.5). Is it your exercise?

share|cite|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.