Path: news.ccsf.jp!tomockey.ddo.jp!border1.nntp.dca.giganews.com!nntp.giganews.com!postnews.google.com!q22g2000yqm.googlegroups.com!not-for-mail
From: KyokoYoshida <kyokoyoshida123@gmail.com>
Newsgroups: fj.sci.math
Subject: Re: Gauss $BOB$NL?Bj (B: GS( $B&V (B)=z $B&0 (B_{i=1}^r GS( $B&U 
	(B_{p_i^{e_i}})  $B$H$J$k (B?
Date: Mon, 2 Aug 2010 18:41:36 -0700 (PDT)
Organization: http://groups.google.com
Lines: 20
Message-ID: <c4a0e322-df05-4cc2-825e-627d044db91a@q22g2000yqm.googlegroups.com>
References: <a0d7d29b-99bd-41f6-b5de-0b801bd15846@h13g2000yqm.googlegroups.com> 
	<100611125227.M0422224@ras1.kit.ac.jp> <46522f7c-1bb9-48bf-a5f1-6dffb9863d18@g18g2000vbl.googlegroups.com> 
	<100616185824.M0120694@ras1.kit.ac.jp> <fb92eb9e-4c7d-4519-a38a-32e2b7a46206@j8g2000yqd.googlegroups.com> 
	<100624173400.M0102610@ras1.kit.ac.jp> <99577a9d-a707-4d12-ad84-876f8566c40a@z10g2000yqb.googlegroups.com> 
	<100701192928.M0123768@ras2.kit.ac.jp> <99e57aee-131e-4d63-b08e-6be53f275bbb@w12g2000yqj.googlegroups.com> 
	<100702220730.M0126771@ras2.kit.ac.jp> <5a4719f4-7ddc-48c5-b469-b939cd2f04fb@d16g2000yqb.googlegroups.com> 
	<100705200510.M0217610@ras1.kit.ac.jp> <15cbff55-5a0f-4ffb-bdbf-5af6f99436f9@w12g2000yqj.googlegroups.com> 
	<6babeb6f-1b76-473f-8df1-334b12c23c25@j8g2000yqd.googlegroups.com> 
	<100801000038.M0118688@ras1.kit.ac.jp>
NNTP-Posting-Host: 74.72.91.236
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-2022-JP
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1280799696 400 127.0.0.1 (3 Aug 2010 01:41:36 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 3 Aug 2010 01:41:36 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: q22g2000yqm.googlegroups.com; posting-host=74.72.91.236; 
	posting-account=WW-P-goAAADS1u9yskwAcJfIST-zvGgd
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; 
	SV1),gzip(gfe)
Xref: news.ccsf.jp fj.sci.math:3128

> > 最後の
> > φ_m(u)~Σ_{b_a=0}^{m-1}φ_m(b_a u)ζ_m^{b_a u} (掛ける)
> > φ_m(t)~Σ_{c_a=0}^{n-1}φ_n(c_a t)ζ_n^{c_a t} から
> > φ_m(u)~φ_n(t)~ GS(φ_m,m,ζ_m) GS(φ_n,n,ζ_n) と
> > 書けるのがどうしてもわかりません。
>
> 最大公約数 (b_a, m) が 1 でなければ (b_a u, m) も 1 でなく,
>  φ_m(b_a u) = 0 ですから,
>  b_a = 0 から m-1 までの和というのは, 実は,
>  m と互いに素な b_a だけについての和です.
> この和は m と互いに素な整数の mod m での類の為す
> 乗法群 (Z/mZ)^× 上での和と考えても良い.
：
> この辺りのところは (Z/mZ)^× という有限群についての話だ
> ということを意識すると, 少し分かりやすくなります.

なるほど。漸く意味が分かりました。お蔭様で解決できました。


吉田京子