已知：设G 是群，H是G的非空子集，且H 关于G 上的运算 也构成群 ，则称H 是G的子群。
目前我涉及的内容主要是对称群的子群知识点
S3=｛（1），（12），（13），（23），（123），（132）｝，|S3|=6
由Lagrange定理可知S3子群的阶只可能为1、2、3、6
S3一共有6个子群，其中：
1个1阶子群：｛（1）｝
3个2阶子群：｛（1），（12）｝，｛（1），（13）｝，｛（1），（23）｝
1个3阶子群：
｛（1），123），（132）｝
1个6阶子群：S3
在MMA中只能找到计算对称群中元素和阶的函数，如果想输出一个对称群比如S6的所有子群，应该如何编写代码，能否给一下思路，实在是想不出来
SymmetricGroup[3] // GroupElements
SymmetricGroup[3] // GroupOrder
相关文献表明计算子群工作量很大
最好能像Magma软件这样直接用函数求解子群
