Proposition 14
Tag 007N, permanent. Cite it as [Bourbaki, Tag 007N].
Algebra, VIII, p. 112, § 6. Morita Equivalence of Modules and Algebras
Let A and B be -algebras. Then A and B are Morita equivalent if and only if there exist an integer and a square matrix in satisfying the following conditions:
(i) We have .
(ii) The two-sided ideal of B generated by the elements is equal to B.
(iii) The -algebra A is isomorphic to .
If conditions (i) and (ii) are satisfied, then the -bimodule is invertible.
In view of Theorem 1 (VIII, p. 101), the -algebra A is Morita equivalent to B if and only if it is isomorphic to the endomorphism algebra of a projective, finitely generated, and generating right B-module. The proposition therefore follows from Lemmas 3 and 4 below.
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.