Bourbaki

Theorem 2

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

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

Let B be a semisimple ring and Z its center; suppose that B is a finitely generated Z-module. Let A be a right Artinian ring, and let ff and gg be ring homomorphisms from B to A; write fZf_Z and gZg_Z for the restrictions of ff and gg to Z. The following properties are equivalent:

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

(ii) There exists an inner automorphism θ\theta of A such that gZ=θ∘fZg_Z=\theta \circ f_Z.

Since the ring A is right Artinian, AdA_d is a right A-module of finite length (VIII, p. 6, Theorem 1). Hence AfA^f and AgA^g are (B(B, A)-bimodules of finite length. By Lemma 1 (VIII, p. 254), assertion (i) means that AfA^f and AgA^g are isomorphic (B(B, A)-bimodules and assertion (ii) that they are isomorphic (Z,A)(Z,A)-bimodules. The equivalence of (i) and (ii) therefore follows from Lemma 2 (VIII, p. 254).

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.