generated at
有限生成加群
finitely generated module


定義
R上の加群Mが、有限集合で生成される時、Mを有限生成加群と言う





Rネーター環で、I\sub Rイデアルなら、Iは有限生成加群
Rx
\lang S\rang
1で生成される



参考
「有限加群」と呼んでる
「有限生成」と呼んでる