的子群"H"（例如，整数群中的偶数）。可以证明，这样的子群总是包含一个具有有限指数的（"G"的）正规子群"N"。事实上，如果"H"具有指数"n"，则"N"的指数是"n"!的因子。这一性质可以通过具体的例子来体现：考虑"G"通过乘法在"H"的左陪集上的置换作用（或者，在右陪集上的作用也是同样的例子）其中 formula_6 是所有陪集的集合。对 "G" 中任意的 "g"， formula_7 都是一个置换。再考虑相应的置换表示：formula_8 ，这个置换表示的核给出了"G"的一个正规子群"N"，而它的象