Proposition 2
Tag 00GX, permanent. Cite it as [Bourbaki, Tag 00GX].
Algebra, VIII, p. 258, § 14. Central Simple Algebras
Let L be a commutative ring and V a free L-module of finite dimension . Suppose that every L-module M such that is isomorphic to is isomorphic to L. Then every automorphism of the L-algebra End is an inner automorphism.
Set B = End. Let be an automorphism of the L-algebra B. We view V as a left B-module; let be the left B-module associated with , with external law (II, §1, No. 13, p. 221). Let be a basis of the L-module V; given elements of V, there exists a unique element of B such that we have for . In other words, the element of provides a basis of the B-module . Since is an automorphism, also gives a basis of the B-module , which is therefore isomorphic to . The , L)-bimodule V is invertible (VIII, p. 102, Example 1). By Theorem 2, b) of VIII, p. 103, there consequently exists an L-module M such that the B-module is isomorphic to . The B-modules and , respectively isomorphic to and , are therefore isomorphic. By loc. cit., the L-modules and are isomorphic. Given the assumption, M is isomorphic to L; consequently, the B-module (V), which is isomorphic to , is isomorphic to V. Let be a B-module isomorphism from V to ; it is, in particular, an automorphism of the L-module V, that is, an invertible element of B. For in B and in V, we have and therefore .
The conditions of Proposition 2 are, in particular, satisfied when the commutative ring L is a principal ideal domain (VII, §3, p. 15, Corollary 3) or is Artinian (VIII, p. 37, Theorem 2, d)) or local (VIII, p. 36, Corollary 6).
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
Nothing.
Cites
- II, §1, No. 13, p. 221
- VII, §3, p. 15, Corollary 3 not in this corpus
- VIII, p. 36, Corollary 6
- VIII, p. 37, Theorem 2
- VIII, p. 102, Example 1
- Theorem 2, b) of VIII, p. 103