1、四阶对称群S4有24个元素：a = SymmetricGroup[4];GroupOrder[a];b = GroupElements[a]其中的单位元是Cycles[{}]，表示不变。
3、Permute[{p, q, r, s}, Cycles[{{2, 3, 4}}]]第四个元素跑到第二个位置上，第二个和第三个向右移动一个位置。
5、产生S4的乘法表：TableForm[GroupMultiplicationTable[a], TableHeadings -> Automatic]
7、c加上单位元，能构成一个S4的子群吗？看看它的乘法表：c = If[PermutationProduct[#, #] == Cycles[{}], #, 0] & /@ b // 炽扃仄呦Union // Drop[#, 1] &TableForm[Table[PermutationProduct[m, n][[1]], {m, c}, {n, c}],TableSpacing -> {5, 2}]
