Bourbaki

Remark

Tag 0DNU, permanent. Cite it as [Bourbaki, Tag 0DNU].

Algebra, chapter IX, § 9. Algèbres de Clifford

The discriminant DD of Φ\Phi with respect to the basis (xj)(j=0,…,2r)(x_j)_{(j=0,\ldots,2r)} is equal to 22r+1Q(x0)…Q(x2r)2^{2r+1} Q(x_0) \ldots Q(x_{2r}). Consequently ZZ is generated by 11 and by the odd element z′=2r+1zz' = 2^{r+1} z such that z′2=(−1)r2D{z'}^2 = (-1)^r 2D. The algebra C(Q)C(Q) is therefore simple if and only if 2(−1)rD2(-1)^r D is not a square in AA.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Nothing.

Translated with machine help, not yet reviewed by a person.