Corollary 1
Tag 00Q2, permanent. Cite it as [Bourbaki, Tag 00Q2].
Algebra, VIII, p. 451, Appendix 2. Determinants over a Noncommutative Field
Let be a basis of V and an element of . There exists a unique element of Ω(V) such that .
Let us prove the corollary by induction on . If , then the only basis of V is the empty one, so the assertion is true. Now suppose ; denote by W the subspace of V generated by . By Proposition 1, there exists a bijection Λ from Ω(V) to Ω(W) satisfying
for every basis of W and every in Ω(V). By the induction hypothesis, there exists a unique element of Ω(W) such that . The relation , for in Ω(V), is equivalent to . Corollary 1 follows.
Bourbaki sets the proof directly after the statement, and the corpus does not separate them, so what is above is the statement and its proof together.