は可換環,
を
の積閉集合とする。
の
による商環
のイデアルは全て次の
の様に表されることは証明されている:
を示せ。
の部分環
を
について,
の部分集合
を
は
のイデアルを示せ。
は有限生成でないことを示せ(従って
はネータ環ではない。)
の任意のイデアルの無限上昇列を
からこのような形をしている)このとき,各
に対し,
である。なぜなら,
の任意の元
に対し,
であるから,
でもあり,
である。したがって,
のイデアルの無限上昇列
がネータ環であることから,ある
が存在して,
となる。したがって,このとき
であるから,
はネータ環である。
ならば,
の定数項は
であるから
の定数項も
である。したがって,
である。また,任意の
に対して,
の定数項も
であるから,
。よって,
は
のイデアル。
が有限生成であると仮定し,
とおく。このとき,各生成元の次数の中で最大のものを
とおくと,任意の
に対して
の
次の係数は
の倍数である。したがって
であるが,
の
次の係数は 4 の倍数であるから
に
はなり得ないので矛盾。よって
は有限生成ではない。