Bourbaki

Remark

Tag 05O0, permanent. Cite it as [Bourbaki, Tag 05O0].

Algebra, chapter II, § 2. Modules of linear mappings. Duality

(1) Let EE be an AA-module, (Fi)i∈I(F_i)_{i \in I} a family of AA-modules and for all i∈Ii \in I let ui:E→Fiu_i : E \to F_i be a linear mapping. Every system of linear equations

ui(x)=yi(i∈I) u_i(x) = y_i \quad (i \in I)
where the yi∈Fiy_i \in F_i are given, is equivalent to a single linear equation u(x)=yu(x) = y, where uu is the mapping x↦(ui(x))x \mapsto (u_i(x)) of EE into F=∏i∈IFiF = \prod_{i \in I} F_i and y=(yi)y = (y_i). The system (29) is called homogeneous if yi=0y_i = 0 for all i∈Ii \in I.

(2) Suppose that EE admits a basis (aλ)λ∈L(a_\lambda)_{\lambda \in L}; if we set u(aλ)=bλu(a_\lambda) = b_\lambda for all λ∈L\lambda \in L, to say that x=∑λ∈Lξλaλx = \sum_{\lambda \in L} \xi_\lambda a_\lambda satisfies the equation u(x)=y0u(x) = y_0 is equivalent to saying that the family (of finite support) (ξλ)λ∈L(\xi_\lambda)_{\lambda \in L} of elements of AA satisfies the relation

∑λ∈Lξλbλ=y0. \sum_{\lambda \in L} \xi_\lambda b_\lambda = y_0.

Conversely, looking for families (ξλ)λ∈L(\xi_\lambda)_{\lambda \in L} of elements of AA of finite support satisfying (30), is equivalent to solving the linear equation u(x)=y0u(x) = y_0, where uu is the unique linear mapping of EE into FF such that u(aλ)=bλu(a_\lambda) = b_\lambda for all λ∈L\lambda \in L (§ 1, no. 11, Corollary 3 to Proposition 17).

(3) A linear equation u(x)=y0u(x) = y_0 is called scalar when F=AsF = A_s and therefore uu is a linear form on EE and y0y_0 a scalar. If EE admits a basis (aλ)λ∈L(a_\lambda)_{\lambda \in L}, it follows from Remark (2) that such an equation may also be written as

∑λ∈Lξλαλ=y0∈A \sum_{\lambda \in L} \xi_\lambda \alpha_\lambda = y_0 \in A
where the family of scalars (αλ)(\alpha_\lambda) is arbitrary and where it is understood that the family (ξλ)(\xi_\lambda) must have finite support. In general, by the solution (in AA) of a system of scalar linear equations
∑λ∈Lξλαλi=ηi(i∈I) \sum_{\lambda \in L} \xi_\lambda \alpha_{\lambda_i} = \eta_i \quad (i \in I)
where αλi∈A\alpha_{\lambda_i} \in A and ηi∈A\eta_i \in A, is understood a family (ξλ)λ∈L(\xi_\lambda)_{\lambda \in L} of elements of AA of finite support and satisfying (32); the αλi\alpha_{\lambda_i} are called the coefficients of the system of equations and the ηi\eta_i the right hand sides. The solution of such a system is equivalent to that of the equation u(x)=yu(x) = y, where y=(ηi)y = (\eta_i) and u:As(L)→AsIu : A_s^{(L)} \to A_s^I is the linear mapping
(ξλ)↦(∑λ∈Lξλαλi). (\xi_\lambda) \mapsto \left( \sum_{\lambda \in L} \xi_\lambda \alpha_{\lambda_i} \right).

(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

∑λ∈Lαλiξλ=ηi(i∈I) \sum_{\lambda \in L} \alpha_{\lambda_i} \xi_\lambda = \eta_i \quad (i \in I)

is likewise called a system of right scalar linear equations; such a system can immediately be transformed into a system (32) by considering the ξλ,ηi\xi_{\lambda}, \eta_i and αλi\alpha_{\lambda_i} as belonging to the opposite ring A0A^0 to A.

Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.

Cited by

Nothing.

Cites

Transcribed from the printed edition, 1998, Springer. Not translated.