- 579 名前：Kummer ◆g2BU0D6YN2 [2007/02/03(土) 11:02:36 ]
- 補題
R = [1, fω] を２次体 Q(√m) の整環とし、
I ≠ 0 と J ≠ 0 を R のイデアルで J ⊂ I とする。
このとき N(J) は N(I) で割れる。
証明
J ⊂ I ⊂ R をアーベル群の昇列とみて
|R/J| = |R/I||I/J| となる。
これとノルムの定義(>>438)より
N(J) = N(I)|I/J| である。
証明終
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論 004
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef