Path: ccsf.homeunix.org!ccsf.homeunix.org!news1.wakwak.com!nf1.xephion.ne.jp!onion.ish.org!news.daionet.gr.jp!news.yamada.gr.jp!newsfeed.media.kyoto-u.ac.jp!cancer.nca5.ad.jp!133.16.26.50.MISMATCH!nns!chiaki
From: chiaki@kit.ac.jp (Tsukamoto Chiaki)
Newsgroups: fj.sci.math
Subject: Re: F(z) = q Π_n (1-q^n)^2(1-q^{11n})^2の保型性
Date: Thu, 21 Apr 2005 21:29:02 +0900
Organization: Kyoto Institute of Technology
Lines: 21
Message-ID: <050421212902.M01318697@ims.kit.ac.jp>
References: <42443C24.1040600@d5.dion.ne.jp>
	<050329213726.M01205479@ims.kit.ac.jp>
	<424987F0.10002@d5.dion.ne.jp>
	<42515051.5020402@d5.dion.ne.jp>
	<42528504.9000904@d5.dion.ne.jp>
	<4253E826.1090600@d5.dion.ne.jp>
	<4265094B.9@d5.dion.ne.jp>
	<4266702A.5080905@d5.dion.ne.jp>
NNTP-Posting-Host: ims.cis.kit.ac.jp
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-2022-jp
X-Trace: localhost.localdomain 1114086542 8277 133.16.16.10 (21 Apr 2005 12:29:02 GMT)
X-Complaints-To: newsmaster@kit.jp
NNTP-Posting-Date: Thu, 21 Apr 2005 12:29:02 +0000 (UTC)
X-Newsreader: mnews [version 1.22PL5] 2001-02/07(Wed)
Xref: ccsf.homeunix.org fj.sci.math:1685

工繊大の塚本です. なるほど.

In article <4266702A.5080905@d5.dion.ne.jp>
柳楽盛男 <nagira@d5.dion.ne.jp> writes:
> できました。

[  a b]  (ad - 11bc = 1) で c > 0 として良くて,
[11c d] 
 c = 1 のときに証明しておけば, c > 1 の時は 

  [  a b] = [ad' - 11bc'   a'b - ab'] [  a' b'] 
  [11c d]   [        11  a'd - 11b'c] [11c' d']

となる a', b', c', d' で a'd' - 11b'c' = 1, |c'| < c と
なるものがとれることから c だけについての帰納法でも良い
ようですね.

勉強になりました.
-- 
塚本千秋@応用数学.高分子学科.繊維学部.京都工芸繊維大学
Tsukamoto, C. : chiaki@kit.ac.jp