【代数学・群】単位元と逆元の一意性と(a^-1)^-1=aの証明

はじめに この記事は『単位元と逆元の一意性と』の証明をしています。 参考文献(といっても証明の確認で使っただけだが一応紹介) 雪江明彦:『代数学1 群論入門』,日本評論社 // リンク 単位元と逆元の一意性との証明 (1)単位元の一意性 を単位元とすると、 (は単位元,は単位元) よって (2)に対し、逆元は一つ をの逆…