Corollary 3
Tag 0DNN, permanent. Cite it as [Bourbaki, Tag 0DNN].
Algebra, chapter IX, § 9. Algèbres de Clifford
*Suppose that is the direct sum of two free submodules and . Let be the restriction of to and the canonical mapping of into (). Then the linear mapping of into deduced from the bilinear mapping of into is a bijection.
It is enough in fact to consider the basis of obtained by taking the union of a basis of and a basis of .*
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.