可解群
群Gは、有限指数の可解部分群を持つとき実質的可解群(virtually solvable group)と呼ばれる。これは実質的アーベル群(英語版)と似た語法である。すべての可解群は当然実質的可解群である。なぜなら指数1の可解部分群(自分自身)が存在するからである。