以下の問題を考えてみる。
問.有限生成加群の部分加群は有限生成か?
解答)いいえ。
例を挙げてみる。Rを可換環、A=R[x1,…,xn,…]を無限変数の多項式環とする。AはA加群として有限生成である。{1}が生成系になるからである。A∖RはA加群になるが有限生成にはならない。もし有限生成だとするとそれを{f1,…fN}を生成系とする。xjがfiに含まれるjのうち最大のものをaiとする。(例えばf1=x63x5322+x1111ならばa1=1111である。)M=max{a1,…,aN}とすればxM+1は{f1,…,fN}で生成されないことがわかる。よって矛盾。
バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。