近世代数--正规子群--群、同态核、同态象的大小关系

博主是初学近世代数（群环域），本意是想整理一些较难理解的定理、算法，加深记忆也方便日后查找；如果有错，欢迎指正。
我整理成一个系列：近世代数，方便检索。

这里是正规子群的一点基础概念。

$|G|=|Ker\phi ||Im\phi |$

设$G,G^{\prime }$是两个群，$\phi :G\to G^{\prime }$是一个群同态，设$\bar{G}$是$N=Ker\phi$的所有陪集的集合，则$\bar{\phi }:\bar{G}\to Im\phi ,\phi (aN)=Im(a)$是一个双射。

证明：

• 构造映射：$\bar{\phi }$