Corollary 1
Tag 0DNL, permanent. Cite it as [Bourbaki, Tag 0DNL].
Algebra, chapter IX, § 9. Algèbres de Clifford
*If is a free module of dimension , is a free module of dimension ; moreover, if , and are free modules of dimension .
This follows at once from the properties of the binomial coefficients.*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.