- 708 名前：208 [2005/11/10(木) 09:13:36 ]
- 命題
A を単項イデアル整域、p を A の極大イデアル、M を 単項 p-加群
M_i, i = 1, ..., r の有限個の直和とする。|M_i| = p^(m_i) とする。
n を {m_1, ... , mr} の最大値とする。
0 ＜ k ≦ n のとき、leng(p^(k-1)M/(p^k)M) は、m_i ≧ k となる
i の個数に等しい。
証明
>>707より明らか。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef