>>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氏が
リー代数を全く知らないということなら
２つも３つも間違うのは至極当然のことかと思います

まあ知らないことは知らないと意識されると再発が防げると思います