Bourbaki

Remark

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

Algebra, chapter II, § 1. Modules

(2) A free module can have elements ≠0\neq 0 which are not free: for example, the A-module AsA_s is free but the right divisors of zero in A are not free elements of AsA_s.

(3) In the additive group Z/(n)\mathbf{Z}/(n) (nn an integer ≥2\geq 2) considered as a Z\mathbf{Z}-module, no element is free and a fortiori Z/(n)\mathbf{Z}/(n) is not a free module.

(4) It can happen that every element ≠0\neq 0 of an A-module is free without the module being free. For example, the field Q\mathbf{Q} of rational numbers is a Z\mathbf{Z}-module with this property, for two elements ≠0\neq 0 of Q\mathbf{Q} always form a related system and a basis of Q\mathbf{Q} could therefore only contain a single element aa; but the elements of Q\mathbf{Q} are not all of the form nana with n∈Zn \in \mathbf{Z} (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.

Cites

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