Remark
Tag 05WQ, permanent. Cite it as [Bourbaki, Tag 05WQ].
Algebra, chapter II, § 10. Matrices
Let A be a ring and an anti-endomorphism of A (no. 3); consider the two following situations:
(GD) E is a left A-module, F a right A-module and a -linear mapping of E into F such that for ; in other words, is a semi-linear mapping relative to of the right -module E into the right A-module F.
(DG) E is a right A-module, F a left A-module and a -linear mapping of E into F such that for ; in other words, is a semi-linear mapping relative to of the left -module E into the left A-module F.
In the two cases, the matrix of relative to bases of E and F has its elements in A; if these bases are finite, then, for all , we have the respective formulae
(17 GD)
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.
Cites
Nothing.