[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
35(2): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 2024/09/05(木)11:04 ID:Z0BYHMl3(1/2)
>>32
ご苦労様です
(引用開始)
>つまり、上半三角行列全体は群とし可解であり
>かつ 定義3.17.リー代数としても 可解(solvable)ってことだね
あ、違いますけど
>>28
>例3.19の上三角行列t_n(k)の定義は例2.22にあるが
>t_n(k)={(a_ij)∈gl_n(k)|aij=0 if i>j} （gl_n(k)はn次正方行列）
>なので、対角成分は0が入っていてもよい
つまり、例3.19の上半三角行列全体t_n(k)は
行列の乗法では群にならないです
対角成分に0があったら、逆行列が存在しませんから
(引用終り)
なるほど、もう一本取られたかなｗ ；ｐ）
しかし、それほど外れていない
つまり、龍孫江の群論：上半三角行列群 Tと、
対する上記 上半三角行列 t_n(k)：対角成分は0が入っていてもよい
で、包含関係 T ⊂ t_n(k) がなりたっている
なので、Tは リー代数としても 可解(solvable) であっています
即ち、リー代数としての 可解(solvable)は、
（対角成分は0が入っていてもよい）上三角行列に関するもので
群の可解(solvable)概念の拡張になっているってことですね
>>33
>『Ｂ：上半三角行列全体が可解』を示すために
>『U：対角成分がすべて1の上半三角行列全体が可解』を示したのも
>もしかして、Bが可解だから、その正規部分群であるUも可解だ、とかいってます？
なんか混乱していますよ
・まず、龍孫江氏での包含関係： Ｂ(上半三角行列全体)⊃U(対角成分がすべて1の上半三角行列全体)
で、ＢとUは群で、UはＢの正規部分群を、龍孫江氏は前半で示しています
・さて、龍孫江氏は後半で Bの可解性を示すには『Uの可解性を示せばよい』と板書しているでしょ？
そこ見ていますか？ 理解できていますか？
>>34
ご苦労様です
36(1): １３２人目の素数さん [] 2024/09/05(木)11:28 ID:ja12CRXV(1/2)
>>35
>>例3.19の上半三角行列全体t_n(k)は
>>行列の乗法では群にならないです
>>対角成分に0があったら、逆行列が存在しませんから
>なるほど、もう一本取られたかな
まあ、そうですね
>しかし、それほど外れていない
>つまり、龍孫江の群論：上半三角行列群 Tと、
>対する上記 上半三角行列 t_n(k)：対角成分は0が入っていてもよい
>で、包含関係 T ⊂ t_n(k) がなりたっている
>なので、Tは リー代数としても 可解(solvable) であっています
>即ち、リー代数としての 可解(solvable)は、
>（対角成分は0が入っていてもよい）上三角行列に関するもので
>群の可解(solvable)概念の拡張になっているってことですね
まず、Tは体K上の線形空間ではないのでリー代数ではないです
したがって「Tは リー代数としても 可解(solvable)」はあってません
「リー代数としての 可解(solvable)は群の可解(solvable)概念の拡張になっている」
ということではありません
「リー代数としての 可解(solvable)」は
「（対応する）リー群の可解(solvable)」と
対応しているということになります
ということでさらに一本取ってしまいましたが
ガロアマイスター◆yH25M02vWFhP氏が
リー代数を全く知らないということなら
２つも３つも間違うのは至極当然のことかと思います
まあ知らないことは知らないと意識されると再発が防げると思います
37(1): １３２人目の素数さん [] 2024/09/05(木)11:37 ID:PdEFo2ng(1)
>>35
>>『Ｂ：上半三角行列全体が可解』を示すために
>>『U：対角成分がすべて1の上半三角行列全体が可解』を示した・・・
>>もしかして、Bが可解だから、その正規部分群であるUも可解だ、とかいってます？
>なんか混乱していますよ
マイスター様 なにか混乱されましたか？
>まず、龍孫江氏での包含関係：
> Ｂ(上半三角行列全体)⊃U(対角成分がすべて1の上半三角行列全体)
>で、ＢとUは群で、UはＢの正規部分群である、と龍孫江氏は前半で示しています
その通りです
>さて、龍孫江氏は後半で Bの可解性を示すには『Uの可解性を示せばよい』と板書しているでしょ？
>そこ見ていますか？ 理解できていますか？
私は理解しています
ただ、マイスター様がＵの可解性を示さず
>『Ｂ：上半三角行列全体が可解』だということだ
>これは、押えておくべき重要ポイントだね
とのみおっしゃったので『Uの可解性を示せばよい』が
全く不要だと思われたように感じましたので
そこを指摘させていただきました
つまり私はまったく混乱しておりません
さて
>(34に対して)ご苦労様です
実は34にはちょっとした誤りがありますが
ご苦労様としかお書きになられてません
もしかしてお気づきになりませんでしたでしょうか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.032s