代数的整数論 005
■ このスレッドは過去ログ倉庫に格納されています
0784Kummer ◆g2BU0D6YN2
2007/07/19(木) 09:26:53>>782 の続き。
Σ1/f_1(x, y)^s + . . . + Σ1/f_h(x, y)^s = Σ(2^μ)/m^s
s → +1 のとき lim (s - 1) 1/f_i(x, y)^s は D のみに関係する定数で
f_i によらない。これを臨時的に A と書こう。
s → +1 のとき lim (s - 1)Σ(2^μ)/m^s
も同様である。これを臨時的に B と書こう。
よって hA = B となる。
これから h = B/A となって、類数 h が求まる。
かなり大雑把だが、これが Dirichlet の基本アイデアである。
■ このスレッドは過去ログ倉庫に格納されています