1、我们用一个具体的群，来研究Sylow定理。
这个具体的群是5阶对称群，它有120个元素。
2、对120进行质因数分解：
120=2^3 * 5 *3
3、根据Sylow定理第一定理，可以断言，S5必定有：
一个8阶子群
一个5阶子群
一个3阶子群
4、我们尝试寻找S5的3阶子群。
先考虑S5的所有的3阶子集的集合K3，可以证明，K3有280840个元素，也就是说，S5有280840个3阶子集。
请思考，Mathematica为什么说S5有288101个3阶子集呢？
5、S5作用于某个3阶子集，可以得到一条轨道。
6、S5作用于K3的每一个元素（也就是S5的每一个3阶子集），都有对应的轨道。
由于S5有280840个3阶子集，要想获得全体轨道，计算机也不容易办到，比较耗时。
因此，我们只选择前120个3阶子集，并求出对应的轨道。
注意，并不是说每一个子集都对应一个不同的轨道，实际上，很多3阶子集拥有同一条轨道。
7、换一个思路，直接求每一个3阶子集的稳定子。如果存在3阶稳定子，那么这个三阶稳定子就是S5的三阶子群。
8、S5是一个不太恰当的例子，因为基数太大，导致在查看280840个3阶子集的稳定子的时候，浪费了太多时间。
