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

Let $R$ be a semi-local ring, and $M$ a finite projective $R$-module. If the localizations $M_m$ have the same rank for all maximal ideals $m$ of $R$ then $M$ is free.

share|improve this question
    
Is it Noetherian? –  Harry Gindi Jan 25 '11 at 1:26
    
Also, this sounds like homework. I'm voting to close based on the fact that there is technically no question here, just a statement. –  Harry Gindi Jan 25 '11 at 1:28
1  
Hey, I only need help. However it is not Noetherian. –  John Jan 25 '11 at 2:51
2  
This would be better asked at math.stackexchange.com, since it is not a research level question, and will surely be closed soon. –  Emerton Jan 25 '11 at 4:31
    
For a proof in the commutative case see math.stackexchange.com/questions/150944/… –  user23950 Jan 27 '13 at 10:36
add comment

1 Answer 1

If R is commutative(even not Noetherian), I think the answer is yes. Please see this paper.

share|improve this answer
    
I saw that paper, but how can I relate the theorem "Over a commutative indecomposable semilocal ring, any projective module is free" to my question? –  John Jan 25 '11 at 2:54
3  
A semi-local ring can be decomposed as sum of finite many indecomposable rings. M is free with the same rank (by your assumption) over any of these indecomposable rings, so M is free over R. –  Liu Hang Jan 25 '11 at 5:07
add comment

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.