群同构第一定理.给定一个群同态 formula_1，根据群同态第一基本定理，我们可以把formula_2除以formula_2的核，使formula_4 变成单射。直观来讲，把一个群formula_2除以formula_2的子群formula_7相当于把formula_7里的元素看成0。把formula_4的核除掉后，我们使得formula_10只在 formula_11时才会成立，这是formula_4的单射性的等价叙述。我们必须先确定商群具有群的结构，才可以对formu