群

群是一类具有可逆运算的对象构成的结构，我们研究群的性质并建立范畴 $\mathsf{Grp}$，进而研究其上态射的性质．

目录

• 群的定义
• 群的例子
• 范畴 Grp
• 群同态
• 自由群
• 子群
• 商群
• 典范分解与拉格朗日定理