Category
从群论的基本对象开始,整理定义、例子、命题和证明,让抽象结构变得更可计算、更可检查。
抽象代数
整理子群判别法、群同态的核与像、单同态判别、同构以及群的直积。
从有限群中元素阶的有限性出发,说明由一个元素生成的子群,以及循环群的基本观念。