-群同态基本定理.