代数的整数論 II

1 名前：１３２人目の素数さん [2005/11/22(火) 16:08:30 ] さぁ、好きなだけ語れ。 シロート厳禁、質問歓迎！ 前スレ science4.2ch.net/test/read.cgi/math/1126510231 49 名前：45=46 mailto:sage [2005/11/23(水) 12:07:11 ] 割り算を使わないのならば。例えば、 「対称群S5の位数は120、交代群A5の位数は60。よってS5:A5の 位数は2なので、A5はS5の正規部分群」 なーんつう議論も、できないってことになるべ。 そんな教科書、見たことねーけどなぁ。剰余群の理論も組成列が どうちゃらも類方程式がうんちゃらもシローの定理がかんちゃらも、 どれもみんな四則演算を前提としての話なんじゃネーノ？？ 50 名前：１３２人目の素数さん [2005/11/23(水) 14:36:50 ] >>Are you Japanese ? I am a pen Oh You are takeo!!! 51 名前：208 [2005/11/24(木) 09:59:18 ] ここで今まで述べたことの整理をしよう。 A を可換環、M を A-加群とする。 ΛM は余代数であり余結合的(>>870)で余単位を持つ(>>871) ので、Homgr(ΛM, A) は結合的で単位元をもつ代数となる (>>867 と >>869)。 しかも、歪可換(>>885)で交代的なので、 A-代数としての標準射 θ: Λ(Hom(M, A)) → Homgr(ΛM, A)^op が存在する(>>888)。 θは具体的には次の公式で与えられる(>>891, >>892)。 θ(f_1Λ...Λf_n)(x_1Λ...Λx_n) = (-1)^(n(n-1))/2 det(f_i(x_j)) M が A 上の有限生成の自由加群のとき(これが応用では多い) θは同型となる(>>892)。 よって、(-1)^(n(n-1))/2 θ(f)(x) を (x, f) で表すと、 (x, f) は (Λ^p)M と Λ^p(Hom(M, A)) の非退化の双一次形式 (Λ^p)M×Λ^p(Hom(M, A)) → A となる。 52 名前：208 [2005/11/24(木) 10:06:15 ] ΛM は、Homgr(ΛM, A)-右加群となる(>>914)。 よって θ: Λ(Hom(M, A)) → Homgr(ΛM, A)^op により、 Λ(Hom(M, A))-左加群となる >>915 と >>892 より f_1, ..., f_p ∈ Hom(M, A) x_1, ..., x_(p+q) ∈ M のとき、 (f_1Λ...Λf_p)→(x_1Λ...Λx_(p+q)) = (-1)^(p(p-1))/2 Σε(σ)det(f_i(x_σ(j)))(x_σ(p+1)Λ...Λx_σ(p+q)) となる。 なお、Bourbakiの代数３章の英語版では、この式がミスプリとなって いる。因みに英語版はミスプリが多い。 53 名前：208 [2005/11/24(木) 10:28:29 ] A を可換環、M を A-加群とする。 M の双対加群 Hom(M, A) を M^* と書く。 標準的な射 ρ:M → M^(**) が存在する。 ここで、M^(**) は M^* の双対を表す。 x ∈ M, f ∈ M^* のとき、 ρ(x)(f) = f(x) である。 上(>>52) より、Λ(M^*) は、Λ(M^(**))-左加群となるが、 ρ:M → M^(**) により、ΛM → Λ(M^(**)) が誘導されるので、 Λ(M^*) は、ΛM-左加群となる。 x_1, ..., x_p ∈ M f_1, ..., f_(p+q) ∈ M^* のとき、 (x_1Λ...Λx_p)→(f_1Λ...Λf_(p+q)) = (-1)^(p(p-1))/2 Σε(σ)det(f_σ(j)(x_(i)))(f_σ(p+1)Λ...Λf_σ(p+q)) となる。 54 名前：208 [2005/11/24(木) 10:43:02 ] 一方、前スレの >>908 より Homgr(ΛM, A)は、ΛM-右加群となる。 つまり、 x_1, ..., x_p ∈ M f ∈ Hom((Λ^(p+q))M, A) のとき、 (f←(x_1Λ...Λx_p))(y_1Λ...Λy_q) = f(x_1Λ...Λx_pΛy_1Λ...Λy_q) である。 よって、Homgr(ΛM, A)^op は ΛM-左加群となる。 即ち、 ((x_1Λ...Λx_p)→f)(y_1Λ...Λy_q) = f(y_1Λ...Λy_qΛx_1Λ...Λx_p) である。 55 名前：208 [2005/11/24(木) 11:10:15 ] 補題 A を可換環、M を A-加群とする。 本スレの>>53 より Λ(M^*) は、ΛM-左加群となる。 x ∈ M, f ∈ (Λ^p)(M^*), g ∈ (Λ^q)(M^*) のとき、 x→(fΛg) = (x→f)Λg + (-1)^p fΛ(x→g) となる。 証明 x ∈ M, f_1, ..., f_p ∈ M^* のとき、本スレの>>53 より x→(f_1Λ...Λf_p) = Σ(-1)^(i+1) f_i(x)(f_1Λ..[f_i]..Λf_p) となる。ここで、[f_i] は f_i を除いたことを示す。 これから、前スレの>>916と同様。 証明終 56 名前：208 [2005/11/24(木) 11:17:29 ] 補題 A を可換環、M を A-加群とする。 本スレの>>54 より Homgr(ΛM, A)^op は、ΛM-左加群となる。 x ∈ M, f ∈ Hom((Λ^p)M, A), g ∈ Hom((Λ^q)M, A) のとき、 x→(fg) = (x→f)g + (-1)^p f(x→g) となる。 証明 上の>>55と同様。 57 名前：208 [2005/11/24(木) 12:17:16 ] 命題 本スレの>>53, >>54より、A-代数としての標準射 θ: Λ(M^*) → Homgr(ΛM, A)^op において、両方ともΛM-左加群であるが、 θは、ΛM-左加群としての射にもなっている。 つまり、x ∈ ΛM, f ∈ Λ(M^*) のとき、 θ(x→f) = x→θ(f) となる。 証明 ΛM は A-代数として M から生成されるから、 これを示すには、x ∈ M と仮定してよい。 f, g ∈ Λ(M^*) のとき、本スレの >>55 より θ(x→(fΛg)) = θ(x→f)θ(g) + (-1)^p θ(f)θ(x→g) ここで、θ(x→f) を d(f) とおくと、微分の公式に類似の、 d(fΛg) = d(f)θ(g) + (-1)^p θ(f)d(g) が得られる。 同様に本スレの >>56 より x→θ(fΛg) = x→θ(f)θ(g) = (x→θ(f))θ(g) + (-1)^p θ(f)(x→θ(g)) ここで、 x→θ(f) を d'(f) とおくと、やはり、微分の公式に類似の、 d'(fΛg) = d'(f)θ(g) + (-1)^p θ(f)d'(g) が得られる。 d - d' も同様の公式を満たす。 よって、容易に分かるように Ker(d - d') は Λ(M^*) の A-部分代数となる。 f ∈ M のときは、x→f と x→θ(f) はともに f(x) に等しいから Ker(d - d') は M^* を含む。 よって、 Ker(d - d') = Λ(M^*) であり、d = d' である。 証明終 58 名前：１３２人目の素数さん [2005/11/24(木) 14:32:06 ] なにこのスレ？ 59 名前：１３２人目の素数さん [2005/11/24(木) 14:40:16 ] >>58 前スレを読め 60 名前：１３２人目の素数さん [2005/11/24(木) 17:08:46 ] >>49 は208と同等のバカ 恥ずかしいから書き込むな 61 名前：１３２人目の素数さん [2005/11/24(木) 17:34:27 ] >>49 みたいな奴が208を尊敬する。 62 名前：１３２人目の素数さん [2005/11/24(木) 17:40:11 ] >>19 ＞おれの怖さは、オイラースレのハンドル198で味わえ。 誰かこのオイラースレの怖い部分をお教えくだはい。 どう怖いのか、怖いもの見たさというやつで。 63 名前：１３２人目の素数さん mailto:sage [2005/11/24(木) 18:30:04 ] >>62 まだあるから読んでみればいいじゃん。 オイラースレに降臨したときの、素人衆相手のお言葉 670 ：198：2005/08/08(月) 14:50:28 >>666 お前よりは１００倍以上知ってるよ。 64 名前：１３２人目の素数さん [2005/11/24(木) 18:55:50 ] >>63 このスレのことでしたか。 science4.2ch.net/test/read.cgi/math/1090733094/ 65 名前：１３２人目の素数さん mailto:sage [2005/11/24(木) 22:08:33 ] ・・・尊敬？　なぜ？（苦笑 208って、写経厨なんでしょ？　まともにブルバキ読んだこと ないから、自分じゃよう判断せんが、でも確かにそんな雰囲気 はあるわいな。だから、別に尊敬なんかしないよ。 絡むなら、きっともっと別のポイントが多々あるだろうに、よ りによって「割り算」ってのが解せないだけっす。他にいくら でも絡みようはあるだろうに、割り厨の低能ぶりはあまりにも 顕著だからナー・・・。 66 名前：１３２人目の素数さん mailto:sage [2005/11/24(木) 22:15:31 ] ちなみに、「恥ずかしい」ってのは、それこそ>>60みたいな 奴のことだと思うよ。 どこぞのスレで誰かが言ってたじゃん。「『匿名なら何を書い ても恥ずかしくない』という態度が恥ずかしい(w」って。これ、 名言だと思うけどね。 まあ何はともあれ、>>60の研究者生活が充実したものである ことを祈るばかりですよ（失笑 67 名前：１３２人目の素数さん mailto:sage [2005/11/24(木) 22:18:41 ] 頭（というか性格）が少しばかりおかしいねじけ者に 頭の螺子が緩んださらなる精神異常者が挑む、って感じだよねｗ 68 名前：１３２人目の素数さん [2005/11/25(金) 10:30:30 ] アフォどもに前スレを終わらされたな。奴らは数学に興味ないんだろうな。 少なくとも前スレに書いてあることに。アフォにあれを理解しろというのも 無理だが。 奴らの興味っていうのは、単に俺を挑発して俺にバカにされたいというだけ。 69 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 10:54:42 ] >>68 なんか勘違いしているなｗ　2chは亜ふぉの方が圧倒的に多いよ。 君も亜ふぉをたたくのが楽しいから、ここに来てるんだろ？ 結局、自分でホームページ作って、ここで釣れた信者と会員制で 運営すればいいのでは？ 70 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 11:05:15 ] 勉強も大切だが、心も磨けよ 71 名前：１３２人目の素数さん [2005/11/25(金) 11:06:35 ] 勘違いしてないよｗ そのとうり。 前にも書いたとうり、ホームページなんて面倒だし、それこそ アフォを叩く楽しみが少なくなる。 72 名前：１３２人目の素数さん [2005/11/25(金) 11:07:12 ] >>70 やだ 73 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 11:17:17 ] >>71 おやおや、亜ふぉの力を見くびってぼろぼろになるまで 叩かれたのは誰だったかな？ ホームページは東○図書にでも作ってもらえば？ 未だに売れない在庫があったりしてｗ 74 名前：208 [2005/11/25(金) 11:18:51 ] 外積代数のここらあたりは代数的整数論に直接関係ないけど ついでなんでやってる。このあたりは、あまり知られてないことだし。 確かにBourbakiのコピ−なんだけど、なんせこのあたりBourbakiの 独壇場なんで、素直にまとめている。 75 名前：208 [2005/11/25(金) 11:40:37 ] A を可換環、M を階数 n の A-自由加群とする。 e_1, ... , e_n をその基底とする。 I を集合 {1, ... , n} とし、J ⊂ I で、 J = {j_1, ... , j_r}, j_1 < ... < j_r のとき e_J = e_(j_1)Λ...Λe_(j_r) とおく。 J が空集合のときは e_J = 1 とする。 J を I の部分集合全体に動かしたとき、列 (e_J) は ΛM の基底となる(前スレの753, 855)。 J, K を I の部分集合としたとき、 前スレの744より、 J ∩ K = φ なら e_JΛe_K = ε(J, K)e_(J∪K) となる。ここで、ε(J, K) = (-1)^ν であり、 ν は j > k となる (j, k) ∈ J × K の個数である。 J ∩ K ≠ φ なら e_JΛe_K = 0 である。 76 名前：208 [2005/11/25(金) 12:09:42 ] >>75 の続き： M^* を M の双対加群、つまり Hom(M, A) とし、 f_1, ... , f_n を e_1, ... , e_n の双対基底とする。 J ⊂ I で J = {j_1, ... , j_r}, j_1 < ... < j_r のとき f_J = f_(j_1)Λ...Λf_(j_r) とおく。 本スレの>>53よりΛ(M^*)は、ΛM-左加群となる。 A-加群としての射 φ: ΛM → Λ(M^*) を φ(x) = x→f_I により定義する。 φ(xΛy) = (xΛy)→f_I = x→(y→f_I) = x→φ(y) であるから、φは (ΛM)-加群としての射でもある。 φの(Λ^p)M への制限をφ_p と書く。 φ_p: (Λ^p)M → (Λ^p)(M^*) である。 >>53 より φ_p(e_J) = e_J→f_I = (-1)^(n(n-1)/2 + p(p-1)/2) ε(J, I-J) f_(I-J) よって、φ_p: (Λ^p)M → (Λ^(n-p))(M^*) は同型である。 77 名前：１３２人目の素数さん [2005/11/25(金) 12:18:38 ] >>73 > 未だに売れない在庫があったりしてｗ 最近は在庫というものはほとんど持たなくなっている。 在庫を持っていると倉庫の経費がかかるし課税されるから。 売れない本はすぐに裁断し廃棄される。だからすぐに 市場から消える。ブルバキの原論もとっくに在庫切れ。 78 名前：１３２人目の素数さん [2005/11/25(金) 12:40:37 ] >おやおや、亜ふぉの力を見くびってぼろぼろになるまで >叩かれたのは誰だったかな？ 寝ぼけるなよ。夢と現実をゴッチャにするんじゃない。 お前の夢(脳内)のなかで俺を叩いたって俺が知るわけ無い 79 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 14:37:29 ] >>78 > 寝ぼけるなよ。夢と現実をゴッチャにするんじゃない。 >お前の夢(脳内)のなかで俺を叩いたって俺が知るわけ無い すさまじい妄想癖。前スレその他であれだけ叩かれてまだこりないらしい。 80 名前：１３２人目の素数さん [2005/11/25(金) 14:47:42 ] お前等が叩いたつもりになってるだけだろ。 お前等のスカスカの脳ミソで俺を叩こうとは、呆れる。 割り算がどうだとかこうだとかｗ 81 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 15:00:00 ] 70 名前：１３２人目の素数さん[sage] 投稿日：2005/11/25(金) 11:05:15 勉強も大切だが、心も磨けよ 82 名前：１３２人目の素数さん [2005/11/25(金) 15:11:40 ] >勉強も大切だが、心も磨けよ 以下は負け犬の常套句 ・勉強も大切だが、 ・仕事も大切だが、 ・金も大切だが、 ・顔がいくら良くっても... 83 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 15:36:58 ] >>80 お前は208でいいのか？　名前にちゃんと書けよな。 それとも、208と名乗ったときいじめられたトラウマか。 84 名前：１３２人目の素数さん [2005/11/25(金) 15:47:13 ] >それとも、208と名乗ったときいじめられたトラウマか。 本気でそう思ってるとしたら笑える。 基本的に208は、数学用。 無駄話には使わない(例外もある、思いっきり叩くときとかｗ)。 検索のときに不便だからな。 85 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 15:57:49 ] >>84 > 本気でそう思ってるとしたら笑える。 空しい強がり 86 名前：１３２人目の素数さん mailto:sage [2005/11/25(金) 16:02:22 ] 81 名前：１３２人目の素数さん[sage] 投稿日：2005/11/25(金) 15:00:00 70 名前：１３２人目の素数さん[sage] 投稿日：2005/11/25(金) 11:05:15 勉強も大切だが、心も磨けよ 87 名前：208 [2005/11/25(金) 16:20:50 ] >>76の続き 本スレの>>52よりΛM は、Λ(M^*)-左加群となる。 A-加群としての射 φ': Λ(M^*) → ΛM を φ'(f) = f→e_I により定義する。 φ'(fΛg) = (fΛg)→e_I = f→(g→e_I) = f→φ'(g) であるから、φ'は Λ(M^*)-加群としての射でもある。 φ'の(Λ^p)(M^*) への制限をφ'_p と書く。 φ'_p: (Λ^p)(M^*) → (Λ^(n-p))M である。 >>53 より φ'_p(f_J) = f_J→e_I = (-1)^(p(p-1)/2) ε(J, I-J) e_(I-J) よって、φ'_p: (Λ^p)(M^*) → (Λ^(n-p))M は A-加群としての 同型である。 88 名前：208 [2005/11/25(金) 16:43:42 ] 命題 >>75 の仮定と記号を踏襲する。 J ∩ K = φ なら ε(J, K)ε(K, J) = (-1)^(pq) となる。 ここで、p, q はそれぞれ、J, K の元の個数。 証明 >>75 より、 e_JΛe_K = ε(J, K)e_(J∪K) e_KΛe_J = ε(K, J)e_(J∪K) である。 一方、前スレの744より e_JΛe_K = (-1)^(pq) (e_KΛe_J) である。 よって、 ε(J, K)e_(J∪K) = e_JΛe_K = (-1)^(pq) (e_KΛe_J) = (-1)^(pq) ε(K, J)e_(J∪K) よって、この等式の両端の一致より、 ε(J, K) = (-1)^(pq) ε(K, J) となる。 この両辺に ε(J, K) を掛けて ε(J, K)^2 = (-1)^(pq) ε(J, K)ε(K, J) ε(J, K)^2 = 1 だから、 (-1)^(pq) ε(J, K)ε(K, J) = 1 となる。 この等式の両辺に、(-1)^(pq) を掛ければ ε(J, K)ε(K, J) = (-1)^(pq) が出る。 証明終 89 名前：１３２人目の素数さん mailto:sage [2005/11/26(土) 22:40:07 ] 代数的整数論というか可換環論だよね 90 名前：１３２人目の素数さん [2005/11/28(月) 09:30:34 ] >>89 今は準備段階に過ぎない。それもごく初歩的な準備。 当分準備が続く。 高木の本のように準備をそれ程必要としない古典的なやり方も出来る。 ただ、このスレはもっと現代的な手法を選ぶことにしたわけ。 91 名前：208 [2005/11/28(月) 09:55:42 ] >>76 >A-加群としての射 φ: ΛM → Λ(M^*) を >φ(x) = x→f_I により定義する。 以下のように訂正する。 A-加群としての射 φ: ΛM → Λ(M^*) を φ(x) = (-1)^(n(n-1)/2 (x→f_I) により定義する。 92 名前：208 [2005/11/28(月) 10:20:43 ] >>87の続き >>76 より φ_p(e_J) = e_J→f_I = (-1)^(n(n-1)/2 + p(p-1)/2) ε(J, I-J) f_(I-J) これと >>87 より φ'_(n-p)φ_p(e_J) = (-1)^(n(n-1)/2 + p(p-1)/2) ε(J, I-J) φ'_(n-p)(f_(I-J)) = (-1)^(n(n-1)/2 + p(p-1)/2 +(n-p)(n-p-1)/2) ε(J, I-J)ε(I-J, J) e_J = (-1)^(n(n-1)/2 + p(p-1)/2 +(n-p)(n-p-1)/2 + p(n-p)) e_J ここで、>>88 より ε(J, I-J)ε(I-J, J) = (-1)^(p(n-p)) を使った。 一方、単純計算により (-1)^(n(n-1)/2 + p(p-1)/2 +(n-p)(n-p-1)/2 + p(n-p)) = (-1)^(n(n-1)) となる。n(n-1)偶数なので、結局 φ'_pφ_p(e_J) = e_J となる。 同様に φ_(n-p)φ'_p(f_J) = f_J となる。 よって、φ と φ' は互いに逆写像である。 93 名前：208 [2005/11/28(月) 10:57:28 ] K を可換体、X を K 上の n 次元のベクトル空間とする。 X の１次元の部分空間の全体は射影空間となる。 では、X の p 次元の部分空間 E の全体はどうか？ これが Grassmann または Plucker の問題意識だったのではないか。 E の基底 x_1, .., x_p に対して x_1Λ...Λx_p ∈ (Λ^p)X を考える。E の別の基底 y_1, .., y_p に対する y_1Λ...Λy_p は、 x_1Λ...Λx_p と定数倍の違いしかない。よって、これ等は (Λ^p)X の１次元の部分空間を定める。 よって、集合としての写像 φ: G(X, p) → G((Λ^p)X, 1) が得られる。 ここで、G(X, p) は X の p 次元の部分空間全体の集合である。 G((Λ^p)X, 1) は射影空間 P((Λ^p)X) に他ならない。 容易にわかるようにφは単射である。 では、φ(E) は、P((Λ^p)X) の元としてどのように特徴付けられる だろうか？ この問題は、次のように言い換えられる。 x を (Λ^p)X の元としたとき、x = x_1Λ...Λx_p と書けるための 条件は何か？ ここで、x_1, ..., x_p は E の元である。 一般に、(Λ^p)X の元を p-べクトルと呼び、 x ≠ 0 で、x = x_1Λ...Λx_p と書けるとき、x を 純 p-べクトルと呼ぶ。 X の基底を e_1, ..., e_n とすれば、x = Σa_J e_J と書ける。 ここで、J は 集合 I = {1, ... , n} の濃度 p の部分集合を動く。 よって、上の問題は、x が 純 p-べクトルであるために (a_J) が満たす 条件は何か？ と言い換えてもいい。 94 名前：208 [2005/11/28(月) 11:02:00 ] >>93 >この問題は、次のように言い換えられる。 >x を (Λ^p)X の元としたとき、x = x_1Λ...Λx_p と書けるための >条件は何か？ >ここで、x_1, ..., x_p は E の元である。 ここで、x_1, ..., x_p は X の元である。 95 名前：208 [2005/11/28(月) 11:14:12 ] >>93 において、(Λ^p)E を、(Λ^p)X の部分空間とみなしている。 これは、次の命題から正当化できる。 命題 K を可換体、E, X を K 上の(有限次とは限らない)加群とする。 φ: E → X を K-加群としての射で単射とする。 このとき、(Λ^p)φ: (Λ^p)E → (Λ^p)X も単射である。 証明 完全列 0 → E → X → X/E → 0 は分解する(前スレの648参照)。 よって、 0 → (Λ^p)E → (Λ^p)X → (Λ^p)(X/E) → 0 も分解する完全列となる。 証明終 96 名前：208 [2005/11/28(月) 12:17:21 ] >>93 の問題の解答の１つは、以下のようになる。 K を可換体、X を K 上の n 次元のベクトル空間とする。 x ∈ (Λ^p)X が 純 p-ベクトル であるためには、 x ≠ 0 で、 (f→x)Λx = 0 が任意の f ∈ (Λ^(p-1))(X^*) で成立つことが 必要十分である。 この証明を今してもいいけど、このスレと余り関係ないし面倒なんで (それ程でもないが)単因子論に進むことにする。 興味のある人はBourbakiを読むなり、自分で考えるなりして下さい。 97 名前：１３２人目の素数さん [2005/11/28(月) 12:29:26 ] 「ジョルダン標準形と単因子論」という本がありましたが どうなんでしょうか？ 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) である。 99 名前：１３２人目の素数さん [2005/11/28(月) 12:42:26 ] >>97 俺(208)に聞いてるのなら、読んでない。 100 名前：208 [2005/11/28(月) 13:01:21 ] ここで記法を導入する(図を書きにくいので)。 対角行列は、[a_1, ..., a_n] などと表す。 (a, b | c, d) は １行目が (a, b) ２行目が (c, d) の(2, 2)-型の 行列を表す。３次、その他の行列も同様。 E_n で n 次の単位行列を表す。 正方行列 C と D の直和 を C (+) D で表す。 ここで、m 次の C と n次の D の直和とは、対角線上の左上に C、 対角線上の右下に D を配置し、その他の項目を 0 とした、 m+n 次の正方行列である。 101 名前：１３２人目の素数さん [2005/11/28(月) 13:07:17 ] >>99 失礼しました。 102 名前：208 [2005/11/28(月) 13:12:21 ] A の元を成分とする (m, n)型の行列 X に対して 以下の操作を考える 1) ２つの行を入れ替える 2) ある行の定数倍を別の行に加える 3) ２つの列を入れ替える 4) ある列の定数倍を別の列に加える 5) X の各項に A のある単数(可逆元のこと)を掛ける これ等は、X に適当な可逆行列を右または左から掛けることに より実現されることは容易にわかる。 103 名前：208 [2005/11/28(月) 13:37:06 ] 補題 A を単項イデアル整域とする。 a_1, ..., a_n を A の元で、それらで生成されるイデアル (a_1, ..., a_n) が A と一致するとする。 このとき、a_1, ..., a_n を行または列とする可逆行列が存在する。 証明 L = A^n を A-自由加群と見なす。 L の標準基底を e_1, .. e_n とする。 仮定より、Σ(a_i)(b_i) = 1 となる元の列 b_1, ..., b_n が 存在する。 A-加群としての射 f: L → A を、 f(x_1, ... , x_n) = Σ(x_i)(b_i) で定義する。 a = (a_1, ... , a_n) とすれば f(a) = 1 となる。 s: L → A を s(1) = a で定義すれば、fs = 1 である。 よって、前スレの648より 0 → Ker(f) → L → A → 0 は分解する。 つまり、L = Aa + Ker(f) (直和) となる。 前スレの650より Ker(f) は自由だから、 a は L の基底の一部になる。 標準基底 e_1, .. e_n をこの基底に変換する行列が求めるものである。 証明終 104 名前：208 [2005/11/28(月) 13:43:51 ] >>103 から (a, b) = (1) のとき、2次の行列 (a, b | c, d) が 可逆となるような c, d が存在することがわかるが、これは 次のように直接にもわかる。 ax + by = 1 とすれば (a, b | -y, x) の行列式は 1 だから (a, b | -y, x) は可逆である。 105 名前：１３２人目の素数さん [2005/11/28(月) 14:36:31 ] ﾄﾃﾓｱﾀﾏﾜﾙｲです 106 名前：208 [2005/11/28(月) 15:45:32 ] A がユークリッド整域、例えば有理整数環なら、>>102 の操作で、 行列 X を >>98 のような対角行列に変形出来る。 基本的な方法は X の要素のユークリッド整域としての次数の最小を 基本変形により下げていく。このとき、割り算の公式 b = aq + r deg(r) < deg(a) が本質的である。 ところが、A が一般の単項イデアル整域ではこの公式は使えない。 ところが、以下のアイデアによって、この困難を回避できる。 A の元 a ≠ 0 を素元に分解したときに現れる素元の重複度を込めた個数 を s(a) と書く。例えば p, q を相異なる素元としたとき、 s(qp^2) = 3 である。 このとき、 補題 A の非零元 a, b があり、b は a で割れないとする。 d を a と b の最大公約数とすると、s(d) < s(a) となる。 証明は明らかだろう。 この補題がユークリッド整域の割り算の公式 b = aq + r, deg(r) < deg(a) の代わりになるのである。 107 名前：１３２人目の素数さん mailto:sage [2005/11/28(月) 16:14:52 ] >>105 荒らしは黙ってろ！ ここは208様の神聖なるチラシの裏だ！ お前ら下賎の者が寝言を書き込めるほど敷居は低くないぞ！ 落ちこぼれダンボーラー予備軍がぁ！！ 108 名前：208 [2005/11/28(月) 16:44:46 ] 補題 A を単項イデアル整域とする。 X = (x_(i,j))を A の元を成分とする (m, n)型の 行列とする。 a = x_(1,1), b = x_(1,2) とし、a ≠ 0, b ≠ 0 とする。 a, b の最大公約元を d とする。 可逆な正方行列 U が存在して、XU の (1,1)-要素が d となる ように出来る。 証明 a = da' b = db' とおく。 a' と b' の最大公約元は 1 だから、a'x + b'y = 1 となる x, y が 存在する。 W = (x, -b' | y, a') とすれば、det(W) = 1 であるから W は可逆である(>>104 参照)。 W と E_(n-2) の直和行列(>>100) W (x) E_(n-2) を U とすればよい。 ここで、E_(n-2) は (n-2)次の単位行列。 証明終 109 名前：208 [2005/11/28(月) 16:47:29 ] >>108 >W と E_(n-2) の直和行列(>>100) W (x) E_(n-2) を U とすればよい。 W と E_(n-2) の直和行列(>>100) W (+) E_(n-2) を U とすればよい。 110 名前：１３２人目の素数さん [2005/11/28(月) 17:44:24 ] >>107 Who are you? 111 名前：１３２人目の素数さん [2005/11/28(月) 17:48:24 ] 674 ：１３２人目の素数さん ：2005/11/25(金) 15:01:08 勉強も大切だが、心も磨けよ 675 ：１３２人目の素数さん ：2005/11/25(金) 15:27:05 うすらが 112 名前：１３２人目の素数さん [2005/11/28(月) 17:50:47 ] 65 ：１３２人目の素数さん ：2005/11/24(木) 22:08:33 ・・・尊敬？　なぜ？（苦笑 208って、写経厨なんでしょ？　まともにブルバキ読んだこと ないから、自分じゃよう判断せんが、でも確かにそんな雰囲気 はあるわいな。だから、別に尊敬なんかしないよ。 絡むなら、きっともっと別のポイントが多々あるだろうに、よ りによって「割り算」ってのが解せないだけっす。他にいくら でも絡みようはあるだろうに、割り厨の低能ぶりはあまりにも 顕著だからナー・・・。 66 ：１３２人目の素数さん ：2005/11/24(木) 22:15:31 ちなみに、「恥ずかしい」ってのは、それこそ>>60みたいな 奴のことだと思うよ。 どこぞのスレで誰かが言ってたじゃん。「『匿名なら何を書い ても恥ずかしくない』という態度が恥ずかしい(w」って。これ、 名言だと思うけどね。 まあ何はともあれ、>>60の研究者生活が充実したものである ことを祈るばかりですよ（失笑 67 ：１３２人目の素数さん ：2005/11/24(木) 22:18:41 頭（というか性格）が少しばかりおかしいねじけ者に 頭の螺子が緩んださらなる精神異常者が挑む、って感じだよねｗ 105 ：１３２人目の素数さん ：2005/11/28(月) 14:36:31 ﾄﾃﾓｱﾀﾏﾜﾙｲです 113 名前：１３２人目の素数さん [2005/11/28(月) 17:59:33 ] そもそも、（群論の）準同型定理なり同型定理なりってのは、 剰余群（剰余類）の基礎的な理論が土台にある訳だろ？　だか ら、当然「"Gの位数" / "Nの位数" = "G:Nの位数"」なんていう 定理は、（有限群の場合には）既知もいいとこなんじゃないの？ 46 ：１３２人目の素数さん ：2005/11/23(水) 11:12:06 この定理、名前なんてったっけ？　ライプニッツ？　ラグラ ンジュ？　なんかラ行で始まったと思うんだけどね(^^; まあなんにせよ、これって明らかに「割り切れる」っていう ステートメントだろ。割り算の存在は、明らかに前提だろ。 だから、割り算抜きでジョルダンヘルダーそのものが議論 できるはずもないだろ。 208に絡んでる馬鹿は、ちょっと見苦しいです・・・。 いまだにこんなことしかかけないのは ほんとに見苦しいです 論点をまるっきり理解してないし ライプニッツとかバカ丸出し 114 名前：１３２人目の素数さん mailto:sage [2005/11/28(月) 19:02:00 ] ところで何故今ブルバキなの？　今時はやらないんでしょ？ 115 名前：208 [2005/11/29(火) 10:37:22 ] >>102 の操作 1), 2), 3), 4) と 2次の可逆行列 U と 単位行列 E の直和行列 U (+) E を X の 左または右に掛ける操作を基本操作と呼ぼう。 基本操作を繰り返すことを X の変形と呼ぶことにする。 補題 A を単項イデアル整域とする。 X = (x_(i,j)) を A の元を成分とする (m, n)型の行列で零行列で ないとする。 >>106 で定義した s(x_(i,j)) の最小値を s(X) と書く。 s(X) = s(x_(i,j)) となる要素 x_(i,j) をとる。 X の要素で x_(i,j) で割れないものがあると、X を基本操作で変形して s(Y) < s(X) に出来る。 証明 X の行または列の交換を繰り返して s(x_(1,1)) = s(X) と仮定してよい。 X の１行目に x_(1,1) で割れないものがあると、 >>106 と >>108 より X を Y に変形して、 s(Y) < s(X) と出来る。同様に、X の１列目にx_(1,1) で割れない ものがあると、X を Y' に変形して、s(Y') < s(X) と出来る。 よって、X の１行目と１列目の要素がすべて x_(1,1) で割れる ように変形出来る。>>102 の操作 2) と 4) を使えば、 １行目と１列目の要素が x_(1,1)を除いてすべて 0 に変形出来る。 よって初めから X はこの形であると仮定してよい。 X に x_(1,1) で割れない要素 x_(i,j) があれば、i 行目を 1 行目 に加えて x_(i,j) を 1 行目 の要素に出来る。i 行目の先頭は 0 だから、x_(1,1) は変化しない。よって、X を変形して Y とし、 s(Y) < s(X) に出来る。 証明終 116 名前：208 [2005/11/29(火) 10:40:41 ] >>102 の 5) は不要だった。別にあってもいいが。 117 名前：208 [2005/11/29(火) 10:48:46 ] >>98 の定理を再度述べる。 定理 A を単項イデアル整域とする。 X を A の元を成分とする (m, n)型の 行列とする。 可逆な正方行列 U と V が存在して、UXV が対角行列 Y = [a_1, ..., a_r, 0,..., 0] となる(0 は無い可能性もある)。 ここで、(a_1) ⊃ ... ⊃ (a_r) である。 証明 >>115 と min(m, n) に関する帰納法を使えばよい。 118 名前：１３２人目の素数さん [2005/11/29(火) 12:01:28 ] >>114 温故知新 119 名前：208 [2005/11/29(火) 13:10:27 ] 前にも書いたけど>>117 の証明方法はあまり知られていない (A がユークリッド整域ならあれに似た方法は良く知られている)。 普通は、単項イデアル整域上の有限生成自由加群の部分加群の 基底に関する定理(後で述べる)を構成的でない方法で証明して、 その系として得る。 一般の単項イデアル整域では２元の最大公約元を求めるアルゴリズム があるとは限らないから、あの証明も構成的とはいえない。 しかし、ユークリッド整域なら最大公約元公約元を求める アルゴリズムがあるし(即ちユークリッドの互除法)、 例えば、２次の代数体の整数環でその体の類数が１ならそれが ユークリッド整域でなくても最大公約元を求めるアルゴリズムはある。 何故なら２次体ではイデアルの素イデアル分解を求めるアルゴリズムが あるから(高木の初等整数論)、類数が１なら素元分解のアルゴリズムが あることになる。素元分解出来れば、当然、最大公約元公約元も 求められる。この場合、あの証明は行列の(あの定理のような)対角化の アルゴリズムを与えていることになる。 120 名前：１３２人目の素数さん [2005/11/29(火) 14:13:06 ] >>118 >>107 > 荒らしは黙ってろ！ > ここは208様の神聖なるチラシの裏だ！ > お前ら下賎の者が寝言を書き込めるほど敷居は低くないぞ！ > 落ちこぼれダンボーラー予備軍がぁ！！ 121 名前：１３２人目の素数さん [2005/11/29(火) 14:17:24 ] 予備校の仕事大変そうだな 122 名前：１３２人目の素数さん mailto:sage [2005/11/29(火) 18:11:31 ] 80 ：１３２人目の素数さん ：2005/11/25(金) 14:47:42 お前等が叩いたつもりになってるだけだろ。 お前等のスカスカの脳ミソで俺を叩こうとは、呆れる。 割り算がどうだとかこうだとかｗ ﾐｼﾞﾒﾃﾞｽﾈ 123 名前：１３２人目の素数さん mailto:sage [2005/11/29(火) 18:46:14 ] ﾀﾀｶﾚﾃ ﾀﾀｶﾚﾃ ﾎﾞﾛﾎﾞﾛﾆﾅｯﾃﾓ ｷｶﾞﾂｶﾅｲ ｽｶｽｶﾉ脳 124 名前：１３２人目の素数さん mailto:sage [2005/11/29(火) 18:47:44 ] 割り算は208のﾄﾗｳﾏにﾅﾘﾏｼﾀﾈ 125 名前：１３２人目の素数さん [2005/11/29(火) 22:20:19 ] >>122->>124 > 荒らしは黙ってろ！ > ここは208様の神聖なるチラシの裏だ！ > お前ら下賎の者が寝言を書き込めるほど敷居は低くないぞ！ > 落ちこぼれダンボーラー予備軍がぁ！！ 126 名前：208 [2005/11/30(水) 09:30:03 ] >>115 >よって、X の１行目と１列目の要素がすべて x_(1,1) で割れる >ように変形出来る。>>102 の操作 2) と 4) を使えば、 >１行目と１列目の要素が x_(1,1)を除いてすべて 0 に変形出来る。 >よって初めから X はこの形であると仮定してよい。 念のために補足すると、ここで、暗黙に以下の自明な事実を使っている。 X に x_(1,1) で割れない要素 x_(i,j) があれば、c を A の任意の元 としたとき、x_(i,j) + c x_(1,1) も x_(1,1) で割れない。 127 名前：208 [2005/11/30(水) 10:31:26 ] >>117 の系として 命題 A を単項イデアル整域とする。 L を階数 m の A-自由加群、M をその 0 でない部分加群とする。 L の基底 f_1, ..., f_m と M の生成元 y_1, ..., y_r および、A の非零元 a_1, ..., a_r で (a_1) ⊃ ... ⊃ (a_r) となるものがあり、 y_1 = a_1f_1 . . . y_r = a_rf_1 となる。 128 名前：208 [2005/11/30(水) 10:42:26 ] >>127 >y_r = a_rf_1 これは y_r = a_rf_r の間違い。 129 名前：208 [2005/11/30(水) 10:43:27 ] >>127 の証明 L の基底を e_1, ..., e_m とする。 x1, ..., x_n を M の生成元とする。 各 j (1 ≦ j ≦ n) に対して x_j = Σx_(i,j)e_i とする。 X = (x_(i,j)) とおく。これは、(m,n)-型の行列である。 上の式を行列記法でまとめて書くと (e_1, ..., e_m)X = (x_1, ..., x_n) となる。 >>117 より、可逆行列 U, V があり、UXV は対角行列 Y = [a_1, ..., a_r, 0,..., 0] となる(0 は無い可能性もある)。 ここで、(a_1) ⊃ ... ⊃ (a_r) である。 (e_1, ..., e_m)X = (x_1, ..., x_n) より (e_1, ..., e_m)XV = (x_1, ..., x_n)V となる。 UXV = Y より、XV = U^(-1)Y だから (e_1, ..., e_m)U^(-1)Y = (x_1, ..., x_n)V (f_1, ..., f_m) = (e_1, ..., e_m)U^(-1) (y_1, ..., y_n) = (x_1, ..., x_n)V とおけば (f_1, ..., f_m)Y = (y_1, ..., y_n) となる。 U は可逆だから f_1, ..., f_m は L の基底であり、 V も可逆だから y_1, ..., y_n は M の生成元である。 よって、この命題の主張が出る。 証明終 130 名前：208 [2005/11/30(水) 11:20:39 ] 命題 >>127 の命題のイデアルの列 (a_1), ..., (a_r) は L と M だけで 決まり、L の基底 f_1, ..., f_m と M の生成元 y_1, ..., y_r の取りかたによらない。 (a_1), ..., (a_r) を M の不変因子と呼ぶ。 単元の違いを無視して、a_1, ..., a_r を M の不変因子と呼ぶ こともある。 証明 L/M は L_1/M = (Af_1 + ... + Af_r)/(Aa_1f_1 + ... + Aa_rf_r) と L_2 = Af_(r+1) + ... + Af_m の直和である。 よって、L_1/M は L/M の捩れ部分(前スレの653) t(L_1/M) である。 よって、この命題は、前スレの712から出る。 証明終 131 名前：208 [2005/11/30(水) 11:56:49 ] >>130 の別証明を述べる。 以後、環や代数は特に断らなければ可換とする。 次の補題は前スレにもあるかもしれないが述べておこう。 補題 A を環、B を A-代数、 I を A のイデアルとする。 (A/I)(x)B は標準的に B/IB に A-代数として同型である。 ここで、(A/I)(x)B は A-代数としてのテンソル積。 証明 完全系列 0 → I → A → A/I → 0 より完全系列 I(x)B → A(x)B → (A/I)(x)B → 0 が得られる。 これより明らか。 証明終 132 名前：208 [2005/11/30(水) 12:03:38 ] 補題 A を環、I, J をそのイデアルとする。 (A/I)(x)(A/J) は A/(I + J) と A-代数として同型である。 証明 A/J = B とおけば、>>131 より (A/I)(x)(A/J) = B/IB = (A/J)/((I + J)/J) = A/(I + J) ここで、等号は同型を表す。 証明終 133 名前：208 [2005/11/30(水) 12:26:17 ] 補題 A を環、I_1, ..., I_n をそのイデアルとする。 M を A-加群として A/I_1, ..., A/I_n の直和とする。 1 ≦ p ≦ n のとき、 (Λ^p)M = ΣA/I_J (直和) となる。ここで、J は {1, ..., n} の濃度 p の部分集合を走り、I_J は I_k, k ∈ J のイデアル としての和を表す。 証明 前スレの 751 と 844 から ΛM は Λ(A/I_i), i = 1,..,n の 歪テンソル積である。これと >>132 より明らか。 134 名前：208 [2005/11/30(水) 14:53:36 ] 補題 A を環、I_1, ..., I_n をそのイデアルとし、 I_1 ⊃ ... ⊃ I_n とする。 M を A-加群として A/I_1, ..., A/I_n の直和とする。 1 ≦ p ≦ n のとき、Ann((Λ^p)M) = I_(n-p+1) である。 証明 I_1 ⊃ ... ⊃ I_n だから、>>133 の記法で、I_J は I_min(J) である。 一方、一般に A のイデアル I, K に対して 直和 A/I + A/K の 零化イデアル(Annihilator) は I ∩ K である。 よって、ΣA/I_J (直和) の零化イデアルは I_(n-p+1) となる。 よって >>133 より Ann((Λ^p)M) = I_(n-p+1) となる。 証明終 135 名前：208 [2005/11/30(水) 15:18:59 ] >>134 から >>130 の別証が出ることは明らかだろう。 136 名前：１３２人目の素数さん mailto:sage [2005/11/30(水) 17:52:22 ] 予備校で教えるのに飽きたのかな 137 名前：１３２人目の素数さん mailto:sage [2005/11/30(水) 18:01:41 ] 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 荒らし荒らし荒らし 138 名前：１３２人目の素数さん mailto:sage [2005/11/30(水) 18:03:56 ] 外積の使い方がいまいちだね 139 名前：１３２人目の素数さん mailto:sage [2005/11/30(水) 21:46:58 ] > 荒らしは黙ってろ！ > ここは208様の神聖なるチラシの裏だ！ > お前ら下賎の者が寝言を書き込めるほど敷居は低くないぞ！ > 落ちこぼれダンボーラー予備軍がぁ！！ 140 名前：208 [2005/12/01(木) 12:55:25 ] 補題 A を環、n > 0 を整数とし L = A^n を A-自由加群とみる。 L の元 x は縦ベクトルとみなす。 e_1, ..., e_n を L の標準基底とする。 x_1, .., x_p を L の元とする。ここで、1 ≦ p ≦ n である。 x_1 = x_(1,1)e_1 + ... + x_(n,1)e_n . . x_p = x_(1,p)e_1 + ... + x_(n,p)e_n とすると、A の元を要素とする 行列 X = (x_(i,j)) は (n, p)-型になる。 この行列の各列が x_1, .., x_p である。 J を {1, ..., n} の濃度 p の部分集合とし、J の要素を昇順に並べて j_1 < ... < j_p としたとき、 X の小行列 (x_(j_i, k)), j_i ∈ J, 1 ≦ k ≦ p を X_J とおく。 このとき (Λ^p)L において、 x_1Λ...Λx_p = Σdet(X_J) e_(j_1)Λ...Λe_(j_p) となる。ここで J は {1, ..., n} の濃度 p の部分集合全体を動く 証明 外積の交代性(前スレの 744, 746)より明らかだろう。 141 名前：１３２人目の素数さん mailto:sage [2005/12/01(木) 13:55:55 ] 荒らしども！ ありがたく読ませてもらえ！ まっ、お前らクズどもには理解できないだろうがな！ 142 名前：１３２人目の素数さん mailto:sage [2005/12/01(木) 14:07:26 ] >>141 煽りとしてはおもしろくない バカはこの程度のことしかおもいつかないらしい 143 名前：208 [2005/12/01(木) 16:21:43 ] 補題 A を環、m > 0 を整数とし L を 階数 n のA-自由加群とする。 e_1, ..., e_n を L の基底とする。 x を L の元とし、x = Σ a_i e_i, a_i ∈ A とする。 つまり、(a_1, ..., a_n) は x の 基底 e_1, ..., e_n に関する 座標である。 他方、f_1, ..., f_n を L の別の基底とし、 x = Σ b_i f_i, a_i ∈ A とする。 このとき、各 b_i は a_1, ..., a_n の一次結合で表される。 証明 明らかと思うが、念のために証明しよう。 行列記法を使う。 x = (e_1, ..., e_n)(a_1, ..., a_n)' である。ここで、(a_1, ..., a_n)' は転置行列、この場合は (a_1, ..., a_n) を縦ベクトルにしたものを表す。 (e_1, ..., e_n) = (f_1, ..., f_n)U となる n 次の可逆行列 U がある。 よって、 x = (e_1, ..., e_n)(a_1, ..., a_n)' = (f_1, ..., f_n)U(a_1, ..., a_n)' 一方、 x = (f_1, ..., f_n)(b_1, ..., b_n)' である。 よって、 (b_1, ..., b_n)' = U(a_1, ..., a_n)' である。 証明終 144 名前：208 [2005/12/01(木) 16:26:21 ] 補題 A を環、m > 0 を整数とし L を 階数 m のA-自由加群とする。 e_1, ..., e_m を L の基底とする。 M を L の部分加群とし、x_1, .., x_n をその生成元とする。 x_j = Σx_(i,j)e_i, 1 ≦ j ≦ n とする。 x_(i,j) を要素とする行列を X = (x_(i,j)) とする。 他方、f_1, ..., f_m を L の別の基底とし、 y_1, .., y_n を M の別の生成元とする。 y_j = Σy_(i,j)f_i, 1 ≦ j ≦ n とし、 Y = (y_(i,j)) とする。 p を 1 ≦ p ≦ min(m, n) である整数とする。 I ⊂ {1, ... , m}, J ⊂ {1, ... , n} で |I| = |J| = p とする。 ここで、|I|, |J| は、それぞれ I, J の濃度、即ち各集合の要素 の個数を表す。 X から I に対応する行と J に対応する列をとりだして作った p 次の正方行列を X_(I,J) と書く。 Y_(I,J) も同様。 det(Y_(I,J)) = Σa_(K,L)det(X_(K,L)) となる。 ここで、a_(K,L) は A の元で、 和は K ⊂ {1, ... , m}, L ⊂ {1, ... , n} で |K| = |L| = p となる K, L の組 (K, L) 全体を動く。 145 名前：208 [2005/12/01(木) 16:34:55 ] >>144 の証明 J = {1, ... , p} と仮定する。こうしても一般性を失わない。 x_1, .., x_n は M の生成元だから、 y_1Λ...Λy_p = Σb_(j_1, ..., j_p) x_(j_1)Λ...Λx_(j_p) となる。ここで、b_(j_1, ..., j_p) ∈ A で、和は j_1 < ... < j_p の 組を動く。 >>140 より det(Y_(I,J)) は y_1Λ...Λy_p を L の基底 f_1, ..., f_m で 展開したときの、f_(i_1)Λ...Λf_(i_p) の係数である。 ここで、i_1 <...< i_p は I を構成する元である。 det(X_(K,L)) についても同様のことが言える。 {f_(i_1)Λ...Λf_(i_p)} と {e_(i_1)Λ...Λe_(i_p)} は それぞれ、(Λ^p)L の基底である。 よって、>>143 から >>144 の主張が得られる。 証明終 146 名前：208 [2005/12/01(木) 16:57:54 ] 命題 A を環、X を A の元を要素とする (m,n)-型の行列 U, V をそれぞれ A の元を要素とする m, n 次の可逆行列とする。 Y = UXV とおく。p を 1 ≦ p ≦ min(m, n) である整数とする。 Y の p 次の任意の小行列式は、X の p 次の小行列式の一次結合として 表される。 証明 これは >>144 を行列の言葉で書き直したもの。 147 名前：208 [2005/12/01(木) 17:04:12 ] >>146 の系 >>146 と同じ条件で、Y の p 次の小行列式全体で生成される A のイデアルは X の p 次の小行列式全体で生成されるイデアルと 一致する。 証明 Y の p 次の小行列式全体で生成されるイデアルを I_p(Y) とおく。 同様に、I_p(X) も定義する。 >>146 より、I_p(Y) ⊂ I_p(X) である。 Y = UXV より、 X = U^(-1)YV^(-1) となるから、 再び >>146 より I_p(X) ⊂ I_p(Y) である。 証明終 148 名前：208 [2005/12/01(木) 18:52:11 ] >>98 の定理において 1 ≦ p ≦ r のとき 対角行列 Y = [a_1, ..., a_r, 0,..., 0] の p次小行列式全体の 最大公約元は、(a_1) ⊃ ... ⊃ (a_r) に注意すれば a_1...a_p であることがわかる。 よって、>>147 より δ_p = a_1...a_p は X の p次小行列式全体の最大公約元であることが分かる。 δ_p を X の p-次の行列式因子と呼ぶ。 a_p = δ_p/δ_(p-1) となる(δ_0 = 1 とする)。 よって、a_1, ..., a_r は 行列 X により単元の違いを除いて 一意に決まる。 a_1, ..., a_r を 行列 X の単因子と呼ぶ。 149 名前：208 [2005/12/01(木) 19:06:59 ] >>148 によっても >>130 の別証が得られるが、これは本質的には >>134 を使った証明と同じだろう。

---

---

[ 続きを読む ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef