代数的整数論
at MATH
243:208
05/10/13 17:47:48
中山の補題(>>242)の別証１
>>242の記号を使う。
a_(1,1) x_1 + a_(1,2) x_2 + ... + a_(1,n) x_n = x_1 より、
(a_(1,1) - 1) x_1 + a_(1,2) x_2 + ... + a_(1,n) x_n = 0
a_(1,1) - 1 は可逆(>>240)だから、
x_1 ∈ Ax_2 + ... + A x_n となる。
よって、M = Ax_2 + ... + A x_n となる。
これから、n に関する帰納法より、M = 0 となる。
証明終
次ページ続きを表示1を表示最新レス表示スレッドの検索類似スレ一覧話題のニュースおまかせリスト▼オプションを表示暇つぶし2ch
4850日前に更新/321 KB
担当:undef