単純群

定義

$G$の正規部分群が$\{e\}$と$G$しかないもの