確率に自信ニキ来て

[0005 １３２人目の素数さん 2021/03/12(金) 13:59:30.81 ID:3PW5/C9p]

Prop:
単位元および逆元は一意的である。


Proof:
e'が>>3の(2)をみたすとすると

e' = e'e = e。

a^(-1)'が(3)を満たすとすると、

a^(-1)'
= a^(-1)' e
= a^(-1)' (a a^(-1))
= (a^(-1)' a) a^(-1)
= e a^(-1)
= a^(-1)。□