Example 6
Tag 00QC, permanent. Cite it as [Bourbaki, Tag 00QC].
Algebra, VIII, p. 454, Appendix 2. Determinants over a Noncommutative Field
Suppose . Let be an element of . The elements and of D are not both zero. We will give the determinant of A explicitly.
If is not zero, then we have
(24) .
Consequently, and
(25) det(A) .
b) If is zero, then we have and
(26) .
Consequently, by a) and Example 2, we have and
(27) det(A) .
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.