- 615 名前：9208 ◆lJJjsLsZzw [2005/12/28(水) 17:22:31 ]
- 補題
A をネーター整域とする。
m をその極大イデアルとする。
任意の整数 n > 0 に対して m^n = A ∩ (m^n)A_m となる。
証明
Supp(A/m^n) = {m} だから前スレの 166 よりAss(A/m^n) = {m} である。
よって、m^n は準素イデアルである。
よって、前スレの 198 より m^n = A ∩ (m^n)A_m となる。
証明終
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論 II
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef