Corollary
Tag 0DNQ, permanent. Cite it as [Bourbaki, Tag 0DNQ].
Algebra, chapter IX, § 9. Algèbres de Clifford
*If is even, but of arbitrary index, the algebra is a central simple algebra of dimension . Moreover, if , the subalgebra is separable, and its center Z is of dimension 2 over A. When Z is a field, Z is a separable quadratic extension of A and is simple; otherwise, Z is direct product of two fields isomorphic to A, and is then direct product of two simple subalgebras of dimensions .
Indeed, let be the algebraic closure of A, and the quadratic form on deduced from Q by extension of scalars. We have seen that is isomorphic to (prop. 2), and it is clear that is isomorphic to . Since is neutral (, No. 2, Cor. 2 of prop. 3), the corollary is an immediate consequence of Th. 2 and the permanence theorems of Chap. VIII, .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.