|
数学において、リー環 が可解 (solvable) であるとは、''導来列''が零部分環で終わることをいう。derived Lie algebra は、 の元のペアのすべてのリーブラケットからなる の部分環で、 : と記される。導来列は部分環の列 : である。導来列が最終的に零部分環に到達するとき、リー環は可解である。リー環の導来列は群論における交換子部分群に対する導来列とアナロガスである。 任意の冪零リー環は当然可解であるが、逆は正しくない。可解リー環と半単純リー環は、によって示されるように、2つの大きく一般に相補的なクラスをなす。 極大可解部分環はと呼ばれる。リー環の最大可解イデアルはと呼ばれる。 == 特徴づけ == を標数 の体上の有限次元リー環とする。以下は同値である。 *(i) は可解である。 *(ii) , の、は可解である。 *(iii) のイデアル の有限列が存在して *: *(iv) は冪零である〔 Proposition 1.39.〕。 *(v) 次元の に対して、 の部分環 の有限列が存在して、 *: :かつ各 は のイデアル〔 Proposition 1.23.〕。このタイプの列は elementary sequence と呼ばれる。 *(vi) の部分環 の有限列が存在して、 *: :かつ は のイデアルで は可換。 *(vii) キリング形式 はすべての と に対して を満たす〔 Proposition 1.46.〕() 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「可解リー環」の詳細全文を読む スポンサード リンク
|