式相对简单，却表达了商群的重要性质。定理的叙述中用到了关于正规子群的等价类概念。 
群同构基本定理.
群同构第一定理.给定一个群同态 formula_1，根据群同态第一基本定理，我们可以把formula_2除以formula_2的核，使formula_4 变成单射。直观来讲，把一个群formula_2除以formula_2的子群formula_7相当于把formula_7里的元素看成0。把formula_4的核除掉后，我们使得formula_10只在 fo