ormula_7为formula_4的核。我们定义formula_51为formula_52.这个定理也可以想成是一个单射与一个满射的复合，以下为示意图
群同构第二定理.群同构第二定理：给定群 formula_2 、其正规子群formula_79 、其子群 formula_7 ，则 formula_81 是 formula_7 的正规子群，且我们有群同构如下：formula_83证明：设 formula_88 和 formula_89 为 formula_84 中