free module
自由模
Meaning in context
An -module with a basis, equivalently a direct sum of copies of indexed by a set.
具有基、等价地同构于若干个环自身之直和的模。
Example
is free with its coordinate basis.
Usage and distinctions
Finitely generated modules need not be free; is not free over .
Recommended reading in this subject · Preparation & skip guidance
Definition sources
- Wen-Wei Li — Methods in Algebra I, author source自由模 (sec:free-modules), definition def:free-module and intrinsic basis definition immediately after prop:free-module-property · Checked 2026-10-15
Translation sources
- 李文威 — 代数学方法 卷一,作者源文件自由模 (sec:free-modules), definition def:free-module and intrinsic basis definition immediately after prop:free-module-property · Checked 2026-10-15