不懂:每个群能且只能同它的商群同态.(抽象代数)