>>791
2-sylow 群が正規部分群でないとすると、3 個ある。
共役作用によりこの 3 個の群の組の置換が引き起こされ、
これは S_3 への準同型写像を定める。
その核が自明でない正規部分群になっている。