finitely generated module
有限生成模
Meaning in context
An -module spanned by a finite list of elements under finite -linear combinations.
能由有限多个元素的环上线性组合生成的模。
Example
is generated by .
Usage and distinctions
Finite generation does not imply that the underlying set is finite; is finitely generated.
Recommended reading in this subject · Preparation & skip guidance
Definition sources
- Wen-Wei Li — Methods in Algebra I, author source自由模 (sec:free-modules), definition immediately after prop:free-module-property, second item naming 有限生成模 through a finite generating set · Checked 2026-10-15
Translation sources
- 李文威 — 代数学方法 卷一,作者源文件自由模 (sec:free-modules), definition immediately after prop:free-module-property, second item naming 有限生成模 through a finite generating set · Checked 2026-10-15