Remark
Tag 0DNU, permanent. Cite it as [Bourbaki, Tag 0DNU].
Algebra, chapter IX, § 9. Algèbres de Clifford
The discriminant of with respect to the basis is equal to . Consequently is generated by and by the odd element such that . The algebra is therefore simple if and only if is not a square in .
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.