Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!onodera-news!newsfeed.media.kyoto-u.ac.jp!headwall.stanford.edu!newsfeed.stanford.edu!postnews1.google.com!not-for-mail
From: yosida@parkcity.ne.jp (=?ISO-2022-JP?Q?=3F=1B$B!-=1B(B=3FV?=)
Newsgroups: fj.sci.math
Subject: Re: =?ISO-2022-JP?Q?=1B$B4D#R$+$i#R<+=3FH$X$N=3D`F17=3F=1B(B?=
Date: 9 Jun 2003 13:12:20 -0700
Organization: http://groups.google.com/
Lines: 39
Message-ID: <61c04dbb.0306091212.6192966@posting.google.com>
References: <3EDF4473.A58A8299@domain.com>	<030606105023.M0141084@psv.hamaint.co.jp>	<61c04dbb.0306061604.229a80a7@posting.google.com>	<61c04dbb.0306072132.5a3b5e01@posting.google.com> <030609204902.M0165039@psv.hamaint.co.jp>
NNTP-Posting-Host: 210.135.195.163
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 8bit
X-Trace: posting.google.com 1055189541 30003 127.0.0.1 (9 Jun 2003 20:12:21 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: 9 Jun 2003 20:12:21 GMT
Xref: ccsf.homeunix.org fj.sci.math:184

清娵です。

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

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

＃　ＡＳＣＩＩと漢字を行内で混ぜなければ化けないのかな？
---
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があるね。
---