20/08/14 18:32:56.30 OxWPj/ry.net
>>281
つづき
（参考）
URLﾘﾝｸ(www.math.sci.hiroshima-u.ac.jp)
代数系への入門 松本 眞 広島大 平成 25 年 8 月 26 日
P45
2.4 群
2.4.1 逆元と群
定義 2.4.1. (S, ・) を単位元 eS を持つマグマとする。（単位元はあれば一つであること、すなわち問題 2.12 に注意。）
g ∈ S の（e に関する）左逆元 a とは、
a ・ g = eS
を満たす a ∈ S のことをいう。
g ∈ S の右逆元 b とは、
g ・ b = eS
を満たす b ∈ S のことをいう。
g の左逆元であって、かつ右逆元であるような元を g の逆元という。すなわち、
a ・ g = eS, g ・ a = eS
となるような a のことである。
逆元を持つ元を可逆元という。
命題 2.4.2. (S, ・, eS) をモノイドとする。g に左逆元 a と右逆元 b が存在するならば、それら
は一致する。特に、g の逆元は存在すれば唯一つ。これを g-1 で表す。
証明.
a = a ・ eS = a ・ (g ・ b) = (a ・ g) ・ b = eS ・ b = b.
よって左逆元と右逆元は、両方存在すれば一致する。
特に、逆元が二つあったとしよう。それらを a, b とすれば、a は左逆元でもあるし、b は右
逆元でもあるから、上の事実より一致せざるを得ない。
問題 2.20. モノイドの代わりに、条件を弱めて「単位元をもつマグマ」に対しても、逆元が
存在すれば唯一つであることが証明できるか？
ヒント：実は、反例がたく