代数学の問題です。

次の問の答えを教えていただきたいです。

e とe′がどちらもモノイド(A,*) の単位元であるならば, e = e′であることを証明せよ。

No.1 回答者： mtrajcp 回答日時： 2021/12/18 16:59

e とe'がどちらもモノイド(A,*) の単位元であるとすると

eは単位元だから
e*e'=e'…(1)

e'は単位元だから
e*e'=e
↓これと(1)から
e=e*e'=e'
∴
e=e'