Remark
Tag 05O0, permanent. Cite it as [Bourbaki, Tag 05O0].
Algebra, chapter II, § 2. Modules of linear mappings. Duality
(1) Let be an -module, a family of -modules and for all let be a linear mapping. Every system of linear equations
(2) Suppose that admits a basis ; if we set for all , to say that satisfies the equation is equivalent to saying that the family (of finite support) of elements of satisfies the relation
Conversely, looking for families of elements of of finite support satisfying (30), is equivalent to solving the linear equation , where is the unique linear mapping of into such that for all (§ 1, no. 11, Corollary 3 to Proposition 17).
(3) A linear equation is called scalar when and therefore is a linear form on and a scalar. If admits a basis , it follows from Remark (2) that such an equation may also be written as
(4) A linear system (32) is also called a system of left scalar linear equations when it is necessary to avoid confusion. A system of equations
is likewise called a system of right scalar linear equations; such a system can immediately be transformed into a system (32) by considering the and as belonging to the opposite ring to A.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.