>>485
普通は多項式環は不定元の生成する自由代数、つまり、べきの線形結合で定義するからね。