《近世代数基础》章节试读

《近世代数基础》的笔记-第41页 - 群的同态

例1第一次展示了抽象的威力。将高层结构抽象出来，在不同对象的高层结构间建立映射(这里是同态映射)一举解决问题，这种将性质分离出的方法简直绝妙。其对应着不这么做时，单独证明时相当于不断重复的反向抽象过程的定理证明。在此，抽象就像子程序一般作用。