>>939
素人君は単元が素元ではないと主張するのに
既約元の定義と「素元が既約元である」を使う必要があると思い込んでるが、実は要らない
「可換環RのイデアルPが単元を含めばRと一致すること」を使えばいい
素イデアルの定義にP≠Rと書いてあるんだから（笑）

素イデアルの定義にP≠Rとあることで、単元は排除される

これ豆な

🚽　ジャー