>>486
> 多項式環の単位元は「もしあれば」変わらずx^0でなければならない、だ。
一般の多項式環では、そうなんだろうけど、
一連のやり取りは x^0=1 という条件付きの場合だから、「もしあれば」では困るのでは？