>>637
すみません、グレブナー基底のことを知らないので関係有るかわかりません

>>638
3Z+5Z=Z
になるのでこの例ではできていないですね

>>639
>Iが有限生成
>⇔Iを生成する任意の集合Sに対して、必ずIを生成するSの有限部分集合が存在する
については、
Iを有限生成する集合の各元は、Sのある有限部分集合の生成するイデアルに含まれるので、
Iを有限生成する集合全体もSのある有限部分集合の生成するイデアルに含まれる。
という感じでいいでしょうか。

また、>>636のようにS={a_i}でi∈Zで整列されている場合は
必要なa_iのiの最大値をi_maxとするとI = (a_0, ..., a_{i_max})となる、ということですね。

ただ、別の疑問として、
>Iを生成する任意の集合Sに対して、必ずIを生成するSの有限部分集合が存在する
としても、そういった有限集合を含まないようにSの無限部分集合S'をとってきて、
S'の生成するイデアルはIに真に含まれ且つ有限生成でないとすることはできないのかと思ったのですが
これも無理なのでしょうか。