>>500
だからおまえはバカなんだっての
「xにaを代入する」とは準同型φ_aのこと。
φ_0を考えれば準同型性からx^0にx=0を代入するとはどういうことかというのがわかる。

準同型云々は x^0 から 0^0 を得ることに対する話。

それをお前は0^0をさらにモノイド準同型で写すとか完全にズレてんだよ