Lemma 4
Tag 007P, permanent. Cite it as [Bourbaki, Tag 007P].
Algebra, VIII, p. 113, § 6. Morita Equivalence of Modules and Algebras
Let V be a B-module and E the endomorphism -algebra of V. Let be a projector of V and P the image of . The mapping that sends to the endomorphism of the B-module P is an isomorphism of -algebras from to End.
Denote the mapping described in the statement by End; it is a homomorphism of -algebras. Let End. Denote by the endomorphism of V defined by for . We have for , that is, . Consequently, is surjective. Let be an element of the kernel of ; the restrictions of to the kernel and to the image of are zero, so is zero, which proves that is injective.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.