>>41
どちらでも、sgn(x)を無視するという事実は変わらないよね。
考え方を否定してるという意味じゃなくて。

さて、乗法群には 0 は含まれないが、モノイドなら含まれる。
乗法群という条件を付けた理由は何かあるの？