#抽象

换位子，半直积与 Schreier 子群引理。

R^3 上的旋转与多面体。（正多面体及其凹版本，半正多面体及其对偶，正多边形面组成的凸多面体）

群在集合上的作用，Pólya 计数法，共轭作用与 Sylow 定理。

按学习历程排布的群论相关文章。

Lambda Calculus 的规则、使用和合流性。