>>492
変数無限個の多項式環
R＝Z[x1,x2,・・]
を考えるとRのイデアルはR加群。
R＝＜1＞は有限生成R加群。
＜x1,x2,・・＞は有限生成でない部分R加群。