清娵です。

ＧＡＰは「１・ｆ（ａ）＝ｆ（１）・ｆ（ａ）」まで
でしょうか？その後でしょうか？

後者については両辺に「ｆ（ａ）」の逆元を
右から掛けて、結合法則と逆元の定義と
単位元の定義を用いれば良いと思って
省略しています。
＝１
＝１・１
＝１・（ｆ（ａ）・ｉｎｖ　ｆ（ａ））
＝（１・ｆ（ａ））・ｉｎｖ　ｆ（ａ）
＝（ｆ（１）・ｆ（ａ））・ｉｎｖ　ｆ（ａ）
＝ｆ（１）・（ｆ（ａ）・ｉｎｖ　ｆ（ａ））
＝ｆ（１）・１
＝ｆ（１）

＃　ＡＳＣＩＩと漢字を行内で混ぜなければ化けないのかな？
---
yosida@parkcity.ne.jp

I wrote: 
<61c04dbb.0306072132.5a3b5e01@posting.google.com>
---
B)for non-zero f, there are some a
with f(a) is non-zero.
and      1 f(a)
        =f(a)
        =f(1 a)
        =f(1) f(a),
so      f(1)=1
---

Eiji KATSURA wrote:
<030609204902.M0165039@psv.hamaint.co.jp>
---
ここは、ちょっとGAPがあるね。
---