群''G''は、自明な部分群と自身以外に正規部分群を持たないとき、単純群であると言う.
''G''