Bourbaki

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: EndA(P)→EndA(P′)\mathrm{End}_A(P) \to \mathrm{End}_A(P') is an A-algebra isomorphism, there exists a projective A-module F of rank 1 and an A-isomorphism

ϕ:P′→P⊗AF \phi : P' \to P \otimes_A F
such that θ(u)=ϕ∘(u⊗1)∘ϕ−1\theta(u) = \phi \circ (u \otimes 1) \circ \phi^{-1} for all u∈EndA(P)u \in \mathrm{End}_A(P). (Apply Exercise 18 to E = P' considered as an (EndA(P))(\mathrm{End}_A(P))-module by means of 8; to prove that HomB(P,P′)\mathrm{Hom}_B(P, P') 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.

Transcribed from the printed volume. Not translated.