>>16
剰余じゃダメでした。すみません。
ネター環の部分環でネターじゃない例はあるね。