L015 置换群、陪集和拉格朗日定理

「对称群」、「置换群」

Thm.5.1

「轮换」（cycle）、轮换的「不相交」

Rmk.5.3 Prop.5.8 Thm.5.9 Rmk.5.11

「对换」（transposition）

Lem.5.14 Thm.5.15

「交错群」

Thm.5.16 Prop.5.17

「\(n\) 次二面体群」（\(n\)-th dihedral group）

Thm.5.20 Thm.5.23 Prop.5.27 Thm.5.28

「陪集」、「左陪集、右陪集」、「代表元」（representative）、「指标/指数」（index [of subgroup \(H\) in group \(G\)]）

Lem.6.3 Thm.6.4 Rmk.6.5 Thm.6.8

Prop.6.9 Thm.6.10（Lagrange 定理）Cor.6.11-6.13 Rmk.6.14 Prop.6.15 Thm.6.16

「欧拉 \(\phi\) 函数」、

Thm.6.17 Thm.6.18（Euler 定理）Thm.6.19（Fermat 小定理）