Bourbaki

Remark 1

Tag 006S, permanent. Cite it as [Bourbaki, Tag 006S].

Algebra, VIII, p. 97, § 6. Morita Equivalence of Modules and Algebras

Suppose that the mapping b↦bPb\mapsto b_P from B to EndA(P)_A(P) is bijective. Then

a) the B-module P can be identified with the countermodule of P; it is therefore faithful and balanced;

b) the mapping a↦aPa\mapsto a_P from A to EndB(P)_B(P) is bijective if and only if the A-module P is faithful and balanced.

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.