- 564 名前：Kummer ◆g2BU0D6YN2 [2007/07/01(日) 13:39:26 ]
- D を平方数でない有理整数で、D ≡ 0, 1 (mod 4) とする。
(Z/DZ)^* から {±1} へのアーベル群としての準同型 χ を
以下のように定義する。
>>563 より (Z/DZ)^* の任意の類 C の代表として正の奇数 m が取れる。
χ(C) = (D/m) とする。
>>562 より χ(C) は m の取り方によらない。
これが アーベル群の準同型であることは Jacobi 記号の性質
(過去スレ４の892)から明らかである。
|
 |
