用Mathematica来寻找四元数群的非平凡子群

1、由于四元数群有八个元素，所以它的不平凡子群只能是2阶或4阶。要寻找2阶子群，可以考虑它的二阶子集。四元数群有28个二阶子集，但是大多数都不是子群。

3、如果乘法表里面的任意一个元素都属于这个二阶子集，那这个二阶子集就是一个群。比如，第一个二阶子集b[[1]]的乘法表里面，有一个元素不属于b[[1]]，所以b[[1]]不是子群。

5、同样的方法，可以找出四元数群所有的四阶子群，共3个。