Bourbaki

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 kk-algebras. Then A and B are Morita equivalent if and only if there exist an integer n⩾1n\geqslant 1 and a square matrix e=(eij)e= (e_{ij}) in Mn(B)\mathbf{M}_n(B) satisfying the following conditions:

(i) We have e2=ee^2=e.

(ii) The two-sided ideal of B generated by the elements eije_{ij} is equal to B.

(iii) The kk-algebra A is isomorphic to eMn(B)ee\mathbf{M}_n(B)e.

If conditions (i) and (ii) are satisfied, then the (eMn(B)e,B)k(e\mathbf{M}_n(B)e,B)_k-bimodule eBdneB^n_d is invertible.

In view of Theorem 1 (VIII, p. 101), the kk-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.

Transcribed from the printed edition, 2023, Springer Nature. Not translated.