Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Greetings, in my studies I went into a statement "minimal generating set of a free module over a local ring is a free basis". The statement came without a proof, just with a reference to Kaplansky's theorem. I was unsuccessful trying to prove the statement myself, and I couldn't find the proof elsewhere either. I would be grateful for any hint.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Any free module $M$ is projective. Then, when $M$ is finitely generated, you can use the argument given in Matsumura, Commutative Ring Theory, proof of Theorem 2.5 page 10.

Matsumura also expains the argument used by Kaplanski ["Projective modules", Ann. Math. 68 (1958)] in the general case.

share|improve this answer
    
Thank you very much, this is exactly what I needed. –  Ivo Jan Dec 15 '11 at 19:17

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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