>>45

>>30 = >>38です。
モノイドの場合、
ベキ乗は準同型の値として
扱わなければならないのですか.....。
半群の中での場合と同様に扱えると思ったのですが.....。
モノイドの中で0^0=1は確かに定義ですね。
そして、モノイドの場合
ベキ乗はその準同型に伴って定義されますね。
分かりました。
このようなことがあるなら
私の主張は意味を成さなくなりますね。

ご指摘どうもありがとうございました。