>>27
>その定義に照らして、「群じゃなくてリー代数の可解」とかいえるのか？

なんだ悠公、pdf読んでねぇのか、ホレっ、p9に書いてあるぞ　読めよ　悠公
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
定義3.17.リー代数gに対し，D0(g)=g Di(g)=[D(i-1)g,D(i-1)g]とおく．
gのイデアルの列
g=D0(g)⊃D1(g)⊃D2(g)⊃…⊃Di(g)
を導来列(derivedseries)と呼ぶ．
また，ある自然数に対してDn(g)=0となるとき，gを可解(solvable)と呼ぶ．
ーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーーー
(リー括弧積[x,y]の定義はxy-yx (注：x^(-1)y^(-1)xyではない！))

全然違うだろが！

ついでにいうと例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が入っていてもよい
そこも「Q1の対角成分がすべて0でない上三角行列の全体G」とは異なる