>>486
モノイド準同型とは
　f(x • y) = f(x) •' f(y)
　f(e) = e'
を満たすものだが、x^0 が単位元であった場合 f(x^0) は何になるんだろうか？

２番目の式が成り立たないことを考えても
　f(x^0 ・ y) = f(x^0) ・' f(y)
となり、左辺では単位元として、右辺では単位元でないとして作用するのは難しい気がする。

これも勘違いなら、訂正してくれ。