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...

Thnx

Jools