G/ker f 同构于 Im f
如果是有限群,|G/ker f|=|Im f|
如果是无限群,它们可以建立一一映射,作为集合也是等势的