なんとなく概念が分かってきた気がする．
まず群に対して，群
は可解群であることと，
の有限回で
に達する正規列で，隣合う2つの群で作る剰余群が
アーベル群であるものが存在することは同値である．
べき零群の場合，正規列としていた部分が正規部分群列となり，
隣合う2つの群は元の群と各正規部分群で作る剰余群の中心に含まれる条件に変わる．
当然，束縛が強くなるのでべき零群ならば可解群であることは明らかというわけである．
（追記 2017.9.20）
上にはなんとなく分かった、などとほざいているが全く分かっていない（笑）
いまだによく分からない。
どこからこの「べき零群」という名前がつけられたのだろうか？
