Re: F(z) = q Π_n (1-q^n)^2(1-q^{11n})^2の保型性
工繊大の塚本です. なるほど.
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
Fnews-brouse 1.9(20180406) -- by Mizuno, MWE <mwe@ccsf.jp>
GnuPG Key ID = ECC8A735
GnuPG Key fingerprint = 9BE6 B9E9 55A5 A499 CD51 946E 9BDC 7870 ECC8 A735