##### 有限群 - 有限群 - **有限群**是元素[[有限集|有限]]的[[群]], 有限群的一切子群也都是有限群, 可以按其阶分类, 具有[[拉格朗日定理]], [[西罗定理]]等 - $(G,\cdot)$ 是一个群, $|G| < \infty$ >[!example]- 有限群 >- 整数模 $4$ 加法群 $\mathbb{Z}/4\mathbb{Z} = \{0, 1, 2, 3\}$, 运算为模 $4$ 加法, 群有 $4$ 个元素