- 30 名前：208 [2005/09/15(木) 09:58:29 ]
- 命題
BをDedekind環、Pをその(非零)素イデアルとする。
πを P - P^2 の任意の元とし、S を B/P の剰余類の完全代表系とする。
αをBの任意の元とし、m > 0 を任意の整数とする。
α = a_0 + a_1π + ... + a_(m-1)π^(m-1) (mod P^m)
となる。ここで、各 a_i ∈ S
この証明も演習問題として提出しておく(証明は高木に載っているが)。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef