Remark
Tag 05LK, permanent. Cite it as [Bourbaki, Tag 05LK].
Algebra, chapter II, § 1. Modules
(2) A free module can have elements which are not free: for example, the A-module is free but the right divisors of zero in A are not free elements of .
(3) In the additive group ( an integer ) considered as a -module, no element is free and a fortiori is not a free module.
(4) It can happen that every element of an A-module is free without the module being free. For example, the field of rational numbers is a -module with this property, for two elements of always form a related system and a basis of could therefore only contain a single element ; but the elements of are not all of the form with (cf. VII, § 3).
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Nothing.