Bourbaki

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 Mn\mathbf{M}_n(D), where nn is a strictly positive integer and D a field with center K.

Suppose n>1n >1. The algebra of diagonal matrices with entries in K is an étale subalgebra of A distinct from K.

Suppose n=1n= 1. Let pp be the characteristic exponent of D. By Lemma 1 of VIII, p. 230, there exists an element aa of D such that apma^{p^m} does not belong to K for any natural number mm. So for mm sufficiently large, the element x=apmx=a^{p^m} is separable over K (V, §7, No. 7, p. 44, Proposition 13), but it does not belong to K. The subalgebra K(x)K(x) 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

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