2006-03-25 解答してみる 数学 雑記 全称記号は省きますが、 ところで [tex:xx^{-1}=(1x)x^{-1}=(((x^{-1})^{-1}x^{-1})x)x^{-1} =*1x^{-1}] となるので、結局 よって そうなのか、逆元の公理ってかたっぽだけでいいのか…うーん(イマイチ納得できていない) 追記:ためしに公理の方(単位元、逆元)を とでも書き換えても、単位元の可換性を示せるんでしょうか。はて。あとこちらの方法ですが、 より先に を示すのは難しい気がするんですが、どうでしょ。 *1:x^{-1})^{-1}(x^{-1}x