- 34 名前：１３２人目の素数さん [2024/09/05(木) 08:18:02.19 ID:ykbUada9.net]
- >>31
>さて、龍孫江氏の説明で
>Ｂ：上半三角行列全体
>Ｕ：対角成分がすべて1の上半三角行列全体
>Ｔ：対角行列の全体
>として
>1）ＵはＢの正規部分群である
>2）Ｂは可解である
>を証明しているよ
上記のBは、あくまで”対角成分が全て０でない”上半三角行列全体ですね
1)、は>>11のQ1,Q2,Q3
2)Ｂは可解である、1)に加えて>>18のQ4が関わる
>『３次の場合で示していますが，一般次元で成り立ちます』
>と、上記にもあるし、トーク中でも説明しているよ
ええ
>つまりは、『Ｂ：上半三角行列全体が可解』だということだ
>これは、押えておくべき重要ポイントだね
あの・・・動画、ご覧になったんですよね？
『Ｂ：上半三角行列全体が可解』を示すために
『U：対角成分がすべて1の上半三角行列全体が可解』を示したのも
ご覧になったんですよね？
もしかして、Bが可解だから、その正規部分群であるUも可解だ、とかいってます？
ガロア理論の１から１０まで知り尽くしたマイスター・・・なんですよね？
|
 |
