モノイド M（単位元 e）のうち「任意の a, b ∈ M について ab = e ⇒ a = b = e が成り立つ」みたいなやつって何か名前ついてるのかな
@five_seven 単位元以外の可逆元を持たないモノイド特定の名前は聞いたことないですね......
@haborite@fedibird.com そっか，それと同値ですね……a, b ∈ M に対して a ≤ b ⇔ ac = b (∃c ∈ M) と定義すると ≤ が半順序になるので，何かあるかなあって考えてました．ありがとうございます
様々な目的に使える、日本の汎用マストドンサーバーです。安定した利用環境と、多数の独自機能を提供しています。
@haborite@fedibird.com そっか，それと同値ですね……
a, b ∈ M に対して a ≤ b ⇔ ac = b (∃c ∈ M) と定義すると ≤ が半順序になるので，何かあるかなあって考えてました．ありがとうございます