21/03/07 20:43:45.61 +cRDkVEs.net
>>513,512 (>>514 の解消）
>>500 という主張の証明を考え直しました
>>500
＞群の公理は、結合則の他には ∃e∀g ge = g ‥‥①, かつ ∀g∃h gh = e ‥‥②で「必要十分」（修正）
証明のツボ：②の h に対して②を再適用すれば ∀h∃H hH = e ‥‥③
>>504
eg = ege (∵①）
= eghH (∵③）
= eeH (∵②）
= eH (∵①）
= ghH (∵②）
= ge (∵②・③）
= g (∵①）
>>503
hg = hge (∵①）
= hghH((∵③）
= heH(∵②）
= hH (∵②・③）
= e
以上が証明すべきことであった