上の定義から明らかなように、剰余因子群は単純群であり、G\\が完全可約群であれば、剰余因子群の直積に分解される.
G\\