商群

从同态的核理解正规子群，证明商群运算与代表元无关，再推导群同态基本定理并练习求核与像。