「ゾゾウスキ導分とゾゾウスキ共役」： そのうち（忘れる前に）書きたいとは思っています。 当日に追記はしたのですが、もう少し。Mがモノイドのとき、M+とM-はMのコピーで、a∈M に対して、a+∈M+ と a-∈M- が存在しています。M+は、モノイドとしてもMとまっ…