>>472
単位元を持たない場合に x^0 がどう扱われるのか、興味あるな。

単位元でないのだから
　x^0 * x^1 ≠ x^1
とかになるのかな？