我想他们是要用group theory来理解一些几何体的symmetry，可能还有Polya counting

这些是group theory 具体的例子，最好也是在学群论之前有接触，所以后面才能理解为什么要抽象成群的概念。但是先上大理论再讨论例子就有点反了。