単純群

数学において、単純群 (英: simple group)とは、自明でない正規部分群 (それ自身と自明群 (単位群 {e}) 以外の正規部分群) を持たず、またそれ自身も自明群ではない群である。単純群は自明でない正規部分群を持たないので当然であるが、直既約群は必ずしも単純群ではない (下の例参照)。 群に主組成列が存在すれば、有限個の直既約群の直積に一意的に分解される (クルル・レマク・シュミットの定理)。しかし、上記の理由により、必ずしも有限個の単純群の直積に分解されるとは限らない。もし、群が有限個の単純群の直積に分解可能であれば、その群は完全可約群または半単純群であるという。また、その場合に限って、主組成列の長さと直積の成分である単純群の個数は一致する。