ちなみに>>417のあらゆる正規部分群について商群作ったってあったから、
それらは全部可換群になったのかしら？と一瞬おもったけど、
商群の位数がいずれも4以下だから、全部可換だわね。
商群が非可換になるような例って、もっと大きな複雑な群になるのね。
探すの面倒そうね。考えるのやめとくわ。