En Prof. Eisenbud el libro de Álgebra Conmutativa, con miras a la Geometría Algebraica, hay en el Apéndice 6.2 prueba de Govorov Y Lazard teorema que a mí me parece un poco mal.
Está escrito (última línea de la página 712 y la primera línea de la página 713 de mi corregido la impresión tercera edición de 1999 del libro) que por Corolario 6.6 hay un mapa de $\gamma : C\to B$ que cancela el núcleo de $\beta$. Creo que no es cierto porque no hay ninguna razón para que este kernel finitely generado.
Creo que es suficiente para decir que no es un mapa de $\gamma : C\to B$ que cancela la finitely generado submódulo $\{(\phi_1(b),-\phi_2(b) ) ; b\in B'\}$ de este kernel para terminar la prueba de forma idéntica.
Estoy en lo cierto ?
Edit: a Continuación se adjunta un extracto del texto de el libro de la prueba del teorema, como debería haber hecho antes, ya que @rschweib amablemente me recordó (pero soy perezoso ...)
y he aquí el texto de Corolario 6.6 se refiere a que en la prueba anterior
