R-加群の有限生成性 のバックアップ(No.1)


仮定

  • \( M \) はR-加群

定義

\( M \) が (R-加群として) 有限生成であるとは、ある有限な部分集合 \( S ~(\subset M) \) が存在して、 \( \langle S\rangle = M \) となることを言う。

  • \( \displaystyle \bigoplus_{T} R \)有限生成であることは \( \#T < \infty \) であることと同値。