大学抽象代数问题设影射f:H,是群同态,那么请问,核的商群G/ker f与象im f中元素个数相等吗?