いろいろな人からヒントをいただいたりアドバイスをいただいたりしましたが、最終的にぽけっとさんのアドバイスが決定打になって、ようやく解決しました。しかし、準同型定理を失念するとは衰えた…。A を Noether 環とし、A 係数の多項式環を A[X] とする。 …