Lemma 1
Tag 00GN, permanent. Cite it as [Bourbaki, Tag 00GN].
Algebra, VIII, p. 254, § 14. Central Simple Algebras
Let and be homomorphisms from B to A. The following conditions are equivalent:
(i) The -bimodules and are isomorphic.
(ii) There exists an inner automorphism (I, §8, No. 4, p. 102, Example 2) of A such that .
The automorphisms of the right A-module are the mappings , where is an invertible element of A. Such an automorphism is a B-linear mapping from to if and only if we have
for every in A and every in B. This relation is equivalent to for every in B, that is, to , where is the inner automorphism of A.
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.