Exercise 20, § 5
Commutative Algebra, II, 152
Bourbaki marks this one as harder than the rest.
Let A be a ring and P, P' two faithful finitely generated projective A-modules. Show that, if 8: is an A-algebra isomorphism, there exists a projective A-module F of rank 1 and an A-isomorphism
such that for all . (Apply Exercise 18 to E = P' considered as an -module by means of 8; to prove that is a projective A-module of rank 1, use Theorem 2 of no. 3 and Algebra, Chapter VIII, § 5, Exercise 7 (c).)
Solution
No solution has been written yet.