Bourbaki

Proposition 1

Tag 00GV, permanent. Cite it as [Bourbaki, Tag 00GV].

Algebra, VIII, p. 257, § 14. Central Simple Algebras

Let A be a central simple algebra of finite degree over K. Let B be a K-algebra, and let ff and gg be algebra homomorphisms from B to A. The following properties are equivalent:

(i) There exists an inner automorphism θ\theta of A such that g=θ∘fg=\theta \circ f.

(ii) As left B-modules, AfA^f and AgA^g are isomorphic.

By Lemma 1 (VIII, p. 254), property (i) is equivalent to the fact that AfA^f and AgA^g are isomorphic as (B(B, A)-bimodules. Since A is finite-dimensional over K,AfK, A^f and AgA^g are B-modules of finite length. Since the center of A is equal to K, the equivalence of (i) and (ii) follows from Lemma 2 of VIII, p. 254 applied to the (Ao,Bo(A^o,B^o)-bimodules AfA^f and AgA^g.

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

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