6
$\begingroup$

I need a little bit of help, I found that theorem, but the book doesn't prove it and gives a reference to another book that I don't have; does anyone have an idea?

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

1 Answers 1

3

See Lemma 1.4.4 in Bruns and Herzog, Cohen-Macaulay Rings.

  • 0
    wow, thanks, it was the book that I was studying, but in my version there isn't that lemma :-s2011-01-25