Necesito un poco de ayuda, he encontrado que el teorema, pero el libro no lo prueba y le da una referencia a otro libro que no tengo; ¿alguien tiene una idea?
Deje $R$ ser un semi-anillo local, y $M$ finita proyectiva $R$-módulo. Mostrar que $M$ es gratis si las localizaciones $M_m$ tiene el mismo valor para todos los máximos ideales de la $m$$R$.
