同构基本定理

$f$ 是群 $G$ 到群 $G^{\prime }$ 的满同态映射，则

$$G/ker(f)\cong G^{\prime }$$

可以构造这个同构映射 $\phi$ 为

$$\phi (gker(f))=f(g)$$