>>489>>492
そもそもどこからどこへの準同型かわかってないのか、話がおかしいぞ。
X := {x^n | n=0,1,2,3...} とおいて係数環を R とすると
適当な a ∈ R に対して φ(x) = a を満たす半群準同型 φ_a: X -> R が一意に決まる
このとき代入と呼ばれる準同型 φ~_a : R[X] -> R ; Σ c_nx^n |-> Σ c_nφ_a(x)^n が得られる。
半群準同型よりも強くモノイド準同型と仮定する場合、φ_a(x^0) = 1_R とするということだが
任意の a に対して a^0 = 1_R とするなら a によらず特に矛盾は無いことになるな。