ここでは ベキ零群の極大部分群は正規である という命題を示していこうと思います. まずはベキ零群を定義しましょう. 定義 1. 群 の降中心列が有限の長さで自明群になるとき, を ベキ零群 という. すなわち, によって定まる正規部分群の列で とできる. ただ…