Proposition 23
Tag 05TG, permanent. Cite it as [Bourbaki, Tag 05TG].
Algebra, chapter II, § 7. Vector spaces
In a module over an integral domain , the set of non-free elements is a submodule of .
If and are not free, there exist two non-zero elements in such that and . Then since is an integral domain and for all and in since is commutative, hence is not free.
Bourbaki puts the proof directly after the statement, so what is above is the statement and its proof together.
Cited by
Cites
Nothing.