質問していいですか？
「体はネター環である」って正しいですよね？
体を環と思うと、自明なイデアルしかない。
で、0イデアルは元が1つだけ。
体自身は1を生成元にするイデアル。QED
この証明、正しいでしょうか？