Remark 1
Tag 00QE, permanent. Cite it as [Bourbaki, Tag 00QE].
Algebra, VIII, p. 455, Appendix 2. Determinants over a Noncommutative Field
Let V be a right vector space over the field D, of finite dimension . We view the dual space Hom as a right vector space over the opposite field of D. Let be an automorphism of V, and let be the automorphism of that is the transpose of . If is represented by a matrix A in with respect to a basis of V, then the automorphism is represented by the matrix in with respect to the basis of dual to (II, §10, No. 4, p. 344, Proposition 3). By Example 7, the determinant of is equal to that of .
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.
Cites
- II, §10, No. 4, p. 344, Proposition 3 not in this corpus
- Example 7