>>475
係数環に単位元がない場合、x^0 は多項式環としてどう表されるのだろう？
多項式とは
　Σ[k=0,n]a_k x^k
と表される筈で、普通なら a_0 = 1 として表せば良いのだろうが、それは出来そうにない。
でも、表せなかったら、x^0 が多項式環の単位元と言えるのだろうか？