Remark
Tag 00Q4, permanent. Cite it as [Bourbaki, Tag 00Q4].
Algebra, VIII, p. 451, Appendix 2. Determinants over a Noncommutative Field
Suppose that the field D is commutative. By definition, B(V) is a subset of . It is clear that the restriction to B(V) of a nonzero alternating -linear form belongs to Ω(V). Moreover, if is a basis of V and is a nonzero element of D, then there exists a unique alternating -linear form such that (III, §7, No. 4, p. 511 and III, §7, No. 8, p. 518). By Corollary 1, the set Ω(V) consists of the restrictions to B(V) of the nonzero alternating -linear forms.
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.
Cited by
Nothing.