#同态核
代数 (8) 群同态