Example 7
Tag 00QD, permanent. Cite it as [Bourbaki, Tag 00QD].
Algebra, VIII, p. 454, Appendix 2. Determinants over a Noncommutative Field
Let be the opposite field of D. The mapping from to satisfies AB. Therefore, for every matrix A in (D), the transposed matrix is invertible in , but it is not necessarily invertible in . It follows from Example 3 that if A belongs to (D), then the elements A of and of have the same determinant. On the other hand, even if the matrix belongs to (D), its determinant in GL is not necessarily equal to that of A (cf. Example 6).
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.