- 98 名前：208 [2005/11/28(月) 12:40:09 ]
- 次の定理を証明することを当面の目標とする。
定理
A を単項イデアル整域(前スレの644のあたりを参照)とする。
X を A の元を成分とする (m, n)型の 行列とする。
可逆な正方行列 U と V が存在して、UXV が対角行列
Y = [a_1, ..., a_r, 0,..., 0] となる。
ここで、(a_1) ⊃ ... ⊃ (a_r) である。
↑キャッシュ検索、類似スレ動作を修正しました、ご迷惑をお掛けしました |
代数的整数論 II
| |
read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef