■

すごく久々に環論をやったのですが、いろいろ忘れてて困りました。ネーター環上の多項式環がネーターなのって何でだか忘れてしまった。一回示したことあるのになー。なんかそれっぽい生成元をとるところまではできたのですが、実際にそれで生成されることが言えなくてもどかしいです。