S4の正規部分群

V={e,(12)(34),(13)(24),(14)(23)}が4次対称群S4の位数４の正規部分群となることは分かるのですが、Vの他にS4の位数4の正規部分群は存在しないのでしょうか？

No.1 ベストアンサー 回答者： 31415926 回答日時： 2005/07/30 02:15

存在しません．

もしそのようなもの(Gとします)が存在したとすれば，
Gは位数が2の元gを少なくとも一つ含むことになります．gは(ab)(cd) (a,b,c,dは全て異なる)かあるいは
(ab) (a,bは異なる)という形をしています．
gに共役な元は全てGに入らなければいけないので
(GはS4の正規部分群だから)，
前者の場合はGはVを含むことになり，よってG=Vとなります．
後者の場合はGは任意の互換を含むことになるので
G=S4となり，これは位数4であることに矛盾します．

この回答へのお礼

わかりました。gの形を考えればよかったのですね。ありがとうございました。

お礼日時：2005/08/25 23:03