Definition 3
Tag 05JS, permanent. Cite it as [Bourbaki, Tag 05JS].
Algebra, chapter II, § 1. Modules
An element x of an A-module E is said to be a linear combination with coefficients in A of a family of elements of E if there exists a family of elements of A, of finite support, such that .
In general there are several distinct families satisfying this condition (cf. no. 11).
Note that 0 is the only linear combination of the empty family of elements of E (by the convention of I, § 2, no. 1).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.