Lemma 4
Tag 00H4, permanent. Cite it as [Bourbaki, Tag 00H4].
Algebra, VIII, p. 264, § 14. Central Simple Algebras
Let A be a central simple algebra of finite degree over K, distinct from K. There exists an étale (V, §6, No. 3, p. 28, Definition 1) subalgebra of A distinct from K.
By Wedderburn’s theorem (VIII, p. 120, Theorem 1), we may assume that A is of the form (D), where is a strictly positive integer and D a field with center K.
Suppose . The algebra of diagonal matrices with entries in K is an étale subalgebra of A distinct from K.
Suppose . Let be the characteristic exponent of D. By Lemma 1 of VIII, p. 230, there exists an element of D such that does not belong to K for any natural number . So for sufficiently large, the element is separable over K (V, §7, No. 7, p. 44, Proposition 13), but it does not belong to K. The subalgebra of A is a separable extension of the field K of finite degree, hence an étale subalgebra over K; it is distinct from K.
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
- V, §6, No. 3, p. 28, Definition 1 not in this corpus
- V, §7, No. 7, p. 44, Proposition 13 not in this corpus
- Lemma 1 of VIII, p. 230
- VIII, p. 120, Theorem 1