素数平方阶群结构

抽象代数课上的小问题，如果有限群的阶是素数的平方，它的结构就已经确定了。

（抽代课笔记是英文的，所以便顺其自然了。）

需要具备的引理是素数阶的有限群一定是循环群（Lagrange定理简单应用）

    回过头看定理的证明，利用条件的主要就是循环子群（阶为素数）以及抽屉原理（子集的阶大于等于陪集的数量）

    同样用抽屉原理也可以得到一下结论：