Remark

Tag 0DJ1, permanent. Cite it as [Bourbaki, Tag 0DJ1].

Algebra, chapter IX, § 1. Formes sesquilinéaires

Suppose that A, B, A' and B' are fields. Then, for the bimodules G' defined in the three examples above, the mappings $\alpha$ and $\beta$ are injective, as follows immediately from Chap. III, 2nd ed., App. II, No. 6.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.