循环群和置换群

- Lagrange定理 - Lagrange 定理： |G| = |H| [G:H]证明：令G 的不同的陪集为Ha1, Ha2, …, Har,|G| = |Ha1|+|Ha2